EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

https://www.microsoft.com/en-us/research/publication/evercrypt-a-fast-verified-cross-platform-cryptographic-provider/

Hosted by Flying Circus.