International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Generic and Algebraic Computation Models: When AGM Proofs Transfer to the GGM

Authors:
Joseph Jaeger , Georgia Institute of Technology
Deep Inder Mohan , Georgia Institute of Technology
Download:
DOI: 10.1007/978-3-031-68388-6_2 (login may be required)
Search ePrint
Search Google
Presentation: Slides
Conference: CRYPTO 2024
Abstract: The Fuchsbauer, Kiltz, and Loss (Crypto 2018) claim that (some) hardness results in the algebraic group model imply the same hardness results in the generic group model was recently called into question by Katz, Zhang, and Zhou (Asiacrypt 2022). The latter gave an interpretation of the claim under which it is incorrect. We give an alternate interpretation under which it is correct, using natural frameworks for capturing generic and algebraic models for arbitrary algebraic structures. Most algebraic analyses in the literature can be captured by our frameworks, making the claim correct for them.
BibTeX
@inproceedings{crypto-2024-34299,
  title={Generic and Algebraic Computation Models: When AGM Proofs Transfer to the GGM},
  publisher={Springer-Verlag},
  doi={10.1007/978-3-031-68388-6_2},
  author={Joseph Jaeger and Deep Inder Mohan},
  year=2024
}