A Cryptographic Analysis of the WireGuard Protocol

Benjamin Dowling; Kenneth G. Paterson

doi:10.1007/978-3-319-93387-0_1

A Cryptographic Analysis of the WireGuard Protocol

Benjamin Dowling, Kenneth G. Paterson

Department of Information Security

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

809 Downloads (Pure)

Original language	English
Title of host publication	Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Proceedings
Publisher	Springer-Verlag
Pages	3-21
Number of pages	19
ISBN (Electronic)	978-3-319-93387-0
ISBN (Print)	978-3-319-93386-3
DOIs	https://doi.org/10.1007/978-3-319-93387-0_1
Publication status	Published - 2018
Event	16th International Conference on Applied Cryptography and Network Security, ACNS 2018 - Leuven, Belgium Duration: 2 Jul 2018 → 4 Jul 2018

Publication series

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

Conference

Conference	16th International Conference on Applied Cryptography and Network Security, ACNS 2018
Country/Territory	Belgium
City	Leuven
Period	2/07/18 → 4/07/18

Keywords

Authenticated key exchange
Cryptographic protocols
Formal analysis
WireGuard

Access to Document

10.1007/978-3-319-93387-0_1

Accepted ManuscriptAccepted author manuscript, 411 KB

Cite this

Dowling, B., & Paterson, K. G. (2018). A Cryptographic Analysis of the WireGuard Protocol. In Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Proceedings (pp. 3-21). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10892 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-319-93387-0_1

@inproceedings{32423d559bcd46458c92ad5505f36eab,

title = "A Cryptographic Analysis of the WireGuard Protocol",

keywords = "Authenticated key exchange, Cryptographic protocols, Formal analysis, WireGuard",

author = "Benjamin Dowling and Paterson, {Kenneth G.}",

year = "2018",

doi = "10.1007/978-3-319-93387-0_1",

language = "English",

isbn = "978-3-319-93386-3",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "3--21",

booktitle = "Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Proceedings",

note = "16th International Conference on Applied Cryptography and Network Security, ACNS 2018 ; Conference date: 02-07-2018 Through 04-07-2018",

}

Dowling, B & Paterson, KG 2018, A Cryptographic Analysis of the WireGuard Protocol. in Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10892 LNCS, Springer-Verlag, pp. 3-21, 16th International Conference on Applied Cryptography and Network Security, ACNS 2018, Leuven, Belgium, 2/07/18. https://doi.org/10.1007/978-3-319-93387-0_1

A Cryptographic Analysis of the WireGuard Protocol. / Dowling, Benjamin; Paterson, Kenneth G.
Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Proceedings. Springer-Verlag, 2018. p. 3-21 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10892 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A Cryptographic Analysis of the WireGuard Protocol

AU - Dowling, Benjamin

AU - Paterson, Kenneth G.

PY - 2018

Y1 - 2018

KW - Authenticated key exchange

KW - Cryptographic protocols

KW - Formal analysis

KW - WireGuard

UR - http://www.scopus.com/inward/record.url?scp=85049065186&partnerID=8YFLogxK

UR - https://eprint.iacr.org/2018/080

U2 - 10.1007/978-3-319-93387-0_1

DO - 10.1007/978-3-319-93387-0_1

M3 - Conference contribution

AN - SCOPUS:85049065186

SN - 978-3-319-93386-3

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 21

BT - Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Proceedings

PB - Springer-Verlag

T2 - 16th International Conference on Applied Cryptography and Network Security, ACNS 2018

Y2 - 2 July 2018 through 4 July 2018

ER -

Dowling B, Paterson KG. A Cryptographic Analysis of the WireGuard Protocol. In Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Proceedings. Springer-Verlag. 2018. p. 3-21. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2018 Jun 10. doi: 10.1007/978-3-319-93387-0_1

A Cryptographic Analysis of the WireGuard Protocol

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this