Completed
Machine checking cryptographic properties
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Did You Mix Me? Formally Verifying Verifiable Mix Nets in Electronic Voting
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Clarification
- 3 What are verifiable mix nets
- 4 Machine checking cryptographic properties
- 5 What are mix nets
- 6 Implementing cryptography is hard
- 7 Software independence
- 8 Most common mix nets
- 9 Interactive Theorem
- 10 Background
- 11 Formalization
- 12 Limitations
- 13 Virginia Transformer
- 14 Future Work
