Mobility, Security, and Proof-Carrying Code Peter Lee Carnegie Mellon University Lecture 1 Course Overview July 10, 2001 Lipari School on Foundations of.
An Introduction to Proof-Carrying Code Peter Lee Carnegie Mellon University