G. Rosu and N. Segerlind. Proofs on safety for untrusted code. UCSD technical report CS1999-0633, October 1999. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Detecting Exploit Code Execution in Loadable Kernel Modules - Haizhi Xu Wenliang (Correct)
No context found.
G. Rosu and N. Segerlind. Proofs on safety for untrusted code. UCSD technical report CS1999-0633, October 1999.
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