Now showing items 1-9 of 9

    • Flow-Limited Authorization 

      Arden, Owen; Liu, Jed; Myers, Andrew (2015-05-08)
      Because information flow control mechanisms often rely on an underlying authorization mechanism, their security guarantees can be subverted by weaknesses in authorization. Conversely, the security of authorization can ...
    • Full-Processor Timing Channel Protection with Applications to Secure Hardware Compartments 

      Ferraiuolo, Andrew; Wang, Yao; Xu, Rui; Zhang, Danfeng; Myers, Andrew; Suh, Edward (2015)
      This paper presents timing compartments, a hardware architecture abstraction that eliminates microarchitectural timing channels between groups of processes of VMs running on shared hardware. When coupled ...
    • Homogeneous Family Sharing 

      Qi, Xin; Myers, Andrew (2010-07-25)
      Recent work has introduced class sharing as a mechanism for adapting a family of related classes with new functionality. This paper introduces homogeneous family sharing, implemented in the J&h language, in which the sharing ...
    • Language Mechanisms for Controlling and Mitigating Timing Channels 

      Zhang, Danfeng; Askarov, Aslan; Myers, Andrew (2012-03-22)
      We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through external timing channels. By incorporating ...
    • Masked Types 

      Qi, Xin; Myers, Andrew (2008-10-28)
      This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics that are surprising to programmers and ...
    • Scalable Extensibility via Nested Inheritance 

      Nystrom, Nathaniel; Chong, Stephen; Myers, Andrew (Cornell University, 2004-08-04)
      Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that addresses some of the limitations of ordinary ...
    • 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 ...
    • Sharing classes between families 

      Qi, Xin; Myers, Andrew (2009-03-29)
      Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inheritance, in which an entire family of related ...
    • Toward General Diagnosis of Static Errors: Technical Report 

      Zhang, Danfeng; Myers, Andrew (2013-08-22)
      We introduce a general way to locate program errors that are detected by type systems and other program analyses. The program analysis is expressed in a constraint language in which program errors manifest as unsatisfiable ...