So wait, NDSS accepted and published an entire new VPN protocol with no security analysis?
We already have a proof from Tamarin of the actual protocol. Dowling and Paterson proved a modified version, because their model is unable take into account several Noise protocols, which means there's work to be done on the methods used.
-
-
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.
- 2 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.