Now showing items 6-12 of 12

    • Hyperproperties 

      Clarkson, Michael R.; Schneider, Fred B. (2008-01-27)
      Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express security policies, such as secure information ...
    • Hyperproperties 

      Clarkson, Michael R.; Schneider, Fred B. (2008-12-22)
      Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express security policies, such as secure information ...
    • Hyperproperties: Verification of Proofs 

      Bueno, Denis L.; Clarkson, Michael R. (2008-07-25)
      This paper formalizes some proofs by Clarkson and Schneider about hyperproperties. The proofs are mechanically verified using the proof assistant Isabelle.
    • Information-Flow Security for Interactive Programs 

      O'Neill, Kevin R.; Clarkson, Michael R.; Chong, Stephen (Cornell University, 2006-04-17)
      Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about their information-flow security, yet no such ...
    • Polyglot: An Extensible Compiler Framework for Java 

      Nystrom, Nathaniel; Clarkson, Michael R.; Myers, Andrew C. (Cornell University, 2002-11-05)
      Polyglot is an extensible compiler framework that supports the easy creation of compilers for languages similar to Java, while avoiding code duplication. The Polyglot framework is useful for domain-specific languages, ...
    • Quantification of Integrity 

      Clarkson, Michael R.; Schneider, Fred B. (2011-01-12)
      Three integrity measures are introduced: contamination, channel suppression, and program suppression. Contamination is a measure of how much untrusted information reaches trusted outputs; it is the dual of leakage, which ...
    • Quantifying Information Flow with Beliefs 

      Clarkson, Michael R.; Myers, Andrew C.; Schneider, Fred B. (Cornell University, 2007-03-01)
      To reason about information flow, a new model is developed that describes how attacker beliefs change due to the attacker's observation of the execution of a probabilistic (or deterministic) program. The model enables ...