TheIACR Courses

Verifiable Delegation of Computation over Large Datasets - Crypto 2011

Explore efficient verification of computations on large datasets, including high-degree polynomial functions, verifiable keyword search, and proofs of retrievability, based on cryptographic assumptions.

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

Optimal Verification of Operations on Dynamic Sets

Explores cryptographic protocols for verifying set operations performed by untrusted servers, introducing efficient authenticated data structures for public verification with optimal complexity.

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

Illegitimi Non Carborundum - IACR Distinguished Lecture by Ron Rivest

Explore cryptography's evolution and future challenges with Ron Rivest's insightful lecture, covering key developments, research directions, and the field's impact on society and technology.

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

Computer-Aided Security Proofs for the Working Cryptographer - Crypto 2011

Explore automated security proof generation for cryptographic systems using EasyCrypt, streamlining the process with SMT solvers and theorem provers for efficient verification.

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

Leftover Hash Lemma, Revisited

Explores improvements to the Leftover Hash Lemma, reducing entropy loss and seed length in cryptographic key derivation. Discusses the expand-then-extract approach and its security implications.

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

Fully Homomorphic Encryption with Polylog Overhead

Explore advanced cryptography techniques with a focus on Fully Homomorphic Encryption, discussing its implementation and potential for improved efficiency in secure data processing.

• YouTube
• 23 minutes
• On-Demand
• Conference Talk

Decoding Random Binary Linear Codes in 2 n/20 - How 1 + 1

Explore cutting-edge techniques for decoding random binary linear codes, presented by experts at Eurocrypt 2012. Learn about innovative approaches that push the boundaries of cryptography.

• YouTube
• 25 minutes
• On-Demand
• Conference Talk

Narrow-Bicliques - Cryptanalysis of Full IDEA

Explore cryptanalysis techniques for IDEA cipher, focusing on meet-in-the-middle attacks and narrow bicliques. Learn about advanced methods in symmetric cryptography.

• YouTube
• 22 minutes
• On-Demand
• Conference Talk

Fair Computation with Rational Players

Explore fair computation with rational players, focusing on two-party computation, game theory in cryptography, and strategies for achieving fairness in real-world and ideal-world scenarios.

• YouTube
• 22 minutes
• On-Demand
• Conference Talk

Key-Alternating Ciphers in a Provable Setting: Encryption

Explore key-alternating ciphers in cryptography, focusing on encryption techniques and provable security settings. Gain insights from experts in the field at Eurocrypt 2012.

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

Detecting Dangerous Queries - A New Approach for Chosen C

Explore a novel approach to detecting dangerous queries in cryptography, focusing on public key encryption, indistinguishability, and CCA security. Learn about DCCA security and its properties.

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

Multiparty Computation with Low Communication

Explore secure multiparty computation techniques with low communication and computational overhead, focusing on fully homomorphic encryption and threshold-based approaches.

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

Cryptanalyses on a Merkle-Damgård Based MAC

Cryptanalysis techniques for Merkle-Damgård MAC, including secret prefix attacks, internal cohesion, and diamond structures. Explores generic approaches and potential applications in hash function security.

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

Incremental Deterministic Public-Key Encryption

Explore innovative techniques in public-key encryption, focusing on incremental and deterministic approaches presented at Eurocrypt 2012 by leading cryptography researchers.

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

On the Exact Security of Schnorr-Type Signatures

Explore the security of Schnorr-type signatures in cryptography, focusing on forger adversaries, discrete logarithms, and meta-reductions. Gain insights into advanced cryptographic concepts and techniques.

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