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