TheIACR Courses

Panel and Further Discussion

Expert panel explores cryptographic standardization challenges, balancing innovation with adoption, security models, and industry needs. Insights on prioritization, incentives, and creating effective standards for advanced cryptography.

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

Towards Standardizing Zero Knowledge

Overview of ZKProof standardization efforts, challenges, and progress towards composable security for succinct non-interactive zero-knowledge proofs, with implications for emerging standards.

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

Computer Aided Verification and Software Synthesis for Secure Multi Party Computation Protocols

Explore computer-aided verification and software synthesis for secure multi-party computation protocols, focusing on high-assurance implementations and formal proofs using EasyCrypt and automated toolchains.

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

On Finding Quantum Multi-Collisions

Explore quantum multi-collision finding, its complexity, and comparison to classical methods. Learn about "The Reciprocal Plus 1" rule and quantum lazy sampling techniques.

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

Quantum Lightning Never Strikes the Same State Twice

Explore quantum cryptography concepts like no-cloning, quantum money, and lightning, with applications to blockchain and commitment schemes. Discusses limitations and potential constructions.

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

A Modular Treatment of Blind Signatures from Identification Schemes

Explore cryptographic blind signatures, their security, and applications in anonymous systems through a modular treatment based on identification schemes.

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

Efficient Verifiable Delay Functions

Explore verifiable delay functions, their requirements, and cryptographic implementations. Learn about time lock puzzles, succinct proofs, and security assumptions in this advanced cryptography topic.

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

Efficient Circuit-Based PSI with Linear Communication

Explore efficient circuit-based Private Set Intersection techniques with linear communication, applicable to Google Ads and Google Pay, featuring oblivious PRF and optimization strategies.

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

Towards an Open Approach to Secure Cryptographic Implementations

Explore secure cryptographic implementations, focusing on transparency, AES, leakage functions, masking techniques, and authenticated encryption. Gain insights into challenges and open problems in the field.

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

Saber on ARM- CCA Secure Module Lattice Based Key Encapsulation on ARM

Explore efficient implementation of Saber, a lattice-based key encapsulation mechanism, on ARM Cortex-M0 and M4 processors, focusing on optimization techniques and performance analysis.

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

Smashing the Implementation Records of AES S-Box

Explore innovative techniques for optimizing AES S-box implementation, focusing on logic minimization, exponentiation, and output multipliers to achieve record-breaking performance.

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

Persistent Fault Analysis on Block Ciphers

Explores persistent fault analysis on block ciphers, discussing attack methods, countermeasures, and experimental results. Provides insights for cryptography researchers and security professionals.

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

From Laconic Zero Knowledge to Public Key Cryptography

Explore the connection between laconic zero-knowledge proofs and public key cryptography, examining key concepts, results, and implications for cryptographic systems.

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

Fast Homomorphic Evaluation of Deep Discretized Neural Networks

Explore fast homomorphic evaluation techniques for deep discretized neural networks, focusing on digit recognition and addressing challenges in activation and dynamic message space.

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

Fast Large Scale Honest Majority MPC for Malicious Adversaries

Explore advanced techniques for secure multi-party computation, focusing on fast, large-scale protocols resistant to malicious adversaries. Learn about cheating detection, optimization, and efficient sum-of-products computation.

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