3 ms·
The Everest project did publish a proved TLS implementation: https://mitls.org https://mitls.org. And at least the EverCrypt* cryptographic primitives has been
by octachron 2y ago
The Everest project did publish a proved TLS implementation: https://mitls.org https://mitls.org.
And at least the EverCrypt* cryptographic primitives has been used outside of academia.