AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
