This is a collection of technical reports from the Cornell's Computer Science (CS) Department from the time period of 1968-2002. These reports are part of the NCSTRL collection of Computer Science Technical Reports.

For reports from 2003-present, see the Computing and Information Science Technical Reports Collection.

Recent Submissions

  • HyperFlow: A Processor Architecture for Timing-Safe Information-Flow Security 

    Ferraiuolo, Andrew; Zhao, Yuqi; Suh, G. Edward; Myers, Andrew C. (2018-05-01)
    This paper presents HyperFlow, a processor that enforces secure information flow, including control over timing channels. The design and implementation of HyperFlow offer security assurance because it is implemented ...
  • On Disintegration in Probabilistic Semantics 

    Kozen, Dexter (2018-04-01)
    We give a version of disintegration based on weaker assumptions than previously known. The result is derived using an enhanced version of the Radon-Nikodym theorem that makes explicit the approximating functions, thereby ...
  • Undecidable Problems for Probabilistic Network Programming 

    Kahn, David (2017-07-07)
    The software defined networking language NetKAT is able to verify many useful properties of networks automatically via a PSPACE decision procedure for program equality. However, for its probabilistic extension ProbNetKAT, ...
  • Flow-Limited Authorization 

    Arden, Owen (2017-01)
    Enforcing the confidentiality and integrity of information is critical in distributed applications. Production systems typically use some form of authorization mechanism to protect information, but these mechanisms do ...
  • Lightweight Verification of Secure Hardware Isolation Through Static Information Flow Analysis (Technical Report) 

    Ferraiuolo, Andrew; Xu, Rui; Zhang, Danfeng; Myers, Andrew C.; Suh, G. Edward (2017-01-29)
    Hardware-based mechanisms for software isolation are becoming increasingly popular, but implementing these mechanisms correctly has proved difficult, undermining the root of security. This work introduces an effective ...

View more

Statistics

RSS Feeds