Automated Techniques for Provably Safe Mobile Code (2000)

by C Colby, K Crary, R Harper, P Lee, F Pfenning
Venue:In Proceedings of the DARPA Information Survivability Conference and Exposition