2008 |
20 | EE | Swaroop Sridhar,
Jonathan S. Shapiro,
Scott F. Smith:
Sound and Complete Type Inference for a Systems Programming Language.
APLAS 2008: 290-306 |
2006 |
19 | EE | Swaroop Sridhar,
Jonathan S. Shapiro:
Type inference for unboxed types and first class mutability.
PLOS 2006: 7 |
2005 |
18 | EE | Mark S. Miller,
Eric Dean Tribble,
Jonathan S. Shapiro:
Concurrency Among Strangers.
TGC 2005: 195-229 |
2004 |
17 | EE | Hao Chen,
Jonathan S. Shapiro:
Using build-integrated static checking to preserve correctness invariants.
ACM Conference on Computer and Communications Security 2004: 288-297 |
16 | EE | Michael Hohmuth,
Michael Peter,
Hermann Härtig,
Jonathan S. Shapiro:
Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors.
ACM SIGOPS European Workshop 2004: 22 |
15 | EE | Mark S. Miller,
Bill Tulloh,
Jonathan S. Shapiro:
The Structure of Authority: Why Security Is Not a Separable Concern.
MOZ 2004: 2-20 |
14 | EE | Anshumal Sinha,
Sandeep Sarat,
Jonathan S. Shapiro:
Network Subsystems Reloaded: A High-Performance, Defensible Network Subsystem.
USENIX Annual Technical Conference, General Track 2004: 213-226 |
13 | EE | Jonathan S. Shapiro,
John Vanderburgh,
Eric Northup,
David Chizmadia:
Design of the EROS Trusted Window System.
USENIX Security Symposium 2004: 165-178 |
2003 |
12 | EE | Mark S. Miller,
Jonathan S. Shapiro:
Paradigm Regained: Abstraction Mechanisms for Access Control.
ASIAN 2003: 224-242 |
11 | EE | Jonathan S. Shapiro:
Vulnerabilities in Synchronous IPC Designs.
IEEE Symposium on Security and Privacy 2003: 251-262 |
10 | EE | Jonathan S. Shapiro,
John Vanderburgh,
Jack Lloyd:
OpenCM: Early Experiences and Lessions Learned.
USENIX Annual Technical Conference, FREENIX Track 2003: 231-244 |
9 | EE | Jonathan S. Shapiro:
Understanding the Windows EAL4 Evaluation.
IEEE Computer 36(2): 103-105 (2003) |
2002 |
8 | EE | Jonathan S. Shapiro,
John Vanderburgh:
CPCMS: A Configuration Management System Based on Cryptographic Names.
USENIX Annual Technical Conference, FREENIX Track 2002: 207-220 |
7 | EE | Jonathan S. Shapiro,
Jonathan Adams:
Design Evolution of the EROS Single-Level Store.
USENIX Annual Technical Conference, General Track 2002: 59-72 |
6 | EE | Jonathan S. Shapiro,
John Vanderburgh:
Access and Integrity Control in a Public-Access, High-Assurance Configuration Management System.
USENIX Security Symposium 2002: 109-120 |
5 | EE | Jonathan S. Shapiro,
Norman Hardy:
EROS: A Principle-Driven Operating System from the Ground Up.
IEEE Software 19(1): 26-33 (2002) |
2000 |
4 | EE | Jonathan S. Shapiro,
Sam Weber:
Verifying the EROS Confinement Mechanism.
IEEE Symposium on Security and Privacy 2000: 166-176 |
1999 |
3 | EE | Jonathan S. Shapiro,
Jonathan M. Smith,
David J. Farber:
EROS: a fast capability system.
SOSP 1999: 170-185 |
1996 |
2 | EE | Jonathan S. Shapiro,
David J. Farber,
Jonathan M. Smith:
State Caching in the EROS Kernel.
POS 1996: 88-100 |
1992 |
1 | | Allen C. Bomberger,
William S. Frantz,
Ann C. Hardy,
Norman Hardy,
Charles R. Landau,
Jonathan S. Shapiro:
The KeyKOS Nanokernel Architecture.
USENIX Workshop on Microkernels and Other Kernel Architectures 1992: 95-112 |