International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: The Memory-Tightness of Authenticated Encryption

Authors:
Ashrujit Ghoshal , University of Washington
Joseph Jaeger , University of Washington
Stefano Tessaro , University of Washington
Download:
DOI: http://dx.doi.org/10.1007/978-3-030-56784-2_5 (login may be required)
Search ePrint
Search Google
Presentation: Slides
Conference: CRYPTO 2020
Abstract: This paper initiates the study of the provable security of authenticated encryption (AE) in the memory-bounded setting. Recent works -- Tessaro and Thiruvengadam (TCC '18), Jaeger and Tessaro (EUROCRYPT '19), and Dinur (EUROCRYPT '20) -- focus on confidentiality, and look at schemes for which trade-offs between the attacker's memory and its data complexity are inherent. Here, we ask whether these results and techniques can be lifted to the full AE setting, which additionally asks for integrity. We show both positive and negative results. On the positive side, we provide tight memory-sensitive bounds for the security of GCM and its generalization, CAU (Bellare and Tackmann, CRYPTO '16). Our bounds apply to a restricted case of AE security which abstracts the deployment within protocols like TLS, and rely on a new memory-tight reduction to corresponding restricted notions of confidentiality and integrity. In particular, our reduction uses an amount of memory which linearly depends on that of the given adversary, as opposed to only imposing a constant memory overhead as in earlier works (Auerbach et al, CRYPTO '17). On the negative side, we show that a large class of black-box reductions cannot generically lift confidentiality and integrity security to a joint definition of AE security in a memory-tight way.
Video from CRYPTO 2020
BibTeX
@inproceedings{crypto-2020-30504,
  title={The Memory-Tightness of Authenticated Encryption},
  publisher={Springer-Verlag},
  doi={http://dx.doi.org/10.1007/978-3-030-56784-2_5},
  author={Ashrujit Ghoshal and Joseph Jaeger and Stefano Tessaro},
  year=2020
}