M. Mahajan, “Proof Carrying Code”, INFOCOMP Journal of Computer Science, vol. 6, no. 4, pp. 1–6, Dec. 2007.