https://courses.csail.mit.edu/6.857/2018/project/He-Xu-Xu-Wi...
> A Cryptographic Analysis of the WireGuard Protocol. Benjamin Dowling, Kenneth G. Paterson
https://eprint.iacr.org/2018/080.pdf
https://courses.csail.mit.edu/6.857/2018/project/He-Xu-Xu-Wi...
> A Cryptographic Analysis of the WireGuard Protocol. Benjamin Dowling, Kenneth G. Paterson
https://eprint.iacr.org/2018/080.pdf