Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, FermÃn Reig, Ning Wang. A portable Virtual Machine target for Proof-Carrying Code. In David Gregg, M. Anton Ertl, editors, Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2003, San Diego, California, USA, June 12, 2003. pages 24-31, ACM, 2003. [doi]
Abstract is missing.