Completed
Toolchain to Synthesize Executable Software
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Computer Aided Verification and Software Synthesis for Secure Multi Party Computation Protocols
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Proactive Security
- 3 Fundamental MPC Protocol: BGW'88
- 4 Sample Module: ElGamal
- 5 Existing Verification Work of Secure Computation
- 6 Sample Abstract Definition: Secret Sharing (SS)
- 7 Sample Abstract Definition: Verifiable SS
- 8 Sample instantiation of Primitive (SS) 1/3
- 9 Instantiation of Secret Sharing Framework
- 10 Sample Abstract (MPC) Protocol Definition
- 11 MPC Abstract Protocol Framework
- 12 Sample instantiation of Protocol (Recover)
- 13 Sample EasyCrypt Proof Skeleton (Passive)
- 14 Sample Security Game (for SS)
- 15 Toolchain to Synthesize Executable Software
- 16 Performance of Extracted Executable 1/2
- 17 Frequently Asked Questions/Objections
- 18 Conclusion
