TheIACR Courses

Watermarking Cryptographic Functionalities from Standard Lattice Assumptions

Explore lattice-based cryptography for watermarking pseudorandom functions, focusing on implementation, private punctured OPRS, and homomorphic matrix encoding techniques.

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

ZMAC - A Fast Tweakable Block Cipher Mode for Highly Secure Message Authentication

Explore ZMAC, a fast tweakable block cipher mode for secure message authentication. Learn its structure, security bounds, and efficiency compared to other modes.

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

Advances in Computer Aided Cryptography

Explore advances in computer-aided cryptography, including tools like EasyCrypt, decoupling techniques, and applications in compiler verification and differential power analysis.

• YouTube
• 1 hour 2 minutes
• Self-Paced
• Conference Talk

Computing Generator in Cyclotomic Integer Rings

Explore advanced cryptographic techniques for generating principal ideals in cyclotomic integer rings, focusing on key generation processes and algorithmic complexity reduction.

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

Improved Private Set Intersection against Malicious Adversaries

Explore advanced techniques for secure private set intersection, focusing on enhanced protection against malicious adversaries in cryptographic protocols.

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

Constraint Hiding Constrained PRFs for NC1 from LWE

Explore constraint hiding constrained PRFs for NC1 from LWE, covering syntax, obfuscation, functional encryption, and the Barrington Theorem.

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

From Minicrypt to Obfustopia via Private Key Functional Encryption

Explore the cryptographic journey from Minicrypt to Obfustopia, delving into private key functional encryption and its implications for advanced security systems.

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

Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model

Explore parallel implementations of masking schemes and the bounded moment leakage model in cryptography, examining their implications for secure system design.

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

Robust Transforming Combiners from Indistinguishability Obfuscation to Functional Encryption

Explore transforming combiners in cryptography, focusing on indistinguishability obfuscation and functional encryption. Learn about robust iO combiners and their implications for secure systems.

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

Private Puncturable PRFs From Standard Lattice Assumptions

Explore private puncturable PRFs based on lattice assumptions, covering pseudorandom functions, distributed point functions, and learning with errors, with insights on matrix circuit encoding.

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

A Kilobit Hidden SNFS Discrete Logarithm Computation

Explore the computation of discrete logarithms using SNFS, discussing its implications for cryptography and digital signatures, with a focus on prime selection and security considerations.

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

How Fast Can Higher Order Masking Be in Software

Explore efficient higher-order masking techniques in software implementations for enhanced cryptographic security against side-channel attacks.

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

One Shot Verifiable Encryption from Lattices

Explore lattice-based cryptography with a focus on one-shot verifiable encryption, covering zero-knowledge proofs, Ring-LWE encryption, and practical applications in this cutting-edge research presentation.

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

Formal Abstractions for Attested Execution Secure Processors

Explore formal abstractions for attested execution in secure processors, covering standard models, concrete examples, simulation, fairness, and implications for cryptographic protocols.

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

Short Generators Without Quantum Computers - The Case of Multiquadratics

Explore multiquadratic cryptography as an alternative to quantum-resistant systems, examining its potential for generating secure short keys efficiently.

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