1. Appel, A.W.: Foundational proof-carrying code. In: Proc. of 16th Annual IEEE Symposium on Logic in Computer Science, pp. 247–258 (June 2001)
2. Bershad, B.N., Chambers, C., Eggers, S.J., Maeda, C., McNamee, D., Pardyak, P., Savage, S., Sirer, E.G.: SPIN - an extensible microkernel for application-specific operating system services. In: Proc. of ACM SIGOPS European Workshop, September 1994, pp. 68–71 (1994)
3. Crary, K.: Toward a foundational typed assembly language. In: Proc. of Symposium on Principles of Programming Languages, January 2003, pp. 198–212 (2003)
4. Dubnicki, C., Bilas, A., Chen, Y., Damianakis, S., Li, K.: VMMC-2: efficient support for reliable, connection-oriented communication. In: Proc. of Hot Interconnects, August 1997, pp. 37–46 (1997)
5. Hamid, N., Shao, Z., Trifonov, V., Monnier, S., Ni, Z.: A syntactic approach to foundational proof-carrying code. Technical Report YALEU/DCS/TR-1224, Dept. of Computer Science, Yale University (2002)