Paper 2023/187
Towards Modular Foundations for Protocol Security
Abstract
Universally composable (UC) security is the most widely used framework for analyzing the security of cryptographic protocols. Many variants and simplifications of the framework have been proposed and developed, nonetheless, many practitioners find UC proofs to be both difficult to construct and understand. We remedy this situation by proposing a new framework for protocol security. We believe that our framework provides proofs that are both easier to write, but also more rigorous, and easier to understand. Our work is based on state-separable proofs allowing for modular proofs, by decomposing complicated protocols into simple components.
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Preprint.
- Keywords
- UCSSP
- Contact author(s)
- lucas @ cronokirby com
- History
- 2023-02-24: last of 4 revisions
- 2023-02-13: received
- See all versions
- Short URL
- https://ia.cr/2023/187
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2023/187,
author = {Lúcás Críostóir Meier},
title = {Towards Modular Foundations for Protocol Security},
howpublished = {Cryptology ePrint Archive, Paper 2023/187},
year = {2023},
note = {\url{https://eprint.iacr.org/2023/187}},
url = {https://eprint.iacr.org/2023/187}
}
