I've written a cleanroom TLS 1.3 implementation to better understand the protocol: https://t.co/JURhaRO68b
Next steps:
1) find a decent TLS 1.3 implementation (fallback is boringssl)
2) hack up an instrumented server and client w/ stable RNG
3) document the resulting connection

— 𝔐𝔦𝔠𝔥𝔞𝔢𝔩 𝔇𝔯𝔦𝔰𝔠𝔬𝔩𝔩 (@xargsnotbombs) October 27, 2018