Proof-carrying code

Bibtex entry :

@inproceedings {  necula97popl,
    author = { G.C. Necula },
    title = { Proof-carrying code },
    journal = { Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'97) },
    year = { 1997 },
}