Abstract

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.

Original languageEnglish
Title of host publicationApplied Cryptography and Network Security - 22nd International Conference, ACNS 2024, Proceedings
EditorsChristina Pöpper, Lejla Batina
PublisherSpringer
Pages3-25
Number of pages23
ISBN (Electronic)978-3-031-54770-6
ISBN (Print)978-3-031-54769-0
DOIs
Publication statusPublished - 1 Mar 2024
MoE publication typeA4 Conference publication
EventInternational Conference on Applied Cryptography and Network Security - Abu Dhabi, United Arab Emirates
Duration: 5 Mar 20248 Mar 2024
Conference number: 22

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume14583 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Applied Cryptography and Network Security
Abbreviated titleACNS
Country/TerritoryUnited Arab Emirates
CityAbu Dhabi
Period05/03/202408/03/2024

Keywords

  • proof viewer
  • reduction proofs
  • state-separation
  • tooling

Fingerprint

Dive into the research topics of 'CryptoZoo : A Viewer for Reduction Proofs'. Together they form a unique fingerprint.

Cite this