getsimon
Re:A Mechanised Cryptographic Proof of the WireGuard VPN Protocol
on Monday May 13, 2019 @06:21AM (#19897759)
Windows client (pre-alpha) has just been released too.
https://lists.zx2c4.com/pipermail/wireguard/2019-May/004126....