So wait, NDSS accepted and published an entire new VPN protocol with no security analysis?
Yes, I'm well aware of the differences between symbolic and computational proofs. Like you said earlier, the debate about their respective roles would make an interesting panel discussion, as clearly academia possesses a wide variety of opinions on the matter.
-
-
Either way, I do certainly look forward to additional proofs -- both computational and symbolic -- of WireGuard and of Noise. I know that folks are looking into that.
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.