## 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