]> Amazon Web Services

Canada campagna@amazon.com

Ericsson AB

Sweden alexander.maximov@ericsson.com

Ericsson AB

Sweden john.mattsson@ericsson.com

IRTF Crypto Forum next generation unicorn sparkling distributed ledger This document defines the Galois Counter Mode with Secure Short Tags (GCM-SST) Authenticated Encryption with Associated Data (AEAD) algorithm. GCM-SST can be used with any keystream generator, not just a block cipher. The main differences compared to GCM is that GCM-SST uses an additional subkey Q, that fresh subkeys H and Q are derived for each nonce, and that the POLYVAL function from AES-GCM-SIV is used instead of GHASH. This enables short tags with forgery probabilities close to ideal. This document also registers several instances of Advanced Encryption Standard (AES) with Galois Counter Mode with Secure Short Tags (AES-GCM-SST). This document is the product of the Crypto Forum Research Group. About This Document The latest revision of this draft can be found at . Status information for this document may be found at . Discussion of this document takes place on the Crypto Forum Research Group mailing list (), which is archived at . Subscribe at . Source for this draft and an issue tracker can be found at .

Introduction Advanced Encryption Standard (AES) in Galois Counter Mode (AES-GCM) is a widely used AEAD algorithm due to its attractive performance in both software and hardware as well as its provable security. During the NIST standardization, Ferguson pointed out two weaknesses in the GCM authentication function . The weaknesses are especially concerning when GCM is used with short tags. The first weakness significantly increases the probability of successful forgery. The second weakness reveals the subkey H if the attacker manages to create successful forgeries. With knowledge of the subkey H, the attacker always succeeds with subsequent forgeries. The probability of multiple successful forgeries is therefore significantly increased. As a comment to NIST, Nyberg et al. explained how small changes based on proven theoretical constructions mitigate these weaknesses. Unfortunately, NIST did not follow the advice from Nyberg et al. and instead specified additional requirements for use with short tags in Appendix C of . NIST did not give any motivations for the specific choice of parameters, or for that matter the security levels they were assumed to give. As shown by Mattsson et al. , feedback of successful or unsuccessful forgery attempts is almost always possible, contradicting NIST's assumptions for short tags. NIST also appears to have used non-optimal attacks to calculate the parameters. A detailed evaluation of GCM and other block cipher modes of operation is given by . Rogaway is critical of GCM with short tags and recommends disallowing GCM with tags shorter than 96-bits. While Counter with CBC-MAC (CCM) with short tags has forgery probabilities close to ideal, CCM has lower performance than GCM. 32-bit tags are standard in most radio link layers including 5G, 64-bit tags are very common in transport and application layers of the Internet of Things, and 32-, 64-, and 80-bit tags are common in media-encryption applications. Audio packets are small, numerous, and ephemeral, so on the one hand, they are very sensitive in percentage terms to crypto overhead, and on the other hand, forgery of individual packets is not a big concern. Due to its weaknesses, GCM is typically not used with short tags. The result is decreased performance from larger than needed tags , or decreased performance from using much slower constructions such as AES-CTR combined with HMAC . Short tags are also useful to protect packets transporting a signed payload such as a firmware update. This document defines the Galois Counter Mode with Secure Short Tags (GCM-SST) Authenticated Encryption with Associated Data (AEAD) algorithm following the recommendations from Nyberg et al. . GCM-SST is defined with a general interface so that it can be used with any keystream generator, not just a 128-bit block cipher. The main differences compared to GCM is that GCM-SST uses an additional subkey Q, that fresh subkeys H and Q are derived for each nonce, and that the POLYVAL function from AES-GCM-SIV is used instead of GHASH. This enables short tags with forgery probability close to ideal and significantly decreases the probability of multiple successful forgeries. See . This document also registers several instances of Advanced Encryption Standard (AES) with Galois Counter Mode with Secure Short Tags (AES-GCM-SST) where AES in counter mode is used as the keystream generator. See .

Conventions and Definitions 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. Primitives:

• = is the assignment operator
• != is the inequality operator
• x || y is concatenation of the octet strings x and y
• XOR is the bitwise exclusive OR operator
• len(x) is the length of x in bits.
• zeropad(x) right pads an octet string x with zeroes to a multiple of 128 bits
• truncate(x, t) is the truncation operation. The first t bits of x are kept
• n is the number of 128-bit chunks in zeropad(P)
• m is the number of 128-bit chunks in zeropad(A)
• POLYVAL is defined in
• BE32(x) is the big-endian encoding of 32-bit integer x
• LE64(x) is the little-endian encoding of 64-bit integer x
• A[y] is the 128-bit chunk with index y in the array A; the first chunk has index 0.
• A[x:y] are the range of chunks x to y in the array A

Galois Counter Mode with Secure Short Tags (GCM-SST) This section defines the Galois Counter Mode with Secure Short Tags (GCM-SST) AEAD algorithm following the recommendations from Nyberg et al. . GCM-SST is defined with a general interface so that it can be used with any keystream generator, not just a 128-bit block cipher. GCM-SST adheres to an AEAD interface and the encryption function takes four variable-length octet string parameters. A secret key K, a nonce N, the associated data A, and a plaintext P. The keystream generator is instantiated with K and N. The keystream MAY depend on P and A. The minimum and maximum lengths of all parameters depend on the keystream generator. The keystream generator produces a keystream Z consisting of 128-bit chunks where the first three chunks Z[0], Z[1], and Z[2] are used as the three subkeys H, Q, and M. The following keystream chunks Z[3], Z[4], ..., Z[n + 2] are used to encrypt the plaintext. Instead of GHASH , GCM-SST makes use of the POLYVAL function from AES-GCM-SIV , which results in more efficient software implementations on little-endian architectures. GHASH and POLYVAL can be defined in terms of one another . The subkeys H and Q are field elements used in POLYVAL while the subkey M is used for the final masking of the tag. Both encryption and decryption are only defined on inputs that are a whole number of octets.

Authenticated Encryption Encrypt(K, N, A, P) The Encrypt function encrypts a plaintext and returns the ciphertext along with an authentication tag that verifies the authenticity of the plaintext and associated data, if provided. Prerequisites and security:

• The key MUST be randomly chosen from a uniform distribution.
• For a given key, the nonce MUST NOT be reused under any circumstances.
• Supported tag_length associated with the key.
• Definitions of supported input-output lengths.

Inputs:

• Key K (variable-length octet string)
• Nonce N (variable-length octet string)
• Associated data A (variable-length octet string)
• Plaintext P (variable-length octet string)

Outputs:

• Ciphertext ct (variable-length octet string)
• Tag tag (octet string with length tag_length)

Steps:

1. If the lengths of K, N, A, P are not supported return error and abort
2. Initiate keystream generator with K and N
3. Let H = Z[0], Q = Z[1], M = Z[2]
4. Let ct = P XOR truncate(Z[3:n + 2], len(P))
5. Let S = zeropad(A) || zeropad(ct) || LE64(len(ct)) || LE64(len(A))
6. Let X = POLYVAL(H, S[0], S[1], ..., S[m + n - 1])
7. Let full_tag = POLYVAL(Q, X XOR S[m + n]) XOR M
8. Let tag = truncate(full_tag, tag_length)
9. Return (ct, tag)

Authenticated Decryption Decrypt(K, N, A, ct, tag) The Decrypt function decrypts a ciphertext, verifies that the authentication tag is correct, and returns the plaintext on success or an error if tag verification failed. Prerequisites and security:

• The calculation of the plaintext P (step 8) MAY be done in parallel with the tag verification (step 2-7). If tag verification fails, the plaintext P and the expected_tag MUST NOT be given as output.
• The comparison of the input tag with the expected_tag MUST be done in constant time.
• Supported tag_length associated with the key.
• Definitions of supported input-output lengths.

Inputs:

• Key K (variable-length octet string)
• Nonce N (variable-length octet string)
• Associated data A (variable-length octet string)
• Ciphertext ct (variable-length octet string)
• Tag tag (octet string with length tag_length)

Outputs:

• Plaintext P (variable-length octet string) or an error indicating that the authentication tag is invalid for the given inputs.

Steps:

1. If the lengths of K, N, A, or ct are not supported, or if len(tag) != tag_length return error and abort
2. Initiate keystream generator with K and N
3. Let H = Z[0], Q = Z[1], M = Z[2]
4. Let S = zeropad(A) || zeropad(ct) || LE64(len(ct)) || LE64(len(A))
5. Let X = POLYVAL(H, S[0], S[1], ..., S[m + n - 1])
6. Let T = POLYVAL(Q, X XOR S[m + n]) XOR M
7. Let expected_tag = truncate(T, tag_length)
8. If tag != expected_tag, return error and abort
9. Let P = ct XOR truncate(Z[3:n + 2], len(ct))
10. Return P

Encoding (ct, tag) Tuples Applications MAY keep the ciphertext and the authentication tag in distinct structures or encode both as a single octet string C. In the latter case, the tag MUST immediately follow the ciphertext ct: C = ct || tag

AES with Galois Counter Mode with Secure Short Tags This section defines Advanced Encryption Standard (AES) with Galois Counter Mode with Secure Short Tags (AES-GCM-SST). When GCM-SSM is instantiated with AES, the keystream generator is AES in counter mode Z[i] = AES-ENC(K, N || BE32(i)) where AES-ENC is the AES encrypt function .

AES-GCM-SST AEAD Instances We define six AEADs, in the format of , that use AES-GCM-SST. They differ only in key length (K_LEN) and tag length. The tag lengths 32, 64, and 80 have been chosen to align with secure media frames . The key length and tag length are related to different security properties, and an application encrypting audio packets with small tags might require 256-bit confidentiality. AEAD Algorithms

Numeric ID	Name	K_LEN (bytes)	tag_length (bits)
TBD1	AEAD_AES_128_GCM_SST_4	16	32
TBD2	AEAD_AES_128_GCM_SST_8	16	64
TBD3	AEAD_AES_128_GCM_SST_10	16	80
TBD4	AEAD_AES_256_GCM_SST_4	32	32
TBD5	AEAD_AES_256_GCM_SST_8	32	64
TBD6	AEAD_AES_256_GCM_SST_10	32	80

Common parameters for the six AEADs:

• P_MAX (maximum size of the plaintext) is 2³⁶ - 48 octets.
• A_MAX (maximum size of the associated data) is 2³⁶ octets.
• N_MIN and N_MAX (minimum and maximum size of the nonce) are both 12 octets
• C_MAX (maximum size of the ciphertext and tag) is P_MAX + tag_length (in bytes)

Security Considerations GCM-SST uses an additional subkey Q and that new subkeys H, Q are derived for each nonce. The use of an additional subkey Q enables short tags with forgery probabilities close to ideal. Deriving new subkeys H, Q for each nonce significantly decreases the probability of multiple successful forgeries. These changes are based on proven theoretical constructions and follows the recommendations in . See for details and references to security proofs for the construction. GCM-SST MUST be used in a nonce-respecting setting: for a given key, a nonce MUST only be used once. The nonce MAY be public or predictable. It can be a counter, the output of a permutation, or a generator with a long period. Every key MUST be randomly chosen from a uniform distribution. Implementations SHOULD randomize the nonce by mixing a unique number like a sequence number with a per-key random salt. This improves security against pre-computation attacks and multi-key attacks . The GCM-SST tag_length SHOULD NOT be smaller than 4 bytes and cannot be larger than 16 bytes. For short tags of length t < 128 - log2(n + m + 1) bits, the worst-case forgery probability is bounded by ≈ 2^-t . With the constraints listed in , n + m + 1 < 2³³ 128-bit blocks, and tags of length up to 95 bits therefore have an almost perfect security level. This is significantly better than GCM where the security level is only t – log2(n + m + 1) bits . As one can note, for 128-bit tags and long messages, the forgery probability is not close to ideal and similar to GCM . If tag verification fails, the plaintext and expected_tag MUST NOT be given as output. The full_tag in GCM-SST does not depend on the tag length. An application can make the tag dependent on the tag length by including tag_length in the nonces. The GCM-SST tag_length SHOULD NOT be smaller than 4 bytes and cannot be larger than 16 bytes. For short tags, the worst-case forgery probability is bounded by ≈ 2^-t where t is the tag length in bits as long as the lengths of the plaintext P and the associated data A are bounded. This is significantly better than GCM. For 128-bit tags and long messages, the forgery probability is not close to ideal and similar to GCM . If tag verification fails, the plaintext and expected_tag MUST NOT be given as output. The full_tag in GCM-SST does not depend on the tag length. An application can make the tag dependent on the tag length by including tag_length in the nonces. The confidentiality offered by AES-GCM-SST against passive attackers is equal to AES-GCM and given by the birthday bound. The maximum size of the plaintext (P_MAX) has been adjusted from GCM as there is now three subkeys instead of two. For the AES-GCM-SST algorithms in the worst-case forgery probability is bounded by ≈ 2^-t where t is the tag length in bits . This is true for all allowed plaintext and associated data lengths. The maximum size of the associated data (A_MAX) has been lowered from GCM to enable forgery probability close to ideal for 80-bit tags even with maximum size plaintexts and associated data. Just like AES-GCM-SST only allows 96-bit nonces. If r random nonces are used with the same key, the collision probability for AES-GCM-SST is ≈ r² / 2⁹⁷. As an attacker can test r nonces for collisions with complexity r, the security of AES-GCM-SST with random nonces is only ≈ 2⁹⁷ / r. It is therefore NOT RECOMMENDED to use AES-GCM-SST with random nonces. In general, there is a very small possibility in GCM-SST that either or both of the subkeys H and Q are zero, so called weak keys. If both keys are zero, the resulting tag will not depend on the message. There are no obvious ways to detect this condition for an attacker, and the specification admits this possibility in favor of complicating the flow with additional checks and regeneration of values. In AES-GCM-SST, H and Q are generated with the AES-ENC permutation on different input, so H and Q cannot both be zero.

IANA Considerations IANA is requested to assign the entries in the first two columns of to the "AEAD Algorithms" registry under the "Authenticated Encryption with Associated Data (AEAD) Parameters" heading with this document as reference.

References Normative References This document defines algorithms for Authenticated Encryption with Associated Data (AEAD), and defines a uniform interface and a registry for such algorithms. The interface and registry can be used as an application-independent set of cryptoalgorithm suites. This approach provides advantages in efficiency and security, and promotes the reuse of crypto implementations. [STANDARDS-TRACK] This memo specifies two authenticated encryption algorithms that are nonce misuse resistant -- that is, they do not fail catastrophically if a nonce is repeated. This document is the product of the Crypto Forum Research Group. In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements. RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings. Informative References This document describes the Secure Real-time Transport Protocol (SRTP), a profile of the Real-time Transport Protocol (RTP), which can provide confidentiality, message authentication, and replay protection to the RTP traffic and to the control traffic for RTP, the Real-time Transport Control Protocol (RTCP). [STANDARDS-TRACK] Apple Google CoSMo Software Cisco Apple This document describes the Secure Frame (SFrame) end-to-end encryption and authentication mechanism for media frames in a multiparty conference call, in which central media servers (selective forwarding units or SFUs) can access the media metadata needed to make forwarding decisions without having access to the actual media. The proposed mechanism differs from the Secure Real-Time Protocol (SRTP) in that it is independent of RTP (thus compatible with non-RTP media transport) and can be applied to whole media frames in order to be more bandwidth efficient. Fastly Inc. Individual Contributor Individual Contributor This document describes AEGIS-128L and AEGIS-256, two AES-based authenticated encryption algorithms designed for high-performance applications. This document is a product of the Crypto Forum Research Group (CFRG). It is not an IETF product and is not a standard. Discussion Venues This note is to be removed before publishing as an RFC. Source for this draft and an issue tracker can be found at https://github.com/jedisct1/draft-aegis-aead.

AES-GCM-SST Test Vectors

AES-GCM-SST Test #1 (128-bit key)

Case #1a

Case #1b

Case #1c

Case #1d

Case #1e

AES-GCM-SST Test #2 (128-bit key)

AES-GCM-SST Test #3 (256-bit key)

Case #3a

Case #3b

Case #3c

Case #3d

Case #3e

AES-GCM-SST Test #4 (256-bit key)

Acknowledgments The authors want to thank for his valuable comments and feedback. Some of the formatting and text were inspired by and borrowed from .