The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jonathan S. Shapiro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  19. Sound and Complete Type Inference for a Systems Programming Language. [Citation Graph (, )][DBLP]


  20. Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002