Design and verification of the TLS 1.3 handshake state machine in LibreSSL https://www.openbsd.org/papers/bsdcan2019-tls13.pdf …
2:40 PM - 2 Nov 2019
0 replies
8 retweets
28 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.