Completed
Progress Decoupling
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Advances in Computer Aided Cryptography
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Welcome
- 3 Computeraided cryptography
- 4 Potential benefits
- 5 Long term goal
- 6 Tools
- 7 EasyCrypt
- 8 Progress Decoupling
- 9 Is coupling useful
- 10 Decoupling
- 11 Proof rule
- 12 Automation
- 13 Two tools
- 14 NAEP
- 15 Automated proof
- 16 A funny story
- 17 Compiler verification
- 18 Differential power analysis
- 19 Two models
- 20 Mask implementation
- 21 probing security
- 22 probabilistic noninterference
- 23 full implementation
- 24 problem with composition
- 25 strong noninterference
- 26 wrap up
