CryptoZoo: A Viewer for Reduction Proofs - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

CryptoZoo: A Viewer for Reduction Proofs

Résumé

Cryptographers rely on visualization to effectively communicate cryptographic constructions with one another. Visual frameworks such as constructive cryptography (TOSCA 2011), the joy of cryptography (online book) and state-separating proofs (SSPs, Asiacrypt 2018) are useful to communicate not only the construction, but also their proof visually by representing a cryptographic system as graphs. One SSP core feature is the re-use of code, e.g., a package of code might be used in a game and be part of the description of a reduction as well. Thus, in a proof, the linear structure of a paper either requires the reader to turn pages to find definitions or writers to re-state them, thereby interrupting the visual flow of the game hops that are defined by a sequence of graphs. We present an interactive proof viewer for state-separating proofs (SSPs) which addresses the limitations and perform three case studies: The equivalence between simulation-based and game-based notions for symmetric encryption, the security proof of the Goldreich-Goldwasser-Micali construction of a pseudorandom function from a pseudorandom generator, and Brzuska's and Oechsner's SSP formalization of the proof for Yao's garbling scheme.
Fichier principal
Vignette du fichier
2023-1581.pdf (4.04 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04524525 , version 1 (28-03-2024)

Identifiants

Citer

Chris Brzuska, Christoph Egger, Kirthivaasan Puniamurthy. CryptoZoo: A Viewer for Reduction Proofs. Applied Cryptography and Network Security, Mar 2024, Abu Dhabi, United Arab Emirates. pp.3-25, ⟨10.1007/978-3-031-54770-6_1⟩. ⟨hal-04524525⟩
7 Consultations
4 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More