So wait, NDSS accepted and published an entire new VPN protocol with no security analysis?
-
-
There’s no proof in the paper. There are a few arguments. That’s not enough. And the new proof seems to require protocol changes.
-
We did the Tamarin analysis (whose source code is open source, actually) to provide these proofs, which I liked earlier in this thread. Also, as mentioned earlier, the modified protocol is "morally equivalent" to the actual protocol.
- 5 more replies
New conversation -
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.