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 language | English |
---|---|
Title of host publication | Applied Cryptography and Network Security - 22nd International Conference, ACNS 2024, Proceedings |
Editors | Christina Pöpper, Lejla Batina |
Publisher | Springer |
Pages | 3-25 |
Number of pages | 23 |
ISBN (Electronic) | 978-3-031-54770-6 |
ISBN (Print) | 978-3-031-54769-0 |
DOIs | |
Publication status | Published - 1 Mar 2024 |
MoE publication type | A4 Conference publication |
Event | International Conference on Applied Cryptography and Network Security - Abu Dhabi, United Arab Emirates Duration: 5 Mar 2024 → 8 Mar 2024 Conference number: 22 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Publisher | Springer |
Volume | 14583 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | International Conference on Applied Cryptography and Network Security |
---|---|
Abbreviated title | ACNS |
Country/Territory | United Arab Emirates |
City | Abu Dhabi |
Period | 05/03/2024 → 08/03/2024 |
Keywords
- proof viewer
- reduction proofs
- state-separation
- tooling