SRL Publications

Technical Reports

SRL2003-06	Hao Chen and Jonathan S. Shapiro, Exploring Static Checking for Software Assurance A description of our experiment using MOPS to evaluate temporal safety properties in the EROS kernel, submitted to Oakland 2004.
SRL2003-05	Jonathan S. Shapiro, John Vanderburgh, Eric Northup, and David Chizmadia, The EROS Trusted Window System A description of our trusted window system prototype, submitted to Oakland 2004.
SRL2003-04	Jonathan S. Shapiro, The Practical Application of a Decidable Access Model A reworked version of the 2000 technical report, submitted to Oakland 2004.
SRL2003-03	Mark Miller, Jonathan S. Shapiro, Paradigm Regained: Abstraction Mechanisms for Access Control The submitted version of Mark's invited paper for ASIAN-03.
SRL2003-02	Mark Miller, Ka-Ping Yee, Jonathan S. Shapiro, Capability Myths Demolished A submission to USENIX 2003 providing a taxonomy and discussion of different capability models.
SRL2003-01	Chris Riley, Christian Scheideler, and Jonathan S. Shapiro, Hash Systems for Single Disk Allocation An investigation of hashing strategies for disk block placement in a randomization-based placement scheme.
SRL2000-01	J. S. Shapiro The Practical Application of a Decidable Access Model A copy of our 2001 IEEE Symposium on Security and Privacy submission.
SRL2000-02	J. S. Shapiro, ed. Operating System Requirements for Liquid Software A list of requirements and discussion points for operating systems that support liquid software.
SRL2000-03	J. S. Shapiro First-Class Flexpage-Based Address Spaces Describes a reformulation of L4-style address spaces that eliminates the need for in-kernel resource allocation.
SRL2000-04	J. S. Shapiro Managing Capabilities by Dynamic Single Assignment Describes a new approach to descriptor management that yields faster descriptor transfer and a simplre interrupt-driven kernel design.