Benjamin Dowling, Paul Rösler, Jörg Schwenk. Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework. In Aggelos Kiayias, Markulf Kohlweiss, Petros Wallden, Vassilis Zikas, editors, Public-Key Cryptography - PKC 2020 - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 4-7, 2020, Proceedings, Part I. Volume 12110 of Lecture Notes in Computer Science, pages 341-373, Springer, 2020. [doi]
Abstract is missing.