A Sound Framework for Untrusted Verification-Condition Generators

  title={A Sound Framework for Untrusted Verification-Condition Generators},
  author={George C. Necula and Robert R. Schneck},
We propose a framework called configurable proofcarrying code, which allows the untrusted producer of mobile code to provide the bulk of the code verifier used by a code receiver to check the safety of the received code. The resulting system is both more flexible and also more trustworthy than a standard proof-carrying code system, because only a small part of the verifier needs to be trusted, while the remaining part can be configured freely to suit the safety policy on one hand, and the… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
18 Citations
23 References
Similar Papers


Publications citing this paper.

Similar Papers

Loading similar papers…