Integrating Formal Verification in Cryptographic Standards and Implementations

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.