Completed
Motivation
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Goal
- 3 Motivation
- 4 Related work
- 5 Bilinear Groups
- 6 Generic Model
- 7 Automated Proofs
- 8 Address with Strategy
- 9 Previous Work
- 10 Security Experiment
- 11 Constraint Solving Rules
- 12 Simplification
- 13 Coefficient Extraction
- 14 Case Distinction
- 15 Implementation
- 16 Real Examples
- 17 Summary
