@misc{cryptoeprint:2018:080,
    author = {Benjamin Dowling and Kenneth G. Paterson},
    title = {A Cryptographic Analysis of the WireGuard Protocol},
    howpublished = {Cryptology ePrint Archive, Report 2018/080},
    year = {2018},
    url = {https://eprint.iacr.org/2018/080},
}