Virgil D. Gligor. A Rest Stop on the Unending Road to Provable Security. In Jonathan Anderson, Frank Stajano, Bruce Christianson, Vashek Matyás, editors, Security Protocols XXVII - 27th International Workshop, Cambridge, UK, April 10-12, 2019, Revised Selected Papers. Volume 12287 of Lecture Notes in Computer Science, pages 223-232, Springer, 2019. [doi]
Abstract is missing.