A Cryptographic Analysis of the WireGuard Protocol

Benjamin Dowling, Kenneth G. Paterson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

694 Downloads (Pure)
Original languageEnglish
Title of host publicationApplied Cryptography and Network Security - 16th International Conference, ACNS 2018, Proceedings
PublisherSpringer-Verlag
Pages3-21
Number of pages19
ISBN (Electronic)978-3-319-93387-0
ISBN (Print)978-3-319-93386-3
DOIs
Publication statusPublished - 2018
Event16th International Conference on Applied Cryptography and Network Security, ACNS 2018 - Leuven, Belgium
Duration: 2 Jul 20184 Jul 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10892 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th International Conference on Applied Cryptography and Network Security, ACNS 2018
Country/TerritoryBelgium
CityLeuven
Period2/07/184/07/18

Keywords

  • Authenticated key exchange
  • Cryptographic protocols
  • Formal analysis
  • WireGuard

Cite this