linkSecurity Best Practices: Symmetric Encryption with AES in Java and Android: Part 2

Security Best Practices: Symmetric Encryption with AES in Java and Android: Part 2: AES-CBC + HMAC

This is the follow up to my previous article: “Symmetric Encryption with AES in Java and Android” where I summarize the most important facts about AES and show how to put it to use with AES-GCM. I highly recommend reading it before this one, because it explains the most important basics, before diving right into the next topic.

This article discusses the following scenario: what if you can’t use the Advanced Encryption Standard (AES) with authenticated encryption mode like the Galois/Counter Mode (GCM)? Either it is not supported on your currently used platform or you have to incorporate a legacy or third party protocol? Whatever reason you may have ditching GCM, you should not ditch the security properties it comes with:

• Confidentiality: Nobody without the key can read the message

• Integrity: Nobody has changed the content of the message

• Authenticity: The originator of the message can be verified

Choosing a non-authenticated encryption, like the block mode cipher block chaining (CBC) by itself, will unfortunately lack the latter two properties since it is malleable. How to fix this? As stated in my previous article, a possible solution would be to combine cryptographic primitives to include a message authentication code (MAC).

linkMessage Authentication Code (MAC)

So what is a MAC and why do we need it? A MAC is similar to a hash function, meaning it takes a message as input and generates a short so-called_ tag_. To make sure not everybody can create a tag for any arbitrary message, the MAC function requires a secret key for its calculation. In contrast to a signature used with asymmetric encryption, a MAC has the same key for both generation and authentication.

For example if two parties securely exchanged MAC keys, and every message has an authentication tag attached, they both can check if the message was created by the other party and that it wasn’t changed during transmission. An attacker would need the secret MAC key to forge the authentication tag.

One of the most widely used types of MAC is the keyed-hash message authentication code (HMAC) which incorporates a cryptographic hash function, often SHA256. As I won’t get into detail of the algorithm, I’ll recommend reading the RFC. Other types are available which are based on symmetric ciphers, like CBC-MAC. Nearly all crypto frameworks include at least a HMAC implementation, including the JCA/JCE through its Mac class.

linkUsing a MAC with Encryption: Scheme

So what is the right way to apply this MAC? According to security researcher Hugo Krawcyzk there are basically three options:

• MAC-then-Encrypt: MAC the plain-text and then append it before encrypting both (used in SSL)

• Encrypt-then-MAC: MAC the cipher-text and initial vector then append it to the cipher-text (used in IPsec)

• Encrypt-and-MAC: MAC the plain-text, encrypt and then append it to the cipher-text (used in SSH)

Every option has it’s own properties and I’ll encourage you to read a full argument of either option in this post. To summarize, most researchers recommend Encrypt-then-MAC (EtM). It protects against chosen cipher-text attacks, since the MAC can prevent decryption of incorrect messages. Additionally the MAC can’t leak information about the plain-text since it operates on the cipher-text. On the downside, it is slightly harder to implement since the IV and a possible protocol /algorithm version or type must be included in the tag. The important thing is to never do any cryptographic operation before verifying the MAC, otherwise you can be vulnerable to a padding-oracle attack (Moxie calls this the Doom Principle).

Encrypt-then-Mac schema

_Addendum: GCM vs. Encrypt-then-Mac_ Generally the security strength of using either is probably similar. GCM has some advantages:

• Simple to use aka less to get wrong

• Faster, as it only needs a single pass through the whole message

On the downside it only allows 96 bit initial vector (vs. 128 bit) and HMAC is theoretically stronger than GCM’s internal MAC algorithm GHASH (128 bit tag size vs. 256 bit+). GCM also fails miserably on IV+Key reuse. For more detailed discussion read here.

linkUsing a MAC with Encryption: Authentication Key

The last issue we have to solve: where do we get the secret key for the MAC calculation? There seems to be no known problem when using the same key as for the encryption (when using HMAC) if the used secret key is strong (ie. sufficiently random and securely exchanged). However best practice is to use a key derivation function (KDF) to derive 2 sub-keys just to be on the “safe” side if any problems may be found in the future. This can be as simple as calculating a SHA256 on the main secret key and splitting it to two 16 byte blocks. However I rather much prefer standardized protocols like the HMAC-based Extract-and-Expand Key Derivation Function (HKDF) which directly support such use cases without byte fiddling.

Key derivation of the two sub-keys

linkImplementing AES-CBC with EtM in Java and Android

Enough theory, let’s code! In the following examples I will use AES-CBC, a seemingly conservative decision. The reason for this is, it should be guaranteed to be available on nearly every JRE and Android version. As explained before we will be using the Encrypt-then-Mac scheme with HMAC. The only external dependency is HKDF. This code is basically a port of the example using GCM described in my previous article.

linkEncryption

To keep it simple, we use a randomly generated 128 bit key. Java will automatically choose the correct mode when you pass a key with 128, 192 or 256 bit length. Note however, 256 bit encryption usually requires the JCE Unlimited Strength Jurisdiction Policy installed in your JRE (OpenJDK & Android is fine). If you are not sure what key size to use, read the passage about this topic in my previous article.

1SecureRandom secureRandom = new SecureRandom();

2byte[] key = new byte[_16_];

3secureRandom.nextBytes(key);

Then we have to create our initialization vector. For CBC a 16 byte long initial vector (IV) should be used. Be mindful to always use a strong pseudorandom number generator (PRNG) like SecureRandom.

1byte[] iv = new byte[_16_];

2secureRandom.nextBytes(iv);

Reusing an IV is not as catastrophic as with GCM, but should be avoided nevertheless. See a possible attack here.

In the next step we will derive our 2 sub-keys needed for encryption and authentication. We will use HKDF in the configuration HMAC-SHA256 (with this library) since it is easy and straight forward to use. We generate two 16 byte sub keys using the info parameter in HKDF to differentiate between them.

1// import at.favre.lib.crypto.HKDF;

2

3byte[] encKey = HKDF.fromHmacSha256().expand(key, "encKey".getBytes(StandardCharsets._UTF_8_), 16);

4byte[] authKey = HKDF.fromHmacSha256().expand(key, "authKey".getBytes(StandardCharsets._UTF_8_), 32); //HMAC-SHA256 key is 32 byte

Next we will initialize the cipher and encrypt our plain-text. Since CBC is and behaves like a block mode we need a padding mode for messages which do not exactly fit the 16 byte block size. Since there seems to be no security implication regarding the used padding scheme, we chose the most widely supported: PKCS#7.

_Note:_ due to legacy reasons, we have to set our cipher suite to PKCS5. Both are practically the same but defined for different block sizes; normally PKCS#5 would not be compatible with AES, but since the definitions date back to 3DES where 8 byte blocks were used, we are stuck with it. If your JCE provider accepts AES/CBC/PKCS7Padding its better to use this definition so your code is easier to understand.

1final Cipher cipher = Cipher._getInstance_("AES/CBC/PKCS5Padding"); //actually uses `PKCS#7`

2cipher.init(Cipher._ENCRYPT_MODE_, new SecretKeySpec(encKey, "AES"), new IvParameterSpec(iv));

3byte[] cipherText = cipher.doFinal(plainText);

Next we have to prepare the MAC and add the main data to authenticate.

1SecretKey macKey = new SecretKeySpec(authKey, "HmacSHA256_"_);

2Mac hmac = Mac._getInstance_("HmacSHA256_"_);

3hmac.init(macKey);

4hmac.update(iv);

5hmac.update(cipherText);

If you want to authenticate additional meta data, like the protocol version, you could also add it to the mac generation. This is the same concept as adding associated data to an authenticated encryption algorithm.

1if (associatedData != null) {

2    hmac.update(associatedData);

3}

Then calculate the mac.

1byte[] mac = hmac.doFinal();

Finally serialize all of it to a single message.

1ByteBuffer byteBuffer = ByteBuffer._allocate_(1 + iv.length + 1 + mac.length + cipherText.length);

2byteBuffer.put((byte) iv.length);

3byteBuffer.put(iv);

4byteBuffer.put((byte) mac.length);

5byteBuffer.put(mac);

6byteBuffer.put(cipherText);

7byte[] cipherMessage = byteBuffer.array();

And that’s basically it for encryption. For constructing the message, the length of the IV, the IV, the length of the mac, the mac and the encrypted data are appended to a single byte array.

Optionally encode it with e.g. Base64 if you require a string representation. Android does have a standard implementation of this encoding, the JDK only from version 8 on (I would avoid Apache Commons Codec if possible since it is slow and a messy implementation).

It is best practice to try to wipe sensible data like a cryptographic key or IV from memory as fast as possible. Since Java is a language with automatic memory management, we don’t have any guarantees that the following works as intended, but it should in most cases:

1Arrays.fill(authKey, (byte) 0);

2Arrays.fill(encKey, (byte) 0);

Be mindful to not overwrite data that is still used somewhere else.

linkDecryption

Decryption works similar to encryption in reverse: first deconstruct the message.

1ByteBuffer byteBuffer = ByteBuffer._wrap_(cipherMessage);

2

3int ivLength = (byteBuffer.get());

4if (ivLength != 16) { // check input parameter

5    throw new IllegalArgumentException("invalid iv length");

6}

7

8byte[] iv = new byte[ivLength];

9byteBuffer.get(iv);

10

11int macLength = (byteBuffer.get());

12if (macLength != 32) { // check input parameter

13    throw new IllegalArgumentException("invalid mac length");

14}

15

16byte[] mac = new byte[macLength];

17byteBuffer.get(mac);

18

19byte[] cipherText = new byte[byteBuffer.remaining()];

20byteBuffer.get(cipherText);

Be careful to validate input parameters to prevent denial of service attacks, like the IV or mac length, as an attacker may change the value.

Then derive the keys needed for decryption and authentication.

1// import at.favre.lib.crypto.HKDF;

2

3byte[] encKey = HKDF.fromHmacSha256().expand(key, "encKey".getBytes(StandardCharsets._UTF_8_), 16);

4byte[] authKey = HKDF.fromHmacSha256().expand(key, "authKey".getBytes(StandardCharsets._UTF_8_), 32);

Before we decrypt anything, we will verify the MAC. First we calculate the MAC as before; don’t forget previously added associated data.

1SecretKey macKey = new SecretKeySpec(authKey, "HmacSHA256_"_);

2Mac hmac = Mac._getInstance_("HmacSHA256_"_);

3hmac.init(macKey);

4hmac.update(iv);

5hmac.update(cipherText);

6if (associatedData != null) {

7    hmac.update(associatedData);

8}

9byte[] refMac = hmac.doFinal();

Now when comparing the mac, we need a constant time comparing function to avoid side channel attacks; read here why this is important. Luckily we can use MessageDigest.isEquals() (the old bug was fixed in Java 6u17):

1if (!`MessageDigest.isEqual(`refMac, mac`)) {

2    throw new SecurityException("could not authenticate");

3}`

As the last step we can finally decrypt our message.

1final Cipher cipher = Cipher._getInstance_("AES/CBC/PKCS5Padding");

2cipher.init(Cipher._DECRYPT_MODE_, new SecretKeySpec(encKey, "AES"), new IvParameterSpec(iv));

3byte[] plainText = cipher.doFinal(cipherText);

That’s it! If you like to see a full example check out my Github project Armadillo where I use AES-CBC. You can also find this exact example as Gist if you have trouble following the snippets.

linkSummary

We showed that the usage of AES with cipher block chaining (CBC) and Encrypt-then-MAC schema using HMAC provides all desirable security properties we would like to see from our encryption protocol:

linkConfidentiality, integrity and authenticity

As can be seen, the protocol is a bit more involved as just using GCM. However these primitives are generally available in all Java/Android environments so it may be the only option you have. Just consider the following:

• Use a 16 byte random initialization vector (use a strong PRNG)

• Use 128+ bit MAC length (HMAC-SHA256 outputs 256 bit)

• Use Encrypt-then-Mac

• Use a KDF to derive the 2 Sub-Keys

• Verify before decryption (Doom Principle)

• Prevent timing attacks by using constant time equals implementations

• Use 128 bit encryption key length (you will be fine!)

• Pack everything together into a single message

linkReferences

patrickfav/hkdf_ Hashed Message Authentication Code (HMAC)-based key derivation function ( HKDF), can be used as a building block in…_github.com

patrickfav/armadillo_ A shared preference implementation for secret data providing confidentiality, integrity and authenticity . Per default…_github.com

linkFurther Reading

Security Best Practices: Symmetric Encryption with AES in Java and Android_ What to consider when encrypting your data and how to correctly implement it with AES-GCM._proandroiddev.com

This article was published on 4/18/2020 on medium.com.