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), Technical report 9269, Inria, 2019.
Bibtex Entry:
@TechReport{RR-9269,
  author = 	 {Benjamin Lipp and Bruno Blanchet and Karthikeyan Bhargavan},
  title = 	 {A Mechanised Cryptographic Proof of the
    {W}ire{G}uard Virtual Private Network Protocol},
  institution =  {Inria},
  year = 	 2019,
  type = 	 {Research report},
  number = 	 9269,
  month = 	 apr,
  url = "https://hal.inria.fr/hal-02100345"}
Powered by bibtexbrowser