Colin Boyd, Britta Hale. Secure Channels and Termination: The Last Word on TLS. In Tanja Lange 0001, Orr Dunkelman, editors, Progress in Cryptology - LATINCRYPT 2017 - 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20-22, 2017, Revised Selected Papers. Volume 11368 of Lecture Notes in Computer Science, pages 44-65, Springer, 2017. [doi]
Abstract is missing.