A cryptographic analysis of the WireGuard protocol

DOI10.1007/978-3-319-93387-0_1MaRDI QIDQ1656016zbMATH OpenOpenAlexFDO

Authors 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

authenticated key exchangecryptographic protocolsformal analysisWireGuard

Mathematics Subject Classification ID

Network protocols (68M12) Cryptography (94A60)

Recommendations

• Tiny WireGuard tweak
• A formal security analysis of the Signal messaging protocol
• A cryptographic analysis of the TLS 1.3 handshake protocol
• Secure communication channel establishment: TLS 1.3 (over TCP Fast Open) versus QUIC
• (De-)constructing TLS 1.3

Cited in

(5)

• Tiny WireGuard tweak
• Flexible authenticated and confidential channel establishment (fACCE): analyzing the noise protocol framework
• Cryptographic defense against traffic analysis
• Analysis of ADER and ADER-WAF schemes
• Computational security analysis of the full EDHOC protocol

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1656016)