EverCrypt A Fast, Verified, Cross Platform Cryptographic Provider

IEEE Security and Privacy 2020 Hacking conference #hacking, #hackers, #infosec, #opsec, #IT, #security.