Completed
EverCrypt is Comprehensive
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
EverCrypt - A Fast, Verified, Cross-Platform Cryptographic Provider
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Modern Crypto Providers are Fast
- 3 Modern Crypto Providers are Insecure
- 4 Verified Crypto: Some Assembly Required
- 5 EverCrypt is Comprehensive
- 6 Modern API Design
- 7 Generic Interop: C Assembly
- 8 Lifting specifications over calling conventions
- 9 EverCrypt Performance
- 10 Performance: SHA-256
- 11 Performance: AEAD
- 12 Example: Merkle trees
- 13 Performance: Merkle tree
- 14 EverCrypt Summary
