Mahajan, M. (2007). Proof Carrying Code. INFOCOMP Journal of Computer Science, 6(4), 1–6. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/189