So wait, NDSS accepted and published an entire new VPN protocol with no security analysis?
-
-
So the Tamarin analysis is something, but it’s not in the NDSS paper. Still seems like a strange accept.
-
Maybe a strange accept? Probably not a strange accept? There's quite a bit of security analysis threaded throughout the NDSS paper (wireguard.pdf earlier in this thread). And with these new papers, we're receiving additional proofs of the protocol's cryptographic soundness.
- 7 more replies
New conversation -
-
-
In any case, I interpret the new paper as a positive confirmation of WireGuard and of
@trevp__ 's Noise Protocol Framework, and also a motivation for the computational proof community to improve their tools and methods. Wrote about it here: https://lists.zx2c4.com/pipermail/wireguard/2018-January/002333.html …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.