So wait, NDSS accepted and published an entire new VPN protocol with no security analysis?
-
-
-
-
Replying to @matthew_d_green
I am confused ... I thought it had a security proof?
2 replies 0 retweets 0 likes
Replying to @BenLaurie @matthew_d_green
It does. https://www.wireguard.com/papers/wireguard-formal-verification.pdf … And Dowling and Paterson's paper represents an additional proof.
5:09 AM - 24 Jan 2018
0 replies
0 retweets
0 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.