EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
▶EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider — a 2020 IEEE Security & Privacy 2020 security conference talk on crypto (16:47 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube