Mahajan, Manish. “Proof Carrying Code”. INFOCOMP Journal of Computer Science 6, no. 4 (December 1, 2007): 1–6. Accessed April 16, 2024. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/189.