Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers. A Tale of Two Models: Formal Verification of KEMTLS via Tamarin. In Vijayalakshmi Atluri, Roberto Di Pietro, Christian Damsgaard Jensen, Weizhi Meng 0001, editors, Computer Security - ESORICS 2022 - 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part III. Volume 13556 of Lecture Notes in Computer Science, pages 63-83, Springer, 2022. [doi]
Abstract is missing.