WEINER, L. Proof-carrying authorization in distributed systems with Beluga: a case study. McGill Science Undergraduate Research Journal, Montréal, Canada, v. 8, n. 1, p. 55–61, 2013. DOI: 10.26443/msurj.v8i1.112. Disponível em: https://msurjonline.mcgill.ca/article/view/112. Acesso em: 3 jul. 2024.