Luca Viganò. Security is Beautiful (Transcript of Discussion). In Bruce Christianson, Petr Svenda, Vashek Matyás, James A. Malcolm, Frank Stajano, Jonathan Anderson, editors, Security Protocols XXIII - 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers. Volume 9379 of Lecture Notes in Computer Science, pages 251-260, Springer, 2015. [doi]
Abstract is missing.