TheIACR Courses

Welcome - Functional Encryption and Identity Based Encryption

Explore functional encryption and identity-based encryption concepts, including attribute-based encryption, adaptive security, and verifiability in cryptographic systems.

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

Witness Maps and Applications

Explore witness maps in cryptography, covering compact, unique, and dual-mode variants. Learn applications like deterministic signatures and puncturable digital signatures.

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

Blazing Fast OT for Three-Round UC OT Extension

Explore a novel three-round UC OT extension protocol, offering improved efficiency and security for secure two-party computation in cryptographic applications.

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

Witness Indistinguishability for Any Single-Round Argument with Applications to Access Control

Explore witness indistinguishability in single-round arguments and its applications to access control, presented by Brakerski and Kalai at PKC 2020.

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

Verifiable Inner Product Encryption Scheme

Explore verifiable inner product encryption, addressing conflicting requirements and constructing LPD encryption algorithms for enhanced security and verification in cryptographic applications.

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

Toward RSA-OAEP Without Random Oracles

Explores security of RSA-OAEP encryption without random oracles, introducing new notions like extractable functions and XOR-IND to achieve IND-CCA2 security under standard assumptions.

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

On QA-NIZK in the BPK Model

Exploration of QA-NIZK in the BPK model, discussing soundness, subversion security, and new results for Kiltz-Wee QA-NIZK, with implications for persistent zero-knowledge.

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

Master-Key KDM-Secure IBE from Pairings

Explore key-dependent message security and master-key KDM-secure identity-based encryption in this presentation on advanced cryptographic techniques using pairings.

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

Threshold Ring Signatures: New Definitions and Post-Quantum Security

Explore threshold ring signatures, including new definitions and post-quantum security. Learn about passive adversaries, hardness assumptions, and proof techniques in the post-quantum setting.

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

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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• Free Video