Random Oracle Models and Combiners - Crypto 2023 Session 2

Explore the cutting-edge developments in Individual Cryptography presented at Crypto 2023 in this session chaired by Jonathan Katz. Delve into topics such as account sharing, partial reconstruction of shared secrets, massive parallel computations, and distributed adversaries. Examine the MPC-Oracle concept, formal models with extractors, and the Proof of Individual Knowledge (PIK) definition. Learn about the procedure scratch(S, Z, W), completeness, soundness, and extractor efficiency. Investigate multi-property combiners, Cryptophia's Short Combiner Modelling, Random Oracle Combiners, and real-world hash functions. Gain insights into single-stage game considerations and explore open questions in the field of cryptography.

Intro
In a nutshell: We initiate the study of Individual Cryptography
Example 1: Account sharing
Example 2: Partial reconstruction of shared secrets
The massive parallel computations
The distributed adversary
The MPC-Oracle
Formal model - the extractors
Proof of Individual Knowledge (PIK) - definition
The procedure scratch(S, Z, W)
Completeness, soundness and the extractor efficiency
How do we judge combiners?
Security Properties
Multi-Property Combiners
Cryptophia's Short Combiner Modelling
PART 3
Random Oracle Combiners
PART 4
Real World Hash Functions
Is Our Game Single-Stage?
Open Questions