Cryptology ePrint Archive: Report 2018/547

Indifferentiable Authenticated Encryption

Manuel Barbosa and Pooya Farshim

Abstract: We study Authenticated Encryption with Associated Data (AEAD) from the viewpoint of composition in arbitrary (single-stage) environments. We use the indifferentiability framework to formalize the intuition that a good AEAD scheme should have random ciphertexts subject to decryptability. Within this framework, we can then apply the indifferentiability composition theorem to show that such schemes offer extra safeguards wherever the relevant security properties are not known, or cannot be predicted in advance, as in general-purpose crypto libraries and standards.

We show, on the negative side, that generic composition (in many of its configurations) and well-known classical and recent schemes fail to achieve indifferentiability. On the positive side, we give a provably indifferentiable Feistel-based construction, which reduces the round complexity from at least $6$, needed for blockciphers, to only 3 for encryption. This result is not too far off the theoretical optimum as we give a lower bound that rules out the indifferentiability of any construction with less than 2 rounds.

Category / Keywords: AEAD, indifferentiability, composition, Feistel, lower bound.

Original Publication (in the same form): IACR-CRYPTO-2018

Date: received 2 Jun 2018, last revised 2 Jul 2018

Contact author: mbb at dcc fc up pt

Available format(s): PDF | BibTeX Citation

Note: The first version submitted to eprint is the proceedings version. This is the full version.

Version: 20180702:161131 (All versions of this report)

Short URL: ia.cr/2018/547


[ Cryptology ePrint archive ]