EverCrypt A Fast, Verified, Cross Platform Cryptographic Provider