xref: /aosp_15_r20/external/wpa_supplicant_8/src/common/sae.c (revision 03f9172ca588f91df233974f4258bab95191f931)
1*03f9172cSAndroid Build Coastguard Worker /*
2*03f9172cSAndroid Build Coastguard Worker  * Simultaneous authentication of equals
3*03f9172cSAndroid Build Coastguard Worker  * Copyright (c) 2012-2016, Jouni Malinen <[email protected]>
4*03f9172cSAndroid Build Coastguard Worker  *
5*03f9172cSAndroid Build Coastguard Worker  * This software may be distributed under the terms of the BSD license.
6*03f9172cSAndroid Build Coastguard Worker  * See README for more details.
7*03f9172cSAndroid Build Coastguard Worker  */
8*03f9172cSAndroid Build Coastguard Worker 
9*03f9172cSAndroid Build Coastguard Worker #include "includes.h"
10*03f9172cSAndroid Build Coastguard Worker 
11*03f9172cSAndroid Build Coastguard Worker #include "common.h"
12*03f9172cSAndroid Build Coastguard Worker #include "common/defs.h"
13*03f9172cSAndroid Build Coastguard Worker #include "common/wpa_common.h"
14*03f9172cSAndroid Build Coastguard Worker #include "utils/const_time.h"
15*03f9172cSAndroid Build Coastguard Worker #include "crypto/crypto.h"
16*03f9172cSAndroid Build Coastguard Worker #include "crypto/sha256.h"
17*03f9172cSAndroid Build Coastguard Worker #include "crypto/sha384.h"
18*03f9172cSAndroid Build Coastguard Worker #include "crypto/sha512.h"
19*03f9172cSAndroid Build Coastguard Worker #include "crypto/random.h"
20*03f9172cSAndroid Build Coastguard Worker #include "crypto/dh_groups.h"
21*03f9172cSAndroid Build Coastguard Worker #include "ieee802_11_defs.h"
22*03f9172cSAndroid Build Coastguard Worker #include "dragonfly.h"
23*03f9172cSAndroid Build Coastguard Worker #include "sae.h"
24*03f9172cSAndroid Build Coastguard Worker 
25*03f9172cSAndroid Build Coastguard Worker 
sae_set_group(struct sae_data * sae,int group)26*03f9172cSAndroid Build Coastguard Worker int sae_set_group(struct sae_data *sae, int group)
27*03f9172cSAndroid Build Coastguard Worker {
28*03f9172cSAndroid Build Coastguard Worker 	struct sae_temporary_data *tmp;
29*03f9172cSAndroid Build Coastguard Worker 
30*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_TESTING_OPTIONS
31*03f9172cSAndroid Build Coastguard Worker 	/* Allow all groups for testing purposes in non-production builds. */
32*03f9172cSAndroid Build Coastguard Worker #else /* CONFIG_TESTING_OPTIONS */
33*03f9172cSAndroid Build Coastguard Worker 	if (!dragonfly_suitable_group(group, 0)) {
34*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Reject unsuitable group %d", group);
35*03f9172cSAndroid Build Coastguard Worker 		return -1;
36*03f9172cSAndroid Build Coastguard Worker 	}
37*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_TESTING_OPTIONS */
38*03f9172cSAndroid Build Coastguard Worker 
39*03f9172cSAndroid Build Coastguard Worker 	sae_clear_data(sae);
40*03f9172cSAndroid Build Coastguard Worker 	tmp = sae->tmp = os_zalloc(sizeof(*tmp));
41*03f9172cSAndroid Build Coastguard Worker 	if (tmp == NULL)
42*03f9172cSAndroid Build Coastguard Worker 		return -1;
43*03f9172cSAndroid Build Coastguard Worker 
44*03f9172cSAndroid Build Coastguard Worker 	/* First, check if this is an ECC group */
45*03f9172cSAndroid Build Coastguard Worker 	tmp->ec = crypto_ec_init(group);
46*03f9172cSAndroid Build Coastguard Worker 	if (tmp->ec) {
47*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Selecting supported ECC group %d",
48*03f9172cSAndroid Build Coastguard Worker 			   group);
49*03f9172cSAndroid Build Coastguard Worker 		sae->group = group;
50*03f9172cSAndroid Build Coastguard Worker 		tmp->prime_len = crypto_ec_prime_len(tmp->ec);
51*03f9172cSAndroid Build Coastguard Worker 		tmp->prime = crypto_ec_get_prime(tmp->ec);
52*03f9172cSAndroid Build Coastguard Worker 		tmp->order_len = crypto_ec_order_len(tmp->ec);
53*03f9172cSAndroid Build Coastguard Worker 		tmp->order = crypto_ec_get_order(tmp->ec);
54*03f9172cSAndroid Build Coastguard Worker 		return 0;
55*03f9172cSAndroid Build Coastguard Worker 	}
56*03f9172cSAndroid Build Coastguard Worker 
57*03f9172cSAndroid Build Coastguard Worker 	/* Not an ECC group, check FFC */
58*03f9172cSAndroid Build Coastguard Worker 	tmp->dh = dh_groups_get(group);
59*03f9172cSAndroid Build Coastguard Worker 	if (tmp->dh) {
60*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Selecting supported FFC group %d",
61*03f9172cSAndroid Build Coastguard Worker 			   group);
62*03f9172cSAndroid Build Coastguard Worker 		sae->group = group;
63*03f9172cSAndroid Build Coastguard Worker 		tmp->prime_len = tmp->dh->prime_len;
64*03f9172cSAndroid Build Coastguard Worker 		if (tmp->prime_len > SAE_MAX_PRIME_LEN) {
65*03f9172cSAndroid Build Coastguard Worker 			sae_clear_data(sae);
66*03f9172cSAndroid Build Coastguard Worker 			return -1;
67*03f9172cSAndroid Build Coastguard Worker 		}
68*03f9172cSAndroid Build Coastguard Worker 
69*03f9172cSAndroid Build Coastguard Worker 		tmp->prime_buf = crypto_bignum_init_set(tmp->dh->prime,
70*03f9172cSAndroid Build Coastguard Worker 							tmp->prime_len);
71*03f9172cSAndroid Build Coastguard Worker 		if (tmp->prime_buf == NULL) {
72*03f9172cSAndroid Build Coastguard Worker 			sae_clear_data(sae);
73*03f9172cSAndroid Build Coastguard Worker 			return -1;
74*03f9172cSAndroid Build Coastguard Worker 		}
75*03f9172cSAndroid Build Coastguard Worker 		tmp->prime = tmp->prime_buf;
76*03f9172cSAndroid Build Coastguard Worker 
77*03f9172cSAndroid Build Coastguard Worker 		tmp->order_len = tmp->dh->order_len;
78*03f9172cSAndroid Build Coastguard Worker 		tmp->order_buf = crypto_bignum_init_set(tmp->dh->order,
79*03f9172cSAndroid Build Coastguard Worker 							tmp->dh->order_len);
80*03f9172cSAndroid Build Coastguard Worker 		if (tmp->order_buf == NULL) {
81*03f9172cSAndroid Build Coastguard Worker 			sae_clear_data(sae);
82*03f9172cSAndroid Build Coastguard Worker 			return -1;
83*03f9172cSAndroid Build Coastguard Worker 		}
84*03f9172cSAndroid Build Coastguard Worker 		tmp->order = tmp->order_buf;
85*03f9172cSAndroid Build Coastguard Worker 
86*03f9172cSAndroid Build Coastguard Worker 		return 0;
87*03f9172cSAndroid Build Coastguard Worker 	}
88*03f9172cSAndroid Build Coastguard Worker 
89*03f9172cSAndroid Build Coastguard Worker 	/* Unsupported group */
90*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG,
91*03f9172cSAndroid Build Coastguard Worker 		   "SAE: Group %d not supported by the crypto library", group);
92*03f9172cSAndroid Build Coastguard Worker 	return -1;
93*03f9172cSAndroid Build Coastguard Worker }
94*03f9172cSAndroid Build Coastguard Worker 
95*03f9172cSAndroid Build Coastguard Worker 
sae_clear_temp_data(struct sae_data * sae)96*03f9172cSAndroid Build Coastguard Worker void sae_clear_temp_data(struct sae_data *sae)
97*03f9172cSAndroid Build Coastguard Worker {
98*03f9172cSAndroid Build Coastguard Worker 	struct sae_temporary_data *tmp;
99*03f9172cSAndroid Build Coastguard Worker 	if (sae == NULL || sae->tmp == NULL)
100*03f9172cSAndroid Build Coastguard Worker 		return;
101*03f9172cSAndroid Build Coastguard Worker 	tmp = sae->tmp;
102*03f9172cSAndroid Build Coastguard Worker 	crypto_ec_deinit(tmp->ec);
103*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp->prime_buf, 0);
104*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp->order_buf, 0);
105*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp->sae_rand, 1);
106*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp->pwe_ffc, 1);
107*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp->own_commit_scalar, 0);
108*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp->own_commit_element_ffc, 0);
109*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp->peer_commit_element_ffc, 0);
110*03f9172cSAndroid Build Coastguard Worker 	crypto_ec_point_deinit(tmp->pwe_ecc, 1);
111*03f9172cSAndroid Build Coastguard Worker 	crypto_ec_point_deinit(tmp->own_commit_element_ecc, 0);
112*03f9172cSAndroid Build Coastguard Worker 	crypto_ec_point_deinit(tmp->peer_commit_element_ecc, 0);
113*03f9172cSAndroid Build Coastguard Worker 	wpabuf_free(tmp->anti_clogging_token);
114*03f9172cSAndroid Build Coastguard Worker 	wpabuf_free(tmp->own_rejected_groups);
115*03f9172cSAndroid Build Coastguard Worker 	wpabuf_free(tmp->peer_rejected_groups);
116*03f9172cSAndroid Build Coastguard Worker 	os_free(tmp->pw_id);
117*03f9172cSAndroid Build Coastguard Worker 	bin_clear_free(tmp, sizeof(*tmp));
118*03f9172cSAndroid Build Coastguard Worker 	sae->tmp = NULL;
119*03f9172cSAndroid Build Coastguard Worker }
120*03f9172cSAndroid Build Coastguard Worker 
121*03f9172cSAndroid Build Coastguard Worker 
sae_clear_data(struct sae_data * sae)122*03f9172cSAndroid Build Coastguard Worker void sae_clear_data(struct sae_data *sae)
123*03f9172cSAndroid Build Coastguard Worker {
124*03f9172cSAndroid Build Coastguard Worker 	if (sae == NULL)
125*03f9172cSAndroid Build Coastguard Worker 		return;
126*03f9172cSAndroid Build Coastguard Worker 	sae_clear_temp_data(sae);
127*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(sae->peer_commit_scalar, 0);
128*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(sae->peer_commit_scalar_accepted, 0);
129*03f9172cSAndroid Build Coastguard Worker 	os_memset(sae, 0, sizeof(*sae));
130*03f9172cSAndroid Build Coastguard Worker }
131*03f9172cSAndroid Build Coastguard Worker 
132*03f9172cSAndroid Build Coastguard Worker 
sae_pwd_seed_key(const u8 * addr1,const u8 * addr2,u8 * key)133*03f9172cSAndroid Build Coastguard Worker static void sae_pwd_seed_key(const u8 *addr1, const u8 *addr2, u8 *key)
134*03f9172cSAndroid Build Coastguard Worker {
135*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG, "SAE: PWE derivation - addr1=" MACSTR
136*03f9172cSAndroid Build Coastguard Worker 		   " addr2=" MACSTR, MAC2STR(addr1), MAC2STR(addr2));
137*03f9172cSAndroid Build Coastguard Worker 	if (os_memcmp(addr1, addr2, ETH_ALEN) > 0) {
138*03f9172cSAndroid Build Coastguard Worker 		os_memcpy(key, addr1, ETH_ALEN);
139*03f9172cSAndroid Build Coastguard Worker 		os_memcpy(key + ETH_ALEN, addr2, ETH_ALEN);
140*03f9172cSAndroid Build Coastguard Worker 	} else {
141*03f9172cSAndroid Build Coastguard Worker 		os_memcpy(key, addr2, ETH_ALEN);
142*03f9172cSAndroid Build Coastguard Worker 		os_memcpy(key + ETH_ALEN, addr1, ETH_ALEN);
143*03f9172cSAndroid Build Coastguard Worker 	}
144*03f9172cSAndroid Build Coastguard Worker }
145*03f9172cSAndroid Build Coastguard Worker 
146*03f9172cSAndroid Build Coastguard Worker 
sae_test_pwd_seed_ecc(struct sae_data * sae,const u8 * pwd_seed,const u8 * prime,const u8 * qr,const u8 * qnr,u8 * pwd_value)147*03f9172cSAndroid Build Coastguard Worker static int sae_test_pwd_seed_ecc(struct sae_data *sae, const u8 *pwd_seed,
148*03f9172cSAndroid Build Coastguard Worker 				 const u8 *prime, const u8 *qr, const u8 *qnr,
149*03f9172cSAndroid Build Coastguard Worker 				 u8 *pwd_value)
150*03f9172cSAndroid Build Coastguard Worker {
151*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *y_sqr, *x_cand;
152*03f9172cSAndroid Build Coastguard Worker 	int res;
153*03f9172cSAndroid Build Coastguard Worker 	size_t bits;
154*03f9172cSAndroid Build Coastguard Worker 	int cmp_prime;
155*03f9172cSAndroid Build Coastguard Worker 	unsigned int in_range;
156*03f9172cSAndroid Build Coastguard Worker 
157*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: pwd-seed", pwd_seed, SHA256_MAC_LEN);
158*03f9172cSAndroid Build Coastguard Worker 
159*03f9172cSAndroid Build Coastguard Worker 	/* pwd-value = KDF-z(pwd-seed, "SAE Hunting and Pecking", p) */
160*03f9172cSAndroid Build Coastguard Worker 	bits = crypto_ec_prime_len_bits(sae->tmp->ec);
161*03f9172cSAndroid Build Coastguard Worker 	if (sha256_prf_bits(pwd_seed, SHA256_MAC_LEN, "SAE Hunting and Pecking",
162*03f9172cSAndroid Build Coastguard Worker 			    prime, sae->tmp->prime_len, pwd_value, bits) < 0)
163*03f9172cSAndroid Build Coastguard Worker 		return -1;
164*03f9172cSAndroid Build Coastguard Worker 	if (bits % 8)
165*03f9172cSAndroid Build Coastguard Worker 		buf_shift_right(pwd_value, sae->tmp->prime_len, 8 - bits % 8);
166*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: pwd-value",
167*03f9172cSAndroid Build Coastguard Worker 			pwd_value, sae->tmp->prime_len);
168*03f9172cSAndroid Build Coastguard Worker 
169*03f9172cSAndroid Build Coastguard Worker 	cmp_prime = const_time_memcmp(pwd_value, prime, sae->tmp->prime_len);
170*03f9172cSAndroid Build Coastguard Worker 	/* Create a const_time mask for selection based on prf result
171*03f9172cSAndroid Build Coastguard Worker 	 * being smaller than prime. */
172*03f9172cSAndroid Build Coastguard Worker 	in_range = const_time_fill_msb((unsigned int) cmp_prime);
173*03f9172cSAndroid Build Coastguard Worker 	/* The algorithm description would skip the next steps if
174*03f9172cSAndroid Build Coastguard Worker 	 * cmp_prime >= 0 (return 0 here), but go through them regardless to
175*03f9172cSAndroid Build Coastguard Worker 	 * minimize externally observable differences in behavior. */
176*03f9172cSAndroid Build Coastguard Worker 
177*03f9172cSAndroid Build Coastguard Worker 	x_cand = crypto_bignum_init_set(pwd_value, sae->tmp->prime_len);
178*03f9172cSAndroid Build Coastguard Worker 	if (!x_cand)
179*03f9172cSAndroid Build Coastguard Worker 		return -1;
180*03f9172cSAndroid Build Coastguard Worker 	y_sqr = crypto_ec_point_compute_y_sqr(sae->tmp->ec, x_cand);
181*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(x_cand, 1);
182*03f9172cSAndroid Build Coastguard Worker 	if (!y_sqr)
183*03f9172cSAndroid Build Coastguard Worker 		return -1;
184*03f9172cSAndroid Build Coastguard Worker 
185*03f9172cSAndroid Build Coastguard Worker 	res = dragonfly_is_quadratic_residue_blind(sae->tmp->ec, qr, qnr,
186*03f9172cSAndroid Build Coastguard Worker 						   y_sqr);
187*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(y_sqr, 1);
188*03f9172cSAndroid Build Coastguard Worker 	if (res < 0)
189*03f9172cSAndroid Build Coastguard Worker 		return res;
190*03f9172cSAndroid Build Coastguard Worker 	return const_time_select_int(in_range, res, 0);
191*03f9172cSAndroid Build Coastguard Worker }
192*03f9172cSAndroid Build Coastguard Worker 
193*03f9172cSAndroid Build Coastguard Worker 
194*03f9172cSAndroid Build Coastguard Worker /* Returns -1 on fatal failure, 0 if PWE cannot be derived from the provided
195*03f9172cSAndroid Build Coastguard Worker  * pwd-seed, or 1 if a valid PWE was derived from pwd-seed. */
sae_test_pwd_seed_ffc(struct sae_data * sae,const u8 * pwd_seed,struct crypto_bignum * pwe)196*03f9172cSAndroid Build Coastguard Worker static int sae_test_pwd_seed_ffc(struct sae_data *sae, const u8 *pwd_seed,
197*03f9172cSAndroid Build Coastguard Worker 				 struct crypto_bignum *pwe)
198*03f9172cSAndroid Build Coastguard Worker {
199*03f9172cSAndroid Build Coastguard Worker 	u8 pwd_value[SAE_MAX_PRIME_LEN];
200*03f9172cSAndroid Build Coastguard Worker 	size_t bits = sae->tmp->prime_len * 8;
201*03f9172cSAndroid Build Coastguard Worker 	u8 exp[1];
202*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *a, *b = NULL;
203*03f9172cSAndroid Build Coastguard Worker 	int res, is_val;
204*03f9172cSAndroid Build Coastguard Worker 	u8 pwd_value_valid;
205*03f9172cSAndroid Build Coastguard Worker 
206*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: pwd-seed", pwd_seed, SHA256_MAC_LEN);
207*03f9172cSAndroid Build Coastguard Worker 
208*03f9172cSAndroid Build Coastguard Worker 	/* pwd-value = KDF-z(pwd-seed, "SAE Hunting and Pecking", p) */
209*03f9172cSAndroid Build Coastguard Worker 	if (sha256_prf_bits(pwd_seed, SHA256_MAC_LEN, "SAE Hunting and Pecking",
210*03f9172cSAndroid Build Coastguard Worker 			    sae->tmp->dh->prime, sae->tmp->prime_len, pwd_value,
211*03f9172cSAndroid Build Coastguard Worker 			    bits) < 0)
212*03f9172cSAndroid Build Coastguard Worker 		return -1;
213*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: pwd-value", pwd_value,
214*03f9172cSAndroid Build Coastguard Worker 			sae->tmp->prime_len);
215*03f9172cSAndroid Build Coastguard Worker 
216*03f9172cSAndroid Build Coastguard Worker 	/* Check whether pwd-value < p */
217*03f9172cSAndroid Build Coastguard Worker 	res = const_time_memcmp(pwd_value, sae->tmp->dh->prime,
218*03f9172cSAndroid Build Coastguard Worker 				sae->tmp->prime_len);
219*03f9172cSAndroid Build Coastguard Worker 	/* pwd-value >= p is invalid, so res is < 0 for the valid cases and
220*03f9172cSAndroid Build Coastguard Worker 	 * the negative sign can be used to fill the mask for constant time
221*03f9172cSAndroid Build Coastguard Worker 	 * selection */
222*03f9172cSAndroid Build Coastguard Worker 	pwd_value_valid = const_time_fill_msb(res);
223*03f9172cSAndroid Build Coastguard Worker 
224*03f9172cSAndroid Build Coastguard Worker 	/* If pwd-value >= p, force pwd-value to be < p and perform the
225*03f9172cSAndroid Build Coastguard Worker 	 * calculations anyway to hide timing difference. The derived PWE will
226*03f9172cSAndroid Build Coastguard Worker 	 * be ignored in that case. */
227*03f9172cSAndroid Build Coastguard Worker 	pwd_value[0] = const_time_select_u8(pwd_value_valid, pwd_value[0], 0);
228*03f9172cSAndroid Build Coastguard Worker 
229*03f9172cSAndroid Build Coastguard Worker 	/* PWE = pwd-value^((p-1)/r) modulo p */
230*03f9172cSAndroid Build Coastguard Worker 
231*03f9172cSAndroid Build Coastguard Worker 	res = -1;
232*03f9172cSAndroid Build Coastguard Worker 	a = crypto_bignum_init_set(pwd_value, sae->tmp->prime_len);
233*03f9172cSAndroid Build Coastguard Worker 	if (!a)
234*03f9172cSAndroid Build Coastguard Worker 		goto fail;
235*03f9172cSAndroid Build Coastguard Worker 
236*03f9172cSAndroid Build Coastguard Worker 	/* This is an optimization based on the used group that does not depend
237*03f9172cSAndroid Build Coastguard Worker 	 * on the password in any way, so it is fine to use separate branches
238*03f9172cSAndroid Build Coastguard Worker 	 * for this step without constant time operations. */
239*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp->dh->safe_prime) {
240*03f9172cSAndroid Build Coastguard Worker 		/*
241*03f9172cSAndroid Build Coastguard Worker 		 * r = (p-1)/2 for the group used here, so this becomes:
242*03f9172cSAndroid Build Coastguard Worker 		 * PWE = pwd-value^2 modulo p
243*03f9172cSAndroid Build Coastguard Worker 		 */
244*03f9172cSAndroid Build Coastguard Worker 		exp[0] = 2;
245*03f9172cSAndroid Build Coastguard Worker 		b = crypto_bignum_init_set(exp, sizeof(exp));
246*03f9172cSAndroid Build Coastguard Worker 	} else {
247*03f9172cSAndroid Build Coastguard Worker 		/* Calculate exponent: (p-1)/r */
248*03f9172cSAndroid Build Coastguard Worker 		exp[0] = 1;
249*03f9172cSAndroid Build Coastguard Worker 		b = crypto_bignum_init_set(exp, sizeof(exp));
250*03f9172cSAndroid Build Coastguard Worker 		if (b == NULL ||
251*03f9172cSAndroid Build Coastguard Worker 		    crypto_bignum_sub(sae->tmp->prime, b, b) < 0 ||
252*03f9172cSAndroid Build Coastguard Worker 		    crypto_bignum_div(b, sae->tmp->order, b) < 0)
253*03f9172cSAndroid Build Coastguard Worker 			goto fail;
254*03f9172cSAndroid Build Coastguard Worker 	}
255*03f9172cSAndroid Build Coastguard Worker 
256*03f9172cSAndroid Build Coastguard Worker 	if (!b)
257*03f9172cSAndroid Build Coastguard Worker 		goto fail;
258*03f9172cSAndroid Build Coastguard Worker 
259*03f9172cSAndroid Build Coastguard Worker 	res = crypto_bignum_exptmod(a, b, sae->tmp->prime, pwe);
260*03f9172cSAndroid Build Coastguard Worker 	if (res < 0)
261*03f9172cSAndroid Build Coastguard Worker 		goto fail;
262*03f9172cSAndroid Build Coastguard Worker 
263*03f9172cSAndroid Build Coastguard Worker 	/* There were no fatal errors in calculations, so determine the return
264*03f9172cSAndroid Build Coastguard Worker 	 * value using constant time operations. We get here for number of
265*03f9172cSAndroid Build Coastguard Worker 	 * invalid cases which are cleared here after having performed all the
266*03f9172cSAndroid Build Coastguard Worker 	 * computation. PWE is valid if pwd-value was less than prime and
267*03f9172cSAndroid Build Coastguard Worker 	 * PWE > 1. Start with pwd-value check first and then use constant time
268*03f9172cSAndroid Build Coastguard Worker 	 * operations to clear res to 0 if PWE is 0 or 1.
269*03f9172cSAndroid Build Coastguard Worker 	 */
270*03f9172cSAndroid Build Coastguard Worker 	res = const_time_select_u8(pwd_value_valid, 1, 0);
271*03f9172cSAndroid Build Coastguard Worker 	is_val = crypto_bignum_is_zero(pwe);
272*03f9172cSAndroid Build Coastguard Worker 	res = const_time_select_u8(const_time_is_zero(is_val), res, 0);
273*03f9172cSAndroid Build Coastguard Worker 	is_val = crypto_bignum_is_one(pwe);
274*03f9172cSAndroid Build Coastguard Worker 	res = const_time_select_u8(const_time_is_zero(is_val), res, 0);
275*03f9172cSAndroid Build Coastguard Worker 
276*03f9172cSAndroid Build Coastguard Worker fail:
277*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(a, 1);
278*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(b, 1);
279*03f9172cSAndroid Build Coastguard Worker 	return res;
280*03f9172cSAndroid Build Coastguard Worker }
281*03f9172cSAndroid Build Coastguard Worker 
282*03f9172cSAndroid Build Coastguard Worker 
sae_derive_pwe_ecc(struct sae_data * sae,const u8 * addr1,const u8 * addr2,const u8 * password,size_t password_len)283*03f9172cSAndroid Build Coastguard Worker static int sae_derive_pwe_ecc(struct sae_data *sae, const u8 *addr1,
284*03f9172cSAndroid Build Coastguard Worker 			      const u8 *addr2, const u8 *password,
285*03f9172cSAndroid Build Coastguard Worker 			      size_t password_len)
286*03f9172cSAndroid Build Coastguard Worker {
287*03f9172cSAndroid Build Coastguard Worker 	u8 counter, k;
288*03f9172cSAndroid Build Coastguard Worker 	u8 addrs[2 * ETH_ALEN];
289*03f9172cSAndroid Build Coastguard Worker 	const u8 *addr[2];
290*03f9172cSAndroid Build Coastguard Worker 	size_t len[2];
291*03f9172cSAndroid Build Coastguard Worker 	u8 *stub_password, *tmp_password;
292*03f9172cSAndroid Build Coastguard Worker 	int pwd_seed_odd = 0;
293*03f9172cSAndroid Build Coastguard Worker 	u8 prime[SAE_MAX_ECC_PRIME_LEN];
294*03f9172cSAndroid Build Coastguard Worker 	size_t prime_len;
295*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *x = NULL, *y = NULL, *qr = NULL, *qnr = NULL;
296*03f9172cSAndroid Build Coastguard Worker 	u8 x_bin[SAE_MAX_ECC_PRIME_LEN];
297*03f9172cSAndroid Build Coastguard Worker 	u8 x_cand_bin[SAE_MAX_ECC_PRIME_LEN];
298*03f9172cSAndroid Build Coastguard Worker 	u8 qr_bin[SAE_MAX_ECC_PRIME_LEN];
299*03f9172cSAndroid Build Coastguard Worker 	u8 qnr_bin[SAE_MAX_ECC_PRIME_LEN];
300*03f9172cSAndroid Build Coastguard Worker 	u8 x_y[2 * SAE_MAX_ECC_PRIME_LEN];
301*03f9172cSAndroid Build Coastguard Worker 	int res = -1;
302*03f9172cSAndroid Build Coastguard Worker 	u8 found = 0; /* 0 (false) or 0xff (true) to be used as const_time_*
303*03f9172cSAndroid Build Coastguard Worker 		       * mask */
304*03f9172cSAndroid Build Coastguard Worker 	unsigned int is_eq;
305*03f9172cSAndroid Build Coastguard Worker 
306*03f9172cSAndroid Build Coastguard Worker 	os_memset(x_bin, 0, sizeof(x_bin));
307*03f9172cSAndroid Build Coastguard Worker 
308*03f9172cSAndroid Build Coastguard Worker 	stub_password = os_malloc(password_len);
309*03f9172cSAndroid Build Coastguard Worker 	tmp_password = os_malloc(password_len);
310*03f9172cSAndroid Build Coastguard Worker 	if (!stub_password || !tmp_password ||
311*03f9172cSAndroid Build Coastguard Worker 	    random_get_bytes(stub_password, password_len) < 0)
312*03f9172cSAndroid Build Coastguard Worker 		goto fail;
313*03f9172cSAndroid Build Coastguard Worker 
314*03f9172cSAndroid Build Coastguard Worker 	prime_len = sae->tmp->prime_len;
315*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(sae->tmp->prime, prime, sizeof(prime),
316*03f9172cSAndroid Build Coastguard Worker 				 prime_len) < 0)
317*03f9172cSAndroid Build Coastguard Worker 		goto fail;
318*03f9172cSAndroid Build Coastguard Worker 
319*03f9172cSAndroid Build Coastguard Worker 	/*
320*03f9172cSAndroid Build Coastguard Worker 	 * Create a random quadratic residue (qr) and quadratic non-residue
321*03f9172cSAndroid Build Coastguard Worker 	 * (qnr) modulo p for blinding purposes during the loop.
322*03f9172cSAndroid Build Coastguard Worker 	 */
323*03f9172cSAndroid Build Coastguard Worker 	if (dragonfly_get_random_qr_qnr(sae->tmp->prime, &qr, &qnr) < 0 ||
324*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(qr, qr_bin, sizeof(qr_bin), prime_len) < 0 ||
325*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(qnr, qnr_bin, sizeof(qnr_bin), prime_len) < 0)
326*03f9172cSAndroid Build Coastguard Worker 		goto fail;
327*03f9172cSAndroid Build Coastguard Worker 
328*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_ascii_key(MSG_DEBUG, "SAE: password",
329*03f9172cSAndroid Build Coastguard Worker 			      password, password_len);
330*03f9172cSAndroid Build Coastguard Worker 
331*03f9172cSAndroid Build Coastguard Worker 	/*
332*03f9172cSAndroid Build Coastguard Worker 	 * H(salt, ikm) = HMAC-SHA256(salt, ikm)
333*03f9172cSAndroid Build Coastguard Worker 	 * base = password
334*03f9172cSAndroid Build Coastguard Worker 	 * pwd-seed = H(MAX(STA-A-MAC, STA-B-MAC) || MIN(STA-A-MAC, STA-B-MAC),
335*03f9172cSAndroid Build Coastguard Worker 	 *              base || counter)
336*03f9172cSAndroid Build Coastguard Worker 	 */
337*03f9172cSAndroid Build Coastguard Worker 	sae_pwd_seed_key(addr1, addr2, addrs);
338*03f9172cSAndroid Build Coastguard Worker 
339*03f9172cSAndroid Build Coastguard Worker 	addr[0] = tmp_password;
340*03f9172cSAndroid Build Coastguard Worker 	len[0] = password_len;
341*03f9172cSAndroid Build Coastguard Worker 	addr[1] = &counter;
342*03f9172cSAndroid Build Coastguard Worker 	len[1] = sizeof(counter);
343*03f9172cSAndroid Build Coastguard Worker 
344*03f9172cSAndroid Build Coastguard Worker 	/*
345*03f9172cSAndroid Build Coastguard Worker 	 * Continue for at least k iterations to protect against side-channel
346*03f9172cSAndroid Build Coastguard Worker 	 * attacks that attempt to determine the number of iterations required
347*03f9172cSAndroid Build Coastguard Worker 	 * in the loop.
348*03f9172cSAndroid Build Coastguard Worker 	 */
349*03f9172cSAndroid Build Coastguard Worker 	k = dragonfly_min_pwe_loop_iter(sae->group);
350*03f9172cSAndroid Build Coastguard Worker 
351*03f9172cSAndroid Build Coastguard Worker 	for (counter = 1; counter <= k || !found; counter++) {
352*03f9172cSAndroid Build Coastguard Worker 		u8 pwd_seed[SHA256_MAC_LEN];
353*03f9172cSAndroid Build Coastguard Worker 
354*03f9172cSAndroid Build Coastguard Worker 		if (counter > 200) {
355*03f9172cSAndroid Build Coastguard Worker 			/* This should not happen in practice */
356*03f9172cSAndroid Build Coastguard Worker 			wpa_printf(MSG_DEBUG, "SAE: Failed to derive PWE");
357*03f9172cSAndroid Build Coastguard Worker 			break;
358*03f9172cSAndroid Build Coastguard Worker 		}
359*03f9172cSAndroid Build Coastguard Worker 
360*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: counter = %03u", counter);
361*03f9172cSAndroid Build Coastguard Worker 		const_time_select_bin(found, stub_password, password,
362*03f9172cSAndroid Build Coastguard Worker 				      password_len, tmp_password);
363*03f9172cSAndroid Build Coastguard Worker 		if (hmac_sha256_vector(addrs, sizeof(addrs), 2,
364*03f9172cSAndroid Build Coastguard Worker 				       addr, len, pwd_seed) < 0)
365*03f9172cSAndroid Build Coastguard Worker 			break;
366*03f9172cSAndroid Build Coastguard Worker 
367*03f9172cSAndroid Build Coastguard Worker 		res = sae_test_pwd_seed_ecc(sae, pwd_seed,
368*03f9172cSAndroid Build Coastguard Worker 					    prime, qr_bin, qnr_bin, x_cand_bin);
369*03f9172cSAndroid Build Coastguard Worker 		const_time_select_bin(found, x_bin, x_cand_bin, prime_len,
370*03f9172cSAndroid Build Coastguard Worker 				      x_bin);
371*03f9172cSAndroid Build Coastguard Worker 		pwd_seed_odd = const_time_select_u8(
372*03f9172cSAndroid Build Coastguard Worker 			found, pwd_seed_odd,
373*03f9172cSAndroid Build Coastguard Worker 			pwd_seed[SHA256_MAC_LEN - 1] & 0x01);
374*03f9172cSAndroid Build Coastguard Worker 		os_memset(pwd_seed, 0, sizeof(pwd_seed));
375*03f9172cSAndroid Build Coastguard Worker 		if (res < 0)
376*03f9172cSAndroid Build Coastguard Worker 			goto fail;
377*03f9172cSAndroid Build Coastguard Worker 		/* Need to minimize differences in handling res == 0 and 1 here
378*03f9172cSAndroid Build Coastguard Worker 		 * to avoid differences in timing and instruction cache access,
379*03f9172cSAndroid Build Coastguard Worker 		 * so use const_time_select_*() to make local copies of the
380*03f9172cSAndroid Build Coastguard Worker 		 * values based on whether this loop iteration was the one that
381*03f9172cSAndroid Build Coastguard Worker 		 * found the pwd-seed/x. */
382*03f9172cSAndroid Build Coastguard Worker 
383*03f9172cSAndroid Build Coastguard Worker 		/* found is 0 or 0xff here and res is 0 or 1. Bitwise OR of them
384*03f9172cSAndroid Build Coastguard Worker 		 * (with res converted to 0/0xff) handles this in constant time.
385*03f9172cSAndroid Build Coastguard Worker 		 */
386*03f9172cSAndroid Build Coastguard Worker 		found |= res * 0xff;
387*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: pwd-seed result %d found=0x%02x",
388*03f9172cSAndroid Build Coastguard Worker 			   res, found);
389*03f9172cSAndroid Build Coastguard Worker 	}
390*03f9172cSAndroid Build Coastguard Worker 
391*03f9172cSAndroid Build Coastguard Worker 	if (!found) {
392*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Could not generate PWE");
393*03f9172cSAndroid Build Coastguard Worker 		res = -1;
394*03f9172cSAndroid Build Coastguard Worker 		goto fail;
395*03f9172cSAndroid Build Coastguard Worker 	}
396*03f9172cSAndroid Build Coastguard Worker 
397*03f9172cSAndroid Build Coastguard Worker 	x = crypto_bignum_init_set(x_bin, prime_len);
398*03f9172cSAndroid Build Coastguard Worker 	if (!x) {
399*03f9172cSAndroid Build Coastguard Worker 		res = -1;
400*03f9172cSAndroid Build Coastguard Worker 		goto fail;
401*03f9172cSAndroid Build Coastguard Worker 	}
402*03f9172cSAndroid Build Coastguard Worker 
403*03f9172cSAndroid Build Coastguard Worker 	/* y = sqrt(x^3 + ax + b) mod p
404*03f9172cSAndroid Build Coastguard Worker 	 * if LSB(save) == LSB(y): PWE = (x, y)
405*03f9172cSAndroid Build Coastguard Worker 	 * else: PWE = (x, p - y)
406*03f9172cSAndroid Build Coastguard Worker 	 *
407*03f9172cSAndroid Build Coastguard Worker 	 * Calculate y and the two possible values for PWE and after that,
408*03f9172cSAndroid Build Coastguard Worker 	 * use constant time selection to copy the correct alternative.
409*03f9172cSAndroid Build Coastguard Worker 	 */
410*03f9172cSAndroid Build Coastguard Worker 	y = crypto_ec_point_compute_y_sqr(sae->tmp->ec, x);
411*03f9172cSAndroid Build Coastguard Worker 	if (!y ||
412*03f9172cSAndroid Build Coastguard Worker 	    dragonfly_sqrt(sae->tmp->ec, y, y) < 0 ||
413*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(y, x_y, SAE_MAX_ECC_PRIME_LEN,
414*03f9172cSAndroid Build Coastguard Worker 				 prime_len) < 0 ||
415*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_sub(sae->tmp->prime, y, y) < 0 ||
416*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(y, x_y + SAE_MAX_ECC_PRIME_LEN,
417*03f9172cSAndroid Build Coastguard Worker 				 SAE_MAX_ECC_PRIME_LEN, prime_len) < 0) {
418*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Could not solve y");
419*03f9172cSAndroid Build Coastguard Worker 		goto fail;
420*03f9172cSAndroid Build Coastguard Worker 	}
421*03f9172cSAndroid Build Coastguard Worker 
422*03f9172cSAndroid Build Coastguard Worker 	is_eq = const_time_eq(pwd_seed_odd, x_y[prime_len - 1] & 0x01);
423*03f9172cSAndroid Build Coastguard Worker 	const_time_select_bin(is_eq, x_y, x_y + SAE_MAX_ECC_PRIME_LEN,
424*03f9172cSAndroid Build Coastguard Worker 			      prime_len, x_y + prime_len);
425*03f9172cSAndroid Build Coastguard Worker 	os_memcpy(x_y, x_bin, prime_len);
426*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: PWE", x_y, 2 * prime_len);
427*03f9172cSAndroid Build Coastguard Worker 	crypto_ec_point_deinit(sae->tmp->pwe_ecc, 1);
428*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->pwe_ecc = crypto_ec_point_from_bin(sae->tmp->ec, x_y);
429*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp->pwe_ecc) {
430*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Could not generate PWE");
431*03f9172cSAndroid Build Coastguard Worker 		res = -1;
432*03f9172cSAndroid Build Coastguard Worker 	}
433*03f9172cSAndroid Build Coastguard Worker 
434*03f9172cSAndroid Build Coastguard Worker fail:
435*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(x_y, sizeof(x_y));
436*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(qr, 0);
437*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(qnr, 0);
438*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(y, 1);
439*03f9172cSAndroid Build Coastguard Worker 	os_free(stub_password);
440*03f9172cSAndroid Build Coastguard Worker 	bin_clear_free(tmp_password, password_len);
441*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(x, 1);
442*03f9172cSAndroid Build Coastguard Worker 	os_memset(x_bin, 0, sizeof(x_bin));
443*03f9172cSAndroid Build Coastguard Worker 	os_memset(x_cand_bin, 0, sizeof(x_cand_bin));
444*03f9172cSAndroid Build Coastguard Worker 
445*03f9172cSAndroid Build Coastguard Worker 	return res;
446*03f9172cSAndroid Build Coastguard Worker }
447*03f9172cSAndroid Build Coastguard Worker 
448*03f9172cSAndroid Build Coastguard Worker 
sae_derive_pwe_ffc(struct sae_data * sae,const u8 * addr1,const u8 * addr2,const u8 * password,size_t password_len)449*03f9172cSAndroid Build Coastguard Worker static int sae_derive_pwe_ffc(struct sae_data *sae, const u8 *addr1,
450*03f9172cSAndroid Build Coastguard Worker 			      const u8 *addr2, const u8 *password,
451*03f9172cSAndroid Build Coastguard Worker 			      size_t password_len)
452*03f9172cSAndroid Build Coastguard Worker {
453*03f9172cSAndroid Build Coastguard Worker 	u8 counter, k, sel_counter = 0;
454*03f9172cSAndroid Build Coastguard Worker 	u8 addrs[2 * ETH_ALEN];
455*03f9172cSAndroid Build Coastguard Worker 	const u8 *addr[2];
456*03f9172cSAndroid Build Coastguard Worker 	size_t len[2];
457*03f9172cSAndroid Build Coastguard Worker 	u8 found = 0; /* 0 (false) or 0xff (true) to be used as const_time_*
458*03f9172cSAndroid Build Coastguard Worker 		       * mask */
459*03f9172cSAndroid Build Coastguard Worker 	u8 mask;
460*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *pwe;
461*03f9172cSAndroid Build Coastguard Worker 	size_t prime_len = sae->tmp->prime_len;
462*03f9172cSAndroid Build Coastguard Worker 	u8 *pwe_buf;
463*03f9172cSAndroid Build Coastguard Worker 
464*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(sae->tmp->pwe_ffc, 1);
465*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->pwe_ffc = NULL;
466*03f9172cSAndroid Build Coastguard Worker 
467*03f9172cSAndroid Build Coastguard Worker 	/* Allocate a buffer to maintain selected and candidate PWE for constant
468*03f9172cSAndroid Build Coastguard Worker 	 * time selection. */
469*03f9172cSAndroid Build Coastguard Worker 	pwe_buf = os_zalloc(prime_len * 2);
470*03f9172cSAndroid Build Coastguard Worker 	pwe = crypto_bignum_init();
471*03f9172cSAndroid Build Coastguard Worker 	if (!pwe_buf || !pwe)
472*03f9172cSAndroid Build Coastguard Worker 		goto fail;
473*03f9172cSAndroid Build Coastguard Worker 
474*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_ascii_key(MSG_DEBUG, "SAE: password",
475*03f9172cSAndroid Build Coastguard Worker 			      password, password_len);
476*03f9172cSAndroid Build Coastguard Worker 
477*03f9172cSAndroid Build Coastguard Worker 	/*
478*03f9172cSAndroid Build Coastguard Worker 	 * H(salt, ikm) = HMAC-SHA256(salt, ikm)
479*03f9172cSAndroid Build Coastguard Worker 	 * pwd-seed = H(MAX(STA-A-MAC, STA-B-MAC) || MIN(STA-A-MAC, STA-B-MAC),
480*03f9172cSAndroid Build Coastguard Worker 	 *              password || counter)
481*03f9172cSAndroid Build Coastguard Worker 	 */
482*03f9172cSAndroid Build Coastguard Worker 	sae_pwd_seed_key(addr1, addr2, addrs);
483*03f9172cSAndroid Build Coastguard Worker 
484*03f9172cSAndroid Build Coastguard Worker 	addr[0] = password;
485*03f9172cSAndroid Build Coastguard Worker 	len[0] = password_len;
486*03f9172cSAndroid Build Coastguard Worker 	addr[1] = &counter;
487*03f9172cSAndroid Build Coastguard Worker 	len[1] = sizeof(counter);
488*03f9172cSAndroid Build Coastguard Worker 
489*03f9172cSAndroid Build Coastguard Worker 	k = dragonfly_min_pwe_loop_iter(sae->group);
490*03f9172cSAndroid Build Coastguard Worker 
491*03f9172cSAndroid Build Coastguard Worker 	for (counter = 1; counter <= k || !found; counter++) {
492*03f9172cSAndroid Build Coastguard Worker 		u8 pwd_seed[SHA256_MAC_LEN];
493*03f9172cSAndroid Build Coastguard Worker 		int res;
494*03f9172cSAndroid Build Coastguard Worker 
495*03f9172cSAndroid Build Coastguard Worker 		if (counter > 200) {
496*03f9172cSAndroid Build Coastguard Worker 			/* This should not happen in practice */
497*03f9172cSAndroid Build Coastguard Worker 			wpa_printf(MSG_DEBUG, "SAE: Failed to derive PWE");
498*03f9172cSAndroid Build Coastguard Worker 			break;
499*03f9172cSAndroid Build Coastguard Worker 		}
500*03f9172cSAndroid Build Coastguard Worker 
501*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: counter = %02u", counter);
502*03f9172cSAndroid Build Coastguard Worker 		if (hmac_sha256_vector(addrs, sizeof(addrs), 2,
503*03f9172cSAndroid Build Coastguard Worker 				       addr, len, pwd_seed) < 0)
504*03f9172cSAndroid Build Coastguard Worker 			break;
505*03f9172cSAndroid Build Coastguard Worker 		res = sae_test_pwd_seed_ffc(sae, pwd_seed, pwe);
506*03f9172cSAndroid Build Coastguard Worker 		/* res is -1 for fatal failure, 0 if a valid PWE was not found,
507*03f9172cSAndroid Build Coastguard Worker 		 * or 1 if a valid PWE was found. */
508*03f9172cSAndroid Build Coastguard Worker 		if (res < 0)
509*03f9172cSAndroid Build Coastguard Worker 			break;
510*03f9172cSAndroid Build Coastguard Worker 		/* Store the candidate PWE into the second half of pwe_buf and
511*03f9172cSAndroid Build Coastguard Worker 		 * the selected PWE in the beginning of pwe_buf using constant
512*03f9172cSAndroid Build Coastguard Worker 		 * time selection. */
513*03f9172cSAndroid Build Coastguard Worker 		if (crypto_bignum_to_bin(pwe, pwe_buf + prime_len, prime_len,
514*03f9172cSAndroid Build Coastguard Worker 					 prime_len) < 0)
515*03f9172cSAndroid Build Coastguard Worker 			break;
516*03f9172cSAndroid Build Coastguard Worker 		const_time_select_bin(found, pwe_buf, pwe_buf + prime_len,
517*03f9172cSAndroid Build Coastguard Worker 				      prime_len, pwe_buf);
518*03f9172cSAndroid Build Coastguard Worker 		sel_counter = const_time_select_u8(found, sel_counter, counter);
519*03f9172cSAndroid Build Coastguard Worker 		mask = const_time_eq_u8(res, 1);
520*03f9172cSAndroid Build Coastguard Worker 		found = const_time_select_u8(found, found, mask);
521*03f9172cSAndroid Build Coastguard Worker 	}
522*03f9172cSAndroid Build Coastguard Worker 
523*03f9172cSAndroid Build Coastguard Worker 	if (!found)
524*03f9172cSAndroid Build Coastguard Worker 		goto fail;
525*03f9172cSAndroid Build Coastguard Worker 
526*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG, "SAE: Use PWE from counter = %02u", sel_counter);
527*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->pwe_ffc = crypto_bignum_init_set(pwe_buf, prime_len);
528*03f9172cSAndroid Build Coastguard Worker fail:
529*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(pwe, 1);
530*03f9172cSAndroid Build Coastguard Worker 	bin_clear_free(pwe_buf, prime_len * 2);
531*03f9172cSAndroid Build Coastguard Worker 	return sae->tmp->pwe_ffc ? 0 : -1;
532*03f9172cSAndroid Build Coastguard Worker }
533*03f9172cSAndroid Build Coastguard Worker 
534*03f9172cSAndroid Build Coastguard Worker 
hkdf_extract(size_t hash_len,const u8 * salt,size_t salt_len,size_t num_elem,const u8 * addr[],const size_t len[],u8 * prk)535*03f9172cSAndroid Build Coastguard Worker static int hkdf_extract(size_t hash_len, const u8 *salt, size_t salt_len,
536*03f9172cSAndroid Build Coastguard Worker 			size_t num_elem, const u8 *addr[], const size_t len[],
537*03f9172cSAndroid Build Coastguard Worker 			u8 *prk)
538*03f9172cSAndroid Build Coastguard Worker {
539*03f9172cSAndroid Build Coastguard Worker 	if (hash_len == 32)
540*03f9172cSAndroid Build Coastguard Worker 		return hmac_sha256_vector(salt, salt_len, num_elem, addr, len,
541*03f9172cSAndroid Build Coastguard Worker 					  prk);
542*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SHA384
543*03f9172cSAndroid Build Coastguard Worker 	if (hash_len == 48)
544*03f9172cSAndroid Build Coastguard Worker 		return hmac_sha384_vector(salt, salt_len, num_elem, addr, len,
545*03f9172cSAndroid Build Coastguard Worker 					  prk);
546*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SHA384 */
547*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SHA512
548*03f9172cSAndroid Build Coastguard Worker 	if (hash_len == 64)
549*03f9172cSAndroid Build Coastguard Worker 		return hmac_sha512_vector(salt, salt_len, num_elem, addr, len,
550*03f9172cSAndroid Build Coastguard Worker 					  prk);
551*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SHA512 */
552*03f9172cSAndroid Build Coastguard Worker 	return -1;
553*03f9172cSAndroid Build Coastguard Worker }
554*03f9172cSAndroid Build Coastguard Worker 
555*03f9172cSAndroid Build Coastguard Worker 
hkdf_expand(size_t hash_len,const u8 * prk,size_t prk_len,const char * info,u8 * okm,size_t okm_len)556*03f9172cSAndroid Build Coastguard Worker static int hkdf_expand(size_t hash_len, const u8 *prk, size_t prk_len,
557*03f9172cSAndroid Build Coastguard Worker 		       const char *info, u8 *okm, size_t okm_len)
558*03f9172cSAndroid Build Coastguard Worker {
559*03f9172cSAndroid Build Coastguard Worker 	size_t info_len = os_strlen(info);
560*03f9172cSAndroid Build Coastguard Worker 
561*03f9172cSAndroid Build Coastguard Worker 	if (hash_len == 32)
562*03f9172cSAndroid Build Coastguard Worker 		return hmac_sha256_kdf(prk, prk_len, NULL,
563*03f9172cSAndroid Build Coastguard Worker 				       (const u8 *) info, info_len,
564*03f9172cSAndroid Build Coastguard Worker 				       okm, okm_len);
565*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SHA384
566*03f9172cSAndroid Build Coastguard Worker 	if (hash_len == 48)
567*03f9172cSAndroid Build Coastguard Worker 		return hmac_sha384_kdf(prk, prk_len, NULL,
568*03f9172cSAndroid Build Coastguard Worker 				       (const u8 *) info, info_len,
569*03f9172cSAndroid Build Coastguard Worker 				       okm, okm_len);
570*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SHA384 */
571*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SHA512
572*03f9172cSAndroid Build Coastguard Worker 	if (hash_len == 64)
573*03f9172cSAndroid Build Coastguard Worker 		return hmac_sha512_kdf(prk, prk_len, NULL,
574*03f9172cSAndroid Build Coastguard Worker 				       (const u8 *) info, info_len,
575*03f9172cSAndroid Build Coastguard Worker 				       okm, okm_len);
576*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SHA512 */
577*03f9172cSAndroid Build Coastguard Worker 	return -1;
578*03f9172cSAndroid Build Coastguard Worker }
579*03f9172cSAndroid Build Coastguard Worker 
580*03f9172cSAndroid Build Coastguard Worker 
sswu_curve_param(int group,int * z)581*03f9172cSAndroid Build Coastguard Worker static int sswu_curve_param(int group, int *z)
582*03f9172cSAndroid Build Coastguard Worker {
583*03f9172cSAndroid Build Coastguard Worker 	switch (group) {
584*03f9172cSAndroid Build Coastguard Worker 	case 19:
585*03f9172cSAndroid Build Coastguard Worker 		*z = -10;
586*03f9172cSAndroid Build Coastguard Worker 		return 0;
587*03f9172cSAndroid Build Coastguard Worker 	case 20:
588*03f9172cSAndroid Build Coastguard Worker 		*z = -12;
589*03f9172cSAndroid Build Coastguard Worker 		return 0;
590*03f9172cSAndroid Build Coastguard Worker 	case 21:
591*03f9172cSAndroid Build Coastguard Worker 		*z = -4;
592*03f9172cSAndroid Build Coastguard Worker 		return 0;
593*03f9172cSAndroid Build Coastguard Worker 	case 25:
594*03f9172cSAndroid Build Coastguard Worker 	case 29:
595*03f9172cSAndroid Build Coastguard Worker 		*z = -5;
596*03f9172cSAndroid Build Coastguard Worker 		return 0;
597*03f9172cSAndroid Build Coastguard Worker 	case 26:
598*03f9172cSAndroid Build Coastguard Worker 		*z = 31;
599*03f9172cSAndroid Build Coastguard Worker 		return 0;
600*03f9172cSAndroid Build Coastguard Worker 	case 28:
601*03f9172cSAndroid Build Coastguard Worker 		*z = -2;
602*03f9172cSAndroid Build Coastguard Worker 		return 0;
603*03f9172cSAndroid Build Coastguard Worker 	case 30:
604*03f9172cSAndroid Build Coastguard Worker 		*z = 7;
605*03f9172cSAndroid Build Coastguard Worker 		return 0;
606*03f9172cSAndroid Build Coastguard Worker 	default:
607*03f9172cSAndroid Build Coastguard Worker 		return -1;
608*03f9172cSAndroid Build Coastguard Worker 	}
609*03f9172cSAndroid Build Coastguard Worker }
610*03f9172cSAndroid Build Coastguard Worker 
611*03f9172cSAndroid Build Coastguard Worker 
debug_print_bignum(const char * title,const struct crypto_bignum * a,size_t prime_len)612*03f9172cSAndroid Build Coastguard Worker static void debug_print_bignum(const char *title, const struct crypto_bignum *a,
613*03f9172cSAndroid Build Coastguard Worker 			       size_t prime_len)
614*03f9172cSAndroid Build Coastguard Worker {
615*03f9172cSAndroid Build Coastguard Worker 	u8 *bin;
616*03f9172cSAndroid Build Coastguard Worker 
617*03f9172cSAndroid Build Coastguard Worker 	bin = os_malloc(prime_len);
618*03f9172cSAndroid Build Coastguard Worker 	if (bin && crypto_bignum_to_bin(a, bin, prime_len, prime_len) >= 0)
619*03f9172cSAndroid Build Coastguard Worker 		wpa_hexdump_key(MSG_DEBUG, title, bin, prime_len);
620*03f9172cSAndroid Build Coastguard Worker 	else
621*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "Could not print bignum (%s)", title);
622*03f9172cSAndroid Build Coastguard Worker 	bin_clear_free(bin, prime_len);
623*03f9172cSAndroid Build Coastguard Worker }
624*03f9172cSAndroid Build Coastguard Worker 
625*03f9172cSAndroid Build Coastguard Worker 
sswu(struct crypto_ec * ec,int group,const struct crypto_bignum * u)626*03f9172cSAndroid Build Coastguard Worker static struct crypto_ec_point * sswu(struct crypto_ec *ec, int group,
627*03f9172cSAndroid Build Coastguard Worker 				     const struct crypto_bignum *u)
628*03f9172cSAndroid Build Coastguard Worker {
629*03f9172cSAndroid Build Coastguard Worker 	int z_int;
630*03f9172cSAndroid Build Coastguard Worker 	const struct crypto_bignum *a, *b, *prime;
631*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *u2, *t1, *t2, *z, *t, *zero, *one, *two, *three,
632*03f9172cSAndroid Build Coastguard Worker 		*x1a, *x1b, *y = NULL;
633*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *x1 = NULL, *x2, *gx1, *gx2, *v = NULL;
634*03f9172cSAndroid Build Coastguard Worker 	unsigned int m_is_zero, is_qr, is_eq;
635*03f9172cSAndroid Build Coastguard Worker 	size_t prime_len;
636*03f9172cSAndroid Build Coastguard Worker 	u8 bin[SAE_MAX_ECC_PRIME_LEN];
637*03f9172cSAndroid Build Coastguard Worker 	u8 bin1[SAE_MAX_ECC_PRIME_LEN];
638*03f9172cSAndroid Build Coastguard Worker 	u8 bin2[SAE_MAX_ECC_PRIME_LEN];
639*03f9172cSAndroid Build Coastguard Worker 	u8 x_y[2 * SAE_MAX_ECC_PRIME_LEN];
640*03f9172cSAndroid Build Coastguard Worker 	struct crypto_ec_point *p = NULL;
641*03f9172cSAndroid Build Coastguard Worker 
642*03f9172cSAndroid Build Coastguard Worker 	if (sswu_curve_param(group, &z_int) < 0)
643*03f9172cSAndroid Build Coastguard Worker 		return NULL;
644*03f9172cSAndroid Build Coastguard Worker 
645*03f9172cSAndroid Build Coastguard Worker 	prime = crypto_ec_get_prime(ec);
646*03f9172cSAndroid Build Coastguard Worker 	prime_len = crypto_ec_prime_len(ec);
647*03f9172cSAndroid Build Coastguard Worker 	a = crypto_ec_get_a(ec);
648*03f9172cSAndroid Build Coastguard Worker 	b = crypto_ec_get_b(ec);
649*03f9172cSAndroid Build Coastguard Worker 
650*03f9172cSAndroid Build Coastguard Worker 	u2 = crypto_bignum_init();
651*03f9172cSAndroid Build Coastguard Worker 	t1 = crypto_bignum_init();
652*03f9172cSAndroid Build Coastguard Worker 	t2 = crypto_bignum_init();
653*03f9172cSAndroid Build Coastguard Worker 	z = crypto_bignum_init_uint(abs(z_int));
654*03f9172cSAndroid Build Coastguard Worker 	t = crypto_bignum_init();
655*03f9172cSAndroid Build Coastguard Worker 	zero = crypto_bignum_init_uint(0);
656*03f9172cSAndroid Build Coastguard Worker 	one = crypto_bignum_init_uint(1);
657*03f9172cSAndroid Build Coastguard Worker 	two = crypto_bignum_init_uint(2);
658*03f9172cSAndroid Build Coastguard Worker 	three = crypto_bignum_init_uint(3);
659*03f9172cSAndroid Build Coastguard Worker 	x1a = crypto_bignum_init();
660*03f9172cSAndroid Build Coastguard Worker 	x1b = crypto_bignum_init();
661*03f9172cSAndroid Build Coastguard Worker 	x2 = crypto_bignum_init();
662*03f9172cSAndroid Build Coastguard Worker 	gx1 = crypto_bignum_init();
663*03f9172cSAndroid Build Coastguard Worker 	gx2 = crypto_bignum_init();
664*03f9172cSAndroid Build Coastguard Worker 	if (!u2 || !t1 || !t2 || !z || !t || !zero || !one || !two || !three ||
665*03f9172cSAndroid Build Coastguard Worker 	    !x1a || !x1b || !x2 || !gx1 || !gx2)
666*03f9172cSAndroid Build Coastguard Worker 		goto fail;
667*03f9172cSAndroid Build Coastguard Worker 
668*03f9172cSAndroid Build Coastguard Worker 	if (z_int < 0 && crypto_bignum_sub(prime, z, z) < 0)
669*03f9172cSAndroid Build Coastguard Worker 		goto fail;
670*03f9172cSAndroid Build Coastguard Worker 
671*03f9172cSAndroid Build Coastguard Worker 	/* m = z^2 * u^4 + z * u^2 */
672*03f9172cSAndroid Build Coastguard Worker 	/* --> tmp = z * u^2, m = tmp^2 + tmp */
673*03f9172cSAndroid Build Coastguard Worker 
674*03f9172cSAndroid Build Coastguard Worker 	/* u2 = u^2
675*03f9172cSAndroid Build Coastguard Worker 	 * t1 = z * u2
676*03f9172cSAndroid Build Coastguard Worker 	 * t2 = t1^2
677*03f9172cSAndroid Build Coastguard Worker 	 * m = t1 = t1 + t2 */
678*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_sqrmod(u, prime, u2) < 0 ||
679*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mulmod(z, u2, prime, t1) < 0 ||
680*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_sqrmod(t1, prime, t2) < 0 ||
681*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_addmod(t1, t2, prime, t1) < 0)
682*03f9172cSAndroid Build Coastguard Worker 		goto fail;
683*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: m", t1, prime_len);
684*03f9172cSAndroid Build Coastguard Worker 
685*03f9172cSAndroid Build Coastguard Worker 	/* l = CEQ(m, 0)
686*03f9172cSAndroid Build Coastguard Worker 	 * t = CSEL(l, 0, inverse(m); where inverse(x) is calculated as
687*03f9172cSAndroid Build Coastguard Worker 	 * x^(p-2) modulo p which will handle m == 0 case correctly */
688*03f9172cSAndroid Build Coastguard Worker 	/* TODO: Make sure crypto_bignum_is_zero() is constant time */
689*03f9172cSAndroid Build Coastguard Worker 	m_is_zero = const_time_eq(crypto_bignum_is_zero(t1), 1);
690*03f9172cSAndroid Build Coastguard Worker 	/* t = m^(p-2) modulo p */
691*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_sub(prime, two, t2) < 0 ||
692*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_exptmod(t1, t2, prime, t) < 0)
693*03f9172cSAndroid Build Coastguard Worker 		goto fail;
694*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: t", t, prime_len);
695*03f9172cSAndroid Build Coastguard Worker 
696*03f9172cSAndroid Build Coastguard Worker 	/* b / (z * a) */
697*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_mulmod(z, a, prime, t1) < 0 ||
698*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_inverse(t1, prime, t1) < 0 ||
699*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mulmod(b, t1, prime, x1a) < 0)
700*03f9172cSAndroid Build Coastguard Worker 		goto fail;
701*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: x1a = b / (z * a)", x1a, prime_len);
702*03f9172cSAndroid Build Coastguard Worker 
703*03f9172cSAndroid Build Coastguard Worker 	/* (-b/a) * (1 + t) */
704*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_sub(prime, b, t1) < 0 ||
705*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_inverse(a, prime, t2) < 0 ||
706*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mulmod(t1, t2, prime, t1) < 0 ||
707*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_addmod(one, t, prime, t2) < 0 ||
708*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mulmod(t1, t2, prime, x1b) < 0)
709*03f9172cSAndroid Build Coastguard Worker 		goto fail;
710*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: x1b = (-b/a) * (1 + t)", x1b, prime_len);
711*03f9172cSAndroid Build Coastguard Worker 
712*03f9172cSAndroid Build Coastguard Worker 	/* x1 = CSEL(CEQ(m, 0), x1a, x1b) */
713*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(x1a, bin1, sizeof(bin1), prime_len) < 0 ||
714*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(x1b, bin2, sizeof(bin2), prime_len) < 0)
715*03f9172cSAndroid Build Coastguard Worker 		goto fail;
716*03f9172cSAndroid Build Coastguard Worker 	const_time_select_bin(m_is_zero, bin1, bin2, prime_len, bin);
717*03f9172cSAndroid Build Coastguard Worker 	x1 = crypto_bignum_init_set(bin, prime_len);
718*03f9172cSAndroid Build Coastguard Worker 	if (!x1)
719*03f9172cSAndroid Build Coastguard Worker 		goto fail;
720*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: x1 = CSEL(l, x1a, x1b)", x1, prime_len);
721*03f9172cSAndroid Build Coastguard Worker 
722*03f9172cSAndroid Build Coastguard Worker 	/* gx1 = x1^3 + a * x1 + b */
723*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_exptmod(x1, three, prime, t1) < 0 ||
724*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mulmod(a, x1, prime, t2) < 0 ||
725*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_addmod(t1, t2, prime, t1) < 0 ||
726*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_addmod(t1, b, prime, gx1) < 0)
727*03f9172cSAndroid Build Coastguard Worker 		goto fail;
728*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: gx1 = x1^3 + a * x1 + b", gx1, prime_len);
729*03f9172cSAndroid Build Coastguard Worker 
730*03f9172cSAndroid Build Coastguard Worker 	/* x2 = z * u^2 * x1 */
731*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_mulmod(z, u2, prime, t1) < 0 ||
732*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mulmod(t1, x1, prime, x2) < 0)
733*03f9172cSAndroid Build Coastguard Worker 		goto fail;
734*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: x2 = z * u^2 * x1", x2, prime_len);
735*03f9172cSAndroid Build Coastguard Worker 
736*03f9172cSAndroid Build Coastguard Worker 	/* gx2 = x2^3 + a * x2 + b */
737*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_exptmod(x2, three, prime, t1) < 0 ||
738*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mulmod(a, x2, prime, t2) < 0 ||
739*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_addmod(t1, t2, prime, t1) < 0 ||
740*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_addmod(t1, b, prime, gx2) < 0)
741*03f9172cSAndroid Build Coastguard Worker 		goto fail;
742*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: gx2 = x2^3 + a * x2 + b", gx2, prime_len);
743*03f9172cSAndroid Build Coastguard Worker 
744*03f9172cSAndroid Build Coastguard Worker 	/* l = gx1 is a quadratic residue modulo p
745*03f9172cSAndroid Build Coastguard Worker 	 * --> gx1^((p-1)/2) modulo p is zero or one */
746*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_sub(prime, one, t1) < 0 ||
747*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_rshift(t1, 1, t1) < 0 ||
748*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_exptmod(gx1, t1, prime, t1) < 0)
749*03f9172cSAndroid Build Coastguard Worker 		goto fail;
750*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: gx1^((p-1)/2) modulo p", t1, prime_len);
751*03f9172cSAndroid Build Coastguard Worker 	is_qr = const_time_eq(crypto_bignum_is_zero(t1) |
752*03f9172cSAndroid Build Coastguard Worker 			      crypto_bignum_is_one(t1), 1);
753*03f9172cSAndroid Build Coastguard Worker 
754*03f9172cSAndroid Build Coastguard Worker 	/* v = CSEL(l, gx1, gx2) */
755*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(gx1, bin1, sizeof(bin1), prime_len) < 0 ||
756*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(gx2, bin2, sizeof(bin2), prime_len) < 0)
757*03f9172cSAndroid Build Coastguard Worker 		goto fail;
758*03f9172cSAndroid Build Coastguard Worker 	const_time_select_bin(is_qr, bin1, bin2, prime_len, bin);
759*03f9172cSAndroid Build Coastguard Worker 	v = crypto_bignum_init_set(bin, prime_len);
760*03f9172cSAndroid Build Coastguard Worker 	if (!v)
761*03f9172cSAndroid Build Coastguard Worker 		goto fail;
762*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: v = CSEL(l, gx1, gx2)", v, prime_len);
763*03f9172cSAndroid Build Coastguard Worker 
764*03f9172cSAndroid Build Coastguard Worker 	/* x = CSEL(l, x1, x2) */
765*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(x1, bin1, sizeof(bin1), prime_len) < 0 ||
766*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(x2, bin2, sizeof(bin2), prime_len) < 0)
767*03f9172cSAndroid Build Coastguard Worker 		goto fail;
768*03f9172cSAndroid Build Coastguard Worker 	const_time_select_bin(is_qr, bin1, bin2, prime_len, x_y);
769*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SSWU: x = CSEL(l, x1, x2)", x_y, prime_len);
770*03f9172cSAndroid Build Coastguard Worker 
771*03f9172cSAndroid Build Coastguard Worker 	/* y = sqrt(v) */
772*03f9172cSAndroid Build Coastguard Worker 	y = crypto_bignum_init();
773*03f9172cSAndroid Build Coastguard Worker 	if (!y || dragonfly_sqrt(ec, v, y) < 0)
774*03f9172cSAndroid Build Coastguard Worker 		goto fail;
775*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: y = sqrt(v)", y, prime_len);
776*03f9172cSAndroid Build Coastguard Worker 
777*03f9172cSAndroid Build Coastguard Worker 	/* l = CEQ(LSB(u), LSB(y)) */
778*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(u, bin1, sizeof(bin1), prime_len) < 0 ||
779*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(y, bin2, sizeof(bin2), prime_len) < 0)
780*03f9172cSAndroid Build Coastguard Worker 		goto fail;
781*03f9172cSAndroid Build Coastguard Worker 	is_eq = const_time_eq(bin1[prime_len - 1] & 0x01,
782*03f9172cSAndroid Build Coastguard Worker 			      bin2[prime_len - 1] & 0x01);
783*03f9172cSAndroid Build Coastguard Worker 
784*03f9172cSAndroid Build Coastguard Worker 	/* P = CSEL(l, (x,y), (x, p-y)) */
785*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_sub(prime, y, t1) < 0)
786*03f9172cSAndroid Build Coastguard Worker 		goto fail;
787*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SSWU: p - y", t1, prime_len);
788*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(y, bin1, sizeof(bin1), prime_len) < 0 ||
789*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(t1, bin2, sizeof(bin2), prime_len) < 0)
790*03f9172cSAndroid Build Coastguard Worker 		goto fail;
791*03f9172cSAndroid Build Coastguard Worker 	const_time_select_bin(is_eq, bin1, bin2, prime_len, &x_y[prime_len]);
792*03f9172cSAndroid Build Coastguard Worker 
793*03f9172cSAndroid Build Coastguard Worker 	/* output P */
794*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SSWU: P.x", x_y, prime_len);
795*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SSWU: P.y", &x_y[prime_len], prime_len);
796*03f9172cSAndroid Build Coastguard Worker 	p = crypto_ec_point_from_bin(ec, x_y);
797*03f9172cSAndroid Build Coastguard Worker 
798*03f9172cSAndroid Build Coastguard Worker fail:
799*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(u2, 1);
800*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(t1, 1);
801*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(t2, 1);
802*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(z, 0);
803*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(t, 1);
804*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(x1a, 1);
805*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(x1b, 1);
806*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(x1, 1);
807*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(x2, 1);
808*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(gx1, 1);
809*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(gx2, 1);
810*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(y, 1);
811*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(v, 1);
812*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(zero, 0);
813*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(one, 0);
814*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(two, 0);
815*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(three, 0);
816*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(bin, sizeof(bin));
817*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(bin1, sizeof(bin1));
818*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(bin2, sizeof(bin2));
819*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(x_y, sizeof(x_y));
820*03f9172cSAndroid Build Coastguard Worker 	return p;
821*03f9172cSAndroid Build Coastguard Worker }
822*03f9172cSAndroid Build Coastguard Worker 
823*03f9172cSAndroid Build Coastguard Worker 
sae_pwd_seed(size_t hash_len,const u8 * ssid,size_t ssid_len,const u8 * password,size_t password_len,const char * identifier,u8 * pwd_seed)824*03f9172cSAndroid Build Coastguard Worker static int sae_pwd_seed(size_t hash_len, const u8 *ssid, size_t ssid_len,
825*03f9172cSAndroid Build Coastguard Worker 			const u8 *password, size_t password_len,
826*03f9172cSAndroid Build Coastguard Worker 			const char *identifier, u8 *pwd_seed)
827*03f9172cSAndroid Build Coastguard Worker {
828*03f9172cSAndroid Build Coastguard Worker 	const u8 *addr[2];
829*03f9172cSAndroid Build Coastguard Worker 	size_t len[2];
830*03f9172cSAndroid Build Coastguard Worker 	size_t num_elem;
831*03f9172cSAndroid Build Coastguard Worker 
832*03f9172cSAndroid Build Coastguard Worker 	/* pwd-seed = HKDF-Extract(ssid, password [ || identifier ]) */
833*03f9172cSAndroid Build Coastguard Worker 	addr[0] = password;
834*03f9172cSAndroid Build Coastguard Worker 	len[0] = password_len;
835*03f9172cSAndroid Build Coastguard Worker 	num_elem = 1;
836*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_ascii(MSG_DEBUG, "SAE: SSID", ssid, ssid_len);
837*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_ascii_key(MSG_DEBUG, "SAE: password",
838*03f9172cSAndroid Build Coastguard Worker 			      password, password_len);
839*03f9172cSAndroid Build Coastguard Worker 	if (identifier) {
840*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: password identifier: %s",
841*03f9172cSAndroid Build Coastguard Worker 			   identifier);
842*03f9172cSAndroid Build Coastguard Worker 		addr[num_elem] = (const u8 *) identifier;
843*03f9172cSAndroid Build Coastguard Worker 		len[num_elem] = os_strlen(identifier);
844*03f9172cSAndroid Build Coastguard Worker 		num_elem++;
845*03f9172cSAndroid Build Coastguard Worker 	}
846*03f9172cSAndroid Build Coastguard Worker 	if (hkdf_extract(hash_len, ssid, ssid_len, num_elem, addr, len,
847*03f9172cSAndroid Build Coastguard Worker 			 pwd_seed) < 0)
848*03f9172cSAndroid Build Coastguard Worker 		return -1;
849*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: pwd-seed", pwd_seed, hash_len);
850*03f9172cSAndroid Build Coastguard Worker 	return 0;
851*03f9172cSAndroid Build Coastguard Worker }
852*03f9172cSAndroid Build Coastguard Worker 
853*03f9172cSAndroid Build Coastguard Worker 
sae_ecc_prime_len_2_hash_len(size_t prime_len)854*03f9172cSAndroid Build Coastguard Worker size_t sae_ecc_prime_len_2_hash_len(size_t prime_len)
855*03f9172cSAndroid Build Coastguard Worker {
856*03f9172cSAndroid Build Coastguard Worker 	if (prime_len <= 256 / 8)
857*03f9172cSAndroid Build Coastguard Worker 		return 32;
858*03f9172cSAndroid Build Coastguard Worker 	if (prime_len <= 384 / 8)
859*03f9172cSAndroid Build Coastguard Worker 		return 48;
860*03f9172cSAndroid Build Coastguard Worker 	return 64;
861*03f9172cSAndroid Build Coastguard Worker }
862*03f9172cSAndroid Build Coastguard Worker 
863*03f9172cSAndroid Build Coastguard Worker 
864*03f9172cSAndroid Build Coastguard Worker static struct crypto_ec_point *
sae_derive_pt_ecc(struct crypto_ec * ec,int group,const u8 * ssid,size_t ssid_len,const u8 * password,size_t password_len,const char * identifier)865*03f9172cSAndroid Build Coastguard Worker sae_derive_pt_ecc(struct crypto_ec *ec, int group,
866*03f9172cSAndroid Build Coastguard Worker 		  const u8 *ssid, size_t ssid_len,
867*03f9172cSAndroid Build Coastguard Worker 		  const u8 *password, size_t password_len,
868*03f9172cSAndroid Build Coastguard Worker 		  const char *identifier)
869*03f9172cSAndroid Build Coastguard Worker {
870*03f9172cSAndroid Build Coastguard Worker 	u8 pwd_seed[64];
871*03f9172cSAndroid Build Coastguard Worker 	u8 pwd_value[SAE_MAX_ECC_PRIME_LEN * 2];
872*03f9172cSAndroid Build Coastguard Worker 	size_t pwd_value_len, hash_len, prime_len;
873*03f9172cSAndroid Build Coastguard Worker 	const struct crypto_bignum *prime;
874*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *bn = NULL;
875*03f9172cSAndroid Build Coastguard Worker 	struct crypto_ec_point *p1 = NULL, *p2 = NULL, *pt = NULL;
876*03f9172cSAndroid Build Coastguard Worker 
877*03f9172cSAndroid Build Coastguard Worker 	prime = crypto_ec_get_prime(ec);
878*03f9172cSAndroid Build Coastguard Worker 	prime_len = crypto_ec_prime_len(ec);
879*03f9172cSAndroid Build Coastguard Worker 	if (prime_len > SAE_MAX_ECC_PRIME_LEN)
880*03f9172cSAndroid Build Coastguard Worker 		goto fail;
881*03f9172cSAndroid Build Coastguard Worker 	hash_len = sae_ecc_prime_len_2_hash_len(prime_len);
882*03f9172cSAndroid Build Coastguard Worker 
883*03f9172cSAndroid Build Coastguard Worker 	/* len = olen(p) + ceil(olen(p)/2) */
884*03f9172cSAndroid Build Coastguard Worker 	pwd_value_len = prime_len + (prime_len + 1) / 2;
885*03f9172cSAndroid Build Coastguard Worker 
886*03f9172cSAndroid Build Coastguard Worker 	if (sae_pwd_seed(hash_len, ssid, ssid_len, password, password_len,
887*03f9172cSAndroid Build Coastguard Worker 			 identifier, pwd_seed) < 0)
888*03f9172cSAndroid Build Coastguard Worker 		goto fail;
889*03f9172cSAndroid Build Coastguard Worker 
890*03f9172cSAndroid Build Coastguard Worker 	/* pwd-value = HKDF-Expand(pwd-seed, "SAE Hash to Element u1 P1", len)
891*03f9172cSAndroid Build Coastguard Worker 	 */
892*03f9172cSAndroid Build Coastguard Worker 	if (hkdf_expand(hash_len, pwd_seed, hash_len,
893*03f9172cSAndroid Build Coastguard Worker 			"SAE Hash to Element u1 P1", pwd_value, pwd_value_len) <
894*03f9172cSAndroid Build Coastguard Worker 	    0)
895*03f9172cSAndroid Build Coastguard Worker 		goto fail;
896*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: pwd-value (u1 P1)",
897*03f9172cSAndroid Build Coastguard Worker 			pwd_value, pwd_value_len);
898*03f9172cSAndroid Build Coastguard Worker 
899*03f9172cSAndroid Build Coastguard Worker 	/* u1 = pwd-value modulo p */
900*03f9172cSAndroid Build Coastguard Worker 	bn = crypto_bignum_init_set(pwd_value, pwd_value_len);
901*03f9172cSAndroid Build Coastguard Worker 	if (!bn || crypto_bignum_mod(bn, prime, bn) < 0 ||
902*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(bn, pwd_value, sizeof(pwd_value),
903*03f9172cSAndroid Build Coastguard Worker 				 prime_len) < 0)
904*03f9172cSAndroid Build Coastguard Worker 		goto fail;
905*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: u1", pwd_value, prime_len);
906*03f9172cSAndroid Build Coastguard Worker 
907*03f9172cSAndroid Build Coastguard Worker 	/* P1 = SSWU(u1) */
908*03f9172cSAndroid Build Coastguard Worker 	p1 = sswu(ec, group, bn);
909*03f9172cSAndroid Build Coastguard Worker 	if (!p1)
910*03f9172cSAndroid Build Coastguard Worker 		goto fail;
911*03f9172cSAndroid Build Coastguard Worker 
912*03f9172cSAndroid Build Coastguard Worker 	/* pwd-value = HKDF-Expand(pwd-seed, "SAE Hash to Element u2 P2", len)
913*03f9172cSAndroid Build Coastguard Worker 	 */
914*03f9172cSAndroid Build Coastguard Worker 	if (hkdf_expand(hash_len, pwd_seed, hash_len,
915*03f9172cSAndroid Build Coastguard Worker 			"SAE Hash to Element u2 P2", pwd_value,
916*03f9172cSAndroid Build Coastguard Worker 			pwd_value_len) < 0)
917*03f9172cSAndroid Build Coastguard Worker 		goto fail;
918*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: pwd-value (u2 P2)",
919*03f9172cSAndroid Build Coastguard Worker 			pwd_value, pwd_value_len);
920*03f9172cSAndroid Build Coastguard Worker 
921*03f9172cSAndroid Build Coastguard Worker 	/* u2 = pwd-value modulo p */
922*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(bn, 1);
923*03f9172cSAndroid Build Coastguard Worker 	bn = crypto_bignum_init_set(pwd_value, pwd_value_len);
924*03f9172cSAndroid Build Coastguard Worker 	if (!bn || crypto_bignum_mod(bn, prime, bn) < 0 ||
925*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(bn, pwd_value, sizeof(pwd_value),
926*03f9172cSAndroid Build Coastguard Worker 				 prime_len) < 0)
927*03f9172cSAndroid Build Coastguard Worker 		goto fail;
928*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: u2", pwd_value, prime_len);
929*03f9172cSAndroid Build Coastguard Worker 
930*03f9172cSAndroid Build Coastguard Worker 	/* P2 = SSWU(u2) */
931*03f9172cSAndroid Build Coastguard Worker 	p2 = sswu(ec, group, bn);
932*03f9172cSAndroid Build Coastguard Worker 	if (!p2)
933*03f9172cSAndroid Build Coastguard Worker 		goto fail;
934*03f9172cSAndroid Build Coastguard Worker 
935*03f9172cSAndroid Build Coastguard Worker 	/* PT = elem-op(P1, P2) */
936*03f9172cSAndroid Build Coastguard Worker 	pt = crypto_ec_point_init(ec);
937*03f9172cSAndroid Build Coastguard Worker 	if (!pt)
938*03f9172cSAndroid Build Coastguard Worker 		goto fail;
939*03f9172cSAndroid Build Coastguard Worker 	if (crypto_ec_point_add(ec, p1, p2, pt) < 0) {
940*03f9172cSAndroid Build Coastguard Worker 		crypto_ec_point_deinit(pt, 1);
941*03f9172cSAndroid Build Coastguard Worker 		pt = NULL;
942*03f9172cSAndroid Build Coastguard Worker 	}
943*03f9172cSAndroid Build Coastguard Worker 
944*03f9172cSAndroid Build Coastguard Worker fail:
945*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(pwd_seed, sizeof(pwd_seed));
946*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(pwd_value, sizeof(pwd_value));
947*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(bn, 1);
948*03f9172cSAndroid Build Coastguard Worker 	crypto_ec_point_deinit(p1, 1);
949*03f9172cSAndroid Build Coastguard Worker 	crypto_ec_point_deinit(p2, 1);
950*03f9172cSAndroid Build Coastguard Worker 	return pt;
951*03f9172cSAndroid Build Coastguard Worker }
952*03f9172cSAndroid Build Coastguard Worker 
953*03f9172cSAndroid Build Coastguard Worker 
sae_ffc_prime_len_2_hash_len(size_t prime_len)954*03f9172cSAndroid Build Coastguard Worker size_t sae_ffc_prime_len_2_hash_len(size_t prime_len)
955*03f9172cSAndroid Build Coastguard Worker {
956*03f9172cSAndroid Build Coastguard Worker 	if (prime_len <= 2048 / 8)
957*03f9172cSAndroid Build Coastguard Worker 		return 32;
958*03f9172cSAndroid Build Coastguard Worker 	if (prime_len <= 3072 / 8)
959*03f9172cSAndroid Build Coastguard Worker 		return 48;
960*03f9172cSAndroid Build Coastguard Worker 	return 64;
961*03f9172cSAndroid Build Coastguard Worker }
962*03f9172cSAndroid Build Coastguard Worker 
963*03f9172cSAndroid Build Coastguard Worker 
964*03f9172cSAndroid Build Coastguard Worker static struct crypto_bignum *
sae_derive_pt_ffc(const struct dh_group * dh,int group,const u8 * ssid,size_t ssid_len,const u8 * password,size_t password_len,const char * identifier)965*03f9172cSAndroid Build Coastguard Worker sae_derive_pt_ffc(const struct dh_group *dh, int group,
966*03f9172cSAndroid Build Coastguard Worker 		  const u8 *ssid, size_t ssid_len,
967*03f9172cSAndroid Build Coastguard Worker 		  const u8 *password, size_t password_len,
968*03f9172cSAndroid Build Coastguard Worker 		  const char *identifier)
969*03f9172cSAndroid Build Coastguard Worker {
970*03f9172cSAndroid Build Coastguard Worker 	size_t hash_len, prime_len, pwd_value_len;
971*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *prime, *order;
972*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *one = NULL, *two = NULL, *bn = NULL, *tmp = NULL,
973*03f9172cSAndroid Build Coastguard Worker 		*pt = NULL;
974*03f9172cSAndroid Build Coastguard Worker 	u8 pwd_seed[64];
975*03f9172cSAndroid Build Coastguard Worker 	u8 pwd_value[SAE_MAX_PRIME_LEN + SAE_MAX_PRIME_LEN / 2];
976*03f9172cSAndroid Build Coastguard Worker 
977*03f9172cSAndroid Build Coastguard Worker 	prime = crypto_bignum_init_set(dh->prime, dh->prime_len);
978*03f9172cSAndroid Build Coastguard Worker 	order = crypto_bignum_init_set(dh->order, dh->order_len);
979*03f9172cSAndroid Build Coastguard Worker 	if (!prime || !order)
980*03f9172cSAndroid Build Coastguard Worker 		goto fail;
981*03f9172cSAndroid Build Coastguard Worker 	prime_len = dh->prime_len;
982*03f9172cSAndroid Build Coastguard Worker 	if (prime_len > SAE_MAX_PRIME_LEN)
983*03f9172cSAndroid Build Coastguard Worker 		goto fail;
984*03f9172cSAndroid Build Coastguard Worker 	hash_len = sae_ffc_prime_len_2_hash_len(prime_len);
985*03f9172cSAndroid Build Coastguard Worker 
986*03f9172cSAndroid Build Coastguard Worker 	/* len = olen(p) + ceil(olen(p)/2) */
987*03f9172cSAndroid Build Coastguard Worker 	pwd_value_len = prime_len + (prime_len + 1) / 2;
988*03f9172cSAndroid Build Coastguard Worker 	if (pwd_value_len > sizeof(pwd_value))
989*03f9172cSAndroid Build Coastguard Worker 		goto fail;
990*03f9172cSAndroid Build Coastguard Worker 
991*03f9172cSAndroid Build Coastguard Worker 	if (sae_pwd_seed(hash_len, ssid, ssid_len, password, password_len,
992*03f9172cSAndroid Build Coastguard Worker 			 identifier, pwd_seed) < 0)
993*03f9172cSAndroid Build Coastguard Worker 		goto fail;
994*03f9172cSAndroid Build Coastguard Worker 
995*03f9172cSAndroid Build Coastguard Worker 	/* pwd-value = HKDF-Expand(pwd-seed, "SAE Hash to Element", len) */
996*03f9172cSAndroid Build Coastguard Worker 	if (hkdf_expand(hash_len, pwd_seed, hash_len,
997*03f9172cSAndroid Build Coastguard Worker 			"SAE Hash to Element", pwd_value, pwd_value_len) < 0)
998*03f9172cSAndroid Build Coastguard Worker 		goto fail;
999*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: pwd-value",
1000*03f9172cSAndroid Build Coastguard Worker 			pwd_value, pwd_value_len);
1001*03f9172cSAndroid Build Coastguard Worker 
1002*03f9172cSAndroid Build Coastguard Worker 	/* pwd-value = (pwd-value modulo (p-2)) + 2 */
1003*03f9172cSAndroid Build Coastguard Worker 	bn = crypto_bignum_init_set(pwd_value, pwd_value_len);
1004*03f9172cSAndroid Build Coastguard Worker 	one = crypto_bignum_init_uint(1);
1005*03f9172cSAndroid Build Coastguard Worker 	two = crypto_bignum_init_uint(2);
1006*03f9172cSAndroid Build Coastguard Worker 	tmp = crypto_bignum_init();
1007*03f9172cSAndroid Build Coastguard Worker 	if (!bn || !one || !two || !tmp ||
1008*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_sub(prime, two, tmp) < 0 ||
1009*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mod(bn, tmp, bn) < 0 ||
1010*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_add(bn, two, bn) < 0 ||
1011*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(bn, pwd_value, sizeof(pwd_value),
1012*03f9172cSAndroid Build Coastguard Worker 				 prime_len) < 0)
1013*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1014*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: pwd-value(reduced)",
1015*03f9172cSAndroid Build Coastguard Worker 			pwd_value, prime_len);
1016*03f9172cSAndroid Build Coastguard Worker 
1017*03f9172cSAndroid Build Coastguard Worker 	/* PT = pwd-value^((p-1)/q) modulo p */
1018*03f9172cSAndroid Build Coastguard Worker 	pt = crypto_bignum_init();
1019*03f9172cSAndroid Build Coastguard Worker 	if (!pt ||
1020*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_sub(prime, one, tmp) < 0 ||
1021*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_div(tmp, order, tmp) < 0 ||
1022*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_exptmod(bn, tmp, prime, pt) < 0) {
1023*03f9172cSAndroid Build Coastguard Worker 		crypto_bignum_deinit(pt, 1);
1024*03f9172cSAndroid Build Coastguard Worker 		pt = NULL;
1025*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1026*03f9172cSAndroid Build Coastguard Worker 	}
1027*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SAE: PT", pt, prime_len);
1028*03f9172cSAndroid Build Coastguard Worker 
1029*03f9172cSAndroid Build Coastguard Worker fail:
1030*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(pwd_seed, sizeof(pwd_seed));
1031*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(pwd_value, sizeof(pwd_value));
1032*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(bn, 1);
1033*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp, 1);
1034*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(one, 0);
1035*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(two, 0);
1036*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(prime, 0);
1037*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(order, 0);
1038*03f9172cSAndroid Build Coastguard Worker 	return pt;
1039*03f9172cSAndroid Build Coastguard Worker }
1040*03f9172cSAndroid Build Coastguard Worker 
1041*03f9172cSAndroid Build Coastguard Worker 
1042*03f9172cSAndroid Build Coastguard Worker static struct sae_pt *
sae_derive_pt_group(int group,const u8 * ssid,size_t ssid_len,const u8 * password,size_t password_len,const char * identifier)1043*03f9172cSAndroid Build Coastguard Worker sae_derive_pt_group(int group, const u8 *ssid, size_t ssid_len,
1044*03f9172cSAndroid Build Coastguard Worker 		    const u8 *password, size_t password_len,
1045*03f9172cSAndroid Build Coastguard Worker 		    const char *identifier)
1046*03f9172cSAndroid Build Coastguard Worker {
1047*03f9172cSAndroid Build Coastguard Worker 	struct sae_pt *pt;
1048*03f9172cSAndroid Build Coastguard Worker 
1049*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG, "SAE: Derive PT - group %d", group);
1050*03f9172cSAndroid Build Coastguard Worker 
1051*03f9172cSAndroid Build Coastguard Worker 	if (ssid_len > 32)
1052*03f9172cSAndroid Build Coastguard Worker 		return NULL;
1053*03f9172cSAndroid Build Coastguard Worker 
1054*03f9172cSAndroid Build Coastguard Worker 	pt = os_zalloc(sizeof(*pt));
1055*03f9172cSAndroid Build Coastguard Worker 	if (!pt)
1056*03f9172cSAndroid Build Coastguard Worker 		return NULL;
1057*03f9172cSAndroid Build Coastguard Worker 
1058*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SAE_PK
1059*03f9172cSAndroid Build Coastguard Worker 	os_memcpy(pt->ssid, ssid, ssid_len);
1060*03f9172cSAndroid Build Coastguard Worker 	pt->ssid_len = ssid_len;
1061*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SAE_PK */
1062*03f9172cSAndroid Build Coastguard Worker 	pt->group = group;
1063*03f9172cSAndroid Build Coastguard Worker 	pt->ec = crypto_ec_init(group);
1064*03f9172cSAndroid Build Coastguard Worker 	if (pt->ec) {
1065*03f9172cSAndroid Build Coastguard Worker 		pt->ecc_pt = sae_derive_pt_ecc(pt->ec, group, ssid, ssid_len,
1066*03f9172cSAndroid Build Coastguard Worker 					       password, password_len,
1067*03f9172cSAndroid Build Coastguard Worker 					       identifier);
1068*03f9172cSAndroid Build Coastguard Worker 		if (!pt->ecc_pt) {
1069*03f9172cSAndroid Build Coastguard Worker 			wpa_printf(MSG_DEBUG, "SAE: Failed to derive PT");
1070*03f9172cSAndroid Build Coastguard Worker 			goto fail;
1071*03f9172cSAndroid Build Coastguard Worker 		}
1072*03f9172cSAndroid Build Coastguard Worker 
1073*03f9172cSAndroid Build Coastguard Worker 		return pt;
1074*03f9172cSAndroid Build Coastguard Worker 	}
1075*03f9172cSAndroid Build Coastguard Worker 
1076*03f9172cSAndroid Build Coastguard Worker 	pt->dh = dh_groups_get(group);
1077*03f9172cSAndroid Build Coastguard Worker 	if (!pt->dh) {
1078*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Unsupported group %d", group);
1079*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1080*03f9172cSAndroid Build Coastguard Worker 	}
1081*03f9172cSAndroid Build Coastguard Worker 
1082*03f9172cSAndroid Build Coastguard Worker 	pt->ffc_pt = sae_derive_pt_ffc(pt->dh, group, ssid, ssid_len,
1083*03f9172cSAndroid Build Coastguard Worker 				       password, password_len, identifier);
1084*03f9172cSAndroid Build Coastguard Worker 	if (!pt->ffc_pt) {
1085*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Failed to derive PT");
1086*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1087*03f9172cSAndroid Build Coastguard Worker 	}
1088*03f9172cSAndroid Build Coastguard Worker 
1089*03f9172cSAndroid Build Coastguard Worker 	return pt;
1090*03f9172cSAndroid Build Coastguard Worker fail:
1091*03f9172cSAndroid Build Coastguard Worker 	sae_deinit_pt(pt);
1092*03f9172cSAndroid Build Coastguard Worker 	return NULL;
1093*03f9172cSAndroid Build Coastguard Worker }
1094*03f9172cSAndroid Build Coastguard Worker 
1095*03f9172cSAndroid Build Coastguard Worker 
sae_derive_pt(int * groups,const u8 * ssid,size_t ssid_len,const u8 * password,size_t password_len,const char * identifier)1096*03f9172cSAndroid Build Coastguard Worker struct sae_pt * sae_derive_pt(int *groups, const u8 *ssid, size_t ssid_len,
1097*03f9172cSAndroid Build Coastguard Worker 			      const u8 *password, size_t password_len,
1098*03f9172cSAndroid Build Coastguard Worker 			      const char *identifier)
1099*03f9172cSAndroid Build Coastguard Worker {
1100*03f9172cSAndroid Build Coastguard Worker 	struct sae_pt *pt = NULL, *last = NULL, *tmp;
1101*03f9172cSAndroid Build Coastguard Worker 	int default_groups[] = { 19, 0 };
1102*03f9172cSAndroid Build Coastguard Worker 	int i;
1103*03f9172cSAndroid Build Coastguard Worker 
1104*03f9172cSAndroid Build Coastguard Worker 	if (!groups)
1105*03f9172cSAndroid Build Coastguard Worker 		groups = default_groups;
1106*03f9172cSAndroid Build Coastguard Worker 	for (i = 0; groups[i] > 0; i++) {
1107*03f9172cSAndroid Build Coastguard Worker 		tmp = sae_derive_pt_group(groups[i], ssid, ssid_len, password,
1108*03f9172cSAndroid Build Coastguard Worker 					  password_len, identifier);
1109*03f9172cSAndroid Build Coastguard Worker 		if (!tmp)
1110*03f9172cSAndroid Build Coastguard Worker 			continue;
1111*03f9172cSAndroid Build Coastguard Worker 
1112*03f9172cSAndroid Build Coastguard Worker 		if (last)
1113*03f9172cSAndroid Build Coastguard Worker 			last->next = tmp;
1114*03f9172cSAndroid Build Coastguard Worker 		else
1115*03f9172cSAndroid Build Coastguard Worker 			pt = tmp;
1116*03f9172cSAndroid Build Coastguard Worker 		last = tmp;
1117*03f9172cSAndroid Build Coastguard Worker 	}
1118*03f9172cSAndroid Build Coastguard Worker 
1119*03f9172cSAndroid Build Coastguard Worker 	return pt;
1120*03f9172cSAndroid Build Coastguard Worker }
1121*03f9172cSAndroid Build Coastguard Worker 
1122*03f9172cSAndroid Build Coastguard Worker 
sae_max_min_addr(const u8 * addr[],size_t len[],const u8 * addr1,const u8 * addr2)1123*03f9172cSAndroid Build Coastguard Worker static void sae_max_min_addr(const u8 *addr[], size_t len[],
1124*03f9172cSAndroid Build Coastguard Worker 			     const u8 *addr1, const u8 *addr2)
1125*03f9172cSAndroid Build Coastguard Worker {
1126*03f9172cSAndroid Build Coastguard Worker 	len[0] = ETH_ALEN;
1127*03f9172cSAndroid Build Coastguard Worker 	len[1] = ETH_ALEN;
1128*03f9172cSAndroid Build Coastguard Worker 	if (os_memcmp(addr1, addr2, ETH_ALEN) > 0) {
1129*03f9172cSAndroid Build Coastguard Worker 		addr[0] = addr1;
1130*03f9172cSAndroid Build Coastguard Worker 		addr[1] = addr2;
1131*03f9172cSAndroid Build Coastguard Worker 	} else {
1132*03f9172cSAndroid Build Coastguard Worker 		addr[0] = addr2;
1133*03f9172cSAndroid Build Coastguard Worker 		addr[1] = addr1;
1134*03f9172cSAndroid Build Coastguard Worker 	}
1135*03f9172cSAndroid Build Coastguard Worker }
1136*03f9172cSAndroid Build Coastguard Worker 
1137*03f9172cSAndroid Build Coastguard Worker 
1138*03f9172cSAndroid Build Coastguard Worker struct crypto_ec_point *
sae_derive_pwe_from_pt_ecc(const struct sae_pt * pt,const u8 * addr1,const u8 * addr2)1139*03f9172cSAndroid Build Coastguard Worker sae_derive_pwe_from_pt_ecc(const struct sae_pt *pt,
1140*03f9172cSAndroid Build Coastguard Worker 			   const u8 *addr1, const u8 *addr2)
1141*03f9172cSAndroid Build Coastguard Worker {
1142*03f9172cSAndroid Build Coastguard Worker 	u8 bin[SAE_MAX_ECC_PRIME_LEN * 2];
1143*03f9172cSAndroid Build Coastguard Worker 	size_t prime_len;
1144*03f9172cSAndroid Build Coastguard Worker 	const u8 *addr[2];
1145*03f9172cSAndroid Build Coastguard Worker 	size_t len[2];
1146*03f9172cSAndroid Build Coastguard Worker 	u8 salt[64], hash[64];
1147*03f9172cSAndroid Build Coastguard Worker 	size_t hash_len;
1148*03f9172cSAndroid Build Coastguard Worker 	const struct crypto_bignum *order;
1149*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *tmp = NULL, *val = NULL, *one = NULL;
1150*03f9172cSAndroid Build Coastguard Worker 	struct crypto_ec_point *pwe = NULL;
1151*03f9172cSAndroid Build Coastguard Worker 
1152*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG, "SAE: Derive PWE from PT");
1153*03f9172cSAndroid Build Coastguard Worker 	prime_len = crypto_ec_prime_len(pt->ec);
1154*03f9172cSAndroid Build Coastguard Worker 	if (crypto_ec_point_to_bin(pt->ec, pt->ecc_pt,
1155*03f9172cSAndroid Build Coastguard Worker 				   bin, bin + prime_len) < 0)
1156*03f9172cSAndroid Build Coastguard Worker 		return NULL;
1157*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: PT.x", bin, prime_len);
1158*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: PT.y", bin + prime_len, prime_len);
1159*03f9172cSAndroid Build Coastguard Worker 
1160*03f9172cSAndroid Build Coastguard Worker 	sae_max_min_addr(addr, len, addr1, addr2);
1161*03f9172cSAndroid Build Coastguard Worker 
1162*03f9172cSAndroid Build Coastguard Worker 	/* val = H(0^n,
1163*03f9172cSAndroid Build Coastguard Worker 	 *         MAX(STA-A-MAC, STA-B-MAC) || MIN(STA-A-MAC, STA-B-MAC)) */
1164*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG, "SAE: val = H(0^n, MAX(addrs) || MIN(addrs))");
1165*03f9172cSAndroid Build Coastguard Worker 	hash_len = sae_ecc_prime_len_2_hash_len(prime_len);
1166*03f9172cSAndroid Build Coastguard Worker 	os_memset(salt, 0, hash_len);
1167*03f9172cSAndroid Build Coastguard Worker 	if (hkdf_extract(hash_len, salt, hash_len, 2, addr, len, hash) < 0)
1168*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1169*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: val", hash, hash_len);
1170*03f9172cSAndroid Build Coastguard Worker 
1171*03f9172cSAndroid Build Coastguard Worker 	/* val = val modulo (q - 1) + 1 */
1172*03f9172cSAndroid Build Coastguard Worker 	order = crypto_ec_get_order(pt->ec);
1173*03f9172cSAndroid Build Coastguard Worker 	tmp = crypto_bignum_init();
1174*03f9172cSAndroid Build Coastguard Worker 	val = crypto_bignum_init_set(hash, hash_len);
1175*03f9172cSAndroid Build Coastguard Worker 	one = crypto_bignum_init_uint(1);
1176*03f9172cSAndroid Build Coastguard Worker 	if (!tmp || !val || !one ||
1177*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_sub(order, one, tmp) < 0 ||
1178*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mod(val, tmp, val) < 0 ||
1179*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_add(val, one, val) < 0)
1180*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1181*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SAE: val(reduced to 1..q-1)", val, prime_len);
1182*03f9172cSAndroid Build Coastguard Worker 
1183*03f9172cSAndroid Build Coastguard Worker 	/* PWE = scalar-op(val, PT) */
1184*03f9172cSAndroid Build Coastguard Worker 	pwe = crypto_ec_point_init(pt->ec);
1185*03f9172cSAndroid Build Coastguard Worker 	if (!pwe ||
1186*03f9172cSAndroid Build Coastguard Worker 	    crypto_ec_point_mul(pt->ec, pt->ecc_pt, val, pwe) < 0 ||
1187*03f9172cSAndroid Build Coastguard Worker 	    crypto_ec_point_to_bin(pt->ec, pwe, bin, bin + prime_len) < 0) {
1188*03f9172cSAndroid Build Coastguard Worker 		crypto_ec_point_deinit(pwe, 1);
1189*03f9172cSAndroid Build Coastguard Worker 		pwe = NULL;
1190*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1191*03f9172cSAndroid Build Coastguard Worker 	}
1192*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: PWE.x", bin, prime_len);
1193*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: PWE.y", bin + prime_len, prime_len);
1194*03f9172cSAndroid Build Coastguard Worker 
1195*03f9172cSAndroid Build Coastguard Worker fail:
1196*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp, 1);
1197*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(val, 1);
1198*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(one, 0);
1199*03f9172cSAndroid Build Coastguard Worker 	return pwe;
1200*03f9172cSAndroid Build Coastguard Worker }
1201*03f9172cSAndroid Build Coastguard Worker 
1202*03f9172cSAndroid Build Coastguard Worker 
1203*03f9172cSAndroid Build Coastguard Worker struct crypto_bignum *
sae_derive_pwe_from_pt_ffc(const struct sae_pt * pt,const u8 * addr1,const u8 * addr2)1204*03f9172cSAndroid Build Coastguard Worker sae_derive_pwe_from_pt_ffc(const struct sae_pt *pt,
1205*03f9172cSAndroid Build Coastguard Worker 			   const u8 *addr1, const u8 *addr2)
1206*03f9172cSAndroid Build Coastguard Worker {
1207*03f9172cSAndroid Build Coastguard Worker 	size_t prime_len;
1208*03f9172cSAndroid Build Coastguard Worker 	const u8 *addr[2];
1209*03f9172cSAndroid Build Coastguard Worker 	size_t len[2];
1210*03f9172cSAndroid Build Coastguard Worker 	u8 salt[64], hash[64];
1211*03f9172cSAndroid Build Coastguard Worker 	size_t hash_len;
1212*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *tmp = NULL, *val = NULL, *one = NULL;
1213*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *pwe = NULL, *order = NULL, *prime = NULL;
1214*03f9172cSAndroid Build Coastguard Worker 
1215*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG, "SAE: Derive PWE from PT");
1216*03f9172cSAndroid Build Coastguard Worker 	prime = crypto_bignum_init_set(pt->dh->prime, pt->dh->prime_len);
1217*03f9172cSAndroid Build Coastguard Worker 	order = crypto_bignum_init_set(pt->dh->order, pt->dh->order_len);
1218*03f9172cSAndroid Build Coastguard Worker 	if (!prime || !order)
1219*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1220*03f9172cSAndroid Build Coastguard Worker 	prime_len = pt->dh->prime_len;
1221*03f9172cSAndroid Build Coastguard Worker 
1222*03f9172cSAndroid Build Coastguard Worker 	sae_max_min_addr(addr, len, addr1, addr2);
1223*03f9172cSAndroid Build Coastguard Worker 
1224*03f9172cSAndroid Build Coastguard Worker 	/* val = H(0^n,
1225*03f9172cSAndroid Build Coastguard Worker 	 *         MAX(STA-A-MAC, STA-B-MAC) || MIN(STA-A-MAC, STA-B-MAC)) */
1226*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG, "SAE: val = H(0^n, MAX(addrs) || MIN(addrs))");
1227*03f9172cSAndroid Build Coastguard Worker 	hash_len = sae_ffc_prime_len_2_hash_len(prime_len);
1228*03f9172cSAndroid Build Coastguard Worker 	os_memset(salt, 0, hash_len);
1229*03f9172cSAndroid Build Coastguard Worker 	if (hkdf_extract(hash_len, salt, hash_len, 2, addr, len, hash) < 0)
1230*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1231*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: val", hash, hash_len);
1232*03f9172cSAndroid Build Coastguard Worker 
1233*03f9172cSAndroid Build Coastguard Worker 	/* val = val modulo (q - 1) + 1 */
1234*03f9172cSAndroid Build Coastguard Worker 	tmp = crypto_bignum_init();
1235*03f9172cSAndroid Build Coastguard Worker 	val = crypto_bignum_init_set(hash, hash_len);
1236*03f9172cSAndroid Build Coastguard Worker 	one = crypto_bignum_init_uint(1);
1237*03f9172cSAndroid Build Coastguard Worker 	if (!tmp || !val || !one ||
1238*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_sub(order, one, tmp) < 0 ||
1239*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mod(val, tmp, val) < 0 ||
1240*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_add(val, one, val) < 0)
1241*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1242*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SAE: val(reduced to 1..q-1)", val, prime_len);
1243*03f9172cSAndroid Build Coastguard Worker 
1244*03f9172cSAndroid Build Coastguard Worker 	/* PWE = scalar-op(val, PT) */
1245*03f9172cSAndroid Build Coastguard Worker 	pwe = crypto_bignum_init();
1246*03f9172cSAndroid Build Coastguard Worker 	if (!pwe || crypto_bignum_exptmod(pt->ffc_pt, val, prime, pwe) < 0) {
1247*03f9172cSAndroid Build Coastguard Worker 		crypto_bignum_deinit(pwe, 1);
1248*03f9172cSAndroid Build Coastguard Worker 		pwe = NULL;
1249*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1250*03f9172cSAndroid Build Coastguard Worker 	}
1251*03f9172cSAndroid Build Coastguard Worker 	debug_print_bignum("SAE: PWE", pwe, prime_len);
1252*03f9172cSAndroid Build Coastguard Worker 
1253*03f9172cSAndroid Build Coastguard Worker fail:
1254*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp, 1);
1255*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(val, 1);
1256*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(one, 0);
1257*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(prime, 0);
1258*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(order, 0);
1259*03f9172cSAndroid Build Coastguard Worker 	return pwe;
1260*03f9172cSAndroid Build Coastguard Worker }
1261*03f9172cSAndroid Build Coastguard Worker 
1262*03f9172cSAndroid Build Coastguard Worker 
sae_deinit_pt(struct sae_pt * pt)1263*03f9172cSAndroid Build Coastguard Worker void sae_deinit_pt(struct sae_pt *pt)
1264*03f9172cSAndroid Build Coastguard Worker {
1265*03f9172cSAndroid Build Coastguard Worker 	struct sae_pt *prev;
1266*03f9172cSAndroid Build Coastguard Worker 
1267*03f9172cSAndroid Build Coastguard Worker 	while (pt) {
1268*03f9172cSAndroid Build Coastguard Worker 		crypto_ec_point_deinit(pt->ecc_pt, 1);
1269*03f9172cSAndroid Build Coastguard Worker 		crypto_bignum_deinit(pt->ffc_pt, 1);
1270*03f9172cSAndroid Build Coastguard Worker 		crypto_ec_deinit(pt->ec);
1271*03f9172cSAndroid Build Coastguard Worker 		prev = pt;
1272*03f9172cSAndroid Build Coastguard Worker 		pt = pt->next;
1273*03f9172cSAndroid Build Coastguard Worker 		os_free(prev);
1274*03f9172cSAndroid Build Coastguard Worker 	}
1275*03f9172cSAndroid Build Coastguard Worker }
1276*03f9172cSAndroid Build Coastguard Worker 
1277*03f9172cSAndroid Build Coastguard Worker 
sae_derive_commit_element_ecc(struct sae_data * sae,struct crypto_bignum * mask)1278*03f9172cSAndroid Build Coastguard Worker static int sae_derive_commit_element_ecc(struct sae_data *sae,
1279*03f9172cSAndroid Build Coastguard Worker 					 struct crypto_bignum *mask)
1280*03f9172cSAndroid Build Coastguard Worker {
1281*03f9172cSAndroid Build Coastguard Worker 	/* COMMIT-ELEMENT = inverse(scalar-op(mask, PWE)) */
1282*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp->own_commit_element_ecc) {
1283*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->own_commit_element_ecc =
1284*03f9172cSAndroid Build Coastguard Worker 			crypto_ec_point_init(sae->tmp->ec);
1285*03f9172cSAndroid Build Coastguard Worker 		if (!sae->tmp->own_commit_element_ecc)
1286*03f9172cSAndroid Build Coastguard Worker 			return -1;
1287*03f9172cSAndroid Build Coastguard Worker 	}
1288*03f9172cSAndroid Build Coastguard Worker 
1289*03f9172cSAndroid Build Coastguard Worker 	if (crypto_ec_point_mul(sae->tmp->ec, sae->tmp->pwe_ecc, mask,
1290*03f9172cSAndroid Build Coastguard Worker 				sae->tmp->own_commit_element_ecc) < 0 ||
1291*03f9172cSAndroid Build Coastguard Worker 	    crypto_ec_point_invert(sae->tmp->ec,
1292*03f9172cSAndroid Build Coastguard Worker 				   sae->tmp->own_commit_element_ecc) < 0) {
1293*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Could not compute commit-element");
1294*03f9172cSAndroid Build Coastguard Worker 		return -1;
1295*03f9172cSAndroid Build Coastguard Worker 	}
1296*03f9172cSAndroid Build Coastguard Worker 
1297*03f9172cSAndroid Build Coastguard Worker 	return 0;
1298*03f9172cSAndroid Build Coastguard Worker }
1299*03f9172cSAndroid Build Coastguard Worker 
1300*03f9172cSAndroid Build Coastguard Worker 
sae_derive_commit_element_ffc(struct sae_data * sae,struct crypto_bignum * mask)1301*03f9172cSAndroid Build Coastguard Worker static int sae_derive_commit_element_ffc(struct sae_data *sae,
1302*03f9172cSAndroid Build Coastguard Worker 					 struct crypto_bignum *mask)
1303*03f9172cSAndroid Build Coastguard Worker {
1304*03f9172cSAndroid Build Coastguard Worker 	/* COMMIT-ELEMENT = inverse(scalar-op(mask, PWE)) */
1305*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp->own_commit_element_ffc) {
1306*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->own_commit_element_ffc = crypto_bignum_init();
1307*03f9172cSAndroid Build Coastguard Worker 		if (!sae->tmp->own_commit_element_ffc)
1308*03f9172cSAndroid Build Coastguard Worker 			return -1;
1309*03f9172cSAndroid Build Coastguard Worker 	}
1310*03f9172cSAndroid Build Coastguard Worker 
1311*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_exptmod(sae->tmp->pwe_ffc, mask, sae->tmp->prime,
1312*03f9172cSAndroid Build Coastguard Worker 				  sae->tmp->own_commit_element_ffc) < 0 ||
1313*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_inverse(sae->tmp->own_commit_element_ffc,
1314*03f9172cSAndroid Build Coastguard Worker 				  sae->tmp->prime,
1315*03f9172cSAndroid Build Coastguard Worker 				  sae->tmp->own_commit_element_ffc) < 0) {
1316*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Could not compute commit-element");
1317*03f9172cSAndroid Build Coastguard Worker 		return -1;
1318*03f9172cSAndroid Build Coastguard Worker 	}
1319*03f9172cSAndroid Build Coastguard Worker 
1320*03f9172cSAndroid Build Coastguard Worker 	return 0;
1321*03f9172cSAndroid Build Coastguard Worker }
1322*03f9172cSAndroid Build Coastguard Worker 
1323*03f9172cSAndroid Build Coastguard Worker 
sae_derive_commit(struct sae_data * sae)1324*03f9172cSAndroid Build Coastguard Worker static int sae_derive_commit(struct sae_data *sae)
1325*03f9172cSAndroid Build Coastguard Worker {
1326*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *mask;
1327*03f9172cSAndroid Build Coastguard Worker 	int ret;
1328*03f9172cSAndroid Build Coastguard Worker 
1329*03f9172cSAndroid Build Coastguard Worker 	mask = crypto_bignum_init();
1330*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp->sae_rand)
1331*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->sae_rand = crypto_bignum_init();
1332*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp->own_commit_scalar)
1333*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->own_commit_scalar = crypto_bignum_init();
1334*03f9172cSAndroid Build Coastguard Worker 	ret = !mask || !sae->tmp->sae_rand || !sae->tmp->own_commit_scalar ||
1335*03f9172cSAndroid Build Coastguard Worker 		dragonfly_generate_scalar(sae->tmp->order, sae->tmp->sae_rand,
1336*03f9172cSAndroid Build Coastguard Worker 					  mask,
1337*03f9172cSAndroid Build Coastguard Worker 					  sae->tmp->own_commit_scalar) < 0 ||
1338*03f9172cSAndroid Build Coastguard Worker 		(sae->tmp->ec &&
1339*03f9172cSAndroid Build Coastguard Worker 		 sae_derive_commit_element_ecc(sae, mask) < 0) ||
1340*03f9172cSAndroid Build Coastguard Worker 		(sae->tmp->dh &&
1341*03f9172cSAndroid Build Coastguard Worker 		 sae_derive_commit_element_ffc(sae, mask) < 0);
1342*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(mask, 1);
1343*03f9172cSAndroid Build Coastguard Worker 	return ret ? -1 : 0;
1344*03f9172cSAndroid Build Coastguard Worker }
1345*03f9172cSAndroid Build Coastguard Worker 
1346*03f9172cSAndroid Build Coastguard Worker 
sae_prepare_commit(const u8 * addr1,const u8 * addr2,const u8 * password,size_t password_len,struct sae_data * sae)1347*03f9172cSAndroid Build Coastguard Worker int sae_prepare_commit(const u8 *addr1, const u8 *addr2,
1348*03f9172cSAndroid Build Coastguard Worker 		       const u8 *password, size_t password_len,
1349*03f9172cSAndroid Build Coastguard Worker 		       struct sae_data *sae)
1350*03f9172cSAndroid Build Coastguard Worker {
1351*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp == NULL ||
1352*03f9172cSAndroid Build Coastguard Worker 	    (sae->tmp->ec && sae_derive_pwe_ecc(sae, addr1, addr2, password,
1353*03f9172cSAndroid Build Coastguard Worker 						password_len) < 0) ||
1354*03f9172cSAndroid Build Coastguard Worker 	    (sae->tmp->dh && sae_derive_pwe_ffc(sae, addr1, addr2, password,
1355*03f9172cSAndroid Build Coastguard Worker 						password_len) < 0))
1356*03f9172cSAndroid Build Coastguard Worker 		return -1;
1357*03f9172cSAndroid Build Coastguard Worker 
1358*03f9172cSAndroid Build Coastguard Worker 	sae->h2e = 0;
1359*03f9172cSAndroid Build Coastguard Worker 	sae->pk = 0;
1360*03f9172cSAndroid Build Coastguard Worker 	return sae_derive_commit(sae);
1361*03f9172cSAndroid Build Coastguard Worker }
1362*03f9172cSAndroid Build Coastguard Worker 
1363*03f9172cSAndroid Build Coastguard Worker 
sae_prepare_commit_pt(struct sae_data * sae,const struct sae_pt * pt,const u8 * addr1,const u8 * addr2,int * rejected_groups,const struct sae_pk * pk)1364*03f9172cSAndroid Build Coastguard Worker int sae_prepare_commit_pt(struct sae_data *sae, const struct sae_pt *pt,
1365*03f9172cSAndroid Build Coastguard Worker 			  const u8 *addr1, const u8 *addr2,
1366*03f9172cSAndroid Build Coastguard Worker 			  int *rejected_groups, const struct sae_pk *pk)
1367*03f9172cSAndroid Build Coastguard Worker {
1368*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp)
1369*03f9172cSAndroid Build Coastguard Worker 		return -1;
1370*03f9172cSAndroid Build Coastguard Worker 
1371*03f9172cSAndroid Build Coastguard Worker 	while (pt) {
1372*03f9172cSAndroid Build Coastguard Worker 		if (pt->group == sae->group)
1373*03f9172cSAndroid Build Coastguard Worker 			break;
1374*03f9172cSAndroid Build Coastguard Worker 		pt = pt->next;
1375*03f9172cSAndroid Build Coastguard Worker 	}
1376*03f9172cSAndroid Build Coastguard Worker 	if (!pt) {
1377*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_INFO, "SAE: Could not find PT for group %u",
1378*03f9172cSAndroid Build Coastguard Worker 			   sae->group);
1379*03f9172cSAndroid Build Coastguard Worker 		return -1;
1380*03f9172cSAndroid Build Coastguard Worker 	}
1381*03f9172cSAndroid Build Coastguard Worker 
1382*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SAE_PK
1383*03f9172cSAndroid Build Coastguard Worker 	os_memcpy(sae->tmp->ssid, pt->ssid, pt->ssid_len);
1384*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->ssid_len = pt->ssid_len;
1385*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->ap_pk = pk;
1386*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SAE_PK */
1387*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->own_addr_higher = os_memcmp(addr1, addr2, ETH_ALEN) > 0;
1388*03f9172cSAndroid Build Coastguard Worker 	wpabuf_free(sae->tmp->own_rejected_groups);
1389*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->own_rejected_groups = NULL;
1390*03f9172cSAndroid Build Coastguard Worker 	if (rejected_groups) {
1391*03f9172cSAndroid Build Coastguard Worker 		int count, i;
1392*03f9172cSAndroid Build Coastguard Worker 		struct wpabuf *groups;
1393*03f9172cSAndroid Build Coastguard Worker 
1394*03f9172cSAndroid Build Coastguard Worker 		count = int_array_len(rejected_groups);
1395*03f9172cSAndroid Build Coastguard Worker 		groups = wpabuf_alloc(count * 2);
1396*03f9172cSAndroid Build Coastguard Worker 		if (!groups)
1397*03f9172cSAndroid Build Coastguard Worker 			return -1;
1398*03f9172cSAndroid Build Coastguard Worker 		for (i = 0; i < count; i++)
1399*03f9172cSAndroid Build Coastguard Worker 			wpabuf_put_le16(groups, rejected_groups[i]);
1400*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->own_rejected_groups = groups;
1401*03f9172cSAndroid Build Coastguard Worker 	}
1402*03f9172cSAndroid Build Coastguard Worker 
1403*03f9172cSAndroid Build Coastguard Worker 	if (pt->ec) {
1404*03f9172cSAndroid Build Coastguard Worker 		crypto_ec_point_deinit(sae->tmp->pwe_ecc, 1);
1405*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->pwe_ecc = sae_derive_pwe_from_pt_ecc(pt, addr1,
1406*03f9172cSAndroid Build Coastguard Worker 							       addr2);
1407*03f9172cSAndroid Build Coastguard Worker 		if (!sae->tmp->pwe_ecc)
1408*03f9172cSAndroid Build Coastguard Worker 			return -1;
1409*03f9172cSAndroid Build Coastguard Worker 	}
1410*03f9172cSAndroid Build Coastguard Worker 
1411*03f9172cSAndroid Build Coastguard Worker 	if (pt->dh) {
1412*03f9172cSAndroid Build Coastguard Worker 		crypto_bignum_deinit(sae->tmp->pwe_ffc, 1);
1413*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->pwe_ffc = sae_derive_pwe_from_pt_ffc(pt, addr1,
1414*03f9172cSAndroid Build Coastguard Worker 							       addr2);
1415*03f9172cSAndroid Build Coastguard Worker 		if (!sae->tmp->pwe_ffc)
1416*03f9172cSAndroid Build Coastguard Worker 			return -1;
1417*03f9172cSAndroid Build Coastguard Worker 	}
1418*03f9172cSAndroid Build Coastguard Worker 
1419*03f9172cSAndroid Build Coastguard Worker 	sae->h2e = 1;
1420*03f9172cSAndroid Build Coastguard Worker 	return sae_derive_commit(sae);
1421*03f9172cSAndroid Build Coastguard Worker }
1422*03f9172cSAndroid Build Coastguard Worker 
1423*03f9172cSAndroid Build Coastguard Worker 
sae_derive_k_ecc(struct sae_data * sae,u8 * k)1424*03f9172cSAndroid Build Coastguard Worker static int sae_derive_k_ecc(struct sae_data *sae, u8 *k)
1425*03f9172cSAndroid Build Coastguard Worker {
1426*03f9172cSAndroid Build Coastguard Worker 	struct crypto_ec_point *K;
1427*03f9172cSAndroid Build Coastguard Worker 	int ret = -1;
1428*03f9172cSAndroid Build Coastguard Worker 
1429*03f9172cSAndroid Build Coastguard Worker 	K = crypto_ec_point_init(sae->tmp->ec);
1430*03f9172cSAndroid Build Coastguard Worker 	if (K == NULL)
1431*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1432*03f9172cSAndroid Build Coastguard Worker 
1433*03f9172cSAndroid Build Coastguard Worker 	/*
1434*03f9172cSAndroid Build Coastguard Worker 	 * K = scalar-op(rand, (elem-op(scalar-op(peer-commit-scalar, PWE),
1435*03f9172cSAndroid Build Coastguard Worker 	 *                                        PEER-COMMIT-ELEMENT)))
1436*03f9172cSAndroid Build Coastguard Worker 	 * If K is identity element (point-at-infinity), reject
1437*03f9172cSAndroid Build Coastguard Worker 	 * k = F(K) (= x coordinate)
1438*03f9172cSAndroid Build Coastguard Worker 	 */
1439*03f9172cSAndroid Build Coastguard Worker 
1440*03f9172cSAndroid Build Coastguard Worker 	if (crypto_ec_point_mul(sae->tmp->ec, sae->tmp->pwe_ecc,
1441*03f9172cSAndroid Build Coastguard Worker 				sae->peer_commit_scalar, K) < 0 ||
1442*03f9172cSAndroid Build Coastguard Worker 	    crypto_ec_point_add(sae->tmp->ec, K,
1443*03f9172cSAndroid Build Coastguard Worker 				sae->tmp->peer_commit_element_ecc, K) < 0 ||
1444*03f9172cSAndroid Build Coastguard Worker 	    crypto_ec_point_mul(sae->tmp->ec, K, sae->tmp->sae_rand, K) < 0 ||
1445*03f9172cSAndroid Build Coastguard Worker 	    crypto_ec_point_is_at_infinity(sae->tmp->ec, K) ||
1446*03f9172cSAndroid Build Coastguard Worker 	    crypto_ec_point_to_bin(sae->tmp->ec, K, k, NULL) < 0) {
1447*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Failed to calculate K and k");
1448*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1449*03f9172cSAndroid Build Coastguard Worker 	}
1450*03f9172cSAndroid Build Coastguard Worker 
1451*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: k", k, sae->tmp->prime_len);
1452*03f9172cSAndroid Build Coastguard Worker 
1453*03f9172cSAndroid Build Coastguard Worker 	ret = 0;
1454*03f9172cSAndroid Build Coastguard Worker fail:
1455*03f9172cSAndroid Build Coastguard Worker 	crypto_ec_point_deinit(K, 1);
1456*03f9172cSAndroid Build Coastguard Worker 	return ret;
1457*03f9172cSAndroid Build Coastguard Worker }
1458*03f9172cSAndroid Build Coastguard Worker 
1459*03f9172cSAndroid Build Coastguard Worker 
sae_derive_k_ffc(struct sae_data * sae,u8 * k)1460*03f9172cSAndroid Build Coastguard Worker static int sae_derive_k_ffc(struct sae_data *sae, u8 *k)
1461*03f9172cSAndroid Build Coastguard Worker {
1462*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *K;
1463*03f9172cSAndroid Build Coastguard Worker 	int ret = -1;
1464*03f9172cSAndroid Build Coastguard Worker 
1465*03f9172cSAndroid Build Coastguard Worker 	K = crypto_bignum_init();
1466*03f9172cSAndroid Build Coastguard Worker 	if (K == NULL)
1467*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1468*03f9172cSAndroid Build Coastguard Worker 
1469*03f9172cSAndroid Build Coastguard Worker 	/*
1470*03f9172cSAndroid Build Coastguard Worker 	 * K = scalar-op(rand, (elem-op(scalar-op(peer-commit-scalar, PWE),
1471*03f9172cSAndroid Build Coastguard Worker 	 *                                        PEER-COMMIT-ELEMENT)))
1472*03f9172cSAndroid Build Coastguard Worker 	 * If K is identity element (one), reject.
1473*03f9172cSAndroid Build Coastguard Worker 	 * k = F(K) (= x coordinate)
1474*03f9172cSAndroid Build Coastguard Worker 	 */
1475*03f9172cSAndroid Build Coastguard Worker 
1476*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_exptmod(sae->tmp->pwe_ffc, sae->peer_commit_scalar,
1477*03f9172cSAndroid Build Coastguard Worker 				  sae->tmp->prime, K) < 0 ||
1478*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mulmod(K, sae->tmp->peer_commit_element_ffc,
1479*03f9172cSAndroid Build Coastguard Worker 				 sae->tmp->prime, K) < 0 ||
1480*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_exptmod(K, sae->tmp->sae_rand, sae->tmp->prime, K) < 0
1481*03f9172cSAndroid Build Coastguard Worker 	    ||
1482*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_is_one(K) ||
1483*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(K, k, SAE_MAX_PRIME_LEN, sae->tmp->prime_len) <
1484*03f9172cSAndroid Build Coastguard Worker 	    0) {
1485*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Failed to calculate K and k");
1486*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1487*03f9172cSAndroid Build Coastguard Worker 	}
1488*03f9172cSAndroid Build Coastguard Worker 
1489*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: k", k, sae->tmp->prime_len);
1490*03f9172cSAndroid Build Coastguard Worker 
1491*03f9172cSAndroid Build Coastguard Worker 	ret = 0;
1492*03f9172cSAndroid Build Coastguard Worker fail:
1493*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(K, 1);
1494*03f9172cSAndroid Build Coastguard Worker 	return ret;
1495*03f9172cSAndroid Build Coastguard Worker }
1496*03f9172cSAndroid Build Coastguard Worker 
1497*03f9172cSAndroid Build Coastguard Worker 
sae_kdf_hash(size_t hash_len,const u8 * k,const char * label,const u8 * context,size_t context_len,u8 * out,size_t out_len)1498*03f9172cSAndroid Build Coastguard Worker static int sae_kdf_hash(size_t hash_len, const u8 *k, const char *label,
1499*03f9172cSAndroid Build Coastguard Worker 			const u8 *context, size_t context_len,
1500*03f9172cSAndroid Build Coastguard Worker 			u8 *out, size_t out_len)
1501*03f9172cSAndroid Build Coastguard Worker {
1502*03f9172cSAndroid Build Coastguard Worker 	if (hash_len == 32)
1503*03f9172cSAndroid Build Coastguard Worker 		return sha256_prf(k, hash_len, label,
1504*03f9172cSAndroid Build Coastguard Worker 				  context, context_len, out, out_len);
1505*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SHA384
1506*03f9172cSAndroid Build Coastguard Worker 	if (hash_len == 48)
1507*03f9172cSAndroid Build Coastguard Worker 		return sha384_prf(k, hash_len, label,
1508*03f9172cSAndroid Build Coastguard Worker 				  context, context_len, out, out_len);
1509*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SHA384 */
1510*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SHA512
1511*03f9172cSAndroid Build Coastguard Worker 	if (hash_len == 64)
1512*03f9172cSAndroid Build Coastguard Worker 		return sha512_prf(k, hash_len, label,
1513*03f9172cSAndroid Build Coastguard Worker 				  context, context_len, out, out_len);
1514*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SHA512 */
1515*03f9172cSAndroid Build Coastguard Worker 	return -1;
1516*03f9172cSAndroid Build Coastguard Worker }
1517*03f9172cSAndroid Build Coastguard Worker 
1518*03f9172cSAndroid Build Coastguard Worker 
sae_derive_keys(struct sae_data * sae,const u8 * k)1519*03f9172cSAndroid Build Coastguard Worker static int sae_derive_keys(struct sae_data *sae, const u8 *k)
1520*03f9172cSAndroid Build Coastguard Worker {
1521*03f9172cSAndroid Build Coastguard Worker 	u8 zero[SAE_MAX_HASH_LEN], val[SAE_MAX_PRIME_LEN];
1522*03f9172cSAndroid Build Coastguard Worker 	const u8 *salt;
1523*03f9172cSAndroid Build Coastguard Worker 	struct wpabuf *rejected_groups = NULL;
1524*03f9172cSAndroid Build Coastguard Worker 	u8 keyseed[SAE_MAX_HASH_LEN];
1525*03f9172cSAndroid Build Coastguard Worker 	u8 keys[2 * SAE_MAX_HASH_LEN + SAE_PMK_LEN_MAX];
1526*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *tmp;
1527*03f9172cSAndroid Build Coastguard Worker 	int ret = -1;
1528*03f9172cSAndroid Build Coastguard Worker 	size_t hash_len, salt_len, prime_len = sae->tmp->prime_len;
1529*03f9172cSAndroid Build Coastguard Worker 	size_t pmk_len;
1530*03f9172cSAndroid Build Coastguard Worker 	const u8 *addr[1];
1531*03f9172cSAndroid Build Coastguard Worker 	size_t len[1];
1532*03f9172cSAndroid Build Coastguard Worker 
1533*03f9172cSAndroid Build Coastguard Worker 	tmp = crypto_bignum_init();
1534*03f9172cSAndroid Build Coastguard Worker 	if (tmp == NULL)
1535*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1536*03f9172cSAndroid Build Coastguard Worker 
1537*03f9172cSAndroid Build Coastguard Worker 	/* keyseed = H(salt, k)
1538*03f9172cSAndroid Build Coastguard Worker 	 * KCK || PMK = KDF-Hash-Length(keyseed, "SAE KCK and PMK",
1539*03f9172cSAndroid Build Coastguard Worker 	 *                      (commit-scalar + peer-commit-scalar) modulo r)
1540*03f9172cSAndroid Build Coastguard Worker 	 * PMKID = L((commit-scalar + peer-commit-scalar) modulo r, 0, 128)
1541*03f9172cSAndroid Build Coastguard Worker 	 *
1542*03f9172cSAndroid Build Coastguard Worker 	 * When SAE-PK is used,
1543*03f9172cSAndroid Build Coastguard Worker 	 * KCK || PMK || KEK = KDF-Hash-Length(keyseed, "SAE-PK keys", context)
1544*03f9172cSAndroid Build Coastguard Worker 	 */
1545*03f9172cSAndroid Build Coastguard Worker 	if (!sae->h2e)
1546*03f9172cSAndroid Build Coastguard Worker 		hash_len = SHA256_MAC_LEN;
1547*03f9172cSAndroid Build Coastguard Worker 	else if (sae->tmp->dh)
1548*03f9172cSAndroid Build Coastguard Worker 		hash_len = sae_ffc_prime_len_2_hash_len(prime_len);
1549*03f9172cSAndroid Build Coastguard Worker 	else
1550*03f9172cSAndroid Build Coastguard Worker 		hash_len = sae_ecc_prime_len_2_hash_len(prime_len);
1551*03f9172cSAndroid Build Coastguard Worker 	if (wpa_key_mgmt_sae_ext_key(sae->akmp))
1552*03f9172cSAndroid Build Coastguard Worker 		pmk_len = hash_len;
1553*03f9172cSAndroid Build Coastguard Worker 	else
1554*03f9172cSAndroid Build Coastguard Worker 		pmk_len = SAE_PMK_LEN;
1555*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG, "SAE: Derive keys - H2E=%d AKMP=0x%x = %08x (%s)",
1556*03f9172cSAndroid Build Coastguard Worker 		   sae->h2e, sae->akmp,
1557*03f9172cSAndroid Build Coastguard Worker 		   wpa_akm_to_suite(sae->akmp),
1558*03f9172cSAndroid Build Coastguard Worker 		   wpa_key_mgmt_txt(sae->akmp, WPA_PROTO_RSN));
1559*03f9172cSAndroid Build Coastguard Worker 	if (sae->h2e && (sae->tmp->own_rejected_groups ||
1560*03f9172cSAndroid Build Coastguard Worker 			 sae->tmp->peer_rejected_groups)) {
1561*03f9172cSAndroid Build Coastguard Worker 		struct wpabuf *own, *peer;
1562*03f9172cSAndroid Build Coastguard Worker 
1563*03f9172cSAndroid Build Coastguard Worker 		own = sae->tmp->own_rejected_groups;
1564*03f9172cSAndroid Build Coastguard Worker 		peer = sae->tmp->peer_rejected_groups;
1565*03f9172cSAndroid Build Coastguard Worker 		salt_len = 0;
1566*03f9172cSAndroid Build Coastguard Worker 		if (own)
1567*03f9172cSAndroid Build Coastguard Worker 			salt_len += wpabuf_len(own);
1568*03f9172cSAndroid Build Coastguard Worker 		if (peer)
1569*03f9172cSAndroid Build Coastguard Worker 			salt_len += wpabuf_len(peer);
1570*03f9172cSAndroid Build Coastguard Worker 		rejected_groups = wpabuf_alloc(salt_len);
1571*03f9172cSAndroid Build Coastguard Worker 		if (!rejected_groups)
1572*03f9172cSAndroid Build Coastguard Worker 			goto fail;
1573*03f9172cSAndroid Build Coastguard Worker 		if (sae->tmp->own_addr_higher) {
1574*03f9172cSAndroid Build Coastguard Worker 			if (own)
1575*03f9172cSAndroid Build Coastguard Worker 				wpabuf_put_buf(rejected_groups, own);
1576*03f9172cSAndroid Build Coastguard Worker 			if (peer)
1577*03f9172cSAndroid Build Coastguard Worker 				wpabuf_put_buf(rejected_groups, peer);
1578*03f9172cSAndroid Build Coastguard Worker 		} else {
1579*03f9172cSAndroid Build Coastguard Worker 			if (peer)
1580*03f9172cSAndroid Build Coastguard Worker 				wpabuf_put_buf(rejected_groups, peer);
1581*03f9172cSAndroid Build Coastguard Worker 			if (own)
1582*03f9172cSAndroid Build Coastguard Worker 				wpabuf_put_buf(rejected_groups, own);
1583*03f9172cSAndroid Build Coastguard Worker 		}
1584*03f9172cSAndroid Build Coastguard Worker 		salt = wpabuf_head(rejected_groups);
1585*03f9172cSAndroid Build Coastguard Worker 		salt_len = wpabuf_len(rejected_groups);
1586*03f9172cSAndroid Build Coastguard Worker 	} else {
1587*03f9172cSAndroid Build Coastguard Worker 		os_memset(zero, 0, hash_len);
1588*03f9172cSAndroid Build Coastguard Worker 		salt = zero;
1589*03f9172cSAndroid Build Coastguard Worker 		salt_len = hash_len;
1590*03f9172cSAndroid Build Coastguard Worker 	}
1591*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: salt for keyseed derivation",
1592*03f9172cSAndroid Build Coastguard Worker 		    salt, salt_len);
1593*03f9172cSAndroid Build Coastguard Worker 	addr[0] = k;
1594*03f9172cSAndroid Build Coastguard Worker 	len[0] = prime_len;
1595*03f9172cSAndroid Build Coastguard Worker 	if (hkdf_extract(hash_len, salt, salt_len, 1, addr, len, keyseed) < 0)
1596*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1597*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: keyseed", keyseed, hash_len);
1598*03f9172cSAndroid Build Coastguard Worker 
1599*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_add(sae->tmp->own_commit_scalar,
1600*03f9172cSAndroid Build Coastguard Worker 			      sae->peer_commit_scalar, tmp) < 0 ||
1601*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_mod(tmp, sae->tmp->order, tmp) < 0)
1602*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1603*03f9172cSAndroid Build Coastguard Worker 	/* IEEE Std 802.11-2016 is not exactly clear on the encoding of the bit
1604*03f9172cSAndroid Build Coastguard Worker 	 * string that is needed for KCK, PMK, and PMKID derivation, but it
1605*03f9172cSAndroid Build Coastguard Worker 	 * seems to make most sense to encode the
1606*03f9172cSAndroid Build Coastguard Worker 	 * (commit-scalar + peer-commit-scalar) mod r part as a bit string by
1607*03f9172cSAndroid Build Coastguard Worker 	 * zero padding it from left to the length of the order (in full
1608*03f9172cSAndroid Build Coastguard Worker 	 * octets). */
1609*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(tmp, val, sizeof(val),
1610*03f9172cSAndroid Build Coastguard Worker 				 sae->tmp->order_len) < 0)
1611*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1612*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: PMKID", val, SAE_PMKID_LEN);
1613*03f9172cSAndroid Build Coastguard Worker 
1614*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SAE_PK
1615*03f9172cSAndroid Build Coastguard Worker 	if (sae->pk) {
1616*03f9172cSAndroid Build Coastguard Worker 		if (sae_kdf_hash(hash_len, keyseed, "SAE-PK keys",
1617*03f9172cSAndroid Build Coastguard Worker 				 val, sae->tmp->order_len,
1618*03f9172cSAndroid Build Coastguard Worker 				 keys, 2 * hash_len + pmk_len) < 0)
1619*03f9172cSAndroid Build Coastguard Worker 			goto fail;
1620*03f9172cSAndroid Build Coastguard Worker 	} else {
1621*03f9172cSAndroid Build Coastguard Worker 		if (sae_kdf_hash(hash_len, keyseed, "SAE KCK and PMK",
1622*03f9172cSAndroid Build Coastguard Worker 				 val, sae->tmp->order_len,
1623*03f9172cSAndroid Build Coastguard Worker 				 keys, hash_len + pmk_len) < 0)
1624*03f9172cSAndroid Build Coastguard Worker 			goto fail;
1625*03f9172cSAndroid Build Coastguard Worker 	}
1626*03f9172cSAndroid Build Coastguard Worker #else /* CONFIG_SAE_PK */
1627*03f9172cSAndroid Build Coastguard Worker 	if (sae_kdf_hash(hash_len, keyseed, "SAE KCK and PMK",
1628*03f9172cSAndroid Build Coastguard Worker 			 val, sae->tmp->order_len,
1629*03f9172cSAndroid Build Coastguard Worker 			 keys, hash_len + pmk_len) < 0)
1630*03f9172cSAndroid Build Coastguard Worker 		goto fail;
1631*03f9172cSAndroid Build Coastguard Worker #endif /* !CONFIG_SAE_PK */
1632*03f9172cSAndroid Build Coastguard Worker 
1633*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(keyseed, sizeof(keyseed));
1634*03f9172cSAndroid Build Coastguard Worker 	os_memcpy(sae->tmp->kck, keys, hash_len);
1635*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->kck_len = hash_len;
1636*03f9172cSAndroid Build Coastguard Worker 	os_memcpy(sae->pmk, keys + hash_len, pmk_len);
1637*03f9172cSAndroid Build Coastguard Worker 	sae->pmk_len = pmk_len;
1638*03f9172cSAndroid Build Coastguard Worker 	os_memcpy(sae->pmkid, val, SAE_PMKID_LEN);
1639*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SAE_PK
1640*03f9172cSAndroid Build Coastguard Worker 	if (sae->pk) {
1641*03f9172cSAndroid Build Coastguard Worker 		os_memcpy(sae->tmp->kek, keys + hash_len + SAE_PMK_LEN,
1642*03f9172cSAndroid Build Coastguard Worker 			  hash_len);
1643*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->kek_len = hash_len;
1644*03f9172cSAndroid Build Coastguard Worker 		wpa_hexdump_key(MSG_DEBUG, "SAE: KEK for SAE-PK",
1645*03f9172cSAndroid Build Coastguard Worker 				sae->tmp->kek, sae->tmp->kek_len);
1646*03f9172cSAndroid Build Coastguard Worker 	}
1647*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SAE_PK */
1648*03f9172cSAndroid Build Coastguard Worker 	forced_memzero(keys, sizeof(keys));
1649*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: KCK",
1650*03f9172cSAndroid Build Coastguard Worker 			sae->tmp->kck, sae->tmp->kck_len);
1651*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_key(MSG_DEBUG, "SAE: PMK", sae->pmk, sae->pmk_len);
1652*03f9172cSAndroid Build Coastguard Worker 
1653*03f9172cSAndroid Build Coastguard Worker 	ret = 0;
1654*03f9172cSAndroid Build Coastguard Worker fail:
1655*03f9172cSAndroid Build Coastguard Worker 	wpabuf_free(rejected_groups);
1656*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(tmp, 0);
1657*03f9172cSAndroid Build Coastguard Worker 	return ret;
1658*03f9172cSAndroid Build Coastguard Worker }
1659*03f9172cSAndroid Build Coastguard Worker 
1660*03f9172cSAndroid Build Coastguard Worker 
sae_process_commit(struct sae_data * sae)1661*03f9172cSAndroid Build Coastguard Worker int sae_process_commit(struct sae_data *sae)
1662*03f9172cSAndroid Build Coastguard Worker {
1663*03f9172cSAndroid Build Coastguard Worker 	u8 k[SAE_MAX_PRIME_LEN];
1664*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp == NULL ||
1665*03f9172cSAndroid Build Coastguard Worker 	    (sae->tmp->ec && sae_derive_k_ecc(sae, k) < 0) ||
1666*03f9172cSAndroid Build Coastguard Worker 	    (sae->tmp->dh && sae_derive_k_ffc(sae, k) < 0) ||
1667*03f9172cSAndroid Build Coastguard Worker 	    sae_derive_keys(sae, k) < 0)
1668*03f9172cSAndroid Build Coastguard Worker 		return -1;
1669*03f9172cSAndroid Build Coastguard Worker 	return 0;
1670*03f9172cSAndroid Build Coastguard Worker }
1671*03f9172cSAndroid Build Coastguard Worker 
1672*03f9172cSAndroid Build Coastguard Worker 
sae_write_commit(struct sae_data * sae,struct wpabuf * buf,const struct wpabuf * token,const char * identifier)1673*03f9172cSAndroid Build Coastguard Worker int sae_write_commit(struct sae_data *sae, struct wpabuf *buf,
1674*03f9172cSAndroid Build Coastguard Worker 		     const struct wpabuf *token, const char *identifier)
1675*03f9172cSAndroid Build Coastguard Worker {
1676*03f9172cSAndroid Build Coastguard Worker 	u8 *pos;
1677*03f9172cSAndroid Build Coastguard Worker 
1678*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp == NULL)
1679*03f9172cSAndroid Build Coastguard Worker 		return -1;
1680*03f9172cSAndroid Build Coastguard Worker 
1681*03f9172cSAndroid Build Coastguard Worker 	wpabuf_put_le16(buf, sae->group); /* Finite Cyclic Group */
1682*03f9172cSAndroid Build Coastguard Worker 	if (!sae->h2e && token) {
1683*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_buf(buf, token);
1684*03f9172cSAndroid Build Coastguard Worker 		wpa_hexdump(MSG_DEBUG, "SAE: Anti-clogging token",
1685*03f9172cSAndroid Build Coastguard Worker 			    wpabuf_head(token), wpabuf_len(token));
1686*03f9172cSAndroid Build Coastguard Worker 	}
1687*03f9172cSAndroid Build Coastguard Worker 	pos = wpabuf_put(buf, sae->tmp->prime_len);
1688*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(sae->tmp->own_commit_scalar, pos,
1689*03f9172cSAndroid Build Coastguard Worker 				 sae->tmp->prime_len, sae->tmp->prime_len) < 0)
1690*03f9172cSAndroid Build Coastguard Worker 		return -1;
1691*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: own commit-scalar",
1692*03f9172cSAndroid Build Coastguard Worker 		    pos, sae->tmp->prime_len);
1693*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp->ec) {
1694*03f9172cSAndroid Build Coastguard Worker 		pos = wpabuf_put(buf, 2 * sae->tmp->prime_len);
1695*03f9172cSAndroid Build Coastguard Worker 		if (crypto_ec_point_to_bin(sae->tmp->ec,
1696*03f9172cSAndroid Build Coastguard Worker 					   sae->tmp->own_commit_element_ecc,
1697*03f9172cSAndroid Build Coastguard Worker 					   pos, pos + sae->tmp->prime_len) < 0)
1698*03f9172cSAndroid Build Coastguard Worker 			return -1;
1699*03f9172cSAndroid Build Coastguard Worker 		wpa_hexdump(MSG_DEBUG, "SAE: own commit-element(x)",
1700*03f9172cSAndroid Build Coastguard Worker 			    pos, sae->tmp->prime_len);
1701*03f9172cSAndroid Build Coastguard Worker 		wpa_hexdump(MSG_DEBUG, "SAE: own commit-element(y)",
1702*03f9172cSAndroid Build Coastguard Worker 			    pos + sae->tmp->prime_len, sae->tmp->prime_len);
1703*03f9172cSAndroid Build Coastguard Worker 	} else {
1704*03f9172cSAndroid Build Coastguard Worker 		pos = wpabuf_put(buf, sae->tmp->prime_len);
1705*03f9172cSAndroid Build Coastguard Worker 		if (crypto_bignum_to_bin(sae->tmp->own_commit_element_ffc, pos,
1706*03f9172cSAndroid Build Coastguard Worker 					 sae->tmp->prime_len,
1707*03f9172cSAndroid Build Coastguard Worker 					 sae->tmp->prime_len) < 0)
1708*03f9172cSAndroid Build Coastguard Worker 			return -1;
1709*03f9172cSAndroid Build Coastguard Worker 		wpa_hexdump(MSG_DEBUG, "SAE: own commit-element",
1710*03f9172cSAndroid Build Coastguard Worker 			    pos, sae->tmp->prime_len);
1711*03f9172cSAndroid Build Coastguard Worker 	}
1712*03f9172cSAndroid Build Coastguard Worker 
1713*03f9172cSAndroid Build Coastguard Worker 	if (identifier) {
1714*03f9172cSAndroid Build Coastguard Worker 		/* Password Identifier element */
1715*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, WLAN_EID_EXTENSION);
1716*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, 1 + os_strlen(identifier));
1717*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, WLAN_EID_EXT_PASSWORD_IDENTIFIER);
1718*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_str(buf, identifier);
1719*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: own Password Identifier: %s",
1720*03f9172cSAndroid Build Coastguard Worker 			   identifier);
1721*03f9172cSAndroid Build Coastguard Worker 	}
1722*03f9172cSAndroid Build Coastguard Worker 
1723*03f9172cSAndroid Build Coastguard Worker 	if (sae->h2e && sae->tmp->own_rejected_groups) {
1724*03f9172cSAndroid Build Coastguard Worker 		wpa_hexdump_buf(MSG_DEBUG, "SAE: own Rejected Groups",
1725*03f9172cSAndroid Build Coastguard Worker 				sae->tmp->own_rejected_groups);
1726*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, WLAN_EID_EXTENSION);
1727*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf,
1728*03f9172cSAndroid Build Coastguard Worker 			      1 + wpabuf_len(sae->tmp->own_rejected_groups));
1729*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, WLAN_EID_EXT_REJECTED_GROUPS);
1730*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_buf(buf, sae->tmp->own_rejected_groups);
1731*03f9172cSAndroid Build Coastguard Worker 	}
1732*03f9172cSAndroid Build Coastguard Worker 
1733*03f9172cSAndroid Build Coastguard Worker 	if (sae->h2e && token) {
1734*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, WLAN_EID_EXTENSION);
1735*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, 1 + wpabuf_len(token));
1736*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, WLAN_EID_EXT_ANTI_CLOGGING_TOKEN);
1737*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_buf(buf, token);
1738*03f9172cSAndroid Build Coastguard Worker 		wpa_hexdump_buf(MSG_DEBUG,
1739*03f9172cSAndroid Build Coastguard Worker 				"SAE: Anti-clogging token (in container)",
1740*03f9172cSAndroid Build Coastguard Worker 				token);
1741*03f9172cSAndroid Build Coastguard Worker 	}
1742*03f9172cSAndroid Build Coastguard Worker 
1743*03f9172cSAndroid Build Coastguard Worker 	if (wpa_key_mgmt_sae_ext_key(sae->akmp)) {
1744*03f9172cSAndroid Build Coastguard Worker 		u32 suite = wpa_akm_to_suite(sae->akmp);
1745*03f9172cSAndroid Build Coastguard Worker 
1746*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, WLAN_EID_EXTENSION);
1747*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, 1 + RSN_SELECTOR_LEN);
1748*03f9172cSAndroid Build Coastguard Worker 		wpabuf_put_u8(buf, WLAN_EID_EXT_AKM_SUITE_SELECTOR);
1749*03f9172cSAndroid Build Coastguard Worker 		RSN_SELECTOR_PUT(wpabuf_put(buf, RSN_SELECTOR_LEN), suite);
1750*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: AKM Suite Selector: %08x", suite);
1751*03f9172cSAndroid Build Coastguard Worker 		sae->own_akm_suite_selector = suite;
1752*03f9172cSAndroid Build Coastguard Worker 	}
1753*03f9172cSAndroid Build Coastguard Worker 
1754*03f9172cSAndroid Build Coastguard Worker 	return 0;
1755*03f9172cSAndroid Build Coastguard Worker }
1756*03f9172cSAndroid Build Coastguard Worker 
1757*03f9172cSAndroid Build Coastguard Worker 
sae_group_allowed(struct sae_data * sae,int * allowed_groups,u16 group)1758*03f9172cSAndroid Build Coastguard Worker u16 sae_group_allowed(struct sae_data *sae, int *allowed_groups, u16 group)
1759*03f9172cSAndroid Build Coastguard Worker {
1760*03f9172cSAndroid Build Coastguard Worker 	if (allowed_groups) {
1761*03f9172cSAndroid Build Coastguard Worker 		int i;
1762*03f9172cSAndroid Build Coastguard Worker 		for (i = 0; allowed_groups[i] > 0; i++) {
1763*03f9172cSAndroid Build Coastguard Worker 			if (allowed_groups[i] == group)
1764*03f9172cSAndroid Build Coastguard Worker 				break;
1765*03f9172cSAndroid Build Coastguard Worker 		}
1766*03f9172cSAndroid Build Coastguard Worker 		if (allowed_groups[i] != group) {
1767*03f9172cSAndroid Build Coastguard Worker 			wpa_printf(MSG_DEBUG, "SAE: Proposed group %u not "
1768*03f9172cSAndroid Build Coastguard Worker 				   "enabled in the current configuration",
1769*03f9172cSAndroid Build Coastguard Worker 				   group);
1770*03f9172cSAndroid Build Coastguard Worker 			return WLAN_STATUS_FINITE_CYCLIC_GROUP_NOT_SUPPORTED;
1771*03f9172cSAndroid Build Coastguard Worker 		}
1772*03f9172cSAndroid Build Coastguard Worker 	}
1773*03f9172cSAndroid Build Coastguard Worker 
1774*03f9172cSAndroid Build Coastguard Worker 	if (sae->state == SAE_COMMITTED && group != sae->group) {
1775*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Do not allow group to be changed");
1776*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_FINITE_CYCLIC_GROUP_NOT_SUPPORTED;
1777*03f9172cSAndroid Build Coastguard Worker 	}
1778*03f9172cSAndroid Build Coastguard Worker 
1779*03f9172cSAndroid Build Coastguard Worker 	if (group != sae->group && sae_set_group(sae, group) < 0) {
1780*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Unsupported Finite Cyclic Group %u",
1781*03f9172cSAndroid Build Coastguard Worker 			   group);
1782*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_FINITE_CYCLIC_GROUP_NOT_SUPPORTED;
1783*03f9172cSAndroid Build Coastguard Worker 	}
1784*03f9172cSAndroid Build Coastguard Worker 
1785*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp == NULL) {
1786*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Group information not yet initialized");
1787*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1788*03f9172cSAndroid Build Coastguard Worker 	}
1789*03f9172cSAndroid Build Coastguard Worker 
1790*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp->dh && !allowed_groups) {
1791*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Do not allow FFC group %u without "
1792*03f9172cSAndroid Build Coastguard Worker 			   "explicit configuration enabling it", group);
1793*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_FINITE_CYCLIC_GROUP_NOT_SUPPORTED;
1794*03f9172cSAndroid Build Coastguard Worker 	}
1795*03f9172cSAndroid Build Coastguard Worker 
1796*03f9172cSAndroid Build Coastguard Worker 	return WLAN_STATUS_SUCCESS;
1797*03f9172cSAndroid Build Coastguard Worker }
1798*03f9172cSAndroid Build Coastguard Worker 
1799*03f9172cSAndroid Build Coastguard Worker 
sae_is_password_id_elem(const u8 * pos,const u8 * end)1800*03f9172cSAndroid Build Coastguard Worker static int sae_is_password_id_elem(const u8 *pos, const u8 *end)
1801*03f9172cSAndroid Build Coastguard Worker {
1802*03f9172cSAndroid Build Coastguard Worker 	return end - pos >= 3 &&
1803*03f9172cSAndroid Build Coastguard Worker 		pos[0] == WLAN_EID_EXTENSION &&
1804*03f9172cSAndroid Build Coastguard Worker 		pos[1] >= 1 &&
1805*03f9172cSAndroid Build Coastguard Worker 		end - pos - 2 >= pos[1] &&
1806*03f9172cSAndroid Build Coastguard Worker 		pos[2] == WLAN_EID_EXT_PASSWORD_IDENTIFIER;
1807*03f9172cSAndroid Build Coastguard Worker }
1808*03f9172cSAndroid Build Coastguard Worker 
1809*03f9172cSAndroid Build Coastguard Worker 
sae_is_rejected_groups_elem(const u8 * pos,const u8 * end)1810*03f9172cSAndroid Build Coastguard Worker static int sae_is_rejected_groups_elem(const u8 *pos, const u8 *end)
1811*03f9172cSAndroid Build Coastguard Worker {
1812*03f9172cSAndroid Build Coastguard Worker 	return end - pos >= 3 &&
1813*03f9172cSAndroid Build Coastguard Worker 		pos[0] == WLAN_EID_EXTENSION &&
1814*03f9172cSAndroid Build Coastguard Worker 		pos[1] >= 2 &&
1815*03f9172cSAndroid Build Coastguard Worker 		end - pos - 2 >= pos[1] &&
1816*03f9172cSAndroid Build Coastguard Worker 		pos[2] == WLAN_EID_EXT_REJECTED_GROUPS;
1817*03f9172cSAndroid Build Coastguard Worker }
1818*03f9172cSAndroid Build Coastguard Worker 
1819*03f9172cSAndroid Build Coastguard Worker 
sae_is_token_container_elem(const u8 * pos,const u8 * end)1820*03f9172cSAndroid Build Coastguard Worker static int sae_is_token_container_elem(const u8 *pos, const u8 *end)
1821*03f9172cSAndroid Build Coastguard Worker {
1822*03f9172cSAndroid Build Coastguard Worker 	return end - pos >= 3 &&
1823*03f9172cSAndroid Build Coastguard Worker 		pos[0] == WLAN_EID_EXTENSION &&
1824*03f9172cSAndroid Build Coastguard Worker 		pos[1] >= 1 &&
1825*03f9172cSAndroid Build Coastguard Worker 		end - pos - 2 >= pos[1] &&
1826*03f9172cSAndroid Build Coastguard Worker 		pos[2] == WLAN_EID_EXT_ANTI_CLOGGING_TOKEN;
1827*03f9172cSAndroid Build Coastguard Worker }
1828*03f9172cSAndroid Build Coastguard Worker 
1829*03f9172cSAndroid Build Coastguard Worker 
sae_is_akm_suite_selector_elem(const u8 * pos,const u8 * end)1830*03f9172cSAndroid Build Coastguard Worker static int sae_is_akm_suite_selector_elem(const u8 *pos, const u8 *end)
1831*03f9172cSAndroid Build Coastguard Worker {
1832*03f9172cSAndroid Build Coastguard Worker 	return end - pos >= 2 + 1 + RSN_SELECTOR_LEN &&
1833*03f9172cSAndroid Build Coastguard Worker 		pos[0] == WLAN_EID_EXTENSION &&
1834*03f9172cSAndroid Build Coastguard Worker 		pos[1] >= 1 + RSN_SELECTOR_LEN &&
1835*03f9172cSAndroid Build Coastguard Worker 		end - pos - 2 >= pos[1] &&
1836*03f9172cSAndroid Build Coastguard Worker 		pos[2] == WLAN_EID_EXT_AKM_SUITE_SELECTOR;
1837*03f9172cSAndroid Build Coastguard Worker }
1838*03f9172cSAndroid Build Coastguard Worker 
1839*03f9172cSAndroid Build Coastguard Worker 
sae_parse_commit_token(struct sae_data * sae,const u8 ** pos,const u8 * end,const u8 ** token,size_t * token_len,int h2e)1840*03f9172cSAndroid Build Coastguard Worker static void sae_parse_commit_token(struct sae_data *sae, const u8 **pos,
1841*03f9172cSAndroid Build Coastguard Worker 				   const u8 *end, const u8 **token,
1842*03f9172cSAndroid Build Coastguard Worker 				   size_t *token_len, int h2e)
1843*03f9172cSAndroid Build Coastguard Worker {
1844*03f9172cSAndroid Build Coastguard Worker 	size_t scalar_elem_len, tlen;
1845*03f9172cSAndroid Build Coastguard Worker 
1846*03f9172cSAndroid Build Coastguard Worker 	if (token)
1847*03f9172cSAndroid Build Coastguard Worker 		*token = NULL;
1848*03f9172cSAndroid Build Coastguard Worker 	if (token_len)
1849*03f9172cSAndroid Build Coastguard Worker 		*token_len = 0;
1850*03f9172cSAndroid Build Coastguard Worker 
1851*03f9172cSAndroid Build Coastguard Worker 	if (h2e)
1852*03f9172cSAndroid Build Coastguard Worker 		return; /* No Anti-Clogging Token field outside container IE */
1853*03f9172cSAndroid Build Coastguard Worker 
1854*03f9172cSAndroid Build Coastguard Worker 	scalar_elem_len = (sae->tmp->ec ? 3 : 2) * sae->tmp->prime_len;
1855*03f9172cSAndroid Build Coastguard Worker 	if (scalar_elem_len >= (size_t) (end - *pos))
1856*03f9172cSAndroid Build Coastguard Worker 		return; /* No extra data beyond peer scalar and element */
1857*03f9172cSAndroid Build Coastguard Worker 
1858*03f9172cSAndroid Build Coastguard Worker 	tlen = end - (*pos + scalar_elem_len);
1859*03f9172cSAndroid Build Coastguard Worker 
1860*03f9172cSAndroid Build Coastguard Worker 	if (tlen < SHA256_MAC_LEN) {
1861*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG,
1862*03f9172cSAndroid Build Coastguard Worker 			   "SAE: Too short optional data (%u octets) to include our Anti-Clogging Token",
1863*03f9172cSAndroid Build Coastguard Worker 			   (unsigned int) tlen);
1864*03f9172cSAndroid Build Coastguard Worker 		return;
1865*03f9172cSAndroid Build Coastguard Worker 	}
1866*03f9172cSAndroid Build Coastguard Worker 
1867*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: Anti-Clogging Token", *pos, tlen);
1868*03f9172cSAndroid Build Coastguard Worker 	if (token)
1869*03f9172cSAndroid Build Coastguard Worker 		*token = *pos;
1870*03f9172cSAndroid Build Coastguard Worker 	if (token_len)
1871*03f9172cSAndroid Build Coastguard Worker 		*token_len = tlen;
1872*03f9172cSAndroid Build Coastguard Worker 	*pos += tlen;
1873*03f9172cSAndroid Build Coastguard Worker }
1874*03f9172cSAndroid Build Coastguard Worker 
1875*03f9172cSAndroid Build Coastguard Worker 
sae_parse_token_container(struct sae_data * sae,const u8 * pos,const u8 * end,const u8 ** token,size_t * token_len)1876*03f9172cSAndroid Build Coastguard Worker static void sae_parse_token_container(struct sae_data *sae,
1877*03f9172cSAndroid Build Coastguard Worker 				      const u8 *pos, const u8 *end,
1878*03f9172cSAndroid Build Coastguard Worker 				      const u8 **token, size_t *token_len)
1879*03f9172cSAndroid Build Coastguard Worker {
1880*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: Possible elements at the end of the frame",
1881*03f9172cSAndroid Build Coastguard Worker 		    pos, end - pos);
1882*03f9172cSAndroid Build Coastguard Worker 	if (!sae_is_token_container_elem(pos, end))
1883*03f9172cSAndroid Build Coastguard Worker 		return;
1884*03f9172cSAndroid Build Coastguard Worker 	*token = pos + 3;
1885*03f9172cSAndroid Build Coastguard Worker 	*token_len = pos[1] - 1;
1886*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: Anti-Clogging Token (in container)",
1887*03f9172cSAndroid Build Coastguard Worker 		    *token, *token_len);
1888*03f9172cSAndroid Build Coastguard Worker }
1889*03f9172cSAndroid Build Coastguard Worker 
1890*03f9172cSAndroid Build Coastguard Worker 
sae_parse_commit_scalar(struct sae_data * sae,const u8 ** pos,const u8 * end)1891*03f9172cSAndroid Build Coastguard Worker static u16 sae_parse_commit_scalar(struct sae_data *sae, const u8 **pos,
1892*03f9172cSAndroid Build Coastguard Worker 				   const u8 *end)
1893*03f9172cSAndroid Build Coastguard Worker {
1894*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *peer_scalar;
1895*03f9172cSAndroid Build Coastguard Worker 
1896*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp->prime_len > end - *pos) {
1897*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Not enough data for scalar");
1898*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1899*03f9172cSAndroid Build Coastguard Worker 	}
1900*03f9172cSAndroid Build Coastguard Worker 
1901*03f9172cSAndroid Build Coastguard Worker 	peer_scalar = crypto_bignum_init_set(*pos, sae->tmp->prime_len);
1902*03f9172cSAndroid Build Coastguard Worker 	if (peer_scalar == NULL)
1903*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1904*03f9172cSAndroid Build Coastguard Worker 
1905*03f9172cSAndroid Build Coastguard Worker 	/*
1906*03f9172cSAndroid Build Coastguard Worker 	 * IEEE Std 802.11-2012, 11.3.8.6.1: If there is a protocol instance for
1907*03f9172cSAndroid Build Coastguard Worker 	 * the peer and it is in Authenticated state, the new Commit Message
1908*03f9172cSAndroid Build Coastguard Worker 	 * shall be dropped if the peer-scalar is identical to the one used in
1909*03f9172cSAndroid Build Coastguard Worker 	 * the existing protocol instance.
1910*03f9172cSAndroid Build Coastguard Worker 	 */
1911*03f9172cSAndroid Build Coastguard Worker 	if (sae->state == SAE_ACCEPTED && sae->peer_commit_scalar_accepted &&
1912*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_cmp(sae->peer_commit_scalar_accepted,
1913*03f9172cSAndroid Build Coastguard Worker 			      peer_scalar) == 0) {
1914*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Do not accept re-use of previous "
1915*03f9172cSAndroid Build Coastguard Worker 			   "peer-commit-scalar");
1916*03f9172cSAndroid Build Coastguard Worker 		crypto_bignum_deinit(peer_scalar, 0);
1917*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1918*03f9172cSAndroid Build Coastguard Worker 	}
1919*03f9172cSAndroid Build Coastguard Worker 
1920*03f9172cSAndroid Build Coastguard Worker 	/* 1 < scalar < r */
1921*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_is_zero(peer_scalar) ||
1922*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_is_one(peer_scalar) ||
1923*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_cmp(peer_scalar, sae->tmp->order) >= 0) {
1924*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Invalid peer scalar");
1925*03f9172cSAndroid Build Coastguard Worker 		crypto_bignum_deinit(peer_scalar, 0);
1926*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1927*03f9172cSAndroid Build Coastguard Worker 	}
1928*03f9172cSAndroid Build Coastguard Worker 
1929*03f9172cSAndroid Build Coastguard Worker 
1930*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(sae->peer_commit_scalar, 0);
1931*03f9172cSAndroid Build Coastguard Worker 	sae->peer_commit_scalar = peer_scalar;
1932*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: Peer commit-scalar",
1933*03f9172cSAndroid Build Coastguard Worker 		    *pos, sae->tmp->prime_len);
1934*03f9172cSAndroid Build Coastguard Worker 	*pos += sae->tmp->prime_len;
1935*03f9172cSAndroid Build Coastguard Worker 
1936*03f9172cSAndroid Build Coastguard Worker 	return WLAN_STATUS_SUCCESS;
1937*03f9172cSAndroid Build Coastguard Worker }
1938*03f9172cSAndroid Build Coastguard Worker 
1939*03f9172cSAndroid Build Coastguard Worker 
sae_parse_commit_element_ecc(struct sae_data * sae,const u8 ** pos,const u8 * end)1940*03f9172cSAndroid Build Coastguard Worker static u16 sae_parse_commit_element_ecc(struct sae_data *sae, const u8 **pos,
1941*03f9172cSAndroid Build Coastguard Worker 					const u8 *end)
1942*03f9172cSAndroid Build Coastguard Worker {
1943*03f9172cSAndroid Build Coastguard Worker 	u8 prime[SAE_MAX_ECC_PRIME_LEN];
1944*03f9172cSAndroid Build Coastguard Worker 
1945*03f9172cSAndroid Build Coastguard Worker 	if (2 * sae->tmp->prime_len > end - *pos) {
1946*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Not enough data for "
1947*03f9172cSAndroid Build Coastguard Worker 			   "commit-element");
1948*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1949*03f9172cSAndroid Build Coastguard Worker 	}
1950*03f9172cSAndroid Build Coastguard Worker 
1951*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(sae->tmp->prime, prime, sizeof(prime),
1952*03f9172cSAndroid Build Coastguard Worker 				 sae->tmp->prime_len) < 0)
1953*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1954*03f9172cSAndroid Build Coastguard Worker 
1955*03f9172cSAndroid Build Coastguard Worker 	/* element x and y coordinates < p */
1956*03f9172cSAndroid Build Coastguard Worker 	if (os_memcmp(*pos, prime, sae->tmp->prime_len) >= 0 ||
1957*03f9172cSAndroid Build Coastguard Worker 	    os_memcmp(*pos + sae->tmp->prime_len, prime,
1958*03f9172cSAndroid Build Coastguard Worker 		      sae->tmp->prime_len) >= 0) {
1959*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Invalid coordinates in peer "
1960*03f9172cSAndroid Build Coastguard Worker 			   "element");
1961*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1962*03f9172cSAndroid Build Coastguard Worker 	}
1963*03f9172cSAndroid Build Coastguard Worker 
1964*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: Peer commit-element(x)",
1965*03f9172cSAndroid Build Coastguard Worker 		    *pos, sae->tmp->prime_len);
1966*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: Peer commit-element(y)",
1967*03f9172cSAndroid Build Coastguard Worker 		    *pos + sae->tmp->prime_len, sae->tmp->prime_len);
1968*03f9172cSAndroid Build Coastguard Worker 
1969*03f9172cSAndroid Build Coastguard Worker 	crypto_ec_point_deinit(sae->tmp->peer_commit_element_ecc, 0);
1970*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->peer_commit_element_ecc =
1971*03f9172cSAndroid Build Coastguard Worker 		crypto_ec_point_from_bin(sae->tmp->ec, *pos);
1972*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp->peer_commit_element_ecc) {
1973*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Peer element is not a valid point");
1974*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1975*03f9172cSAndroid Build Coastguard Worker 	}
1976*03f9172cSAndroid Build Coastguard Worker 
1977*03f9172cSAndroid Build Coastguard Worker 	if (!crypto_ec_point_is_on_curve(sae->tmp->ec,
1978*03f9172cSAndroid Build Coastguard Worker 					 sae->tmp->peer_commit_element_ecc)) {
1979*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Peer element is not on curve");
1980*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1981*03f9172cSAndroid Build Coastguard Worker 	}
1982*03f9172cSAndroid Build Coastguard Worker 
1983*03f9172cSAndroid Build Coastguard Worker 	*pos += 2 * sae->tmp->prime_len;
1984*03f9172cSAndroid Build Coastguard Worker 
1985*03f9172cSAndroid Build Coastguard Worker 	return WLAN_STATUS_SUCCESS;
1986*03f9172cSAndroid Build Coastguard Worker }
1987*03f9172cSAndroid Build Coastguard Worker 
1988*03f9172cSAndroid Build Coastguard Worker 
sae_parse_commit_element_ffc(struct sae_data * sae,const u8 ** pos,const u8 * end)1989*03f9172cSAndroid Build Coastguard Worker static u16 sae_parse_commit_element_ffc(struct sae_data *sae, const u8 **pos,
1990*03f9172cSAndroid Build Coastguard Worker 					const u8 *end)
1991*03f9172cSAndroid Build Coastguard Worker {
1992*03f9172cSAndroid Build Coastguard Worker 	struct crypto_bignum *res, *one;
1993*03f9172cSAndroid Build Coastguard Worker 	const u8 one_bin[1] = { 0x01 };
1994*03f9172cSAndroid Build Coastguard Worker 
1995*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp->prime_len > end - *pos) {
1996*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Not enough data for "
1997*03f9172cSAndroid Build Coastguard Worker 			   "commit-element");
1998*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
1999*03f9172cSAndroid Build Coastguard Worker 	}
2000*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: Peer commit-element", *pos,
2001*03f9172cSAndroid Build Coastguard Worker 		    sae->tmp->prime_len);
2002*03f9172cSAndroid Build Coastguard Worker 
2003*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(sae->tmp->peer_commit_element_ffc, 0);
2004*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->peer_commit_element_ffc =
2005*03f9172cSAndroid Build Coastguard Worker 		crypto_bignum_init_set(*pos, sae->tmp->prime_len);
2006*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp->peer_commit_element_ffc == NULL)
2007*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2008*03f9172cSAndroid Build Coastguard Worker 	/* 1 < element < p - 1 */
2009*03f9172cSAndroid Build Coastguard Worker 	res = crypto_bignum_init();
2010*03f9172cSAndroid Build Coastguard Worker 	one = crypto_bignum_init_set(one_bin, sizeof(one_bin));
2011*03f9172cSAndroid Build Coastguard Worker 	if (!res || !one ||
2012*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_sub(sae->tmp->prime, one, res) ||
2013*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_is_zero(sae->tmp->peer_commit_element_ffc) ||
2014*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_is_one(sae->tmp->peer_commit_element_ffc) ||
2015*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_cmp(sae->tmp->peer_commit_element_ffc, res) >= 0) {
2016*03f9172cSAndroid Build Coastguard Worker 		crypto_bignum_deinit(res, 0);
2017*03f9172cSAndroid Build Coastguard Worker 		crypto_bignum_deinit(one, 0);
2018*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Invalid peer element");
2019*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2020*03f9172cSAndroid Build Coastguard Worker 	}
2021*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(one, 0);
2022*03f9172cSAndroid Build Coastguard Worker 
2023*03f9172cSAndroid Build Coastguard Worker 	/* scalar-op(r, ELEMENT) = 1 modulo p */
2024*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_exptmod(sae->tmp->peer_commit_element_ffc,
2025*03f9172cSAndroid Build Coastguard Worker 				  sae->tmp->order, sae->tmp->prime, res) < 0 ||
2026*03f9172cSAndroid Build Coastguard Worker 	    !crypto_bignum_is_one(res)) {
2027*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Invalid peer element (scalar-op)");
2028*03f9172cSAndroid Build Coastguard Worker 		crypto_bignum_deinit(res, 0);
2029*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2030*03f9172cSAndroid Build Coastguard Worker 	}
2031*03f9172cSAndroid Build Coastguard Worker 	crypto_bignum_deinit(res, 0);
2032*03f9172cSAndroid Build Coastguard Worker 
2033*03f9172cSAndroid Build Coastguard Worker 	*pos += sae->tmp->prime_len;
2034*03f9172cSAndroid Build Coastguard Worker 
2035*03f9172cSAndroid Build Coastguard Worker 	return WLAN_STATUS_SUCCESS;
2036*03f9172cSAndroid Build Coastguard Worker }
2037*03f9172cSAndroid Build Coastguard Worker 
2038*03f9172cSAndroid Build Coastguard Worker 
sae_parse_commit_element(struct sae_data * sae,const u8 ** pos,const u8 * end)2039*03f9172cSAndroid Build Coastguard Worker static u16 sae_parse_commit_element(struct sae_data *sae, const u8 **pos,
2040*03f9172cSAndroid Build Coastguard Worker 				    const u8 *end)
2041*03f9172cSAndroid Build Coastguard Worker {
2042*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp->dh)
2043*03f9172cSAndroid Build Coastguard Worker 		return sae_parse_commit_element_ffc(sae, pos, end);
2044*03f9172cSAndroid Build Coastguard Worker 	return sae_parse_commit_element_ecc(sae, pos, end);
2045*03f9172cSAndroid Build Coastguard Worker }
2046*03f9172cSAndroid Build Coastguard Worker 
2047*03f9172cSAndroid Build Coastguard Worker 
sae_parse_password_identifier(struct sae_data * sae,const u8 ** pos,const u8 * end)2048*03f9172cSAndroid Build Coastguard Worker static int sae_parse_password_identifier(struct sae_data *sae,
2049*03f9172cSAndroid Build Coastguard Worker 					 const u8 **pos, const u8 *end)
2050*03f9172cSAndroid Build Coastguard Worker {
2051*03f9172cSAndroid Build Coastguard Worker 	const u8 *epos;
2052*03f9172cSAndroid Build Coastguard Worker 	u8 len;
2053*03f9172cSAndroid Build Coastguard Worker 
2054*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: Possible elements at the end of the frame",
2055*03f9172cSAndroid Build Coastguard Worker 		    *pos, end - *pos);
2056*03f9172cSAndroid Build Coastguard Worker 	if (!sae_is_password_id_elem(*pos, end)) {
2057*03f9172cSAndroid Build Coastguard Worker 		if (sae->tmp->pw_id) {
2058*03f9172cSAndroid Build Coastguard Worker 			wpa_printf(MSG_DEBUG,
2059*03f9172cSAndroid Build Coastguard Worker 				   "SAE: No Password Identifier included, but expected one (%s)",
2060*03f9172cSAndroid Build Coastguard Worker 				   sae->tmp->pw_id);
2061*03f9172cSAndroid Build Coastguard Worker 			return WLAN_STATUS_UNKNOWN_PASSWORD_IDENTIFIER;
2062*03f9172cSAndroid Build Coastguard Worker 		}
2063*03f9172cSAndroid Build Coastguard Worker 		os_free(sae->tmp->pw_id);
2064*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->pw_id = NULL;
2065*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_SUCCESS; /* No Password Identifier */
2066*03f9172cSAndroid Build Coastguard Worker 	}
2067*03f9172cSAndroid Build Coastguard Worker 
2068*03f9172cSAndroid Build Coastguard Worker 	epos = *pos;
2069*03f9172cSAndroid Build Coastguard Worker 	epos++; /* skip IE type */
2070*03f9172cSAndroid Build Coastguard Worker 	len = *epos++; /* IE length */
2071*03f9172cSAndroid Build Coastguard Worker 	if (len > end - epos || len < 1)
2072*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2073*03f9172cSAndroid Build Coastguard Worker 	epos++; /* skip ext ID */
2074*03f9172cSAndroid Build Coastguard Worker 	len--;
2075*03f9172cSAndroid Build Coastguard Worker 
2076*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp->pw_id &&
2077*03f9172cSAndroid Build Coastguard Worker 	    (len != os_strlen(sae->tmp->pw_id) ||
2078*03f9172cSAndroid Build Coastguard Worker 	     os_memcmp(sae->tmp->pw_id, epos, len) != 0)) {
2079*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG,
2080*03f9172cSAndroid Build Coastguard Worker 			   "SAE: The included Password Identifier does not match the expected one (%s)",
2081*03f9172cSAndroid Build Coastguard Worker 			   sae->tmp->pw_id);
2082*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNKNOWN_PASSWORD_IDENTIFIER;
2083*03f9172cSAndroid Build Coastguard Worker 	}
2084*03f9172cSAndroid Build Coastguard Worker 
2085*03f9172cSAndroid Build Coastguard Worker 	os_free(sae->tmp->pw_id);
2086*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->pw_id = os_malloc(len + 1);
2087*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp->pw_id)
2088*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2089*03f9172cSAndroid Build Coastguard Worker 	os_memcpy(sae->tmp->pw_id, epos, len);
2090*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->pw_id[len] = '\0';
2091*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_ascii(MSG_DEBUG, "SAE: Received Password Identifier",
2092*03f9172cSAndroid Build Coastguard Worker 			  sae->tmp->pw_id, len);
2093*03f9172cSAndroid Build Coastguard Worker 	*pos = epos + len;
2094*03f9172cSAndroid Build Coastguard Worker 	return WLAN_STATUS_SUCCESS;
2095*03f9172cSAndroid Build Coastguard Worker }
2096*03f9172cSAndroid Build Coastguard Worker 
2097*03f9172cSAndroid Build Coastguard Worker 
sae_parse_rejected_groups(struct sae_data * sae,const u8 ** pos,const u8 * end)2098*03f9172cSAndroid Build Coastguard Worker static int sae_parse_rejected_groups(struct sae_data *sae,
2099*03f9172cSAndroid Build Coastguard Worker 				     const u8 **pos, const u8 *end)
2100*03f9172cSAndroid Build Coastguard Worker {
2101*03f9172cSAndroid Build Coastguard Worker 	const u8 *epos;
2102*03f9172cSAndroid Build Coastguard Worker 	u8 len;
2103*03f9172cSAndroid Build Coastguard Worker 
2104*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: Possible elements at the end of the frame",
2105*03f9172cSAndroid Build Coastguard Worker 		    *pos, end - *pos);
2106*03f9172cSAndroid Build Coastguard Worker 	if (!sae_is_rejected_groups_elem(*pos, end)) {
2107*03f9172cSAndroid Build Coastguard Worker 		wpabuf_free(sae->tmp->peer_rejected_groups);
2108*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->peer_rejected_groups = NULL;
2109*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_SUCCESS;
2110*03f9172cSAndroid Build Coastguard Worker 	}
2111*03f9172cSAndroid Build Coastguard Worker 
2112*03f9172cSAndroid Build Coastguard Worker 	epos = *pos;
2113*03f9172cSAndroid Build Coastguard Worker 	epos++; /* skip IE type */
2114*03f9172cSAndroid Build Coastguard Worker 	len = *epos++; /* IE length */
2115*03f9172cSAndroid Build Coastguard Worker 	if (len > end - epos || len < 1)
2116*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2117*03f9172cSAndroid Build Coastguard Worker 	epos++; /* skip ext ID */
2118*03f9172cSAndroid Build Coastguard Worker 	len--;
2119*03f9172cSAndroid Build Coastguard Worker 	if (len & 1) {
2120*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG,
2121*03f9172cSAndroid Build Coastguard Worker 			   "SAE: Invalid length of the Rejected Groups element payload: %u",
2122*03f9172cSAndroid Build Coastguard Worker 			   len);
2123*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2124*03f9172cSAndroid Build Coastguard Worker 	}
2125*03f9172cSAndroid Build Coastguard Worker 
2126*03f9172cSAndroid Build Coastguard Worker 	wpabuf_free(sae->tmp->peer_rejected_groups);
2127*03f9172cSAndroid Build Coastguard Worker 	sae->tmp->peer_rejected_groups = wpabuf_alloc(len);
2128*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp->peer_rejected_groups)
2129*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2130*03f9172cSAndroid Build Coastguard Worker 	wpabuf_put_data(sae->tmp->peer_rejected_groups, epos, len);
2131*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump_buf(MSG_DEBUG, "SAE: Received Rejected Groups list",
2132*03f9172cSAndroid Build Coastguard Worker 			sae->tmp->peer_rejected_groups);
2133*03f9172cSAndroid Build Coastguard Worker 	*pos = epos + len;
2134*03f9172cSAndroid Build Coastguard Worker 	return WLAN_STATUS_SUCCESS;
2135*03f9172cSAndroid Build Coastguard Worker }
2136*03f9172cSAndroid Build Coastguard Worker 
2137*03f9172cSAndroid Build Coastguard Worker 
sae_parse_akm_suite_selector(struct sae_data * sae,const u8 ** pos,const u8 * end)2138*03f9172cSAndroid Build Coastguard Worker static int sae_parse_akm_suite_selector(struct sae_data *sae,
2139*03f9172cSAndroid Build Coastguard Worker 					const u8 **pos, const u8 *end)
2140*03f9172cSAndroid Build Coastguard Worker {
2141*03f9172cSAndroid Build Coastguard Worker 	const u8 *epos;
2142*03f9172cSAndroid Build Coastguard Worker 	u8 len;
2143*03f9172cSAndroid Build Coastguard Worker 
2144*03f9172cSAndroid Build Coastguard Worker 	wpa_hexdump(MSG_DEBUG, "SAE: Possible elements at the end of the frame",
2145*03f9172cSAndroid Build Coastguard Worker 		    *pos, end - *pos);
2146*03f9172cSAndroid Build Coastguard Worker 	if (!sae_is_akm_suite_selector_elem(*pos, end))
2147*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_SUCCESS;
2148*03f9172cSAndroid Build Coastguard Worker 
2149*03f9172cSAndroid Build Coastguard Worker 	epos = *pos;
2150*03f9172cSAndroid Build Coastguard Worker 	epos++; /* skip IE type */
2151*03f9172cSAndroid Build Coastguard Worker 	len = *epos++; /* IE length */
2152*03f9172cSAndroid Build Coastguard Worker 	if (len > end - epos || len < 1)
2153*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2154*03f9172cSAndroid Build Coastguard Worker 	epos++; /* skip ext ID */
2155*03f9172cSAndroid Build Coastguard Worker 	len--;
2156*03f9172cSAndroid Build Coastguard Worker 
2157*03f9172cSAndroid Build Coastguard Worker 	if (len < RSN_SELECTOR_LEN)
2158*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2159*03f9172cSAndroid Build Coastguard Worker 	sae->peer_akm_suite_selector = RSN_SELECTOR_GET(epos);
2160*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG, "SAE: Received AKM Suite Selector: %08x",
2161*03f9172cSAndroid Build Coastguard Worker 		   sae->peer_akm_suite_selector);
2162*03f9172cSAndroid Build Coastguard Worker 	*pos = epos + len;
2163*03f9172cSAndroid Build Coastguard Worker 	return WLAN_STATUS_SUCCESS;
2164*03f9172cSAndroid Build Coastguard Worker }
2165*03f9172cSAndroid Build Coastguard Worker 
2166*03f9172cSAndroid Build Coastguard Worker 
sae_parse_commit(struct sae_data * sae,const u8 * data,size_t len,const u8 ** token,size_t * token_len,int * allowed_groups,int h2e,int * ie_offset)2167*03f9172cSAndroid Build Coastguard Worker u16 sae_parse_commit(struct sae_data *sae, const u8 *data, size_t len,
2168*03f9172cSAndroid Build Coastguard Worker 		     const u8 **token, size_t *token_len, int *allowed_groups,
2169*03f9172cSAndroid Build Coastguard Worker 		     int h2e, int *ie_offset)
2170*03f9172cSAndroid Build Coastguard Worker {
2171*03f9172cSAndroid Build Coastguard Worker 	const u8 *pos = data, *end = data + len;
2172*03f9172cSAndroid Build Coastguard Worker 	u16 res;
2173*03f9172cSAndroid Build Coastguard Worker 
2174*03f9172cSAndroid Build Coastguard Worker 	/* Check Finite Cyclic Group */
2175*03f9172cSAndroid Build Coastguard Worker 	if (end - pos < 2)
2176*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2177*03f9172cSAndroid Build Coastguard Worker 	res = sae_group_allowed(sae, allowed_groups, WPA_GET_LE16(pos));
2178*03f9172cSAndroid Build Coastguard Worker 	if (res != WLAN_STATUS_SUCCESS)
2179*03f9172cSAndroid Build Coastguard Worker 		return res;
2180*03f9172cSAndroid Build Coastguard Worker 	pos += 2;
2181*03f9172cSAndroid Build Coastguard Worker 
2182*03f9172cSAndroid Build Coastguard Worker 	/* Optional Anti-Clogging Token */
2183*03f9172cSAndroid Build Coastguard Worker 	sae_parse_commit_token(sae, &pos, end, token, token_len, h2e);
2184*03f9172cSAndroid Build Coastguard Worker 
2185*03f9172cSAndroid Build Coastguard Worker 	/* commit-scalar */
2186*03f9172cSAndroid Build Coastguard Worker 	res = sae_parse_commit_scalar(sae, &pos, end);
2187*03f9172cSAndroid Build Coastguard Worker 	if (res != WLAN_STATUS_SUCCESS)
2188*03f9172cSAndroid Build Coastguard Worker 		return res;
2189*03f9172cSAndroid Build Coastguard Worker 
2190*03f9172cSAndroid Build Coastguard Worker 	/* commit-element */
2191*03f9172cSAndroid Build Coastguard Worker 	res = sae_parse_commit_element(sae, &pos, end);
2192*03f9172cSAndroid Build Coastguard Worker 	if (res != WLAN_STATUS_SUCCESS)
2193*03f9172cSAndroid Build Coastguard Worker 		return res;
2194*03f9172cSAndroid Build Coastguard Worker 
2195*03f9172cSAndroid Build Coastguard Worker 	if (ie_offset)
2196*03f9172cSAndroid Build Coastguard Worker 		*ie_offset = pos - data;
2197*03f9172cSAndroid Build Coastguard Worker 
2198*03f9172cSAndroid Build Coastguard Worker 	/* Optional Password Identifier element */
2199*03f9172cSAndroid Build Coastguard Worker 	res = sae_parse_password_identifier(sae, &pos, end);
2200*03f9172cSAndroid Build Coastguard Worker 	if (res != WLAN_STATUS_SUCCESS)
2201*03f9172cSAndroid Build Coastguard Worker 		return res;
2202*03f9172cSAndroid Build Coastguard Worker 
2203*03f9172cSAndroid Build Coastguard Worker 	/* Conditional Rejected Groups element */
2204*03f9172cSAndroid Build Coastguard Worker 	if (h2e) {
2205*03f9172cSAndroid Build Coastguard Worker 		res = sae_parse_rejected_groups(sae, &pos, end);
2206*03f9172cSAndroid Build Coastguard Worker 		if (res != WLAN_STATUS_SUCCESS)
2207*03f9172cSAndroid Build Coastguard Worker 			return res;
2208*03f9172cSAndroid Build Coastguard Worker 	} else {
2209*03f9172cSAndroid Build Coastguard Worker 		wpabuf_free(sae->tmp->peer_rejected_groups);
2210*03f9172cSAndroid Build Coastguard Worker 		sae->tmp->peer_rejected_groups = NULL;
2211*03f9172cSAndroid Build Coastguard Worker 	}
2212*03f9172cSAndroid Build Coastguard Worker 
2213*03f9172cSAndroid Build Coastguard Worker 	/* Optional Anti-Clogging Token Container element */
2214*03f9172cSAndroid Build Coastguard Worker 	if (h2e)
2215*03f9172cSAndroid Build Coastguard Worker 		sae_parse_token_container(sae, pos, end, token, token_len);
2216*03f9172cSAndroid Build Coastguard Worker 
2217*03f9172cSAndroid Build Coastguard Worker 	/* Conditional AKM Suite Selector element */
2218*03f9172cSAndroid Build Coastguard Worker 	if (h2e) {
2219*03f9172cSAndroid Build Coastguard Worker 		res = sae_parse_akm_suite_selector(sae, &pos, end);
2220*03f9172cSAndroid Build Coastguard Worker 		if (res != WLAN_STATUS_SUCCESS)
2221*03f9172cSAndroid Build Coastguard Worker 			return res;
2222*03f9172cSAndroid Build Coastguard Worker 	}
2223*03f9172cSAndroid Build Coastguard Worker 
2224*03f9172cSAndroid Build Coastguard Worker 	if (sae->own_akm_suite_selector &&
2225*03f9172cSAndroid Build Coastguard Worker 	    sae->own_akm_suite_selector != sae->peer_akm_suite_selector) {
2226*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG,
2227*03f9172cSAndroid Build Coastguard Worker 			   "SAE: AKM suite selector mismatch: own=%08x peer=%08x",
2228*03f9172cSAndroid Build Coastguard Worker 			   sae->own_akm_suite_selector,
2229*03f9172cSAndroid Build Coastguard Worker 			   sae->peer_akm_suite_selector);
2230*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_UNSPECIFIED_FAILURE;
2231*03f9172cSAndroid Build Coastguard Worker 	}
2232*03f9172cSAndroid Build Coastguard Worker 
2233*03f9172cSAndroid Build Coastguard Worker 	if (!sae->akmp) {
2234*03f9172cSAndroid Build Coastguard Worker 		if (sae->peer_akm_suite_selector ==
2235*03f9172cSAndroid Build Coastguard Worker 		    RSN_AUTH_KEY_MGMT_SAE_EXT_KEY)
2236*03f9172cSAndroid Build Coastguard Worker 			sae->akmp = WPA_KEY_MGMT_SAE_EXT_KEY;
2237*03f9172cSAndroid Build Coastguard Worker 		else if (sae->peer_akm_suite_selector ==
2238*03f9172cSAndroid Build Coastguard Worker 		    RSN_AUTH_KEY_MGMT_FT_SAE_EXT_KEY)
2239*03f9172cSAndroid Build Coastguard Worker 			sae->akmp = WPA_KEY_MGMT_FT_SAE_EXT_KEY;
2240*03f9172cSAndroid Build Coastguard Worker 	}
2241*03f9172cSAndroid Build Coastguard Worker 
2242*03f9172cSAndroid Build Coastguard Worker 	/*
2243*03f9172cSAndroid Build Coastguard Worker 	 * Check whether peer-commit-scalar and PEER-COMMIT-ELEMENT are same as
2244*03f9172cSAndroid Build Coastguard Worker 	 * the values we sent which would be evidence of a reflection attack.
2245*03f9172cSAndroid Build Coastguard Worker 	 */
2246*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp->own_commit_scalar ||
2247*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_cmp(sae->tmp->own_commit_scalar,
2248*03f9172cSAndroid Build Coastguard Worker 			      sae->peer_commit_scalar) != 0 ||
2249*03f9172cSAndroid Build Coastguard Worker 	    (sae->tmp->dh &&
2250*03f9172cSAndroid Build Coastguard Worker 	     (!sae->tmp->own_commit_element_ffc ||
2251*03f9172cSAndroid Build Coastguard Worker 	      crypto_bignum_cmp(sae->tmp->own_commit_element_ffc,
2252*03f9172cSAndroid Build Coastguard Worker 				sae->tmp->peer_commit_element_ffc) != 0)) ||
2253*03f9172cSAndroid Build Coastguard Worker 	    (sae->tmp->ec &&
2254*03f9172cSAndroid Build Coastguard Worker 	     (!sae->tmp->own_commit_element_ecc ||
2255*03f9172cSAndroid Build Coastguard Worker 	      crypto_ec_point_cmp(sae->tmp->ec,
2256*03f9172cSAndroid Build Coastguard Worker 				  sae->tmp->own_commit_element_ecc,
2257*03f9172cSAndroid Build Coastguard Worker 				  sae->tmp->peer_commit_element_ecc) != 0)))
2258*03f9172cSAndroid Build Coastguard Worker 		return WLAN_STATUS_SUCCESS; /* scalars/elements are different */
2259*03f9172cSAndroid Build Coastguard Worker 
2260*03f9172cSAndroid Build Coastguard Worker 	/*
2261*03f9172cSAndroid Build Coastguard Worker 	 * This is a reflection attack - return special value to trigger caller
2262*03f9172cSAndroid Build Coastguard Worker 	 * to silently discard the frame instead of replying with a specific
2263*03f9172cSAndroid Build Coastguard Worker 	 * status code.
2264*03f9172cSAndroid Build Coastguard Worker 	 */
2265*03f9172cSAndroid Build Coastguard Worker 	return SAE_SILENTLY_DISCARD;
2266*03f9172cSAndroid Build Coastguard Worker }
2267*03f9172cSAndroid Build Coastguard Worker 
2268*03f9172cSAndroid Build Coastguard Worker 
sae_cn_confirm(struct sae_data * sae,const u8 * sc,const struct crypto_bignum * scalar1,const u8 * element1,size_t element1_len,const struct crypto_bignum * scalar2,const u8 * element2,size_t element2_len,u8 * confirm)2269*03f9172cSAndroid Build Coastguard Worker static int sae_cn_confirm(struct sae_data *sae, const u8 *sc,
2270*03f9172cSAndroid Build Coastguard Worker 			  const struct crypto_bignum *scalar1,
2271*03f9172cSAndroid Build Coastguard Worker 			  const u8 *element1, size_t element1_len,
2272*03f9172cSAndroid Build Coastguard Worker 			  const struct crypto_bignum *scalar2,
2273*03f9172cSAndroid Build Coastguard Worker 			  const u8 *element2, size_t element2_len,
2274*03f9172cSAndroid Build Coastguard Worker 			  u8 *confirm)
2275*03f9172cSAndroid Build Coastguard Worker {
2276*03f9172cSAndroid Build Coastguard Worker 	const u8 *addr[5];
2277*03f9172cSAndroid Build Coastguard Worker 	size_t len[5];
2278*03f9172cSAndroid Build Coastguard Worker 	u8 scalar_b1[SAE_MAX_PRIME_LEN], scalar_b2[SAE_MAX_PRIME_LEN];
2279*03f9172cSAndroid Build Coastguard Worker 
2280*03f9172cSAndroid Build Coastguard Worker 	/* Confirm
2281*03f9172cSAndroid Build Coastguard Worker 	 * CN(key, X, Y, Z, ...) =
2282*03f9172cSAndroid Build Coastguard Worker 	 *    HMAC-SHA256(key, D2OS(X) || D2OS(Y) || D2OS(Z) | ...)
2283*03f9172cSAndroid Build Coastguard Worker 	 * confirm = CN(KCK, send-confirm, commit-scalar, COMMIT-ELEMENT,
2284*03f9172cSAndroid Build Coastguard Worker 	 *              peer-commit-scalar, PEER-COMMIT-ELEMENT)
2285*03f9172cSAndroid Build Coastguard Worker 	 * verifier = CN(KCK, peer-send-confirm, peer-commit-scalar,
2286*03f9172cSAndroid Build Coastguard Worker 	 *               PEER-COMMIT-ELEMENT, commit-scalar, COMMIT-ELEMENT)
2287*03f9172cSAndroid Build Coastguard Worker 	 */
2288*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(scalar1, scalar_b1, sizeof(scalar_b1),
2289*03f9172cSAndroid Build Coastguard Worker 				 sae->tmp->prime_len) < 0 ||
2290*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(scalar2, scalar_b2, sizeof(scalar_b2),
2291*03f9172cSAndroid Build Coastguard Worker 				 sae->tmp->prime_len) < 0)
2292*03f9172cSAndroid Build Coastguard Worker 		return -1;
2293*03f9172cSAndroid Build Coastguard Worker 	addr[0] = sc;
2294*03f9172cSAndroid Build Coastguard Worker 	len[0] = 2;
2295*03f9172cSAndroid Build Coastguard Worker 	addr[1] = scalar_b1;
2296*03f9172cSAndroid Build Coastguard Worker 	len[1] = sae->tmp->prime_len;
2297*03f9172cSAndroid Build Coastguard Worker 	addr[2] = element1;
2298*03f9172cSAndroid Build Coastguard Worker 	len[2] = element1_len;
2299*03f9172cSAndroid Build Coastguard Worker 	addr[3] = scalar_b2;
2300*03f9172cSAndroid Build Coastguard Worker 	len[3] = sae->tmp->prime_len;
2301*03f9172cSAndroid Build Coastguard Worker 	addr[4] = element2;
2302*03f9172cSAndroid Build Coastguard Worker 	len[4] = element2_len;
2303*03f9172cSAndroid Build Coastguard Worker 	return hkdf_extract(sae->tmp->kck_len, sae->tmp->kck, sae->tmp->kck_len,
2304*03f9172cSAndroid Build Coastguard Worker 			    5, addr, len, confirm);
2305*03f9172cSAndroid Build Coastguard Worker }
2306*03f9172cSAndroid Build Coastguard Worker 
2307*03f9172cSAndroid Build Coastguard Worker 
sae_cn_confirm_ecc(struct sae_data * sae,const u8 * sc,const struct crypto_bignum * scalar1,const struct crypto_ec_point * element1,const struct crypto_bignum * scalar2,const struct crypto_ec_point * element2,u8 * confirm)2308*03f9172cSAndroid Build Coastguard Worker static int sae_cn_confirm_ecc(struct sae_data *sae, const u8 *sc,
2309*03f9172cSAndroid Build Coastguard Worker 			      const struct crypto_bignum *scalar1,
2310*03f9172cSAndroid Build Coastguard Worker 			      const struct crypto_ec_point *element1,
2311*03f9172cSAndroid Build Coastguard Worker 			      const struct crypto_bignum *scalar2,
2312*03f9172cSAndroid Build Coastguard Worker 			      const struct crypto_ec_point *element2,
2313*03f9172cSAndroid Build Coastguard Worker 			      u8 *confirm)
2314*03f9172cSAndroid Build Coastguard Worker {
2315*03f9172cSAndroid Build Coastguard Worker 	u8 element_b1[2 * SAE_MAX_ECC_PRIME_LEN];
2316*03f9172cSAndroid Build Coastguard Worker 	u8 element_b2[2 * SAE_MAX_ECC_PRIME_LEN];
2317*03f9172cSAndroid Build Coastguard Worker 
2318*03f9172cSAndroid Build Coastguard Worker 	if (crypto_ec_point_to_bin(sae->tmp->ec, element1, element_b1,
2319*03f9172cSAndroid Build Coastguard Worker 				   element_b1 + sae->tmp->prime_len) < 0 ||
2320*03f9172cSAndroid Build Coastguard Worker 	    crypto_ec_point_to_bin(sae->tmp->ec, element2, element_b2,
2321*03f9172cSAndroid Build Coastguard Worker 				   element_b2 + sae->tmp->prime_len) < 0 ||
2322*03f9172cSAndroid Build Coastguard Worker 	    sae_cn_confirm(sae, sc, scalar1, element_b1,
2323*03f9172cSAndroid Build Coastguard Worker 			   2 * sae->tmp->prime_len,
2324*03f9172cSAndroid Build Coastguard Worker 			   scalar2, element_b2, 2 * sae->tmp->prime_len,
2325*03f9172cSAndroid Build Coastguard Worker 			   confirm) < 0)
2326*03f9172cSAndroid Build Coastguard Worker 		return -1;
2327*03f9172cSAndroid Build Coastguard Worker 	return 0;
2328*03f9172cSAndroid Build Coastguard Worker }
2329*03f9172cSAndroid Build Coastguard Worker 
2330*03f9172cSAndroid Build Coastguard Worker 
sae_cn_confirm_ffc(struct sae_data * sae,const u8 * sc,const struct crypto_bignum * scalar1,const struct crypto_bignum * element1,const struct crypto_bignum * scalar2,const struct crypto_bignum * element2,u8 * confirm)2331*03f9172cSAndroid Build Coastguard Worker static int sae_cn_confirm_ffc(struct sae_data *sae, const u8 *sc,
2332*03f9172cSAndroid Build Coastguard Worker 			      const struct crypto_bignum *scalar1,
2333*03f9172cSAndroid Build Coastguard Worker 			      const struct crypto_bignum *element1,
2334*03f9172cSAndroid Build Coastguard Worker 			      const struct crypto_bignum *scalar2,
2335*03f9172cSAndroid Build Coastguard Worker 			      const struct crypto_bignum *element2,
2336*03f9172cSAndroid Build Coastguard Worker 			      u8 *confirm)
2337*03f9172cSAndroid Build Coastguard Worker {
2338*03f9172cSAndroid Build Coastguard Worker 	u8 element_b1[SAE_MAX_PRIME_LEN];
2339*03f9172cSAndroid Build Coastguard Worker 	u8 element_b2[SAE_MAX_PRIME_LEN];
2340*03f9172cSAndroid Build Coastguard Worker 
2341*03f9172cSAndroid Build Coastguard Worker 	if (crypto_bignum_to_bin(element1, element_b1, sizeof(element_b1),
2342*03f9172cSAndroid Build Coastguard Worker 				 sae->tmp->prime_len) < 0 ||
2343*03f9172cSAndroid Build Coastguard Worker 	    crypto_bignum_to_bin(element2, element_b2, sizeof(element_b2),
2344*03f9172cSAndroid Build Coastguard Worker 				 sae->tmp->prime_len) < 0 ||
2345*03f9172cSAndroid Build Coastguard Worker 	    sae_cn_confirm(sae, sc, scalar1, element_b1, sae->tmp->prime_len,
2346*03f9172cSAndroid Build Coastguard Worker 			   scalar2, element_b2, sae->tmp->prime_len,
2347*03f9172cSAndroid Build Coastguard Worker 			   confirm) < 0)
2348*03f9172cSAndroid Build Coastguard Worker 		return -1;
2349*03f9172cSAndroid Build Coastguard Worker 	return 0;
2350*03f9172cSAndroid Build Coastguard Worker }
2351*03f9172cSAndroid Build Coastguard Worker 
2352*03f9172cSAndroid Build Coastguard Worker 
sae_write_confirm(struct sae_data * sae,struct wpabuf * buf)2353*03f9172cSAndroid Build Coastguard Worker int sae_write_confirm(struct sae_data *sae, struct wpabuf *buf)
2354*03f9172cSAndroid Build Coastguard Worker {
2355*03f9172cSAndroid Build Coastguard Worker 	const u8 *sc;
2356*03f9172cSAndroid Build Coastguard Worker 	size_t hash_len;
2357*03f9172cSAndroid Build Coastguard Worker 	int res;
2358*03f9172cSAndroid Build Coastguard Worker 
2359*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp == NULL)
2360*03f9172cSAndroid Build Coastguard Worker 		return -1;
2361*03f9172cSAndroid Build Coastguard Worker 
2362*03f9172cSAndroid Build Coastguard Worker 	hash_len = sae->tmp->kck_len;
2363*03f9172cSAndroid Build Coastguard Worker 
2364*03f9172cSAndroid Build Coastguard Worker 	/* Send-Confirm */
2365*03f9172cSAndroid Build Coastguard Worker 	if (sae->send_confirm < 0xffff)
2366*03f9172cSAndroid Build Coastguard Worker 		sae->send_confirm++;
2367*03f9172cSAndroid Build Coastguard Worker 	sc = wpabuf_put(buf, 0);
2368*03f9172cSAndroid Build Coastguard Worker 	wpabuf_put_le16(buf, sae->send_confirm);
2369*03f9172cSAndroid Build Coastguard Worker 
2370*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp->ec)
2371*03f9172cSAndroid Build Coastguard Worker 		res = sae_cn_confirm_ecc(sae, sc, sae->tmp->own_commit_scalar,
2372*03f9172cSAndroid Build Coastguard Worker 					 sae->tmp->own_commit_element_ecc,
2373*03f9172cSAndroid Build Coastguard Worker 					 sae->peer_commit_scalar,
2374*03f9172cSAndroid Build Coastguard Worker 					 sae->tmp->peer_commit_element_ecc,
2375*03f9172cSAndroid Build Coastguard Worker 					 wpabuf_put(buf, hash_len));
2376*03f9172cSAndroid Build Coastguard Worker 	else
2377*03f9172cSAndroid Build Coastguard Worker 		res = sae_cn_confirm_ffc(sae, sc, sae->tmp->own_commit_scalar,
2378*03f9172cSAndroid Build Coastguard Worker 					 sae->tmp->own_commit_element_ffc,
2379*03f9172cSAndroid Build Coastguard Worker 					 sae->peer_commit_scalar,
2380*03f9172cSAndroid Build Coastguard Worker 					 sae->tmp->peer_commit_element_ffc,
2381*03f9172cSAndroid Build Coastguard Worker 					 wpabuf_put(buf, hash_len));
2382*03f9172cSAndroid Build Coastguard Worker 	if (res)
2383*03f9172cSAndroid Build Coastguard Worker 		return res;
2384*03f9172cSAndroid Build Coastguard Worker 
2385*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SAE_PK
2386*03f9172cSAndroid Build Coastguard Worker 	if (sae_write_confirm_pk(sae, buf) < 0)
2387*03f9172cSAndroid Build Coastguard Worker 		return -1;
2388*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SAE_PK */
2389*03f9172cSAndroid Build Coastguard Worker 
2390*03f9172cSAndroid Build Coastguard Worker 	return 0;
2391*03f9172cSAndroid Build Coastguard Worker }
2392*03f9172cSAndroid Build Coastguard Worker 
2393*03f9172cSAndroid Build Coastguard Worker 
sae_check_confirm(struct sae_data * sae,const u8 * data,size_t len,int * ie_offset)2394*03f9172cSAndroid Build Coastguard Worker int sae_check_confirm(struct sae_data *sae, const u8 *data, size_t len,
2395*03f9172cSAndroid Build Coastguard Worker 		      int *ie_offset)
2396*03f9172cSAndroid Build Coastguard Worker {
2397*03f9172cSAndroid Build Coastguard Worker 	u8 verifier[SAE_MAX_HASH_LEN];
2398*03f9172cSAndroid Build Coastguard Worker 	size_t hash_len;
2399*03f9172cSAndroid Build Coastguard Worker 
2400*03f9172cSAndroid Build Coastguard Worker 	if (!sae->tmp)
2401*03f9172cSAndroid Build Coastguard Worker 		return -1;
2402*03f9172cSAndroid Build Coastguard Worker 
2403*03f9172cSAndroid Build Coastguard Worker 	hash_len = sae->tmp->kck_len;
2404*03f9172cSAndroid Build Coastguard Worker 	if (len < 2 + hash_len) {
2405*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Too short confirm message");
2406*03f9172cSAndroid Build Coastguard Worker 		return -1;
2407*03f9172cSAndroid Build Coastguard Worker 	}
2408*03f9172cSAndroid Build Coastguard Worker 
2409*03f9172cSAndroid Build Coastguard Worker 	wpa_printf(MSG_DEBUG, "SAE: peer-send-confirm %u", WPA_GET_LE16(data));
2410*03f9172cSAndroid Build Coastguard Worker 
2411*03f9172cSAndroid Build Coastguard Worker 	if (!sae->peer_commit_scalar || !sae->tmp->own_commit_scalar) {
2412*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Temporary data not yet available");
2413*03f9172cSAndroid Build Coastguard Worker 		return -1;
2414*03f9172cSAndroid Build Coastguard Worker 	}
2415*03f9172cSAndroid Build Coastguard Worker 
2416*03f9172cSAndroid Build Coastguard Worker 	if (sae->tmp->ec) {
2417*03f9172cSAndroid Build Coastguard Worker 		if (!sae->tmp->peer_commit_element_ecc ||
2418*03f9172cSAndroid Build Coastguard Worker 		    !sae->tmp->own_commit_element_ecc ||
2419*03f9172cSAndroid Build Coastguard Worker 		    sae_cn_confirm_ecc(sae, data, sae->peer_commit_scalar,
2420*03f9172cSAndroid Build Coastguard Worker 				       sae->tmp->peer_commit_element_ecc,
2421*03f9172cSAndroid Build Coastguard Worker 				       sae->tmp->own_commit_scalar,
2422*03f9172cSAndroid Build Coastguard Worker 				       sae->tmp->own_commit_element_ecc,
2423*03f9172cSAndroid Build Coastguard Worker 				       verifier) < 0)
2424*03f9172cSAndroid Build Coastguard Worker 			return -1;
2425*03f9172cSAndroid Build Coastguard Worker 	} else {
2426*03f9172cSAndroid Build Coastguard Worker 		if (!sae->tmp->peer_commit_element_ffc ||
2427*03f9172cSAndroid Build Coastguard Worker 		    !sae->tmp->own_commit_element_ffc ||
2428*03f9172cSAndroid Build Coastguard Worker 		    sae_cn_confirm_ffc(sae, data, sae->peer_commit_scalar,
2429*03f9172cSAndroid Build Coastguard Worker 				       sae->tmp->peer_commit_element_ffc,
2430*03f9172cSAndroid Build Coastguard Worker 				       sae->tmp->own_commit_scalar,
2431*03f9172cSAndroid Build Coastguard Worker 				       sae->tmp->own_commit_element_ffc,
2432*03f9172cSAndroid Build Coastguard Worker 				       verifier) < 0)
2433*03f9172cSAndroid Build Coastguard Worker 			return -1;
2434*03f9172cSAndroid Build Coastguard Worker 	}
2435*03f9172cSAndroid Build Coastguard Worker 
2436*03f9172cSAndroid Build Coastguard Worker 	if (os_memcmp_const(verifier, data + 2, hash_len) != 0) {
2437*03f9172cSAndroid Build Coastguard Worker 		wpa_printf(MSG_DEBUG, "SAE: Confirm mismatch");
2438*03f9172cSAndroid Build Coastguard Worker 		wpa_hexdump(MSG_DEBUG, "SAE: Received confirm",
2439*03f9172cSAndroid Build Coastguard Worker 			    data + 2, hash_len);
2440*03f9172cSAndroid Build Coastguard Worker 		wpa_hexdump(MSG_DEBUG, "SAE: Calculated verifier",
2441*03f9172cSAndroid Build Coastguard Worker 			    verifier, hash_len);
2442*03f9172cSAndroid Build Coastguard Worker 		return -1;
2443*03f9172cSAndroid Build Coastguard Worker 	}
2444*03f9172cSAndroid Build Coastguard Worker 
2445*03f9172cSAndroid Build Coastguard Worker #ifdef CONFIG_SAE_PK
2446*03f9172cSAndroid Build Coastguard Worker 	if (sae_check_confirm_pk(sae, data + 2 + hash_len,
2447*03f9172cSAndroid Build Coastguard Worker 				 len - 2 - hash_len) < 0)
2448*03f9172cSAndroid Build Coastguard Worker 		return -1;
2449*03f9172cSAndroid Build Coastguard Worker #endif /* CONFIG_SAE_PK */
2450*03f9172cSAndroid Build Coastguard Worker 
2451*03f9172cSAndroid Build Coastguard Worker 	/* 2 bytes are for send-confirm, then the hash, followed by IEs */
2452*03f9172cSAndroid Build Coastguard Worker 	if (ie_offset)
2453*03f9172cSAndroid Build Coastguard Worker 		*ie_offset = 2 + hash_len;
2454*03f9172cSAndroid Build Coastguard Worker 
2455*03f9172cSAndroid Build Coastguard Worker 	return 0;
2456*03f9172cSAndroid Build Coastguard Worker }
2457*03f9172cSAndroid Build Coastguard Worker 
2458*03f9172cSAndroid Build Coastguard Worker 
sae_state_txt(enum sae_state state)2459*03f9172cSAndroid Build Coastguard Worker const char * sae_state_txt(enum sae_state state)
2460*03f9172cSAndroid Build Coastguard Worker {
2461*03f9172cSAndroid Build Coastguard Worker 	switch (state) {
2462*03f9172cSAndroid Build Coastguard Worker 	case SAE_NOTHING:
2463*03f9172cSAndroid Build Coastguard Worker 		return "Nothing";
2464*03f9172cSAndroid Build Coastguard Worker 	case SAE_COMMITTED:
2465*03f9172cSAndroid Build Coastguard Worker 		return "Committed";
2466*03f9172cSAndroid Build Coastguard Worker 	case SAE_CONFIRMED:
2467*03f9172cSAndroid Build Coastguard Worker 		return "Confirmed";
2468*03f9172cSAndroid Build Coastguard Worker 	case SAE_ACCEPTED:
2469*03f9172cSAndroid Build Coastguard Worker 		return "Accepted";
2470*03f9172cSAndroid Build Coastguard Worker 	}
2471*03f9172cSAndroid Build Coastguard Worker 	return "?";
2472*03f9172cSAndroid Build Coastguard Worker }
2473