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
Related Courses
-
Verification and Synthesis of Autonomous Systems
-
Advances in Computer Aided Cryptography
-
At-Scale Formal Verification for Industrial Semiconductor Designs - Professor Tom Melham
-
Low-Complexity Cryptography
-
Symmetric Key Cryptography
-
Context-Bounded Analysis for Systematic Testing of Concurrent Programs - CAV Award 2023
