Explore the fundamentals of formal analysis in cryptography through this 33-minute lecture. Delve into computer-aided cryptography, design-level security, and symbolic verification techniques. Learn about verifiable primitives and advanced features in cryptographic analysis. Gain insights into analysis output interpretation and participate in a Q&A session to deepen your understanding of formal analysis methods in the field of cryptography.
Overview
Syllabus
Introduction
Computeraided Cryptography
Design Level Security
Questions
Symbolic Verification
Verifial
Primitives
Advanced Features
Analysis Output
Questions and Answers
Taught by
TheIACR
