Formally Verifying Everybody's Cryptography

This course aims to teach learners about the concept of formal verification and its application to cryptography in real-world systems. By using mathematical reasoning, students will learn how to ensure the security and correctness of cryptographic code. The course covers topics such as cryptographic primitives, difficult proofs, threat models, and the challenges of verifying cryptography. Through practical examples and discussions, students will understand how to apply formal verification techniques to enhance the security of software systems. The intended audience for this course includes software developers, cybersecurity professionals, and anyone interested in cryptography and formal methods.