Now showing items 1-5 of 5

    • Dynamic Security Labels and Noninterference 

      Zheng, Lantian; Myers, Andrew C. (Cornell University, 2004-01-23)
      This paper explores information flow control in systems in which the security classes of data can vary dynamically. Information flow policies provide the means to express strong security requirements for data confidentiality ...
    • End-to-End Availability Policies and Noninterference 

      Zheng, Lantian; Myers, Andrew C. (Cornell University, 2005-04-02)
      This paper introduces the use of static information flow analysis for the specification and enforcement of end-to-end availability policies in programs. We generalize the decentralized label model, which is about ...
    • Making Distributed Computation Trustworthy by Construction 

      Zheng, Lantian; Myers, Andrew C. (Cornell University, 2006-08-07)
      Trustworthy computing systems must provide data confidentiality and data integrity, and must be available. This paper shows that these security properties can be provided by construction, by compiling high-level, ...
    • Secure Program Partitioning 

      Zdancewic, Steve; Zheng, Lantian; Nystrom, Nathaniel; Myers, Andrew (Cornell University, 2001-10-18)
      This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untrusted hosts. Confidentiality and integrity ...
    • Secure web applications via automatic partitioning 

      Chong, Stephen; Liu, Jed; Myers, Andrew C.; Qi, Xin; Vikram, K.; Zheng, Lantian; Zheng, Xin (Cornell University, 2007-03-28)
      Web applications are now critical infrastructure. To improve the user interface, some application functionality is typically implemented as client-side JavaScript code. Currently there are no good methods for deciding ...