TheIACR Courses

From Obfuscation to the Security of Fiat Shamir for Proofs

Explore the security of Fiat-Shamir for proofs, examining obfuscation, negative results, strong assumptions, and correlation intractable hash functions in cryptography.

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

Cube Attacks on Non Blackbox Polynomials Based on Division Property

Explore advanced cryptanalysis techniques using division property for cube attacks on non-blackbox polynomials, enhancing understanding of cryptographic vulnerabilities.

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

Four Round Concurrent Non Malleable Commitments from One Way Functions

Explore advanced cryptographic techniques for secure commitments using one-way functions, focusing on concurrent non-malleability in just four rounds.

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

Conditional Disclosure of Secrets - Amplification, Closure, Amortization, Lower Bounds, and Separation

Explore advanced cryptography concepts like conditional disclosure, amplification, and amortization. Delve into lower bounds, separation, and privacy errors in this theoretical research presentation.

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

Encryption Switching Protocols Revisited - Switching Modulo P

Explore advanced cryptographic techniques for encryption switching protocols, focusing on modulo p operations and their implications for secure data transmission.

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

Fast Secure Two Party ECDSA Signing

Explore fast, secure two-party ECDSA signing with Yehuda Lindell's presentation, covering comparisons, rewriting techniques, demonstrations, and key generation.

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

Encrypted Davies Meyer and Its Dual - Towards Optimal Security Using Mirror Theory

Explore innovative cryptographic constructions using mirror theory to achieve optimal security in block cipher designs and hash functions.

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

Compact Structure Preserving Signatures with Almost Tight Security

Explore structure-preserving signatures with tight security, their design principles, and applications in cryptography. Learn about proof techniques and implications for secure systems.

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

Breaking the FF3 Format Preserving Encryption Standard Over Small Domains

Cryptographic analysis of FF3 Format Preserving Encryption, revealing vulnerabilities in small domain implementations and proposing potential attacks.

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

Identity Based Encryption from the Diffie Hellman Assumption

Explore identity-based encryption, chameleon hashing, and garbled circuits in cryptography. Learn about innovative techniques and their applications in secure communication systems.

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

Incremental Program Obfuscation

Explore incremental program obfuscation techniques, their properties, security implications, and positive outcomes in cryptography and computer science.

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

Two Papers on Indistinguishability Obfuscation - Soft Merge

Explore cutting-edge cryptographic research on indistinguishability obfuscation, examining two papers from Crypto 2017 that utilize novel techniques like linear maps and locality-based PRGs.

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

Indistinguishability Obfuscation for Turing Machines - Constant Overhead and Amortization

Explore advanced cryptographic techniques for Turing machines, focusing on indistinguishability obfuscation with constant overhead and amortization methods.

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

Insuperability of the Standard Versus Ideal Model Gap for Tweakable Blockcipher Security

Explores the gap between standard and ideal security models for tweakable blockciphers, presenting findings on their insuperability in cryptographic research.

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

Laconic Oblivious Transfer and its Applications

Explore laconic oblivious transfer, a cryptographic primitive, and its applications in secure computation protocols, presented at Crypto 2017 conference.

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