So wait, NDSS accepted and published an entire new VPN protocol with no security analysis?
They're both formal. Dowling and Paterson did a computational proof. Tamarin provides symbolic proofs. You evidently don't like symbolic proofs. Many beg to differ.
-
-
There is a real difference between the two concepts. You understand that just because something includes the word “proof” it doesn’t imply the same thing. Right?
-
Symbolic provers argue that there’s no combination of allowed manipulations that yields an attack. It does not prove that those allowed manipulations are the only ones.
- 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.