WireGuard.
ACCE, or even another model that supersedes that; ACCE was mostly made for TLS 1.2 and some work has to be done to wrestle it free from that context. Treat this all as impetus for the methods and techniques to catch up.
-
-
The reason the methods and techniques keep having to “catch up” is that people keep writing protocols without writing a reduction proof. So we keep having to make new custom definitions that fit to the idiosyncrasies of the protocol rather than the other way around.
-
Writing a definition fit to TLS 1.2 is bad but at least understandable because TLS predates a lot of the formal analysis and is widespread. WireGuard was a green field.
- 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.