Mahajan, M. (2007) “Proof Carrying Code”, INFOCOMP Journal of Computer Science, 6(4), pp. 1–6. Available at: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/189 (Accessed: 28 March 2024).