# Single-algorithm authenticated encryption

Are there any authenticated encryption methods that combine encryption and authentication, rather than useing a separate cipher and MAC?

• – user991
Jan 28 '16 at 0:48
• These still have separate encryption and MAC, even if the two are interleved. ChaCha20 and Poly1305 are separate algorithms. So are AES and GMAC.
– Demi
Jan 28 '16 at 3:54
• Block cipher primitives are supposed to be a pseudorandom permutation from some message M : {0,1}^n to some ciphertext C : {0,1}^n using some key K : {0,1}^k. Those are then used in other constructions, such as block cipher modes, or MACs (such as CMAC or GMAC). Some block cipher modes have MACs built in. Bottom line: authentication is a product of how a primitive is used, not the primitive itself. Jan 28 '16 at 5:09
• OCB and CCM mode only use a block-cipher. Jan 28 '16 at 11:22
• @CodesInChaos In the case of OBC, the additional algorithms to generate the offsets and L-values might be complex enough to be considered separate, I am on the fence about that one, but a definite yes on CCM Jan 28 '16 at 21:11

Yes. If you are looking for AEAD ciphers wrapped around a single primitive, there are several in the CEASAR competition for authenticated encryption.

AEAD ciphers based on sponge constructions notably use only a single primitive, the F-function of the sponge permutation. These include NORX, Keyak, PRIMATEs-APE, and ICEPOLE, which are the 4 I find most interesting.

All of these use a central permutation, which generates a stream to encrypt the plaintext, accepts the plaintext to change the stream generation state, and finally generates the authentication tag.

Keyak also offers the ability to generate intermediate tags, so a ciphertext error can be caught before transmission is complete. NORX, ICEPOLE, and Keyak offer a parallel sponge mode to improve performance, and PRIMATEs-APE and ICEPOLE offer a secret message number to make them nonce misuse resistant under certain conditions. I believe Keyak has been modified to offer incremental addition of associated data, which PRIMATEs-APE also offers.

I have not looked at the permutation based ciphers, but they may also be built from a single primitive.

It is possible to build a block cipher mode to create a single primitive AEAD cipher, but it would have a performance deficit against purpose built ciphers. I built one over AES, and it is reasonably fast, almost as fast as OCB per block with longer startup and finalization. Making it purpose built around the AES round function makes it even faster than OCB with hardware acceleration, but as a mode it can be used with any 128-bit block cipher. My motivation was the complexity of generating the OCB offsets in 32-bit code.

Whether the algorithms are "separate" or not is a matter of definition. E.g. in TLS, unlike non-AEAD ciphersuites the GCM and ChaCha-Poly suites use a single key for both encryption and decryption because they have structure beyond just encrypt-then-MAC. You can quite naturally take that to mean they are a single algorithm.

There are some algorithms where it would be quite difficult to argue that they are not a single algorithm. In particular, those asynchronous stream ciphers that also authenticate. Examples of this are the (somewhat broken) Helix cipher as well as the encryption mode suggested for Keccak/SHA-3 or the sponge-construction in general.

However, even in those cases you can define a separate encryption and authentication function by keeping different parts of the ciphertext. They just "happen to" be computed in nearly the same time together as separately.

• Is Helix really broken? Wasn't its problem just that it failed under nonce reuse? Jan 28 '16 at 11:23
• @CodesInChaos, hmm, not sure, I thought I remembered its brokenness being the reason for some Phelix changes. Removed the claim until I have time to check.
– otus
Jan 28 '16 at 11:34
• @CodesInChaos, I'm going to go with "somewhat broken", since there is a distinguishing attack that does not require nonce reuse, but at $2^{114}$ of chosen plaintext it is entirely theoretical.
– otus
Feb 10 '16 at 13:38