Weiner, Leah. 2013. “Proof-Carrying Authorization in Distributed Systems With Beluga: A Case Study”. McGill Science Undergraduate Research Journal 8 (1). Montréal, Canada:55-61. https://doi.org/10.26443/msurj.v8i1.112.