Mahajan, M. “Proof Carrying Code”. INFOCOMP Journal of Computer Science, vol. 6, no. 4, Dec. 2007, pp. 1-6, https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/189.