TheIACR Courses

Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography

Improved analysis of discrete Gaussian distributions for lattice-based cryptography, focusing on smoothness properties and subgaussian random variables to enhance security and efficiency.

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

Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application

Explore efficient zero-knowledge arguments for arithmetic circuits, their applications, and novel approaches to MPC-in-the-head protocols, with a focus on improving performance and reducing communication costs.

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

A New Paradigm for Public-Key Functional Encryption for Degree-2 Polynomials

Explore a new paradigm for public-key functional encryption, focusing on degree-2 polynomials. Learn about filtering encrypted emails and advancements in cryptographic techniques.

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

Boosting Verifiable Computation on Encrypted Data

Explore verifiable computation on encrypted data, covering homomorphic encryption, SNARKs, and polynomial commitments for secure and private delegation of computation.

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

Generic Authenticated Key Exchange in the Quantum Random Oracle Model

Explores authenticated key exchange in quantum settings, addressing limitations of prior work and proposing a new security model for 2-move protocols in the Quantum Random Oracle Model.

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

Fine-Grained Cryptography: A New Frontier?

Explore fine-grained cryptography's frontier with Alon Rosen. Delve into public key encryption, polynomial proofs of work, and MA proof systems, uncovering new possibilities in cryptographic complexity.

• YouTube
• 1 hour 4 minutes
• Self-Paced
• Free Video

Quantum Cryptography

Explore quantum cryptography's technical aspects, future applications, and threat models in this comprehensive overview of cutting-edge security technology.

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

Secure Computation

Explore resource-restricted cryptography, efficient constructions, and secure computation techniques in this comprehensive overview of advanced cryptographic concepts.

• YouTube
• 1 hour 3 minutes
• Self-Paced
• Free Video

Quantum Cryptanalysis

Explore quantum cryptanalysis techniques, including key search and optimal merging, and their impact on cryptographic security in the quantum computing era.

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

Compact Adaptively Secure ABE from k-Lin - Beyond NC1 and Towards NL

Explores advanced cryptographic techniques for Attribute-Based Encryption, focusing on adaptive security and expanding beyond NC1 circuits towards NL complexity class.

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

New Constructions of Statistical NIZKs - Dual-Mode DV-NIZKs and More

Explore advanced statistical NIZKs, including dual-mode DV-NIZKs, in cryptography. Learn about new constructions, security implications, and open questions in this cutting-edge field.

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

Transparent SNARKs from DARK Compilers

Explore transparent zero-knowledge proofs, polynomial commitment schemes, and DARK compilers in cryptography. Learn about innovative approaches to enhancing privacy and security in blockchain systems.

• YouTube
• 25 minutes
• Self-Paced
• Conference Talk

Compact NIZKs from Standard Assumptions on Bilinear Maps

Explore advanced cryptographic techniques for compact non-interactive zero-knowledge proofs using bilinear maps, focusing on novel constrained signature methods and efficiency improvements.

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

Friet- An Authenticated Encryption Scheme with Built-in Fault Detection

Explore an authenticated encryption scheme with fault detection capabilities, covering its design, implementation, and resistance to fault injection attacks.

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

SPARKs - Succinct Parallelizable Arguments of Knowledge

Explore cutting-edge cryptographic techniques with SPARKs, a novel paradigm for efficient and parallelizable arguments of knowledge, presented at Eurocrypt 2020.

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