Broadbent, Anne;
Karvonen, Martti;
(2022)
Categorical composable cryptography.
In: Bouyer, P and Schroder, L, (eds.)
Foundations of Software Science and Computation Structures.
(pp. pp. 161-183).
Springer Nature
Preview |
Text
Karvonen_Categorical composable cryptography_VoR.pdf Download (425kB) | Preview |
Abstract
We formalize the simulation paradigm of cryptography in terms of category theory and show that protocols secure against abstract attacks form a symmetric monoidal category, thus giving an abstract model of composable security definitions in cryptography. Our model is able to incorporate computational security, set-up assumptions and various attack models such as colluding or independently acting subsets of adversaries in a modular, flexible fashion. We conclude by using string diagrams to rederive the security of the one-time pad and no-go results concerning the limits of bipartite and tripartite cryptography, ruling out e.g., composable commitments and broadcasting.
| Type: | Proceedings paper |
|---|---|
| Title: | Categorical composable cryptography |
| Event: | 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 |
| Location: | Munich, Germany |
| Dates: | 2nd-7th April 2022 |
| ISBN-13: | 978-3-030-99252-1 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-030-99253-8_9 |
| Publisher version: | http://dx.doi.org/10.1007/978-3-030-99253-8_9 |
| Language: | English |
| Additional information: | © 2022 The Author(s). This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/). |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10193407 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
