Let attackers program ideal models: Modularity and composability for adaptive compromise

J Jaeger - Annual International Conference on the Theory and …, 2023 - Springer
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 …