A Mechanised Computational Analysis of the WireGuard Virtual Private Network Protocol

This work has been superseeded by a more recent peer-reviewed article.

Documents:

• Thesis (pdf)
• CryptoVerif models (tar.gz). They can be verified with CryptoVerif 2.00.

Feedback, comments and questions welcome via email: blipp at mailbox dot org

Feel free to cite the thesis in the following way:

Lipp, Benjamin. A Mechanised Computational Analysis of the WireGuard Virtual Private Network Protocol. Master's Thesis, Karlsruhe Institute of Technology, 2018. URL: https://benjaminlipp.de/master-thesis

@thesis{Lipp:2018:MechanisedComputationalWireGuard,
  title = {A {{Mechanised Computational Analysis}} of the {{WireGuard Virtual Private Network Protocol}}},
  url = {https://benjaminlipp.de/master-thesis},
  institution = {{Karlsruhe Institute of Technology}},
  type = {Master's Thesis},
  date = {2018-05-23},
  author = {Lipp, Benjamin}
}