Towards Modular Foundations for Protocol Security

ePrint Report: Towards Modular Foundations for Protocol Security

Lúcás Críostóir Meier

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 …

eprint report find foundations framework modular protocol protocols protocol security remedy report security understand