Proof-carrying code

George C. Necula
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL '97
Paris, France
Association for Computing Machinery
New York, NY, USA
Pages 106-119
1997
Note(s): proof carrying code

Proof carrying code