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

Available format(s)
Category
Foundations
Publication info
Preprint.
Keywords
UCSSP
Contact author(s)
lucas @ cronokirby com
History
2023-02-24: last of 4 revisions
See all versions
Short URL
https://ia.cr/2023/187

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

Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.