Antoine Delignat-Lavaud

Latest

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