WireGuard company blog
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.
- Points
- 165
- HN comments
- 17
- Submissions
- 1
- Cited by
- 9 commenters
Security & PrivacyNetworking & Internet2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 17, 2017 | Formal verification of the WireGuard protocol by zx2c4 | 165 | 17 |
Cited in comments
Linked from 9 Hacker News comments by 9 different people, from Oct 2017 to Aug 2026.
Most recent:
