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
WireGuard: fast, modern, secure VPN tunnel
- Popular posts
- 3
- Total points
- 256
- HN comments
- 52
- Rank
- #5,006 company
Visit wireguard.com → On Hacker News Jul 2017 – Jun 2019
Networking & Internet 3Security & Privacy 2Systems & Performance 1
2
WireGuard for Windows Pre-Alpha Is Available
Users of kernels < 5.6 may also choose wireguard-lts or wireguard-dkms + linux-headers , depending on which kernel is used.
3
Routing & Network Namespaces
Like all Linux network interfaces, WireGuard integrates into the network namespace infrastructure. This means an administrator can have several entirely different networking subsystems and choose which interfaces live in each.