Completed
Proof sketch
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Provable Security
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Motivation: Meaning of security
- 3 Motivation: Security depends on the context
- 4 Motivation: Use primitives right
- 5 Why unconditional proofs are implausible
- 6 Semantic Security and IND-CPA
- 7 Proofs by reduction
- 8 What did we gain?
- 9 Problem: Random oracles are no valid abstraction
- 10 Avoiding the Random Oracle Model
- 11 A commitment scheme
- 12 UC - Universal composability
- 13 The Common Reference String Model
- 14 A secure Commitment Scheme
- 15 Proof sketch
- 16 Backdoors to the Rescue!
- 17 Too long. didn't watch
- 18 Bonus-Slide: Security-Levels
