Hacker News
- Formal verification of the WireGuard protocol https://www.wireguard.com/formal-verification/ 17 comments
Lobsters
- Formal verification of the WireGuard protocol https://www.wireguard.io/formal-verification/ 4 comments cryptography , formalmethods , networking