## CryptoDB

### Paper: The Memory-Tightness of Authenticated Encryption

Authors: Ashrujit Ghoshal , University of Washington Joseph Jaeger , University of Washington Stefano Tessaro , University of Washington DOI: http://dx.doi.org/10.1007/978-3-030-56784-2_5 (login may be required) Search ePrint Search Google Slides CRYPTO 2020 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.
##### 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
}