Let Attackers Program Ideal Models: Modularity and Composability for Adaptive Compromise

ePrint Report: Let Attackers Program Ideal Models: Modularity and Composability for Adaptive Compromise

Joseph Jaeger

We show that the adaptive compromise security definitions of Jaeger and Tyagi (Crypto '20) cannot be applied in several natural use-cases. These include proving multi-user security from single-user security, the security of the cascade PRF, and the security of schemes sharing the same ideal primitive. We provide new variants of the definitions and show that they resolve these issues with composition. Extending these definitions to …

attackers cases composability compromise crypto definitions eprint report natural program report security single user security