WireGuard now has two formally verified curve25519 implementations from @INRIA and @MIT: https://lists.zx2c4.com/pipermail/wireguard/2018-January/002304.html … #formalverification
10:22 AM - 18 Jan 2018
0 replies
3 retweets
7 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.