]>
Properties of AEAD algorithms
CryptoPro
andbogc@gmail.com
General
Network Working Group
authenticated encryption, mode of operation, AEAD, properties
Authenticated Encryption with Associated Data (AEAD) algorithms provide confidentiality and integrity of data. The extensive use of AEAD algorithms in various highlevel applications has caused the need for AEAD algorithms with additional properties and motivated research in the area. This document gives definitions for the most common of those properties intending to improve consistency in the field.
Introduction
An Authenticated Encryption with Associated Data (AEAD) algorithm is an extension of authenticated encryption, which provides confidentiality for the plaintext to be encrypted and integrity for the plaintext and some Associated Data (sometimes called Header). AEAD algorithms are used in numerous applications and have become an important field in cryptographic research.
Background
AEAD algorithms are formally defined in . The main benefit of AEAD algorithms is that they provide both data confidentiality and data integrity and have a simple unified interface.
The importance of the AEAD algorithms is mainly explained by their exploitation simplicity: they have a unified interface, easytounderstand security guarantees, and are much easier to implement properly than MAC and encryption schemes separately. Therefore, their embedding into highlevel schemes and protocols is highly transparent since, for example, there is no need for additional key derivation procedures. Apart from that, when using the AEAD algorithm, it is possible to reduce the key and state sizes and improve the data processing speed. For instance, such algorithms are mandatory for TLS 1.3 , IPsec ESP , and QUIC . Hence, the research and standardization efforts in the field are extremely active. Most AEAD algorithms usually come with security guarantees, formal proofs, usage guidelines, and reference implementations.
Even though providing core properties of AEAD algorithms is enough for use in many applications, some environments require other unusual cryptographic properties, which commonly require additional analysis and research. With the growing number of such properties and research papers, misunderstanding and confusion inevitably appear. Some properties might be understood in different ways, for some only nontrivial formal security notions are provided, others require modification or extension of the standard AEAD interface to support additional functionality. Therefore, the risk of misuse of AEAD algorithms increases which can lead to security issues.
Scope
In the following document, we provide a short overview of the most common properties of AEAD algorithms, by giving highlevel definitions of these properties in . The document aims to improve clarity and establish a common language in the field.
Conventions Used in This Document
The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in BCP 14 when, and only when, they appear in all capitals, as shown here.
AEAD algorithms
In this section we give a general definition of an AEAD algorithm, following .
Definition. An AEAD algorithm is defined by two operations  authenticated encryption and authenticated decryption:

A determenistic operation of authenticated encryption has four inputs, each of them is a binary string: a secret key K of a fixed bit lenght, a nonce N, associated data A and a plaintext P. The plaintext cointains the data to be encrypted and autheticated, the associated data cointains the data to be authenticated only. Each nonce value must be unique in every distinct invocation of the operation for any particular value of the key. The authenticated encryption operation outputs a ciphertext C.

A determenistic operation of authenticated decryption has four inputs, each of them is a binary string: a secret key K of a fixed bit lenght, a nonce N, associated data A and a ciphertext C. The operation verifies the integrity of the ciphertext and associated data, and decrypts the ciphertext. It returns a special symbol FAIL if the inputs are not authentic, otherwise the operation returns a plaintext P.
For more details on AEAD definition please refer to .
Throught this document, by default, we will consider noncebased AEAD algorithms, which have an interface from the definition above, and give no other restrictions on their strcuture. However, some properties defined in the document are applicable only to some special classes of such algorithms, like block cipher based AEAD algorithms (such algorithms use block cipher as a building block). If that is the case we explicitly point that out in the corresponding section. Some other properties, on the contarary, are defined for algorithms with extended or completely different interfaces. We address that issue in Section .
We will call an AEAD algorithm secure, if it providees such properties as Confidentiality and Data integrity, defined in Section . Even though we are aiming to give highlevel definitions, we will sometimes use the adversaial advantage notion. Specifically, we will use the Authenticated Encryption advantage notion for the AEAD algorithm. We adopt the corresponding definition from .
Definition. The probability of an active attacker succeeding in breaking the authenticatedencryption properties of the AEAD algorithm. In this document, the definition of authenticated encryption advantage roughly is the probability that an attacker successfully distinguishes the ciphertext outputs of the AEAD scheme from the outputs of a random function or is able to forge a ciphertext that will be accepted as valid.
AEAD properties
Classification of AEAD properties
In this document we use a very highlevel classification of properties. That classification is aimed to highlight the differences between the nature of the considered properties. All properties in the document fall into one of these three categories:

Security properties

Implementation properties

Additional functionality properties
Security properties
Confidentiality
Definition. An AEAD algorithm guarantees that the plaintext is available only to those authorized to obtain it, i.e. those who are in the posession of the secret key. That property is required for the AEAD algorithm to be called secure.
Synonyms. Privacy.
Further reading. ,
Data integrity
Definition. An AEAD algorithm guarantees that the plaintext and the associated data has not been changed or forged by those who are not authorized to, i.e. by those who are not in the posession of the secret key. That property is required for the AEAD algorithm to be called secure.
Synonyms. Message authentication.
Further reading. ,
Blockwise security
Definition. An AEAD algorithm provides security even if an adversary can adaptively choose the next block of the plaintext (ciphertext) depending on already computed blocks of the ciphertext (plaintext) during an encryption (decryption) operation.
Further reading. ,
Full commitment
Definition. An AEAD algorithm guarantees that it is difficult to find two or more different tuples of the key, nonce, associated data, and plaintext such that they encrypt to the same ciphertext. In other words, an AEAD scheme guarantees that a ciphertext is a commitment to all inputs of an authenticated encryption operation.
Functional applications. Message franking .
Further reading. ,
Key commitment
Definition. An AEAD algorithm guarantees that it is difficult to find two or more different keys and the same number of potentially equal triples of nonce, associated data, and plaintext such that they encrypt to the same ciphertext under corresponding keys. In other words, an AEAD scheme guarantees that a ciphertext is a commitment to the key used for an authenticated encryption operation.
Synonyms. Keyrobustness, key collision resistance.
Notes. Key commitment follows from full commitment. Full commitment does not follow form key commitment.
Functional applications. PasswordAuthenticated Key Exchange .
Further reading. , , , ,
Key Dependent Messages (KDM) security
Definition. An AEAD algorithm provides security even when keydependent plaintexts are encrypted.
Notes. KDMsecurity is achievable only if nonces are chosen randomly and associated data is keyindependent.
Functional applications. Disk encryption schemes .
Further reading.
Leakage resistance
Definition. An AEAD algorithm provides security even if some additional information about computations of an encryption (and possibly decryption) operation is obtained via sidechannel leakages.
Further reading. ,
Multiuser security
Definition. An AEAD algorithm Authenticated Encryption advantage increases sublinearly in the number of users.
Further reading.
Nonce misuse
Definition. An AEAD algorithm provides security (resilience or resistance) even if an adversary can repeat nonces in its encryption queries. Nonce misuse resilience and resistance are defined as follows:

Nonce misuse resilience. Security is provided only for messages encrypted with unique nonces.

Nonce misuse resistance. Security is provided for all messages.
Further reading. ,
Reforgeability resilience
Definition. An AEAD algorithm guarantees that once a successful forgery for the algorithm has been found, it is still hard to find any subsequent forgery.
Further reading. ,
Release of unverified plaintext (RUP) security
Definition. An AEAD algorithm provides security even if the plaintext is released for every ciphertext, including those with failed integrity verification.
Functional applications. Decryption with limited memory , CMS protocols .
Further reading.
Implementation properties
Inversefree
Definition. A block cipherbased AEAD algorithm can be securely implemented without evaluating the block cipher inverse.
Lightweight
Definition. An AEAD algorithm can be efficiently and securely implemented on resourceconstrained devices. In particular, it meets the criteria required in the NIST Lightweight Cryptography competition .
Further reading.
Online
Definition. An AEAD algorithm encryption (decryption) operation can be implemented with a constant memory and a single onedirection pass over the plaintext (ciphertext), writing out the result during that pass.
Further reading.
Parallelizable
Definition. An AEAD algorithm can fully exploit the parallel computation infrastructure.
Synonyms. Pipelineable.
Further reading.
Single pass
Definition. An AEAD algorithm encryption (decryption) operation can be implemented with a single pass over the plaintext (ciphertext).
Static Associated Data
Definition. An AEAD algorithm allows precomputation for static (or repeating) associated data so that static AD doesn't significantly contribute to the computational cost of encryption.
ZKfriendly
Definition. An AEAD algorithm operates on binary and prime fields with a low number of nonlinear operations (often called multiplicative complexity). Thus, it allows efficient implementation using a domainspecific language (DSL) for writing zkSNARKs circuits.
Synonyms. ZKfocused, Arithmetizationoriented, Low Multiplicative Complexity
Further reading.
Additional functionality properties
Incremental
Definition. An AEAD algorithm allows encrypting a message, which only partly differs from some other previously encrypted message, faster than processing it from scratch.
Further reading. ,
Noncehiding
Definition. An AEAD algorithm decryption operation doesn't need the nonce value to perform the decryption. Thus, the algorithm provides privacy for the nonce value.
Further reading.
Remotelykeyed
Definition. An AEAD algorithm can be securely implemented with most of the operations in encryption/decryption performed by an insecure (i.e., it leaks all intermediate values) device, which has no access to the key, while another secure device performs operations involving the key.
Further reading. ,
Robust
Definition. An AEAD algorithm allows the user to choose an arbitrary value l >= 0 for every plaintext and then encrypts it into a ciphertext, which is l bits longer.
Further reading.
Security Considerations
This document defines the properties of AEAD algorithms. However, the document does not describe any concrete mechanisms providing these properties, neither it describes how to achieve them. In fact, one can claim that an AEAD algorithm provides any of the defined properties only if its analysis in the relevant models was carried out.
IANA Considerations
This document has no IANA actions.
References
Normative References
Informative References
Authenticatedencryption with associateddata.
Proceedings of the 9th ACM conference on Computer and communications security (CCS '02)
Association for Computing Machinery, New York, NY, USA, 98–107
Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm
Proceedings of ASIACRYPT 2000, SpringerVerlag, LNCS 1976, pp. 531545
BlockwiseAdaptive Attackers Revisiting the (In)Security of Some Provably Secure Encryption Modes: CBC, GEM, IACBC
Advances in Cryptology — CRYPTO 2002. CRYPTO 2002. Lecture Notes in Computer Science, vol 2442. Springer, Berlin, Heidelberg
Authenticated OnLine Encryption
Selected Areas in Cryptography. SAC 2003. Lecture Notes in Computer Science, vol 3006. Springer, Berlin, Heidelberg.
Authenticated and MisuseResistant Encryption of KeyDependent Data
Advances in Cryptology – CRYPTO 2011. CRYPTO 2011. Lecture Notes in Computer Science, vol 6841. Springer, Berlin, Heidelberg.
Authenticated and MisuseResistant Encryption of KeyDependent DataSecurity of Symmetric Primitives under Incorrect Usage of Keys
IACR Transactions on Symmetric Cryptology, 2017(1), 449–473.
Partitioning Oracle Attacks
30th USENIX Security Symposium (USENIX Security 21), 195212
Message Franking via Committing Authenticated Encryption.
Advances in Cryptology – CRYPTO 2017. CRYPTO 2017. Lecture Notes in Computer Science, vol 10403. Springer, Cham
ModeLevel vs. ImplementationLevel Physical Security in Symmetric Cryptography: A Practical Guide Through the LeakageResistance Jungle
Advances in Cryptology – CRYPTO 2020. CRYPTO 2020. Lecture Notes in Computer Science, vol 12170. Springer, Cham
Authenticated Encryption with Nonce Misuse and Physical Leakages: Definitions, Separation Results and Leveled Constructions
Progress in Cryptology – LATINCRYPT 2019. LATINCRYPT 2019. Lecture Notes in Computer Science, vol 11774. Springer, Cham
The MultiUser Security of Authenticated Encryption: AESGCM in TLS 1.3
Advances in Cryptology – CRYPTO 2016. CRYPTO 2016. Lecture Notes in Computer Science, vol 9814. Springer, Berlin, Heidelberg
A ProvableSecurity Treatment of the KeyWrap Problem
Advances in Cryptology  EUROCRYPT 2006. EUROCRYPT 2006. Lecture Notes in Computer Science, vol 4004. Springer, Berlin, Heidelberg
Boosting Authenticated Encryption Robustness with Minimal Modifications
Advances in Cryptology – CRYPTO 2017. CRYPTO 2017. Lecture Notes in Computer Science, vol 10403. Springer, Cham
Reforgeability of Authenticated Encryption Schemes
Information Security and Privacy. ACISP 2017. Lecture Notes in Computer Science, vol 10343. Springer, Cham
MAC Reforgeability
Fast Software Encryption. FSE 2009. Lecture Notes in Computer Science, vol 5665. Springer, Berlin, Heidelberg
How to Securely Release Unverified Plaintext in Authenticated Encryption
Advances in Cryptology – ASIACRYPT 2014. ASIACRYPT 2014. Lecture Notes in Computer Science, vol 8873. Springer, Berlin, Heidelberg
Report on Lightweight Cryptography
Online AuthenticatedEncryption and its NonceReuse MisuseResistance
Advances in Cryptology  CRYPTO 2015. CRYPTO 2015. Lecture Notes in Computer Science, vol 9215. Springer, Berlin, Heidelberg
INTRUP Secure Lightweight Parallel AE Modes
IACR Transactions on Symmetric Cryptology, 2019(4), 81–118
CIMINION: Symmetric Encryption Based on ToffoliGates over Large Finite Fields
Advances in Cryptology – EUROCRYPT 2021. EUROCRYPT 2021. Lecture Notes in Computer Science(), vol 12697. Springer, Cham
Incremental Unforgeable Encryption
Fast Software Encryption. FSE 2001. Lecture Notes in Computer Science, vol 2355. Springer, Berlin, Heidelberg
A New Mode of Operation for Incremental Authenticated Encryption with Associated Data
Selected Areas in Cryptography – SAC 2015. SAC 2015. Lecture Notes in Computer Science(), vol 9566. Springer, Cham
Nonces Are Noticed: AEAD Revisited
Advances in Cryptology – CRYPTO 2019. CRYPTO 2019. Lecture Notes in Computer Science, vol 11692. Springer, Cham
Efficient schemes for committing authenticated encryption.
Advances in Cryptology – EUROCRYPT 2022. EUROCRYPT 2022. Lecture Notes in Computer Science, vol 13276. Springer, Cham.
On Committing AuthenticatedEncryption.
Computer Security – ESORICS 2022. ESORICS 2022. Lecture Notes in Computer Science, vol 13555. Springer, Cham.
A formal treatment of remotely keyed encryption
Advances in Cryptology — EUROCRYPT'98. EUROCRYPT 1998. Lecture Notes in Computer Science, vol 1403. Springer, Berlin, Heidelberg
Concealment and Its Applications to Authenticated Encryption
Advances in Cryptology — EUROCRYPT 2003. EUROCRYPT 2003. Lecture Notes in Computer Science, vol 2656. Springer, Berlin, Heidelberg
Robust AuthenticatedEncryption AEZ and the Problem That It Solves
Advances in Cryptology  EUROCRYPT 2015. EUROCRYPT 2015. Lecture Notes in Computer Science(), vol 9056. Springer, Berlin, Heidelberg.