TheIACR Courses

Succinct Arguments

Explore succinct arguments in cryptography, covering proof-carrying data, subquadratic SNARKs, and applications. Learn about universal SNARKs, signature schemes, and performance comparisons.

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

Lattice Cryptanalysis

Explore lattice cryptanalysis techniques, barriers, and implementations with expert insights from leading researchers in the field.

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

Quantum Cryptography 1 - Continued

Explore multiparty quantum computations, one-way functions, and obfuscation in this advanced continuation of quantum cryptography concepts.

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

Raccoon Attack - Finding and Exploiting Most-Significant-Bit-Oracles in TLS-DH(E)

Explore the Raccoon Attack on TLS-DH(E), its impact on cryptographic protocols, and potential countermeasures. Learn about side-channel vulnerabilities in key derivation processes.

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

Partitioning Oracle Attacks

Explore partitioning oracle attacks in cryptography, focusing on authenticated encryption, key multi-collisions, and vulnerabilities in protocols like Shadowsocks and OPAQUE.

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

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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• Free Video