1
Formal verification of the WireGuard protocol
WireGuard has undergone all sorts of formal verification, covering aspects of the cryptography, protocol, and implementation. Below details the various efforts.
WireGuard: fast, modern, secure VPN tunnel
Visit wireguard.com → On Hacker News Jul 2017 – Jun 2019
Networking & Internet 3Security & Privacy 2Systems & Performance 1
WireGuard has undergone all sorts of formal verification, covering aspects of the cryptography, protocol, and implementation. Below details the various efforts.
Users of kernels < 5.6 may also choose wireguard-lts or wireguard-dkms + linux-headers , depending on which kernel is used.