A Mechanised Computational Analysis of the WireGuard Virtual Private Network Protocol

Documents:

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}
}