1*6fe5ec74Stb /* $OpenBSD: ssl_kex.c,v 1.12 2023/07/28 16:02:34 tb Exp $ */
269428dcaSjsing /*
340050a94Sjsing * Copyright (c) 2020, 2021 Joel Sing <jsing@openbsd.org>
469428dcaSjsing *
569428dcaSjsing * Permission to use, copy, modify, and distribute this software for any
669428dcaSjsing * purpose with or without fee is hereby granted, provided that the above
769428dcaSjsing * copyright notice and this permission notice appear in all copies.
869428dcaSjsing *
969428dcaSjsing * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
1069428dcaSjsing * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
1169428dcaSjsing * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
1269428dcaSjsing * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
1369428dcaSjsing * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
1469428dcaSjsing * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
1569428dcaSjsing * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
1669428dcaSjsing */
1769428dcaSjsing
1869428dcaSjsing #include <stdlib.h>
1969428dcaSjsing
2040050a94Sjsing #include <openssl/bn.h>
2176bb7203Sjsing #include <openssl/dh.h>
2269428dcaSjsing #include <openssl/ec.h>
23501dd9a5Sjsing #include <openssl/evp.h>
24501dd9a5Sjsing #include <openssl/objects.h>
2569428dcaSjsing
2669428dcaSjsing #include "bytestring.h"
2769428dcaSjsing
28dfc82f2aSjsing #define DHE_MINIMUM_BITS 1024
29dfc82f2aSjsing
3069428dcaSjsing int
ssl_kex_generate_dhe(DH * dh,DH * dh_params)3176bb7203Sjsing ssl_kex_generate_dhe(DH *dh, DH *dh_params)
3276bb7203Sjsing {
33f70fe689Stb BIGNUM *p = NULL, *g = NULL;
34f70fe689Stb int ret = 0;
3576bb7203Sjsing
36426f2c04Stb if ((p = BN_dup(DH_get0_p(dh_params))) == NULL)
37f70fe689Stb goto err;
38426f2c04Stb if ((g = BN_dup(DH_get0_g(dh_params))) == NULL)
39f70fe689Stb goto err;
40f70fe689Stb
41f70fe689Stb if (!DH_set0_pqg(dh, p, NULL, g))
42f70fe689Stb goto err;
4340050a94Sjsing p = NULL;
4440050a94Sjsing g = NULL;
45f70fe689Stb
4640050a94Sjsing if (!DH_generate_key(dh))
4740050a94Sjsing goto err;
4840050a94Sjsing
4940050a94Sjsing ret = 1;
5040050a94Sjsing
5140050a94Sjsing err:
5240050a94Sjsing BN_free(p);
5340050a94Sjsing BN_free(g);
5440050a94Sjsing
5540050a94Sjsing return ret;
5640050a94Sjsing }
5740050a94Sjsing
5840050a94Sjsing int
ssl_kex_generate_dhe_params_auto(DH * dh,size_t key_bits)5940050a94Sjsing ssl_kex_generate_dhe_params_auto(DH *dh, size_t key_bits)
6040050a94Sjsing {
6140050a94Sjsing BIGNUM *p = NULL, *g = NULL;
6240050a94Sjsing int ret = 0;
6340050a94Sjsing
6440050a94Sjsing if (key_bits >= 8192)
65f0c3296bStb p = BN_get_rfc3526_prime_8192(NULL);
6640050a94Sjsing else if (key_bits >= 4096)
67f0c3296bStb p = BN_get_rfc3526_prime_4096(NULL);
6840050a94Sjsing else if (key_bits >= 3072)
69f0c3296bStb p = BN_get_rfc3526_prime_3072(NULL);
7040050a94Sjsing else if (key_bits >= 2048)
71f0c3296bStb p = BN_get_rfc3526_prime_2048(NULL);
7240050a94Sjsing else if (key_bits >= 1536)
73f0c3296bStb p = BN_get_rfc3526_prime_1536(NULL);
7440050a94Sjsing else
75f0c3296bStb p = BN_get_rfc2409_prime_1024(NULL);
7640050a94Sjsing
7740050a94Sjsing if (p == NULL)
7840050a94Sjsing goto err;
7940050a94Sjsing
8040050a94Sjsing if ((g = BN_new()) == NULL)
8140050a94Sjsing goto err;
8240050a94Sjsing if (!BN_set_word(g, 2))
8340050a94Sjsing goto err;
8440050a94Sjsing
8540050a94Sjsing if (!DH_set0_pqg(dh, p, NULL, g))
8640050a94Sjsing goto err;
87f70fe689Stb p = NULL;
88f70fe689Stb g = NULL;
8976bb7203Sjsing
9076bb7203Sjsing if (!DH_generate_key(dh))
91f70fe689Stb goto err;
9276bb7203Sjsing
93f70fe689Stb ret = 1;
94f70fe689Stb
95f70fe689Stb err:
96f70fe689Stb BN_free(p);
97f70fe689Stb BN_free(g);
98f70fe689Stb
99f70fe689Stb return ret;
10076bb7203Sjsing }
10176bb7203Sjsing
10276bb7203Sjsing int
ssl_kex_params_dhe(DH * dh,CBB * cbb)10376bb7203Sjsing ssl_kex_params_dhe(DH *dh, CBB *cbb)
10476bb7203Sjsing {
10576bb7203Sjsing int dh_p_len, dh_g_len;
10676bb7203Sjsing CBB dh_p, dh_g;
10776bb7203Sjsing uint8_t *data;
10876bb7203Sjsing
109426f2c04Stb if ((dh_p_len = BN_num_bytes(DH_get0_p(dh))) <= 0)
11076bb7203Sjsing return 0;
111426f2c04Stb if ((dh_g_len = BN_num_bytes(DH_get0_g(dh))) <= 0)
11276bb7203Sjsing return 0;
11376bb7203Sjsing
11476bb7203Sjsing if (!CBB_add_u16_length_prefixed(cbb, &dh_p))
11576bb7203Sjsing return 0;
11676bb7203Sjsing if (!CBB_add_space(&dh_p, &data, dh_p_len))
11776bb7203Sjsing return 0;
118426f2c04Stb if (BN_bn2bin(DH_get0_p(dh), data) != dh_p_len)
11976bb7203Sjsing return 0;
12076bb7203Sjsing
12176bb7203Sjsing if (!CBB_add_u16_length_prefixed(cbb, &dh_g))
12276bb7203Sjsing return 0;
12376bb7203Sjsing if (!CBB_add_space(&dh_g, &data, dh_g_len))
12476bb7203Sjsing return 0;
125426f2c04Stb if (BN_bn2bin(DH_get0_g(dh), data) != dh_g_len)
12676bb7203Sjsing return 0;
12776bb7203Sjsing
12876bb7203Sjsing if (!CBB_flush(cbb))
12976bb7203Sjsing return 0;
13076bb7203Sjsing
13176bb7203Sjsing return 1;
13276bb7203Sjsing }
13376bb7203Sjsing
13476bb7203Sjsing int
ssl_kex_public_dhe(DH * dh,CBB * cbb)13576bb7203Sjsing ssl_kex_public_dhe(DH *dh, CBB *cbb)
13676bb7203Sjsing {
13776bb7203Sjsing uint8_t *data;
13876bb7203Sjsing int dh_y_len;
13976bb7203Sjsing CBB dh_y;
14076bb7203Sjsing
141426f2c04Stb if ((dh_y_len = BN_num_bytes(DH_get0_pub_key(dh))) <= 0)
14276bb7203Sjsing return 0;
14376bb7203Sjsing
14476bb7203Sjsing if (!CBB_add_u16_length_prefixed(cbb, &dh_y))
14576bb7203Sjsing return 0;
14676bb7203Sjsing if (!CBB_add_space(&dh_y, &data, dh_y_len))
14776bb7203Sjsing return 0;
148426f2c04Stb if (BN_bn2bin(DH_get0_pub_key(dh), data) != dh_y_len)
14976bb7203Sjsing return 0;
15076bb7203Sjsing
15176bb7203Sjsing if (!CBB_flush(cbb))
15276bb7203Sjsing return 0;
15376bb7203Sjsing
15476bb7203Sjsing return 1;
15576bb7203Sjsing }
15676bb7203Sjsing
15776bb7203Sjsing int
ssl_kex_peer_params_dhe(DH * dh,CBS * cbs,int * decode_error,int * invalid_params)1587dd422f8Sjsing ssl_kex_peer_params_dhe(DH *dh, CBS *cbs, int *decode_error,
1597dd422f8Sjsing int *invalid_params)
16076bb7203Sjsing {
161f70fe689Stb BIGNUM *p = NULL, *g = NULL;
162dfc82f2aSjsing CBS dh_p, dh_g;
163f70fe689Stb int ret = 0;
16476bb7203Sjsing
1657dd422f8Sjsing *decode_error = 0;
166dfc82f2aSjsing *invalid_params = 0;
167dfc82f2aSjsing
1687dd422f8Sjsing if (!CBS_get_u16_length_prefixed(cbs, &dh_p)) {
1697dd422f8Sjsing *decode_error = 1;
170f70fe689Stb goto err;
1717dd422f8Sjsing }
1727dd422f8Sjsing if (!CBS_get_u16_length_prefixed(cbs, &dh_g)) {
1737dd422f8Sjsing *decode_error = 1;
174f70fe689Stb goto err;
1757dd422f8Sjsing }
17676bb7203Sjsing
177f70fe689Stb if ((p = BN_bin2bn(CBS_data(&dh_p), CBS_len(&dh_p), NULL)) == NULL)
178f70fe689Stb goto err;
179f70fe689Stb if ((g = BN_bin2bn(CBS_data(&dh_g), CBS_len(&dh_g), NULL)) == NULL)
180f70fe689Stb goto err;
18176bb7203Sjsing
182f70fe689Stb if (!DH_set0_pqg(dh, p, NULL, g))
183f70fe689Stb goto err;
184f70fe689Stb p = NULL;
185f70fe689Stb g = NULL;
186f70fe689Stb
187dfc82f2aSjsing /* XXX - consider calling DH_check(). */
188dfc82f2aSjsing
189dfc82f2aSjsing if (DH_bits(dh) < DHE_MINIMUM_BITS)
190dfc82f2aSjsing *invalid_params = 1;
191dfc82f2aSjsing
192f70fe689Stb ret = 1;
193f70fe689Stb
194f70fe689Stb err:
195f70fe689Stb BN_free(p);
196f70fe689Stb BN_free(g);
197f70fe689Stb
198f70fe689Stb return ret;
19976bb7203Sjsing }
20076bb7203Sjsing
20176bb7203Sjsing int
ssl_kex_peer_public_dhe(DH * dh,CBS * cbs,int * decode_error,int * invalid_key)2027dd422f8Sjsing ssl_kex_peer_public_dhe(DH *dh, CBS *cbs, int *decode_error,
2037dd422f8Sjsing int *invalid_key)
20476bb7203Sjsing {
205f70fe689Stb BIGNUM *pub_key = NULL;
2062caab47bSjsing int check_flags;
2072caab47bSjsing CBS dh_y;
208f70fe689Stb int ret = 0;
20976bb7203Sjsing
2107dd422f8Sjsing *decode_error = 0;
2112caab47bSjsing *invalid_key = 0;
2122caab47bSjsing
2137dd422f8Sjsing if (!CBS_get_u16_length_prefixed(cbs, &dh_y)) {
2147dd422f8Sjsing *decode_error = 1;
215f70fe689Stb goto err;
2167dd422f8Sjsing }
2172caab47bSjsing
218f70fe689Stb if ((pub_key = BN_bin2bn(CBS_data(&dh_y), CBS_len(&dh_y),
21976bb7203Sjsing NULL)) == NULL)
220f70fe689Stb goto err;
22176bb7203Sjsing
222f70fe689Stb if (!DH_set0_key(dh, pub_key, NULL))
223f70fe689Stb goto err;
224f70fe689Stb pub_key = NULL;
225f70fe689Stb
226426f2c04Stb if (!DH_check_pub_key(dh, DH_get0_pub_key(dh), &check_flags))
2272caab47bSjsing goto err;
2282caab47bSjsing if (check_flags != 0)
2292caab47bSjsing *invalid_key = 1;
2302caab47bSjsing
231f70fe689Stb ret = 1;
232f70fe689Stb
233f70fe689Stb err:
234f70fe689Stb BN_free(pub_key);
235f70fe689Stb
236f70fe689Stb return ret;
23776bb7203Sjsing }
23876bb7203Sjsing
23976bb7203Sjsing int
ssl_kex_derive_dhe(DH * dh,DH * dh_peer,uint8_t ** shared_key,size_t * shared_key_len)24076bb7203Sjsing ssl_kex_derive_dhe(DH *dh, DH *dh_peer,
24176bb7203Sjsing uint8_t **shared_key, size_t *shared_key_len)
24276bb7203Sjsing {
24376bb7203Sjsing uint8_t *key = NULL;
24476bb7203Sjsing int key_len = 0;
24576bb7203Sjsing int ret = 0;
24676bb7203Sjsing
24776bb7203Sjsing if ((key_len = DH_size(dh)) <= 0)
24876bb7203Sjsing goto err;
24976bb7203Sjsing if ((key = calloc(1, key_len)) == NULL)
25076bb7203Sjsing goto err;
25176bb7203Sjsing
252426f2c04Stb if ((key_len = DH_compute_key(key, DH_get0_pub_key(dh_peer), dh)) <= 0)
25376bb7203Sjsing goto err;
25476bb7203Sjsing
25576bb7203Sjsing *shared_key = key;
25676bb7203Sjsing *shared_key_len = key_len;
25776bb7203Sjsing key = NULL;
25876bb7203Sjsing
25976bb7203Sjsing ret = 1;
26076bb7203Sjsing
26176bb7203Sjsing err:
26276bb7203Sjsing freezero(key, key_len);
26376bb7203Sjsing
26476bb7203Sjsing return ret;
26576bb7203Sjsing }
26676bb7203Sjsing
26776bb7203Sjsing int
ssl_kex_dummy_ecdhe_x25519(EVP_PKEY * pkey)268501dd9a5Sjsing ssl_kex_dummy_ecdhe_x25519(EVP_PKEY *pkey)
269501dd9a5Sjsing {
270501dd9a5Sjsing EC_GROUP *group = NULL;
271501dd9a5Sjsing EC_POINT *point = NULL;
272501dd9a5Sjsing EC_KEY *ec_key = NULL;
273501dd9a5Sjsing BIGNUM *order = NULL;
274501dd9a5Sjsing int ret = 0;
275501dd9a5Sjsing
276501dd9a5Sjsing /* Fudge up an EC_KEY that looks like X25519... */
277501dd9a5Sjsing if ((group = EC_GROUP_new_by_curve_name(NID_X9_62_prime256v1)) == NULL)
278501dd9a5Sjsing goto err;
279501dd9a5Sjsing if ((point = EC_POINT_new(group)) == NULL)
280501dd9a5Sjsing goto err;
281501dd9a5Sjsing if ((order = BN_new()) == NULL)
282501dd9a5Sjsing goto err;
283501dd9a5Sjsing if (!BN_set_bit(order, 252))
284501dd9a5Sjsing goto err;
285501dd9a5Sjsing if (!EC_GROUP_set_generator(group, point, order, NULL))
286501dd9a5Sjsing goto err;
287501dd9a5Sjsing EC_GROUP_set_curve_name(group, NID_X25519);
288501dd9a5Sjsing if ((ec_key = EC_KEY_new()) == NULL)
289501dd9a5Sjsing goto err;
290501dd9a5Sjsing if (!EC_KEY_set_group(ec_key, group))
291501dd9a5Sjsing goto err;
292501dd9a5Sjsing if (!EVP_PKEY_set1_EC_KEY(pkey, ec_key))
293501dd9a5Sjsing goto err;
294501dd9a5Sjsing
295501dd9a5Sjsing ret = 1;
296501dd9a5Sjsing
297501dd9a5Sjsing err:
298501dd9a5Sjsing EC_GROUP_free(group);
299501dd9a5Sjsing EC_POINT_free(point);
300501dd9a5Sjsing EC_KEY_free(ec_key);
301501dd9a5Sjsing BN_free(order);
302501dd9a5Sjsing
303501dd9a5Sjsing return ret;
304501dd9a5Sjsing }
305501dd9a5Sjsing
306501dd9a5Sjsing int
ssl_kex_generate_ecdhe_ecp(EC_KEY * ecdh,int nid)30769428dcaSjsing ssl_kex_generate_ecdhe_ecp(EC_KEY *ecdh, int nid)
30869428dcaSjsing {
30969428dcaSjsing EC_GROUP *group;
31069428dcaSjsing int ret = 0;
31169428dcaSjsing
31269428dcaSjsing if ((group = EC_GROUP_new_by_curve_name(nid)) == NULL)
31369428dcaSjsing goto err;
31469428dcaSjsing
31569428dcaSjsing if (!EC_KEY_set_group(ecdh, group))
31669428dcaSjsing goto err;
31769428dcaSjsing if (!EC_KEY_generate_key(ecdh))
31869428dcaSjsing goto err;
31969428dcaSjsing
32069428dcaSjsing ret = 1;
32169428dcaSjsing
32269428dcaSjsing err:
32369428dcaSjsing EC_GROUP_free(group);
32469428dcaSjsing
32569428dcaSjsing return ret;
32669428dcaSjsing }
32769428dcaSjsing
32869428dcaSjsing int
ssl_kex_public_ecdhe_ecp(EC_KEY * ecdh,CBB * cbb)32969428dcaSjsing ssl_kex_public_ecdhe_ecp(EC_KEY *ecdh, CBB *cbb)
33069428dcaSjsing {
33169428dcaSjsing const EC_GROUP *group;
33269428dcaSjsing const EC_POINT *point;
33369428dcaSjsing uint8_t *ecp;
33469428dcaSjsing size_t ecp_len;
33569428dcaSjsing int ret = 0;
33669428dcaSjsing
33769428dcaSjsing if ((group = EC_KEY_get0_group(ecdh)) == NULL)
33869428dcaSjsing goto err;
33969428dcaSjsing if ((point = EC_KEY_get0_public_key(ecdh)) == NULL)
34069428dcaSjsing goto err;
34169428dcaSjsing
34269428dcaSjsing if ((ecp_len = EC_POINT_point2oct(group, point,
34369428dcaSjsing POINT_CONVERSION_UNCOMPRESSED, NULL, 0, NULL)) == 0)
34469428dcaSjsing goto err;
34569428dcaSjsing if (!CBB_add_space(cbb, &ecp, ecp_len))
34669428dcaSjsing goto err;
34769428dcaSjsing if ((EC_POINT_point2oct(group, point, POINT_CONVERSION_UNCOMPRESSED,
34869428dcaSjsing ecp, ecp_len, NULL)) == 0)
34969428dcaSjsing goto err;
35069428dcaSjsing
35169428dcaSjsing ret = 1;
35269428dcaSjsing
35369428dcaSjsing err:
35469428dcaSjsing return ret;
35569428dcaSjsing }
35669428dcaSjsing
35769428dcaSjsing int
ssl_kex_peer_public_ecdhe_ecp(EC_KEY * ecdh,int nid,CBS * cbs)35869428dcaSjsing ssl_kex_peer_public_ecdhe_ecp(EC_KEY *ecdh, int nid, CBS *cbs)
35969428dcaSjsing {
36069428dcaSjsing EC_GROUP *group = NULL;
36169428dcaSjsing EC_POINT *point = NULL;
36269428dcaSjsing int ret = 0;
36369428dcaSjsing
36469428dcaSjsing if ((group = EC_GROUP_new_by_curve_name(nid)) == NULL)
36569428dcaSjsing goto err;
36669428dcaSjsing
36769428dcaSjsing if (!EC_KEY_set_group(ecdh, group))
36869428dcaSjsing goto err;
36969428dcaSjsing
37069428dcaSjsing if ((point = EC_POINT_new(group)) == NULL)
37169428dcaSjsing goto err;
37269428dcaSjsing if (EC_POINT_oct2point(group, point, CBS_data(cbs), CBS_len(cbs),
37369428dcaSjsing NULL) == 0)
37469428dcaSjsing goto err;
37569428dcaSjsing if (!EC_KEY_set_public_key(ecdh, point))
37669428dcaSjsing goto err;
37769428dcaSjsing
37869428dcaSjsing ret = 1;
37969428dcaSjsing
38069428dcaSjsing err:
38169428dcaSjsing EC_GROUP_free(group);
38269428dcaSjsing EC_POINT_free(point);
38369428dcaSjsing
38469428dcaSjsing return ret;
38569428dcaSjsing }
38669428dcaSjsing
38769428dcaSjsing int
ssl_kex_derive_ecdhe_ecp(EC_KEY * ecdh,EC_KEY * ecdh_peer,uint8_t ** shared_key,size_t * shared_key_len)38869428dcaSjsing ssl_kex_derive_ecdhe_ecp(EC_KEY *ecdh, EC_KEY *ecdh_peer,
38969428dcaSjsing uint8_t **shared_key, size_t *shared_key_len)
39069428dcaSjsing {
39169428dcaSjsing const EC_POINT *point;
3929fc62e91Stb uint8_t *key = NULL;
3939fc62e91Stb int key_len = 0;
39469428dcaSjsing int ret = 0;
39569428dcaSjsing
39669428dcaSjsing if (!EC_GROUP_check(EC_KEY_get0_group(ecdh), NULL))
39769428dcaSjsing goto err;
39869428dcaSjsing if (!EC_GROUP_check(EC_KEY_get0_group(ecdh_peer), NULL))
39969428dcaSjsing goto err;
40069428dcaSjsing
40169428dcaSjsing if ((point = EC_KEY_get0_public_key(ecdh_peer)) == NULL)
40269428dcaSjsing goto err;
40369428dcaSjsing
4049fc62e91Stb if ((key_len = ECDH_size(ecdh)) <= 0)
40569428dcaSjsing goto err;
4069fc62e91Stb if ((key = calloc(1, key_len)) == NULL)
40769428dcaSjsing goto err;
40869428dcaSjsing
4099fc62e91Stb if (ECDH_compute_key(key, key_len, point, ecdh, NULL) <= 0)
41069428dcaSjsing goto err;
41169428dcaSjsing
4129fc62e91Stb *shared_key = key;
4139fc62e91Stb *shared_key_len = key_len;
4149fc62e91Stb key = NULL;
41569428dcaSjsing
41669428dcaSjsing ret = 1;
41769428dcaSjsing
41869428dcaSjsing err:
4199fc62e91Stb freezero(key, key_len);
42069428dcaSjsing
42169428dcaSjsing return ret;
42269428dcaSjsing }
423