Benjamin Lipp, Bruno Blanchet, Karthikeyan Bhargavan. A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol. In IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019. pages 231-246, IEEE, 2019. [doi]
@inproceedings{LippBB19,
title = {A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol},
author = {Benjamin Lipp and Bruno Blanchet and Karthikeyan Bhargavan},
year = {2019},
doi = {10.1109/EuroSP.2019.00026},
url = {https://doi.org/10.1109/EuroSP.2019.00026},
researchr = {https://researchr.org/publication/LippBB19},
cites = {0},
citedby = {0},
pages = {231-246},
booktitle = {IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019},
publisher = {IEEE},
isbn = {978-1-7281-1148-3},
}