International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Exploring Integrity of AEADs with Faults: Definitions and Constructions

Authors:
Sayandeep Saha , School of Physical and Mathematical Sciences, Nanyang Technological University (NTU), Singapore, Singapore
Mustafa Khairallah , School of Physical and Mathematical Sciences, Nanyang Technological University (NTU), Singapore, Singapore; Seagate Research, Singapore, Singapore
Thomas Peyrin , School of Physical and Mathematical Sciences, Nanyang Technological University (NTU), Singapore, Singapore
Download:
DOI: 10.46586/tosc.v2022.i4.291-324
URL: https://tosc.iacr.org/index.php/ToSC/article/view/9980
Search ePrint
Search Google
Abstract: Implementation-based attacks are major concerns for modern cryptography. For symmetric-key cryptography, a significant amount of exploration has taken place in this regard for primitives such as block ciphers. Concerning symmetric-key operating modes, such as Authenticated Encryption with Associated Data (AEAD), the stateof-the-art mainly addresses the passive Side-Channel Attacks (SCA) in the form of leakage resilient cryptography. So far, only a handful of work address Fault Attacks (FA) in the context of AEADs concerning the fundamental properties – integrity and confidentiality. In this paper, we address this gap by exploring mode-level issues arising due to FAs. We emphasize that FAs can be fatal even in cases where the adversary does not aim to extract the long-term secret, but rather tries to violate the basic security requirements (integrity and confidentiality). Notably, we show novel integrity attack examples on state-of-the-art AEAD constructions and even on a prior fault-resilient AEAD construction called SIV$. On the constructive side, we first present new security notions of fault-resilience, for PRF (frPRF), MAC (frMAC) and AEAD (frAE), the latter can be seen as an improved version of the notion introduced by Fischlin and Gunther at CT-RSA’20. Then, we propose new constructions to turn a frPRF into a fault-resilient MAC frMAC (hash-then-frPRF) and into a fault-resilient AEAD frAE (MAC-then-Encrypt-then-MAC or MEM).
BibTeX
@article{tosc-2022-32707,
  title={Exploring Integrity of AEADs with Faults: Definitions and Constructions},
  journal={IACR Transactions on Symmetric Cryptology},
  publisher={Ruhr-Universität Bochum},
  volume={2022, Issue 4},
  pages={291-324},
  url={https://tosc.iacr.org/index.php/ToSC/article/view/9980},
  doi={10.46586/tosc.v2022.i4.291-324},
  author={Sayandeep Saha and Mustafa Khairallah and Thomas Peyrin},
  year=2022
}