%0 Conference Paper %1 conf/eurosp/LippBB19 %A Lipp, Benjamin %A Blanchet, Bruno %A Bhargavan, Karthikeyan %B EuroS&P %D 2019 %I IEEE %K dblp %P 231-246 %T A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol. %U http://dblp.uni-trier.de/db/conf/eurosp/eurosp2019.html#LippBB19 %@ 978-1-7281-1148-3

@inproceedings{conf/eurosp/LippBB19, added-at = {2022-05-23T00:00:00.000+0200}, author = {Lipp, Benjamin and Blanchet, Bruno and Bhargavan, Karthikeyan}, biburl = {https://www.bibsonomy.org/bibtex/2347c1f2c16a4c419e57c33614b1e5e55/dblp}, booktitle = {EuroS&P}, crossref = {conf/eurosp/2019}, ee = {https://doi.org/10.1109/EuroSP.2019.00026}, interhash = {c4de6205f39447db43db1a6089f31e57}, intrahash = {347c1f2c16a4c419e57c33614b1e5e55}, isbn = {978-1-7281-1148-3}, keywords = {dblp}, pages = {231-246}, publisher = {IEEE}, timestamp = {2024-04-10T03:52:30.000+0200}, title = {A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol.}, url = {http://dblp.uni-trier.de/db/conf/eurosp/eurosp2019.html#LippBB19}, year = 2019 }