News for hackers. Stuff that matters.
Re:A Mechanised Cryptographic Proof of the WireGuard VPN Pro... by Hamuko on Monday May 13, 2019 @04:55PM (#19903868)
It's usable, but not audited. Likewise, Cloudflare's BoringTun has also not been audited properly.

There are no comments on this comment yet.