Keith Irwin. Redesigning Secure Protocols to Compel Security Checks (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 30-40, Springer, 2015. [doi]
Abstract is missing.