Overview
Syllabus
Intro
Timed Cryptography
Hardness vs Fine-Grained Hardness
Landscape of Sequential Problems
Enter Quantum Computing
A New Sequential Function
The Sequentiality Assumption
Evidence of Sequentiality
Proofs of Sequential Work
Self-Symmetry
The Protocol (Step 2)
Soundness
Open Problems
Lattice Cryptanalysis
Hints [DDGR20]
Limitations [DDGR20]
Objectives
Basic Concepts
The DBDD Problem
Towards a New Approach
What do we Obtain?
Integrating Hints Geometrically
Perfect Hints
Ellipsoid Method a
Revisiting Decryption Failures
Full Sized Decryption Failures
Geometric Failure Boosting
Combined Hints
Discussion and Future Work
Taught by
TheIACR