Mahajan, M. 2007. Proof Carrying Code. INFOCOMP Journal of Computer Science. 6, 4 (Dec. 2007), 1–6.