So wait, NDSS accepted and published an entire new VPN protocol with no security analysis?
However, to use Paterson's words, it's evident that the modification they made in order to cram it into eCK is "morally equivalent" to the actual protocol. In other words, this is a confirmation of the protocol's soundness, not something to the contrary.
-
-
I didn’t say it was a break of the protocol. I said that academic conferences shouldn’t be accepting unproven protocols, or protocols that have passed a weaker symbolic analysis like Tamarin. Not in 2017.
-
In the 90s and 2000s it was ok to hack away and then hope that rigorous techniques would catch up. In 2017 we know how to build these protocols to proper scientific standards.
- 1 more reply
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.