153 lines
9.2 KiB
Diff
153 lines
9.2 KiB
Diff
|
From 919925673d6c9cfed3c1085497f5dfbbed5fc431 Mon Sep 17 00:00:00 2001
|
||
|
|
From: Alex Chernyakhovsky <achernya@google.com>
|
||
|
|
Date: Thu, 16 Jun 2022 12:00:22 +1000
|
||
|
|
Subject: [PATCH] Fix AES OCB encrypt/decrypt for x86 AES-NI
|
||
|
|
MIME-Version: 1.0
|
||
|
|
Content-Type: text/plain; charset=UTF-8
|
||
|
|
Content-Transfer-Encoding: 8bit
|
||
|
|
|
||
|
|
aesni_ocb_encrypt and aesni_ocb_decrypt operate by having a fast-path
|
||
|
|
that performs operations on 6 16-byte blocks concurrently (the
|
||
|
|
"grandloop") and then proceeds to handle the "short" tail (which can
|
||
|
|
be anywhere from 0 to 5 blocks) that remain.
|
||
|
|
|
||
|
|
As part of initialization, the assembly initializes $len to the true
|
||
|
|
length, less 96 bytes and converts it to a pointer so that the $inp
|
||
|
|
can be compared to it. Each iteration of "grandloop" checks to see if
|
||
|
|
there's a full 96-byte chunk to process, and if so, continues. Once
|
||
|
|
this has been exhausted, it falls through to "short", which handles
|
||
|
|
the remaining zero to five blocks.
|
||
|
|
|
||
|
|
Unfortunately, the jump at the end of "grandloop" had a fencepost
|
||
|
|
error, doing a `jb` ("jump below") rather than `jbe` (jump below or
|
||
|
|
equal). This should be `jbe`, as $inp is pointing to the *end* of the
|
||
|
|
chunk currently being handled. If $inp == $len, that means that
|
||
|
|
there's a whole 96-byte chunk waiting to be handled. If $inp > $len,
|
||
|
|
then there's 5 or fewer 16-byte blocks left to be handled, and the
|
||
|
|
fall-through is intended.
|
||
|
|
|
||
|
|
The net effect of `jb` instead of `jbe` is that the last 16-byte block
|
||
|
|
of the last 96-byte chunk was completely omitted. The contents of
|
||
|
|
`out` in this position were never written to. Additionally, since
|
||
|
|
those bytes were never processed, the authentication tag generated is
|
||
|
|
also incorrect.
|
||
|
|
|
||
|
|
The same fencepost error, and identical logic, exists in both
|
||
|
|
aesni_ocb_encrypt and aesni_ocb_decrypt.
|
||
|
|
|
||
|
|
This addresses CVE-2022-2097.
|
||
|
|
|
||
|
|
Co-authored-by: Alejandro Sedeño <asedeno@google.com>
|
||
|
|
Co-authored-by: David Benjamin <davidben@google.com>
|
||
|
|
|
||
|
|
Reviewed-by: Paul Dale <pauli@openssl.org>
|
||
|
|
Reviewed-by: Tomas Mraz <tomas@openssl.org>
|
||
|
|
Upstream-Status: Backport [https://github.com/openssl/openssl/commit/919925673d6c9cfed3c1085497f5dfbbed5fc431]
|
||
|
|
---
|
||
|
|
crypto/aes/asm/aesni-x86.pl | 4 ++--
|
||
|
|
1 file changed, 2 insertions(+), 2 deletions(-)
|
||
|
|
|
||
|
|
diff --git a/crypto/aes/asm/aesni-x86.pl b/crypto/aes/asm/aesni-x86.pl
|
||
|
|
index fe2b26542ab6..812758e02e04 100644
|
||
|
|
--- a/crypto/aes/asm/aesni-x86.pl
|
||
|
|
+++ b/crypto/aes/asm/aesni-x86.pl
|
||
|
|
@@ -2027,7 +2027,7 @@ sub aesni_generate6
|
||
|
|
&movdqu (&QWP(-16*2,$out,$inp),$inout4);
|
||
|
|
&movdqu (&QWP(-16*1,$out,$inp),$inout5);
|
||
|
|
&cmp ($inp,$len); # done yet?
|
||
|
|
- &jb (&label("grandloop"));
|
||
|
|
+ &jbe (&label("grandloop"));
|
||
|
|
|
||
|
|
&set_label("short");
|
||
|
|
&add ($len,16*6);
|
||
|
|
@@ -2453,7 +2453,7 @@ sub aesni_generate6
|
||
|
|
&pxor ($rndkey1,$inout5);
|
||
|
|
&movdqu (&QWP(-16*1,$out,$inp),$inout5);
|
||
|
|
&cmp ($inp,$len); # done yet?
|
||
|
|
- &jb (&label("grandloop"));
|
||
|
|
+ &jbe (&label("grandloop"));
|
||
|
|
|
||
|
|
&set_label("short");
|
||
|
|
&add ($len,16*6);
|
||
|
|
From 9131afdca30b6d1650af9ea6179569a80ab8cb06 Mon Sep 17 00:00:00 2001
|
||
|
|
From: Alex Chernyakhovsky <achernya@google.com>
|
||
|
|
Date: Thu, 16 Jun 2022 12:02:37 +1000
|
||
|
|
Subject: [PATCH] AES OCB test vectors
|
||
|
|
MIME-Version: 1.0
|
||
|
|
Content-Type: text/plain; charset=UTF-8
|
||
|
|
Content-Transfer-Encoding: 8bit
|
||
|
|
|
||
|
|
Add test vectors for AES OCB for x86 AES-NI multiple of 96 byte issue.
|
||
|
|
|
||
|
|
Co-authored-by: Alejandro Sedeño <asedeno@google.com>
|
||
|
|
Co-authored-by: David Benjamin <davidben@google.com>
|
||
|
|
|
||
|
|
Reviewed-by: Paul Dale <pauli@openssl.org>
|
||
|
|
Reviewed-by: Tomas Mraz <tomas@openssl.org>
|
||
|
|
Upstream-Status: Backport [https://github.com/openssl/openssl/commit/9131afdca30b6d1650af9ea6179569a80ab8cb06]
|
||
|
|
---
|
||
|
|
test/recipes/30-test_evp_data/evpciph.txt | 50 +++++++++++++++++++++++
|
||
|
|
1 file changed, 50 insertions(+)
|
||
|
|
|
||
|
|
diff --git a/test/recipes/30-test_evp_data/evpciph.txt b/test/recipes/30-test_evp_data/evpciph.txt
|
||
|
|
index 1c02ea1e9c2d..e12670d9a4b4 100644
|
||
|
|
--- a/test/recipes/30-test_evp_data/evpciph.txt
|
||
|
|
+++ b/test/recipes/30-test_evp_data/evpciph.txt
|
||
|
|
@@ -1188,6 +1188,56 @@ Ciphertext = 09A4FD29DE949D9A9AA9924248422097AD4883B4713E6C214FF6567ADA08A967B21
|
||
|
|
Operation = DECRYPT
|
||
|
|
Result = CIPHERFINAL_ERROR
|
||
|
|
|
||
|
|
+#Test vectors generated to validate aesni_ocb_encrypt on x86
|
||
|
|
+Cipher = aes-128-ocb
|
||
|
|
+Key = 000102030405060708090A0B0C0D0E0F
|
||
|
|
+IV = 000000000001020304050607
|
||
|
|
+Tag = C14DFF7D62A13C4A3422456207453190
|
||
|
|
+Plaintext = 000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F303132333435363738393A3B3C3D3E3F404142434445464748494A4B4C4D4E4F505152535455565758595A5B5C5D5E5F
|
||
|
|
+Ciphertext = F5186C9CC3506386919B6FD9443956E05B203313F8AB35E916AB36932EBDDCD2945901BABE7CF29404929F322F954C916065FABF8F1E52F4BD7C538C0F96899519DBC6BC504D837D8EBD1436B45D33F528CB642FA2EB2C403FE604C12B819333
|
||
|
|
+
|
||
|
|
+Cipher = aes-128-ocb
|
||
|
|
+Key = 000102030405060708090A0B0C0D0E0F
|
||
|
|
+IV = 000000000001020304050607
|
||
|
|
+Tag = D47D84F6FF912C79B6A4223AB9BE2DB8
|
||
|
|
+Plaintext = 000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F303132333435363738393A3B3C3D3E3F404142434445464748494A4B4C4D4E4F505152535455565758595A5B5C5D5E5F606162636465666768696A6B6C6D6E6F
|
||
|
|
+Ciphertext = F5186C9CC3506386919B6FD9443956E05B203313F8AB35E916AB36932EBDDCD2945901BABE7CF29404929F322F954C916065FABF8F1E52F4BD7C538C0F96899519DBC6BC504D837D8EBD1436B45D33F528CB642FA2EB2C403FE604C12B8193332374120A78A1171D23ED9E9CB1ADC204
|
||
|
|
+
|
||
|
|
+Cipher = aes-128-ocb
|
||
|
|
+Key = 000102030405060708090A0B0C0D0E0F
|
||
|
|
+IV = 000000000001020304050607
|
||
|
|
+Tag = 41970D13737B7BD1B5FBF49ED4412CA5
|
||
|
|
+Plaintext = 000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F303132333435363738393A3B3C3D3E3F404142434445464748494A4B4C4D4E4F505152535455565758595A5B5C5D5E5F606162636465666768696A6B6C6D6E6F7071000102030405060708090A0B0C0D
|
||
|
|
+Ciphertext = F5186C9CC3506386919B6FD9443956E05B203313F8AB35E916AB36932EBDDCD2945901BABE7CF29404929F322F954C916065FABF8F1E52F4BD7C538C0F96899519DBC6BC504D837D8EBD1436B45D33F528CB642FA2EB2C403FE604C12B8193332374120A78A1171D23ED9E9CB1ADC20412C017AD0CA498827C768DDD99B26E91
|
||
|
|
+
|
||
|
|
+Cipher = aes-128-ocb
|
||
|
|
+Key = 000102030405060708090A0B0C0D0E0F
|
||
|
|
+IV = 000000000001020304050607
|
||
|
|
+Tag = BE0228651ED4E48A11BDED68D953F3A0
|
||
|
|
+Plaintext = 000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F303132333435363738393A3B3C3D3E3F404142434445464748494A4B4C4D4E4F505152535455565758595A5B5C5D5E5F606162636465666768696A6B6C6D6E6F7071000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D
|
||
|
|
+Ciphertext = F5186C9CC3506386919B6FD9443956E05B203313F8AB35E916AB36932EBDDCD2945901BABE7CF29404929F322F954C916065FABF8F1E52F4BD7C538C0F96899519DBC6BC504D837D8EBD1436B45D33F528CB642FA2EB2C403FE604C12B8193332374120A78A1171D23ED9E9CB1ADC20412C017AD0CA498827C768DDD99B26E91EDB8681700FF30366F07AEDE8CEACC1F
|
||
|
|
+
|
||
|
|
+Cipher = aes-128-ocb
|
||
|
|
+Key = 000102030405060708090A0B0C0D0E0F
|
||
|
|
+IV = 000000000001020304050607
|
||
|
|
+Tag = 17BC6E10B16E5FDC52836E7D589518C7
|
||
|
|
+Plaintext = 000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F303132333435363738393A3B3C3D3E3F404142434445464748494A4B4C4D4E4F505152535455565758595A5B5C5D5E5F606162636465666768696A6B6C6D6E6F7071000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D
|
||
|
|
+Ciphertext = F5186C9CC3506386919B6FD9443956E05B203313F8AB35E916AB36932EBDDCD2945901BABE7CF29404929F322F954C916065FABF8F1E52F4BD7C538C0F96899519DBC6BC504D837D8EBD1436B45D33F528CB642FA2EB2C403FE604C12B8193332374120A78A1171D23ED9E9CB1ADC20412C017AD0CA498827C768DDD99B26E91EDB8681700FF30366F07AEDE8CEACC1F39BE69B91BC808FA7A193F7EEA43137B
|
||
|
|
+
|
||
|
|
+Cipher = aes-128-ocb
|
||
|
|
+Key = 000102030405060708090A0B0C0D0E0F
|
||
|
|
+IV = 000000000001020304050607
|
||
|
|
+Tag = E84AAC18666116990A3A37B3A5FC55BD
|
||
|
|
+Plaintext = 000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F303132333435363738393A3B3C3D3E3F404142434445464748494A4B4C4D4E4F505152535455565758595A5B5C5D5E5F606162636465666768696A6B6C6D6E6F7071000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F303132333435363738393A3B3C3D
|
||
|
|
+Ciphertext = F5186C9CC3506386919B6FD9443956E05B203313F8AB35E916AB36932EBDDCD2945901BABE7CF29404929F322F954C916065FABF8F1E52F4BD7C538C0F96899519DBC6BC504D837D8EBD1436B45D33F528CB642FA2EB2C403FE604C12B8193332374120A78A1171D23ED9E9CB1ADC20412C017AD0CA498827C768DDD99B26E91EDB8681700FF30366F07AEDE8CEACC1F39BE69B91BC808FA7A193F7EEA43137B11CF99263D693AEBDF8ADE1A1D838DED
|
||
|
|
+
|
||
|
|
+Cipher = aes-128-ocb
|
||
|
|
+Key = 000102030405060708090A0B0C0D0E0F
|
||
|
|
+IV = 000000000001020304050607
|
||
|
|
+Tag = 3E5EA7EE064FE83B313E28D411E91EAD
|
||
|
|
+Plaintext = 000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F303132333435363738393A3B3C3D3E3F404142434445464748494A4B4C4D4E4F505152535455565758595A5B5C5D5E5F606162636465666768696A6B6C6D6E6F7071000102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F202122232425262728292A2B2C2D2E2F303132333435363738393A3B3C3D3E3F404142434445464748494A4B4C4D
|
||
|
|
+Ciphertext = F5186C9CC3506386919B6FD9443956E05B203313F8AB35E916AB36932EBDDCD2945901BABE7CF29404929F322F954C916065FABF8F1E52F4BD7C538C0F96899519DBC6BC504D837D8EBD1436B45D33F528CB642FA2EB2C403FE604C12B8193332374120A78A1171D23ED9E9CB1ADC20412C017AD0CA498827C768DDD99B26E91EDB8681700FF30366F07AEDE8CEACC1F39BE69B91BC808FA7A193F7EEA43137B11CF99263D693AEBDF8ADE1A1D838DED48D9E09F452F8E6FBEB76A3DED47611C
|
||
|
|
+
|
||
|
|
Title = AES XTS test vectors from IEEE Std 1619-2007
|
||
|
|
|
||
|
|
# Using the same key twice for encryption is always banned.
|