Главная
Study mode:
on
1
Intro
2
Concurrent Self-Composition
3
Circumventing Impossibility Results
4
Quantifying Security Loss
5
Multiple Ideal Query (MIQ) Model
6
Meaningfulness of MIQ Model
7
Prior Work: Upper Bound
8
Apply GMW Paradigm to Concurrent Setting?
9
How Simulators Work
10
Core Problem of Concurrent Simulation
11
MIQ to the Rescue
12
Improving Query Complexity k
13
Concurrent Zero Knowledge
14
Solution: Recursive Rewinds
15
Precise Simulation
16
Our Strategy
17
Static Adversaries
Description:
Explore the intricacies of concurrent secure computation in this 27-minute conference talk. Delve into the Concurrent Self-Composition model and learn how to circumvent impossibility results. Examine the Multiple Ideal Query (MIQ) model and its significance in quantifying security loss. Investigate prior work on upper bounds and the challenges of applying the GMW paradigm to concurrent settings. Understand the core problems of concurrent simulation and how MIQ offers a solution. Discover techniques for improving query complexity, including recursive rewinds and precise simulation strategies. Gain insights into concurrent zero knowledge and approaches for handling static adversaries. This talk provides a comprehensive overview of cutting-edge research in secure computation, offering valuable knowledge for cryptography enthusiasts and researchers alike.

Concurrent Secure Computation with Optimal Query Complexity

TheIACR
Add to list
0:00 / 0:00