TheIACR Courses

Fault Attacks on CCA-Secure Lattice KEMs

Explore fault attacks on lattice-based key encapsulation mechanisms, focusing on Kyber and Saber. Learn about implementation security, attack strategies, and potential countermeasures.

• YouTube
• 45 minutes
• On-Demand
• Free Video

Baby Sharks - Small-Subgroup Attacks to Disrupt Large Distributed Systems

Explore small-subgroup attacks on distributed systems, focusing on MPC implementation vulnerabilities and real-world implications for cryptographic protocols and distributed key generation.

• YouTube
• 33 minutes
• On-Demand
• Free Video

PARASITE - Password Recovery Attack Against SRP Implementations in the Wild

Explore password recovery attacks on SRP implementations, focusing on FLUSH+RELOAD techniques, modular exponentiation vulnerabilities, and mitigation strategies for cryptographic systems.

• YouTube
• 29 minutes
• On-Demand
• Free Video

Cryptographic Protocols and Secure Computation I

Explore cryptographic protocols, secure computation, and their applications in communication. Delve into PRFs, gap assumptions, and two-party computation concepts.

• YouTube
• 1 hour 7 minutes
• On-Demand
• Free Video

Cryptographic Primitives I

Explore cryptographic primitives including universal proxy encryption, linear secret sharing, and secure deterministic encryption in this comprehensive presentation.

• YouTube
• 59 minutes
• On-Demand
• Free Video

Signatures

Explore efficient group signatures, their construction, and applications in user-controlled and sequential linkability. Learn about key developments and contributions in this cryptographic field.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Free Video

Cryptocurrency

Explore threshold wallets, Cardano's consensus layer, and randomness beacons in cryptocurrency. Learn about vulnerabilities, exploits, and the interplay between theory and implementation.

• YouTube
• 48 minutes
• On-Demand
• Free Video

From Crypto-Paper to Crypto-Currency - The Cardano Consensus Layer

Explore Cardano's consensus layer, from theoretical foundations to practical implementation, covering distributed computation, transaction ledgers, network protocols, and formal verification techniques.

• YouTube
• 37 minutes
• On-Demand
• Free Video

Formal Analysis

Explore computer-aided cryptography, symbolic verification, and verifiable primitives in this comprehensive analysis of formal methods in cryptographic design and security.

• YouTube
• 33 minutes
• On-Demand
• Free Video

Zero Knowledge

Explore zero knowledge proofs, their applications, and advanced concepts like crowd verifiable protocols and non-interactive composition in cryptography.

• YouTube
• 59 minutes
• On-Demand
• Free Video

Updatable Encryption

Learn about updatable encryption, its applications, and latest developments in this concise presentation. Explore syntax, engage in discussions, and gain insights into this crucial cryptographic technique.

• YouTube
• 39 minutes
• On-Demand
• Free Video

Authenticated Key Exchange

Explore authenticated key exchange protocols, their motivations, and recent contributions in cryptography. Gain insights into secure communication methods.

• YouTube
• 23 minutes
• On-Demand
• Free Video

Isogeny-Based Cryptography

Explore isogeny-based cryptography, its contributions to post-quantum security, and key concepts like radical isogenies and efficient signatures in this comprehensive overview.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

Quantum Algorithms

Explore quantum algorithms for lattice-based cryptography, focusing on speedups, security models, and practical implications for cryptographic systems.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

Lattice-Based Cryptography

Explore lattice-based cryptography, covering key concepts, recent developments, and applications in secure communication and data protection.

• YouTube
• 53 minutes
• On-Demand
• Free Video