Explore a comprehensive analysis of active security in cryptographic protocols through this 21-minute conference talk presented at Eurocrypt 2020. Delve into Secure Multiparty Computation (MPC) and its applications, examining the protocol blueprint and the complexity of active security. Investigate secure multiplication techniques, the state of the art in the field, and the main theorem presented. Learn about the MPC-in-the-Head IPS08 approach, the IPS Compiler, and Shamir Secret Sharing. Discover a new compiler with a warmup protocol, understanding its phases and communication complexity. Analyze the final protocol's communication complexity and the security of mult. Conclude by exploring open problems in the field of cryptographic protocols and active security.
The Price of Active Security in Cryptographic Protocols
Overview
Syllabus
Intro
Secure Multiparty Computation (MPC)
Applications of MPC
Protocol Blueprint
Goal: Identify Complexity of Active Security
Secure Multiplication
Main Question
State of the Art
Main Theorem
MPC-in-the-Head IPS08
The IPS Compiler
Shamir Secret Sharing [S79]
Our New Compiler: Warmup Protocol
Phases of the Compiled Protocol
Communication Complexity: Warmup Protocol
Achieving Constant Overhead
Communication Complexity: Final Protocol
The security of mult
Open Problems
Taught by
TheIACR
Related Courses
-
Secure Computation: Part I
-
The Round Complexity of Perfect MPC with Active Security and Optimal Resiliency
-
Going Beyond Dual Execution - MPC for Functions with Efficient Verification
-
Secure Multiparty Computation
-
A Simpler Variant of Universally Composable Security for Standard Multiparty Computation
-
Optimizing Semi-Honest Secure Multiparty Computation for the Internet
