YoVDO

Security Proofs in Cryptography

Offered By: TheIACR via YouTube

Tags

Cryptography Courses Algorithm Design Courses Formal Verification Courses Cryptanalysis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a comprehensive session on security proofs from the Fast Software Encryption 2023 conference, featuring expert discussions on cryptographic techniques and their mathematical foundations. Delve into advanced topics in cryptanalysis, algorithm design, and formal verification methods used to ensure the robustness of encryption systems. Gain insights from leading researchers in the field as they present cutting-edge findings and methodologies. Access the full program details online to complement your learning experience and discover related talks in the series.

Syllabus

Session on Security Proofs


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