Weiner, L. (2013). Proof-carrying authorization in distributed systems with Beluga: a case study. McGill Science Undergraduate Research Journal, 8(1), 55–61. https://doi.org/10.26443/msurj.v8i1.112