Hannah Davis, Felix Günther 0001. Tighter Proofs for the SIGMA and TLS 1.3 Key Exchange Protocols. In Kazue Sako, Nils Ole Tippenhauer, editors, Applied Cryptography and Network Security - 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part II. Volume 12727 of Lecture Notes in Computer Science, pages 448-479, Springer, 2021. [doi]
Abstract is missing.