So wait, NDSS accepted and published an entire new VPN protocol with no security analysis?
-
-
There appears to be some kind of rivalry between computational people and symbolic people in the formal analysis community. Anyway, here are two papers prior to this recent one: https://www.wireguard.com/papers/wireguard-formal-verification.pdf … https://www.wireguard.com/papers/wireguard.pdf …
-
So the Tamarin analysis is something, but it’s not in the NDSS paper. Still seems like a strange accept.
- 8 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.