The KeyKOS Nanokernel Architecture. - Allen C. Bomberger; William S. Frantz; Ann C. Hardy; Norman Hardy; Charles R. Landau; Jonathan S. Shapiro (USENIX Workshop on Microkernels and Other Kernel Architectures, 1992)

State Caching in the EROS Kernel. - Jonathan S. Shapiro; David J. Farber; Jonathan M. Smith (POS, 1996)

EROS: a fast capability system. - Jonathan S. Shapiro; Jonathan M. Smith; David J. Farber (SOSP, 1999)

Verifying the EROS Confinement Mechanism. - Jonathan S. Shapiro; Sam Weber (S&P, 2000)

Design Evolution of the EROS Single-Level Store. - Jonathan S. Shapiro; Jonathan Adams (USENIX ATC, General Track, 2002)

CPCMS: A Configuration Management System Based on Cryptographic Names. - Jonathan S. Shapiro; John Vanderburgh (USENIX ATC, FREENIX Track, 2002)

Access and Integrity Control in a Public-Access, High-Assurance Configuration Management System. - Jonathan S. Shapiro; John Vanderburgh (USENIX Security Symposium, 2002)

EROS: A Principle-Driven Operating System from the Ground Up. - Jonathan S. Shapiro; Norman Hardy (IEEE Softw., 2002)

Paradigm Regained: Abstraction Mechanisms for Access Control. - Mark S. Miller; Jonathan S. Shapiro (ASIAN, 2003)

Vulnerabilities in Synchronous IPC Designs. - Jonathan S. Shapiro (S&P, 2003)

OpenCM: Early Experiences and Lessions Learned. - Jonathan S. Shapiro; John Vanderburgh; Jack Lloyd (USENIX ATC, FREENIX Track, 2003)

Understanding the Windows EAL4 Evaluation. - Jonathan S. Shapiro (Computer, 2003)

Using build-integrated static checking to preserve correctness invariants. - Hao Chen 003; Jonathan S. Shapiro (CCS, 2004)

The Structure of Authority: Why Security Is Not a Separable Concern. - Mark S. Miller; Bill Tulloh; Jonathan S. Shapiro (MOZ, 2004)

Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors. - Michael Hohmuth; Michael Peter; Hermann Härtig; Jonathan S. Shapiro (ACM SIGOPS European Workshop, 2004)

Network Subsystems Reloaded: A High-Performance, Defensible Network Subsystem. - Anshumal Sinha; Sandeep Sarat; Jonathan S. Shapiro (USENIX ATC, General Track, 2004)

Design of the EROS Trusted Window System. - Jonathan S. Shapiro; John Vanderburgh; Eric Northup; David Chizmadia (USENIX Security Symposium, 2004)

Extracting the Lessons of Multics. - Jonathan S. Shapiro (login Usenix Mag., 2004)

Concurrency Among Strangers. - Mark S. Miller; Eric Dean Tribble; Jonathan S. Shapiro (TGC, 2005)

Type inference for unboxed types and first class mutability. - Swaroop Sridhar; Jonathan S. Shapiro (PLOS, 2006)

HDTrans: a low-overhead dynamic translator. - Swaroop Sridhar; Jonathan S. Shapiro; Prashanth P. Bungale (SIGARCH Comput. Archit. News, 2007)

Sound and Complete Type Inference for a Systems Programming Language. - Swaroop Sridhar; Jonathan S. Shapiro; Scott F. Smith 001 (APLAS, 2008)