Proof-Carrying CodeThe Good, the Bad, and the Ugly

Peter Lee

Carnegie Mellon University

and

Cedilla Systems Incorporated

IRC Malicious Code Workshop

January 2000

Next slide

Back to first slide

View graphic version