TheIACR Courses

Obfuscation and Homomorphism - Talk 3

Explore advanced cryptographic concepts of obfuscation and homomorphism in this specialized TCC 2024 conference presentation by leading researchers in the field.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

Obfuscation and Homomorphism - Talk 1/5

Explore advanced cryptographic concepts of obfuscation and homomorphism in this TCC 2024 conference presentation, the first of five specialized talks on cutting-edge security techniques.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

How to Securely Implement Cryptography in Deep Neural Networks

Discover how to securely implement cryptography in deep neural networks with Adi Shamir's inaugural Levchin Lecture from RWC 2025.

• YouTube
• 39 minutes
• Self-Paced
• Free Video

Formally Analyzing a Cryptographic Protocol Standard - How MLS Kept a PhD Student Busy for Three Years

Dive into the formal analysis of cryptographic protocol standards, focusing on MLS, as presented by Théophile Wallez at Real World Crypto 2025.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

Analyzing Chat Encryption in Group Messaging Applications

Explore the security analysis of group messaging applications and encryption protocols in this Real World Crypto 2025 presentation by Akshaya Kumar.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

The Triple Ratchet Protocol: A Bandwidth Efficient Hybrid-Secure Signal Protocol

Explore the Triple Ratchet Protocol, a bandwidth-efficient hybrid-secure Signal Protocol presented at Real World Crypto 2025, focusing on advancements in secure messaging technology.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

Apple's Real World Deployment of Homomorphic Encryption at Scale

Discover how Apple implements Homomorphic Encryption at scale in real-world applications, presented by Rehan Rishi and Haris Mughees at RWC 2025.

• YouTube
• 22 minutes
• Self-Paced
• Free Video

Teaching an Old Dog New Tricks: Verifiable FHE Using Commodity Hardware

Explore the concept of Verifiable Fully Homomorphic Encryption (FHE) using commodity hardware in this Real World Crypto 2025 talk by Jules Drean.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

Compressing Proofs Using Cryptography: A Triumph of Theory and Practice

Discover how cryptography enables proof compression in this invited talk by Yael Kalai at Real World Crypto 2025, exploring the intersection of theory and practical applications.

• YouTube
• 30 minutes
• Self-Paced
• Free Video

Blast-RADIUS - Breaking Enterprise Network Authentication

Discover critical vulnerabilities in enterprise network authentication with Blast-RADIUS, a comprehensive analysis of security flaws presented at Real World Crypto 2025.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

Shaking Up Authenticated Encryption

Explore the NOPE protocol for strengthening domain authentication through succinct proofs, presented at Real World Crypto 2025.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

NOPE: Strengthening Domain Authentication with Succinct Proofs

Discover how NOPE strengthens domain authentication through succinct proofs in this Real World Crypto 2025 talk by Zachary DeStefano.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

Kemeleon: Elligator-like Obfuscation for Post-Quantum Cryptography

Explore Kemeleon, an Elligator-like obfuscation technique for post-quantum cryptography, presented at Real World Crypto 2025.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

Let's Encrypt: Ten Years Encrypting the Web

Explore the decade-long journey of Let's Encrypt and its impact on web encryption in this invited talk by Joshua Aas at Real World Crypto 2025.

• YouTube
• 29 minutes
• Self-Paced
• Free Video

Toward Revocation Checking that Works

Explore the challenges and solutions for effective certificate revocation checking in web PKI systems with John Schanck's insightful presentation from RWC 2025.

• YouTube
• 21 minutes
• Self-Paced
• Free Video