George C. Necula, Peter Lee  Home/Search
Context Related
| columbia.edu/~nieh...ula_pccosdi96.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: columbia.edu/~nieh/teaching/e6... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel first defines a safety policy and makes it public. Then, using this policy, an application can provide binaries in a special form called proof-carrying code, or simply PCC. Each PCC binary contains, in addition to the native code, a formal proof that the code obeys the safety policy. The kernel can easily validate the... (Update)
Cited by: More
Can we contain Internet worms? - Manuel Costa Jon (Correct)
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (Correct)
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (Correct)
Similar documents (at the sentence level):
56.7%: Safe Kernel Extensions Without Run-Time Checking - Necula, Lee (1996) (Correct)
31.8%: Proof-Carrying Code - Necula, Lee (1996) (Correct)
Active bibliography (related documents): More All
0.5: Asymptotically Local Minimax Estimation of Infinitely Smooth.. - Belitser, Levit (2001) (Correct)
0.5: GTS: A Generic Multicast Transport Service - Maffeis, Bischofberger, Mätzel (1994) (Correct)
0.2: IO-Lite: A Unified I/O Buffering and Caching System - Pai, Druschel, al. (1999) (Correct)
Similar documents based on text: More All
0.7: Building Certified Libraries for PCC: Dynamic Storage Allocation - Yu, Hamid, Shao (2003) (Correct)
0.6: Algorithm-Independent Framework for Verifying Integer Constraints - Teller, Shao (2000) (Correct)
0.4: On Estimation of the Number of Image Principal.. - Atsalakis.. (Correct)
Related documents from co-citation: More All
41: Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993
40: Proof-carrying code - Necula - 1997
29: safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
BibTeX entry: (Update)
George C. Necula and Peter Lee. Safe Kernel Extensions Without Run-Time Checking. In Second Symposium on Operating System Design and Implementation (OSDI '96), 1996. http://citeseer.ist.psu.edu/necula96safe.html More
@inproceedings{ necula96safe,
author = "George C. Necula and Peter Lee",
title = "Safe Kernel Extensions Without Run-Time Checking",
booktitle = "2nd Symposium on Operating Systems Design and Implementation ({OSDI} '96), October 28--31, 1996. Seattle, {WA}",
publisher = "USENIX",
address = "Berkeley, CA, USA",
editor = "{USENIX}",
pages = "229--243",
year = "1996",
url = "citeseer.ist.psu.edu/necula96safe.html" }
Citations (may not include all citations):9 American Mathematical Society (context) - Aspects, Science et al. - 1967
5 safety and performance in the SPIN operating system (context) - Sirer, Becker et al. - 1995
2 USENIX Association - Jan - 1993
1 Implementing Mathematics with the Nuprl Proof Development Sy.. (context) - Cleaveland, Cremer et al. - 1986
1 cient mechanism for user-level network code (context) - packet, An - 1987
1 Journal of the Association for Computing Machinery (context) - for, ning - 1993
1 Language support for extensible operating systems (context) - Savage, Becker et al. - 1996
1 Also appeared as FOX memorandum CMU-CS-FOX-96-03 (context) - Department, University - 1996
1 Writing an operating system with Modula (context) - Bershad - 1996
1 TIL: Atype-directed optimizing compiler for ML (context) - Stone, Harper et al. - 1996
1 handlers for high-performance messaging (context) - Kaashoek, ASHs - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.columbia.edu/~nieh/teaching/e6118_s00/papers/): More
Application Performance and Flexibility on Exokernel.. - Kaashoek, Engler.. (1997) (Correct)
Implementation and Performance of Application-Controlled File .. - Cao, Felten, al. (1994) (Correct)
IO-Lite: A Unified I/O Buffering and Caching System - Pai, Druschel, al. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC