Safe, Untrusted Agents using Proof-Carrying Code (1998)

by George C. Necula, Peter Lee
Venue:of Lecture Notes in Computer Science