A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol (bibtex)
by Benjamin Lipp, Bruno Blanchet and Karthikeyan Bhargavan
Reference:
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol (Benjamin Lipp, Bruno Blanchet and Karthikeyan Bhargavan), In IEEE European Symposium on Security and Privacy (EuroS&P'19), IEEE Computer Society, 2019.
Bibtex Entry:
@InProceedings{LippBlanchetBharagavanEuroSP19,
  author = 	 {Benjamin Lipp and Bruno Blanchet and Karthikeyan Bhargavan},
  title = 	 {A Mechanised Cryptographic Proof of the
    {W}ire{G}uard Virtual Private Network Protocol},
  booktitle = {IEEE European Symposium on Security and Privacy (EuroS\&P'19)},
  year = 	 2019,
  pages = 	 {231--246},
  month = 	 jun,
  address = 	 {Stockholm, Sweden},
  publisher = {IEEE Computer Society},
    url="https://hal.inria.fr/hal-02100345/document"
}
Powered by bibtexbrowser