[Resource Topic] 2020/765: Handling Adaptive Compromise for Practical Encryption Schemes

Welcome to the resource topic for 2020/765

Title:
Handling Adaptive Compromise for Practical Encryption Schemes

Authors: Joseph Jaeger, Nirvan Tyagi

Abstract:

We provide a new definitional framework capturing the multi-user security of encryption schemes and pseudorandom functions in the face of adversaries that can adaptively compromise users’ keys. We provide a sequence of results establishing the security of practical symmetric encryption schemes under adaptive compromise in the random oracle or ideal cipher model. The bulk of analysis complexity for adaptive compromise security is relegated to the analysis of lower-level primitives such as pseudorandom functions. We apply our framework to give proofs of security for the BurnBox system for privacy in the face of border searches and the in-use searchable symmetric encryption scheme due to Cash et al. In both cases, prior analyses had bugs that our framework helps avoid.

ePrint: https://eprint.iacr.org/2020/765

Talk: https://www.youtube.com/watch?v=Y4bQiSnCqKQ

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .