Completed
Why unconditional proofs are implausible
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