Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore an insightful conference talk on "Integrating Formal Verification in Cryptographic Standards and Implementations" delivered by Karthik Bhargavan at Crypto 2024. Chaired by Douglas Stebila, this 58-minute invited session delves into the crucial intersection of formal verification methods and cryptographic practices. Gain valuable knowledge about the latest advancements in ensuring the security and reliability of cryptographic standards and their implementations. Access additional resources, including papers and presentation slides, through the conference website for a deeper understanding of this cutting-edge topic in cryptography.
