George C. Necula and Peter Lee. Safe kernel extensions without run-time checking. In OSDI, Seattle, USA, October 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Can we contain Internet worms? - Manuel Costa Jon (Correct)
No context found.
George C. Necula and Peter Lee. Safe kernel extensions without run-time checking. In OSDI, Seattle, USA, October 1996.
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (2 citations) (Correct)
No context found.
G. Necula and P. Lee. Safe kernel extensions without runtime checking. In Second Symposium on Operating Systems Design and Implementation, pages 229--243, Seattle, Oct. 1996.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
No context found.
G. Necula and P. Lee. Safe kernel extensions without run-time checking. In Proceedings of Operating System Design and Implementation, pages 229--243, Seattle, Oct. 1996.
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (24 citations) (Correct)
No context found.
Necula, G. and Lee, P. 1996. Safe kernel extensions without run-time checking. In Proceedings of Operating System Design and Implementation. USENIX assoc., Seattle, 229-243.
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (6 citations) (Correct)
No context found.
Necula, G. and Lee, P. 1996. Safe kernel extensions without run-time checking. In 2nd USENIX Symposium on Operating System Design and Implementation. USENIX Assocation, Berkeley, CA, USA, 229--243.
An Architecture for Privacy-Sensitive Ubiquitous Computing - Hong (2005) (2 citations) (Correct)
No context found.
Necula, G.C. and P. Lee. Safe Kernel Extensions Without Run-Time Checking. In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96). pp. 1996.
Securing Quality-of-Service Route Discovery in - On-Demand Routing For (Correct)
No context found.
George C. Necula and Peter Lee. Safe Kernel Extensions Without Run-Time Checking. In Proceedings of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 229--243, October 1996.
Inferring Invariants in Separation Logic for Imperative - List-Processing Programs.. (Correct)
No context found.
George C. Necula and Peter Lee. Safe Kernel extensions without run-time checking. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, pages 229--244, Berkeley, October 28--31 1996. USENIX Association.
Verification of Safety Properties for Concurrent Assembly Code - Dachuan Yu And (2004) (Correct)
No context found.
G. Necula and P. Lee. Safe kernel extensions without run-time checking. In Proc. 2nd USENIX Symp. on Operating System Design and Impl., pages 229--243, 1996.
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
George Necula and Peter Lee. Safe kernel extensions without runtime checking. In 2nd USENIX symposium on Operating System Design and Implementation, Seattle, October 1996.
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - Services Richard West (2005) (Correct)
No context found.
G. C. Necula and P. Lee. Safe kernel extensions without runtime checking. In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996.
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (7 citations) (Correct)
No context found.
G. Necula and P. Lee. Safe kernel extensions without run-time checking. In Proceedings of Operating System Design and Implementation, pages 229--243, Seattle, Oct. 1996.
Reasoning about Hierarchical Storage - Amal Ahmed Limin (2003) (4 citations) (Correct)
No context found.
G. Necula and P. Lee. Safe kernel extensions without runtime checking. In Proceedings of Operating System Design and Implementation, pages 229--243, Seattle, Oct. 1996.
Detecting Exploit Code Execution in Loadable Kernel Modules - Haizhi Xu Wenliang (Correct)
No context found.
G. C. Necula and P. Lee. Safe kernel extensions without run-time checking. In 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI '96), pages 229--243, October 1996.
User-level Device Drivers: Achieved Performance - Leslie, Chubb, Fitzroy-Dale, .. (2005) (1 citation) (Correct)
No context found.
George C. Necula and Peter Lee. Safe kernel extensions without run-time checking. In 2nd OSDI, pages 229--243, Seattle, WA, USA, Oct 1996.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
George C. Necula and Peter Lee. Safe kernel extensions without run-time checking. In Proceedings of the Second Symposium on Operating System Design and Implementation (OSDI'96), pages 229--243, Seattle, Washington, October 1996.
On the Dissemination of Certificate Status Information - Iliadis (1999) (Correct)
No context found.
Necula G.C., Lee P., Safe Kernel extensions without run-time checking, Proceedings of the Second Symposium on Operating Systems Design and Implementation, 1996
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005) (Correct)
No context found.
G. C. Necula and P. Lee. Safe kernel extensions without runtime checking. In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996.
Cuckoo: a Language for Implementing Memory- and Thread-safe.. - West, Wong (2005) (Correct)
No context found.
G. C. Necula and P. Lee. Safe kernel extensions without runtime checking. In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996.
An Efficient User-Level Shared Memory Mechanism for.. - West, Gloudon, Qi.. (2005) (Correct)
No context found.
G. C. Necula and P. Lee, "Safe kernel extensions without run-time checking," in Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pp. 229--243, 1996.
Tamper-Proof Annotations, by Construction - Franz, Haldar, Krintz, Stork (Correct)
No context found.
G. C. Necula and P. Lee. Safe kernel extensions without run-time checking. In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 229-243, Seattle, WA, Oct. 1996.
An Efficient User-Level Shared Memory Mechanism for - Application-Specific.. (2005) (Correct)
No context found.
G. C. Necula and P. Lee, "Safe kernel extensions without run-time checking," in Proceedings of the 2nd Symposium on Operating Systems Design and Implementation, pp. 229--243, 1996.
A New Protection Model for Component-Based Operating Systems - Law (2001) (4 citations) (Correct)
No context found.
George C. Necula and Peter Lee. Safe Kernel Extensions Without Run-Time Checking. In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28-31, 1996.
A Hierarchical Protection Model for Protecting against.. - Shinagawa, Kono, Masuda (2003) (Correct)
No context found.
G. C. Necula and P. Lee, "Safe kernel extensions without runtime checking," in Proc. 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pp. 229--243, Oct. 1996.
Flexible and Efficient Sandboxing Based on Fine-Grained.. - Shinagawa, Kono, Masuda (2002) (Correct)
No context found.
George C. Necula and Peter Lee. Safe kernel extensions without runtime checking. In Proc. of the 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 229--243, October 1996.
First 50 documents Next 50
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