Completed
Efficiently Verifiable Functions
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Going Beyond Dual Execution - MPC for Functions with Efficient Verification
Automatically move to the next video in the Classroom when playback concludes
- 1 Going Beyond Dual Execution: MPC for Functions with Efficient Verification
- 2 Secure Multiparty Computation (MPC)
- 3 Applications to MPC
- 4 Protocol Blueprint
- 5 Yao's 2PC
- 6 State-of-the-art Yao-style Active 2PC
- 7 Why concede to leakage?
- 8 Dual Execution [MF06]
- 9 Our Results - Active secure 2PC with 1-bit leakage
- 10 Efficiently Verifiable Functions
- 11 Theorem 1: Boolean f
- 12 Theorem 2: Arbitrary f
- 13 Application: Perfect Matching
