Christopher Patton, Thomas Shrimpton. Quantifying the Security Cost of Migrating Protocols to Practice. In Daniele Micciancio, Thomas Ristenpart, editors, Advances in Cryptology - CRYPTO 2020 - 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part I. Volume 12170 of Lecture Notes in Computer Science, pages 94-124, Springer, 2020. [doi]
Abstract is missing.