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 proceedingConference contribution

Published

Standard

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 proceedingConference contribution

Harvard

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

APA

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

Vancouver

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)). https://doi.org/10.1007/978-3-319-93387-0_1

Author

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

BibTeX

@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",

}

RIS

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 -