Many of the most practical cryptosystems lack a full security proof in the standard model. Nevertheless, we can gain confidence in their security by heuristically treating one or more of the building blocks as an "ideal" object implemented as an oracle. Prominent examples include random oracles, ideal ciphers, generic groups, etc. Proofs in idealized models are often very different from standard crypto proofs, requiring both reductions and query complexity arguments.

Augmented Random Oracles
By Mark Zhandry
In CRYPTO 2022

To Label, or Not To Label (in Generic Groups)
By Mark Zhandry
In CRYPTO 2022

Redeeming Reset Indifferentiability and Applications to Post-Quantum Security
By Mark Zhandry
In ASIACRYPT 2021

Classical vs Quantum Random Oracles
By Takashi Yamakawa and Mark Zhandry
In EUROCRYPT 2021

The Relationship Between Idealized Models Under Computationally Bounded Adversaries
By Mark Zhandry and Cong Zhang

Indifferentiability for Public Key Cryptosystems
By Mark Zhandry and Cong Zhang
In CRYPTO 2020

The Distinction Between Fixed and Random Generators in Group-Based Assumptions
By James Bartusek, Fermi Ma and Mark Zhandry
In CRYPTO 2019

Revisiting Post-Quantum Fiat-Shamir
By Qipeng Liu and Mark Zhandry
In CRYPTO 2019

How to Record Quantum Queries, and Applications to Quantum Indifferentiability
By Mark Zhandry
In CRYPTO 2019, QCRYPT 2019 (Invited), ITC 2021 (Invited Spotlight Talk)

New Techniques for Obfuscating Conjunctions
By James Bartusek, Tancrède Lepoint, Fermi Ma and Mark Zhandry
In EUROCRYPT 2019

On Finding Quantum Multi-collisions
By Qipeng Liu and Mark Zhandry
In EUROCRYPT 2019

Preventing Zeroizing Attacks on GGH15
By James Bartusek, Fermi Ma, Jiaxin Guan and Mark Zhandry
In TCC 2018

Impossibility of Order-Revealing Encryption in Idealized Models
By Mark Zhandry and Cong Zhang
In TCC 2018

The MMap Strikes Back: Obfuscation and New Multilinear Maps Immune to CLT13 Zeroizing Attacks
By Fermi Ma and Mark Zhandry
In TCC 2018

Secure Obfuscation in a Weak Multilinear Map Model
By Sanjam Garg, Eric Miles, Pratyay Mukherjee, Amit Sahai, Akshayaram Srinivasan and Mark Zhandry
In TCC 2016-B

Annihilation Attacks for Multilinear Maps: Cryptanalysis of Indistinguishability Obfuscation over GGH13
By Eric Miles, Amit Sahai and Mark Zhandry
In CRYPTO 2016

Post-Zeroizing Obfuscation: New Mathematical Tools, and the Case of Evasive Circuits
By Saikrishna Badrinarayanan, Eric Miles, Amit Sahai and Mark Zhandry
In EUROCRYPT 2016

A Note on the Quantum Collision and Set Equality Problems
By Mark Zhandry
In Quantum Information and Computation

Secure Identity-Based Encryption in the Quantum Random Oracle Model
By Mark Zhandry
In CRYPTO 2012

Random Oracles in a Quantum World
By Dan Boneh, Özgür Dagdelen, Marc Fischlin, Anja Lehmann, Christian Schaffner and Mark Zhandry
In ASIACRYPT 2011