Also appeared as FOX memorandum CMU-CS-FOX96 -03. [2] NECULA, G. C., AND LEE, P. Safe kernel extensions without run-time checking. In Second Symposium on Operating Systems Design and Implementations (Oct. 1996), Usenix, pp. 229--243.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Research on Proof-Carrying Code for Untrusted-Code Security - George Necula (1997)   (2 citations)  Self-citation (Cmu Necula)   (Correct)

No context found.

Also appeared as FOX memorandum CMU-CS-FOX96 -03. [2] NECULA, G. C., AND LEE, P. Safe kernel extensions without run-time checking. In Second Symposium on Operating Systems Design and Implementations (Oct. 1996), Usenix, pp. 229--243.

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