4 search results - page 1 / 1 » Research on Proof-Carrying Code for Untrusted-Code Security |
SP
1997
IEEE
14 years 3 months ago
1997
IEEE
SOSP
2003
ACM
14 years 7 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
OOPSLA
1998
Springer
14 years 3 months ago
1998
Springer
With the spread of the Internet the computing model on server systems is undergoing several important changes. Recent research ideas concerning dynamic operating system extensibil...
PLDI
2003
ACM
14 years 4 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...