Ankur Taly, Asim Shankar. Distributed Authorization in Vanadium. In Alessandro Aldini, Javier Lopez, Fabio Martinelli, editors, Foundations of Security Analysis and Design VIII - FOSAD 2014/2015/2016 Tutorial Lectures. Volume 9808 of Lecture Notes in Computer Science, pages 139-162, Springer, 2016. [doi]
Abstract is missing.