YoVDO

Integrating Formal Verification in Cryptographic Standards and Implementations

Offered By: TheIACR via YouTube

Tags

Cryptography Courses Formal Verification Courses Cryptographic Algorithms Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

Invited talk by Karthik Bhargavan (Crypto 2024)


Taught by

TheIACR

Related Courses

Applied Cryptography
University of Virginia via Udacity Cryptography II
Stanford University via Coursera Coding the Matrix: Linear Algebra through Computer Science Applications
Brown University via Coursera Cryptography I
Stanford University via Coursera Unpredictable? Randomness, Chance and Free Will
National University of Singapore via Coursera