RT @lyon01_david: The spec of TLS 1.3, side-by-sid with it's Tamarin model. Formal verification! http://buff.ly/2qo0kLm
0 replies
1 retweet
2 likes
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.