1f05cddf9SRui Paulo /*
2f05cddf9SRui Paulo * Galois/Counter Mode (GCM) and GMAC with AES
3f05cddf9SRui Paulo *
4f05cddf9SRui Paulo * Copyright (c) 2012, Jouni Malinen <j@w1.fi>
5f05cddf9SRui Paulo *
6f05cddf9SRui Paulo * This software may be distributed under the terms of the BSD license.
7f05cddf9SRui Paulo * See README for more details.
8f05cddf9SRui Paulo */
9f05cddf9SRui Paulo
10f05cddf9SRui Paulo #include "includes.h"
11f05cddf9SRui Paulo
12f05cddf9SRui Paulo #include "common.h"
13f05cddf9SRui Paulo #include "aes.h"
14f05cddf9SRui Paulo #include "aes_wrap.h"
15f05cddf9SRui Paulo
inc32(u8 * block)16f05cddf9SRui Paulo static void inc32(u8 *block)
17f05cddf9SRui Paulo {
18f05cddf9SRui Paulo u32 val;
19f05cddf9SRui Paulo val = WPA_GET_BE32(block + AES_BLOCK_SIZE - 4);
20f05cddf9SRui Paulo val++;
21f05cddf9SRui Paulo WPA_PUT_BE32(block + AES_BLOCK_SIZE - 4, val);
22f05cddf9SRui Paulo }
23f05cddf9SRui Paulo
24f05cddf9SRui Paulo
xor_block(u8 * dst,const u8 * src)25f05cddf9SRui Paulo static void xor_block(u8 *dst, const u8 *src)
26f05cddf9SRui Paulo {
27f05cddf9SRui Paulo u32 *d = (u32 *) dst;
28f05cddf9SRui Paulo u32 *s = (u32 *) src;
29f05cddf9SRui Paulo *d++ ^= *s++;
30f05cddf9SRui Paulo *d++ ^= *s++;
31f05cddf9SRui Paulo *d++ ^= *s++;
32f05cddf9SRui Paulo *d++ ^= *s++;
33f05cddf9SRui Paulo }
34f05cddf9SRui Paulo
35f05cddf9SRui Paulo
shift_right_block(u8 * v)36f05cddf9SRui Paulo static void shift_right_block(u8 *v)
37f05cddf9SRui Paulo {
38f05cddf9SRui Paulo u32 val;
39f05cddf9SRui Paulo
40f05cddf9SRui Paulo val = WPA_GET_BE32(v + 12);
41f05cddf9SRui Paulo val >>= 1;
42f05cddf9SRui Paulo if (v[11] & 0x01)
43f05cddf9SRui Paulo val |= 0x80000000;
44f05cddf9SRui Paulo WPA_PUT_BE32(v + 12, val);
45f05cddf9SRui Paulo
46f05cddf9SRui Paulo val = WPA_GET_BE32(v + 8);
47f05cddf9SRui Paulo val >>= 1;
48f05cddf9SRui Paulo if (v[7] & 0x01)
49f05cddf9SRui Paulo val |= 0x80000000;
50f05cddf9SRui Paulo WPA_PUT_BE32(v + 8, val);
51f05cddf9SRui Paulo
52f05cddf9SRui Paulo val = WPA_GET_BE32(v + 4);
53f05cddf9SRui Paulo val >>= 1;
54f05cddf9SRui Paulo if (v[3] & 0x01)
55f05cddf9SRui Paulo val |= 0x80000000;
56f05cddf9SRui Paulo WPA_PUT_BE32(v + 4, val);
57f05cddf9SRui Paulo
58f05cddf9SRui Paulo val = WPA_GET_BE32(v);
59f05cddf9SRui Paulo val >>= 1;
60f05cddf9SRui Paulo WPA_PUT_BE32(v, val);
61f05cddf9SRui Paulo }
62f05cddf9SRui Paulo
63f05cddf9SRui Paulo
64f05cddf9SRui Paulo /* Multiplication in GF(2^128) */
gf_mult(const u8 * x,const u8 * y,u8 * z)65f05cddf9SRui Paulo static void gf_mult(const u8 *x, const u8 *y, u8 *z)
66f05cddf9SRui Paulo {
67f05cddf9SRui Paulo u8 v[16];
68f05cddf9SRui Paulo int i, j;
69f05cddf9SRui Paulo
70f05cddf9SRui Paulo os_memset(z, 0, 16); /* Z_0 = 0^128 */
71f05cddf9SRui Paulo os_memcpy(v, y, 16); /* V_0 = Y */
72f05cddf9SRui Paulo
73f05cddf9SRui Paulo for (i = 0; i < 16; i++) {
74f05cddf9SRui Paulo for (j = 0; j < 8; j++) {
75f05cddf9SRui Paulo if (x[i] & BIT(7 - j)) {
76f05cddf9SRui Paulo /* Z_(i + 1) = Z_i XOR V_i */
77f05cddf9SRui Paulo xor_block(z, v);
78f05cddf9SRui Paulo } else {
79f05cddf9SRui Paulo /* Z_(i + 1) = Z_i */
80f05cddf9SRui Paulo }
81f05cddf9SRui Paulo
82f05cddf9SRui Paulo if (v[15] & 0x01) {
83f05cddf9SRui Paulo /* V_(i + 1) = (V_i >> 1) XOR R */
84f05cddf9SRui Paulo shift_right_block(v);
85f05cddf9SRui Paulo /* R = 11100001 || 0^120 */
86f05cddf9SRui Paulo v[0] ^= 0xe1;
87f05cddf9SRui Paulo } else {
88f05cddf9SRui Paulo /* V_(i + 1) = V_i >> 1 */
89f05cddf9SRui Paulo shift_right_block(v);
90f05cddf9SRui Paulo }
91f05cddf9SRui Paulo }
92f05cddf9SRui Paulo }
93f05cddf9SRui Paulo }
94f05cddf9SRui Paulo
95f05cddf9SRui Paulo
ghash_start(u8 * y)96f05cddf9SRui Paulo static void ghash_start(u8 *y)
97f05cddf9SRui Paulo {
98f05cddf9SRui Paulo /* Y_0 = 0^128 */
99f05cddf9SRui Paulo os_memset(y, 0, 16);
100f05cddf9SRui Paulo }
101f05cddf9SRui Paulo
102f05cddf9SRui Paulo
ghash(const u8 * h,const u8 * x,size_t xlen,u8 * y)103f05cddf9SRui Paulo static void ghash(const u8 *h, const u8 *x, size_t xlen, u8 *y)
104f05cddf9SRui Paulo {
105f05cddf9SRui Paulo size_t m, i;
106f05cddf9SRui Paulo const u8 *xpos = x;
107f05cddf9SRui Paulo u8 tmp[16];
108f05cddf9SRui Paulo
109f05cddf9SRui Paulo m = xlen / 16;
110f05cddf9SRui Paulo
111f05cddf9SRui Paulo for (i = 0; i < m; i++) {
112f05cddf9SRui Paulo /* Y_i = (Y^(i-1) XOR X_i) dot H */
113f05cddf9SRui Paulo xor_block(y, xpos);
114f05cddf9SRui Paulo xpos += 16;
115f05cddf9SRui Paulo
116f05cddf9SRui Paulo /* dot operation:
117f05cddf9SRui Paulo * multiplication operation for binary Galois (finite) field of
118f05cddf9SRui Paulo * 2^128 elements */
119f05cddf9SRui Paulo gf_mult(y, h, tmp);
120f05cddf9SRui Paulo os_memcpy(y, tmp, 16);
121f05cddf9SRui Paulo }
122f05cddf9SRui Paulo
123f05cddf9SRui Paulo if (x + xlen > xpos) {
124f05cddf9SRui Paulo /* Add zero padded last block */
125f05cddf9SRui Paulo size_t last = x + xlen - xpos;
126f05cddf9SRui Paulo os_memcpy(tmp, xpos, last);
127f05cddf9SRui Paulo os_memset(tmp + last, 0, sizeof(tmp) - last);
128f05cddf9SRui Paulo
129f05cddf9SRui Paulo /* Y_i = (Y^(i-1) XOR X_i) dot H */
130f05cddf9SRui Paulo xor_block(y, tmp);
131f05cddf9SRui Paulo
132f05cddf9SRui Paulo /* dot operation:
133f05cddf9SRui Paulo * multiplication operation for binary Galois (finite) field of
134f05cddf9SRui Paulo * 2^128 elements */
135f05cddf9SRui Paulo gf_mult(y, h, tmp);
136f05cddf9SRui Paulo os_memcpy(y, tmp, 16);
137f05cddf9SRui Paulo }
138f05cddf9SRui Paulo
139f05cddf9SRui Paulo /* Return Y_m */
140f05cddf9SRui Paulo }
141f05cddf9SRui Paulo
142f05cddf9SRui Paulo
aes_gctr(void * aes,const u8 * icb,const u8 * x,size_t xlen,u8 * y)143f05cddf9SRui Paulo static void aes_gctr(void *aes, const u8 *icb, const u8 *x, size_t xlen, u8 *y)
144f05cddf9SRui Paulo {
145f05cddf9SRui Paulo size_t i, n, last;
146f05cddf9SRui Paulo u8 cb[AES_BLOCK_SIZE], tmp[AES_BLOCK_SIZE];
147f05cddf9SRui Paulo const u8 *xpos = x;
148f05cddf9SRui Paulo u8 *ypos = y;
149f05cddf9SRui Paulo
150f05cddf9SRui Paulo if (xlen == 0)
151f05cddf9SRui Paulo return;
152f05cddf9SRui Paulo
153f05cddf9SRui Paulo n = xlen / 16;
154f05cddf9SRui Paulo
155f05cddf9SRui Paulo os_memcpy(cb, icb, AES_BLOCK_SIZE);
156f05cddf9SRui Paulo /* Full blocks */
157f05cddf9SRui Paulo for (i = 0; i < n; i++) {
158f05cddf9SRui Paulo aes_encrypt(aes, cb, ypos);
159f05cddf9SRui Paulo xor_block(ypos, xpos);
160f05cddf9SRui Paulo xpos += AES_BLOCK_SIZE;
161f05cddf9SRui Paulo ypos += AES_BLOCK_SIZE;
162f05cddf9SRui Paulo inc32(cb);
163f05cddf9SRui Paulo }
164f05cddf9SRui Paulo
165f05cddf9SRui Paulo last = x + xlen - xpos;
166f05cddf9SRui Paulo if (last) {
167f05cddf9SRui Paulo /* Last, partial block */
168f05cddf9SRui Paulo aes_encrypt(aes, cb, tmp);
169f05cddf9SRui Paulo for (i = 0; i < last; i++)
170f05cddf9SRui Paulo *ypos++ = *xpos++ ^ tmp[i];
171f05cddf9SRui Paulo }
172f05cddf9SRui Paulo }
173f05cddf9SRui Paulo
174f05cddf9SRui Paulo
aes_gcm_init_hash_subkey(const u8 * key,size_t key_len,u8 * H)175f05cddf9SRui Paulo static void * aes_gcm_init_hash_subkey(const u8 *key, size_t key_len, u8 *H)
176f05cddf9SRui Paulo {
177f05cddf9SRui Paulo void *aes;
178f05cddf9SRui Paulo
179f05cddf9SRui Paulo aes = aes_encrypt_init(key, key_len);
180f05cddf9SRui Paulo if (aes == NULL)
181f05cddf9SRui Paulo return NULL;
182f05cddf9SRui Paulo
183f05cddf9SRui Paulo /* Generate hash subkey H = AES_K(0^128) */
184f05cddf9SRui Paulo os_memset(H, 0, AES_BLOCK_SIZE);
185f05cddf9SRui Paulo aes_encrypt(aes, H, H);
186f05cddf9SRui Paulo wpa_hexdump_key(MSG_EXCESSIVE, "Hash subkey H for GHASH",
187f05cddf9SRui Paulo H, AES_BLOCK_SIZE);
188f05cddf9SRui Paulo return aes;
189f05cddf9SRui Paulo }
190f05cddf9SRui Paulo
191f05cddf9SRui Paulo
aes_gcm_prepare_j0(const u8 * iv,size_t iv_len,const u8 * H,u8 * J0)192f05cddf9SRui Paulo static void aes_gcm_prepare_j0(const u8 *iv, size_t iv_len, const u8 *H, u8 *J0)
193f05cddf9SRui Paulo {
194f05cddf9SRui Paulo u8 len_buf[16];
195f05cddf9SRui Paulo
196f05cddf9SRui Paulo if (iv_len == 12) {
197f05cddf9SRui Paulo /* Prepare block J_0 = IV || 0^31 || 1 [len(IV) = 96] */
198f05cddf9SRui Paulo os_memcpy(J0, iv, iv_len);
199f05cddf9SRui Paulo os_memset(J0 + iv_len, 0, AES_BLOCK_SIZE - iv_len);
200f05cddf9SRui Paulo J0[AES_BLOCK_SIZE - 1] = 0x01;
201f05cddf9SRui Paulo } else {
202f05cddf9SRui Paulo /*
203f05cddf9SRui Paulo * s = 128 * ceil(len(IV)/128) - len(IV)
204f05cddf9SRui Paulo * J_0 = GHASH_H(IV || 0^(s+64) || [len(IV)]_64)
205f05cddf9SRui Paulo */
206f05cddf9SRui Paulo ghash_start(J0);
207f05cddf9SRui Paulo ghash(H, iv, iv_len, J0);
208f05cddf9SRui Paulo WPA_PUT_BE64(len_buf, 0);
209f05cddf9SRui Paulo WPA_PUT_BE64(len_buf + 8, iv_len * 8);
210f05cddf9SRui Paulo ghash(H, len_buf, sizeof(len_buf), J0);
211f05cddf9SRui Paulo }
212f05cddf9SRui Paulo }
213f05cddf9SRui Paulo
214f05cddf9SRui Paulo
aes_gcm_gctr(void * aes,const u8 * J0,const u8 * in,size_t len,u8 * out)215f05cddf9SRui Paulo static void aes_gcm_gctr(void *aes, const u8 *J0, const u8 *in, size_t len,
216f05cddf9SRui Paulo u8 *out)
217f05cddf9SRui Paulo {
218f05cddf9SRui Paulo u8 J0inc[AES_BLOCK_SIZE];
219f05cddf9SRui Paulo
220f05cddf9SRui Paulo if (len == 0)
221f05cddf9SRui Paulo return;
222f05cddf9SRui Paulo
223f05cddf9SRui Paulo os_memcpy(J0inc, J0, AES_BLOCK_SIZE);
224f05cddf9SRui Paulo inc32(J0inc);
225f05cddf9SRui Paulo aes_gctr(aes, J0inc, in, len, out);
226f05cddf9SRui Paulo }
227f05cddf9SRui Paulo
228f05cddf9SRui Paulo
aes_gcm_ghash(const u8 * H,const u8 * aad,size_t aad_len,const u8 * crypt,size_t crypt_len,u8 * S)229f05cddf9SRui Paulo static void aes_gcm_ghash(const u8 *H, const u8 *aad, size_t aad_len,
230f05cddf9SRui Paulo const u8 *crypt, size_t crypt_len, u8 *S)
231f05cddf9SRui Paulo {
232f05cddf9SRui Paulo u8 len_buf[16];
233f05cddf9SRui Paulo
234f05cddf9SRui Paulo /*
235f05cddf9SRui Paulo * u = 128 * ceil[len(C)/128] - len(C)
236f05cddf9SRui Paulo * v = 128 * ceil[len(A)/128] - len(A)
237f05cddf9SRui Paulo * S = GHASH_H(A || 0^v || C || 0^u || [len(A)]64 || [len(C)]64)
238f05cddf9SRui Paulo * (i.e., zero padded to block size A || C and lengths of each in bits)
239f05cddf9SRui Paulo */
240f05cddf9SRui Paulo ghash_start(S);
241f05cddf9SRui Paulo ghash(H, aad, aad_len, S);
242f05cddf9SRui Paulo ghash(H, crypt, crypt_len, S);
243f05cddf9SRui Paulo WPA_PUT_BE64(len_buf, aad_len * 8);
244f05cddf9SRui Paulo WPA_PUT_BE64(len_buf + 8, crypt_len * 8);
245f05cddf9SRui Paulo ghash(H, len_buf, sizeof(len_buf), S);
246f05cddf9SRui Paulo
247f05cddf9SRui Paulo wpa_hexdump_key(MSG_EXCESSIVE, "S = GHASH_H(...)", S, 16);
248f05cddf9SRui Paulo }
249f05cddf9SRui Paulo
250f05cddf9SRui Paulo
251f05cddf9SRui Paulo /**
252f05cddf9SRui Paulo * aes_gcm_ae - GCM-AE_K(IV, P, A)
253f05cddf9SRui Paulo */
aes_gcm_ae(const u8 * key,size_t key_len,const u8 * iv,size_t iv_len,const u8 * plain,size_t plain_len,const u8 * aad,size_t aad_len,u8 * crypt,u8 * tag)254f05cddf9SRui Paulo int aes_gcm_ae(const u8 *key, size_t key_len, const u8 *iv, size_t iv_len,
255f05cddf9SRui Paulo const u8 *plain, size_t plain_len,
256f05cddf9SRui Paulo const u8 *aad, size_t aad_len, u8 *crypt, u8 *tag)
257f05cddf9SRui Paulo {
258f05cddf9SRui Paulo u8 H[AES_BLOCK_SIZE];
259f05cddf9SRui Paulo u8 J0[AES_BLOCK_SIZE];
260f05cddf9SRui Paulo u8 S[16];
261f05cddf9SRui Paulo void *aes;
262f05cddf9SRui Paulo
263f05cddf9SRui Paulo aes = aes_gcm_init_hash_subkey(key, key_len, H);
264f05cddf9SRui Paulo if (aes == NULL)
265f05cddf9SRui Paulo return -1;
266f05cddf9SRui Paulo
267f05cddf9SRui Paulo aes_gcm_prepare_j0(iv, iv_len, H, J0);
268f05cddf9SRui Paulo
269f05cddf9SRui Paulo /* C = GCTR_K(inc_32(J_0), P) */
270f05cddf9SRui Paulo aes_gcm_gctr(aes, J0, plain, plain_len, crypt);
271f05cddf9SRui Paulo
272f05cddf9SRui Paulo aes_gcm_ghash(H, aad, aad_len, crypt, plain_len, S);
273f05cddf9SRui Paulo
274f05cddf9SRui Paulo /* T = MSB_t(GCTR_K(J_0, S)) */
275f05cddf9SRui Paulo aes_gctr(aes, J0, S, sizeof(S), tag);
276f05cddf9SRui Paulo
277f05cddf9SRui Paulo /* Return (C, T) */
278f05cddf9SRui Paulo
279f05cddf9SRui Paulo aes_encrypt_deinit(aes);
280f05cddf9SRui Paulo
281f05cddf9SRui Paulo return 0;
282f05cddf9SRui Paulo }
283f05cddf9SRui Paulo
284f05cddf9SRui Paulo
285f05cddf9SRui Paulo /**
286f05cddf9SRui Paulo * aes_gcm_ad - GCM-AD_K(IV, C, A, T)
287f05cddf9SRui Paulo */
aes_gcm_ad(const u8 * key,size_t key_len,const u8 * iv,size_t iv_len,const u8 * crypt,size_t crypt_len,const u8 * aad,size_t aad_len,const u8 * tag,u8 * plain)288f05cddf9SRui Paulo int aes_gcm_ad(const u8 *key, size_t key_len, const u8 *iv, size_t iv_len,
289f05cddf9SRui Paulo const u8 *crypt, size_t crypt_len,
290f05cddf9SRui Paulo const u8 *aad, size_t aad_len, const u8 *tag, u8 *plain)
291f05cddf9SRui Paulo {
292f05cddf9SRui Paulo u8 H[AES_BLOCK_SIZE];
293f05cddf9SRui Paulo u8 J0[AES_BLOCK_SIZE];
294f05cddf9SRui Paulo u8 S[16], T[16];
295f05cddf9SRui Paulo void *aes;
296f05cddf9SRui Paulo
297f05cddf9SRui Paulo aes = aes_gcm_init_hash_subkey(key, key_len, H);
298f05cddf9SRui Paulo if (aes == NULL)
299f05cddf9SRui Paulo return -1;
300f05cddf9SRui Paulo
301f05cddf9SRui Paulo aes_gcm_prepare_j0(iv, iv_len, H, J0);
302f05cddf9SRui Paulo
303f05cddf9SRui Paulo /* P = GCTR_K(inc_32(J_0), C) */
304f05cddf9SRui Paulo aes_gcm_gctr(aes, J0, crypt, crypt_len, plain);
305f05cddf9SRui Paulo
306f05cddf9SRui Paulo aes_gcm_ghash(H, aad, aad_len, crypt, crypt_len, S);
307f05cddf9SRui Paulo
308f05cddf9SRui Paulo /* T' = MSB_t(GCTR_K(J_0, S)) */
309f05cddf9SRui Paulo aes_gctr(aes, J0, S, sizeof(S), T);
310f05cddf9SRui Paulo
311f05cddf9SRui Paulo aes_encrypt_deinit(aes);
312f05cddf9SRui Paulo
313*5b9c547cSRui Paulo if (os_memcmp_const(tag, T, 16) != 0) {
314f05cddf9SRui Paulo wpa_printf(MSG_EXCESSIVE, "GCM: Tag mismatch");
315f05cddf9SRui Paulo return -1;
316f05cddf9SRui Paulo }
317f05cddf9SRui Paulo
318f05cddf9SRui Paulo return 0;
319f05cddf9SRui Paulo }
320f05cddf9SRui Paulo
321f05cddf9SRui Paulo
aes_gmac(const u8 * key,size_t key_len,const u8 * iv,size_t iv_len,const u8 * aad,size_t aad_len,u8 * tag)322f05cddf9SRui Paulo int aes_gmac(const u8 *key, size_t key_len, const u8 *iv, size_t iv_len,
323f05cddf9SRui Paulo const u8 *aad, size_t aad_len, u8 *tag)
324f05cddf9SRui Paulo {
325f05cddf9SRui Paulo return aes_gcm_ae(key, key_len, iv, iv_len, NULL, 0, aad, aad_len, NULL,
326f05cddf9SRui Paulo tag);
327f05cddf9SRui Paulo }
328