Completed
Agile Cryptographic Protocols
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
A Messy State of the Union - Taming the Composite State Machines of TLS
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Agile Cryptographic Protocols
- 3 Transport Layer Security (1994)
- 4 TLS protocol overview
- 5 RSA Key Transport
- 6 (EC)DHE Key Exchange
- 7 Composing Key Exchanges
- 8 TLS State Machine
- 9 OpenSSL State Machine
- 10 Fuzzing TLS
- 11 Culprit: Underspecified State Machine
- 12 Composing with Optional Messages
- 13 SKIP: Server Impersonation with DHE
- 14 Export-Grade RSA in TLS
- 15 FREAK: Downgrade to RSA EXPORT
- 16 FREAK: Exploit and Impact
- 17 A Verified State Machine for OpenSSL
- 18 Conclusions Cryptographic protocol testing needs work
