YoVDO

Provable Security - Eurocrypt 2024

Offered By: TheIACR via YouTube

Tags

Cryptography Courses Theoretical Computer Science Courses Formal Verification Courses Provable Security Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a comprehensive session on Provable Security presented at Eurocrypt 2024, chaired by Dennis Hofheinz. Delve into cutting-edge research and advancements in cryptographic security proofs, examining theoretical frameworks and practical applications. Gain insights from leading experts in the field as they discuss the latest developments, methodologies, and challenges in establishing rigorous security guarantees for cryptographic protocols and systems. Access additional resources, including research papers and presentation slides, to further enhance your understanding of this critical aspect of modern cryptography.

Syllabus

Provable Security (Eurocrypt 2024)


Taught by

TheIACR

Related Courses

Automata Theory
Stanford University via edX
Intro to Theoretical Computer Science
Udacity
Computing: Art, Magic, Science
ETH Zurich via edX
理论计算机科学基础 | Introduction to Theoretical Computer Science
Peking University via edX
Quantitative Formal Modeling and Worst-Case Performance Analysis
EIT Digital via Coursera