Overview
Explore a comprehensive analysis of quantum random oracle model proofs in this 27-minute conference talk from Eurocrypt 2020. Delve into the Measure-Rewind-Measure technique and its applications to One-Way to Hiding and Compressed Certification (CC) proofs. Examine the FO Transform, security proofs, and the One-Way to Hiding Lemma. Investigate the Gianna tailed Distinguisher and key observations. Learn about the generalized CC analysis and results, as well as the One-Way to Hiding outcomes. Gain insights into the CC proof and potential future work in this field of cryptography research.
Syllabus
Introduction
Outline
FO Transform
Security proofs
OneWay to Hiding Lemma
Gianna tailed
Distinguisher
Observations
MeasureRewindMeasure
Generalized CC Analysis
Generalized CC Results
OneWay to Hiding Results
CC Proof
Future Work
Taught by
TheIACR