3 ms·Design and verification of the TLS 1.3 handshake state machine in LibreSSL6 points by henning 7y ago