A cryptographic analysis of the WireGuard protocol

DOI10.1007/978-3-319-93387-0_1zbMath1440.94045OpenAlexW2794597218MaRDI QIDQ1656016

Benjamin Dowling, Kenneth G. Paterson

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-93387-0_1

zbMATH Keywords

cryptographic protocolsformal analysisauthenticated key exchangeWireGuard

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Related Items (1)

Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework

This page was built for publication: A cryptographic analysis of the WireGuard protocol