Weiner, Leah. “Proof-Carrying Authorization in Distributed Systems With Beluga: A Case Study”. McGill Science Undergraduate Research Journal 8, no. 1 (March 31, 2013): 55–61. Accessed July 3, 2024. https://msurjonline.mcgill.ca/article/view/112.