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

Cached

Download Links

by George C. Necula , Peter Lee
Venue:of Lecture Notes in Computer Science
Citations:32 - 3 self

Document Versions

Safe, Untrusted Agents using Proof-Carrying Code –George C. Necula, Peter Lee — 1998 — of Lecture Notes in Computer Science
Safe, Untrusted Agents using Proof-Carrying Code –George C. Necula, Peter Lee — 1988 — OF LECTURE NOTES IN COMPUTER SCIENCE