Benjamin Dowling, Kenneth G. Paterson. A Cryptographic Analysis of the WireGuard Protocol. In Bart Preneel, Frederik Vercauteren, editors, Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings. Volume 10892 of Lecture Notes in Computer Science, pages 3-21, Springer, 2018. [doi]
Abstract is missing.