1*b0d17251Schristos /*
2*b0d17251Schristos * Copyright 2020-2021 The OpenSSL Project Authors. All Rights Reserved.
3*b0d17251Schristos *
4*b0d17251Schristos * Licensed under the Apache License 2.0 (the "License"). You may not use
5*b0d17251Schristos * this file except in compliance with the License. You can obtain a copy
6*b0d17251Schristos * in the file LICENSE in the source distribution or at
7*b0d17251Schristos * https://www.openssl.org/source/license.html
8*b0d17251Schristos */
9*b0d17251Schristos
10*b0d17251Schristos /*
11*b0d17251Schristos * ECDH low level APIs are deprecated for public use, but still ok for
12*b0d17251Schristos * internal use.
13*b0d17251Schristos */
14*b0d17251Schristos #include "internal/deprecated.h"
15*b0d17251Schristos
16*b0d17251Schristos #include <string.h>
17*b0d17251Schristos #include <openssl/crypto.h>
18*b0d17251Schristos #include <openssl/evp.h>
19*b0d17251Schristos #include <openssl/core_dispatch.h>
20*b0d17251Schristos #include <openssl/core_names.h>
21*b0d17251Schristos #include <openssl/ec.h>
22*b0d17251Schristos #include <openssl/params.h>
23*b0d17251Schristos #include <openssl/err.h>
24*b0d17251Schristos #include <openssl/proverr.h>
25*b0d17251Schristos #include "prov/provider_ctx.h"
26*b0d17251Schristos #include "prov/providercommon.h"
27*b0d17251Schristos #include "prov/implementations.h"
28*b0d17251Schristos #include "prov/securitycheck.h"
29*b0d17251Schristos #include "crypto/ec.h" /* ossl_ecdh_kdf_X9_63() */
30*b0d17251Schristos
31*b0d17251Schristos static OSSL_FUNC_keyexch_newctx_fn ecdh_newctx;
32*b0d17251Schristos static OSSL_FUNC_keyexch_init_fn ecdh_init;
33*b0d17251Schristos static OSSL_FUNC_keyexch_set_peer_fn ecdh_set_peer;
34*b0d17251Schristos static OSSL_FUNC_keyexch_derive_fn ecdh_derive;
35*b0d17251Schristos static OSSL_FUNC_keyexch_freectx_fn ecdh_freectx;
36*b0d17251Schristos static OSSL_FUNC_keyexch_dupctx_fn ecdh_dupctx;
37*b0d17251Schristos static OSSL_FUNC_keyexch_set_ctx_params_fn ecdh_set_ctx_params;
38*b0d17251Schristos static OSSL_FUNC_keyexch_settable_ctx_params_fn ecdh_settable_ctx_params;
39*b0d17251Schristos static OSSL_FUNC_keyexch_get_ctx_params_fn ecdh_get_ctx_params;
40*b0d17251Schristos static OSSL_FUNC_keyexch_gettable_ctx_params_fn ecdh_gettable_ctx_params;
41*b0d17251Schristos
42*b0d17251Schristos enum kdf_type {
43*b0d17251Schristos PROV_ECDH_KDF_NONE = 0,
44*b0d17251Schristos PROV_ECDH_KDF_X9_63
45*b0d17251Schristos };
46*b0d17251Schristos
47*b0d17251Schristos /*
48*b0d17251Schristos * What's passed as an actual key is defined by the KEYMGMT interface.
49*b0d17251Schristos * We happen to know that our KEYMGMT simply passes EC_KEY structures, so
50*b0d17251Schristos * we use that here too.
51*b0d17251Schristos */
52*b0d17251Schristos
53*b0d17251Schristos typedef struct {
54*b0d17251Schristos OSSL_LIB_CTX *libctx;
55*b0d17251Schristos
56*b0d17251Schristos EC_KEY *k;
57*b0d17251Schristos EC_KEY *peerk;
58*b0d17251Schristos
59*b0d17251Schristos /*
60*b0d17251Schristos * ECDH cofactor mode:
61*b0d17251Schristos *
62*b0d17251Schristos * . 0 disabled
63*b0d17251Schristos * . 1 enabled
64*b0d17251Schristos * . -1 use cofactor mode set for k
65*b0d17251Schristos */
66*b0d17251Schristos int cofactor_mode;
67*b0d17251Schristos
68*b0d17251Schristos /************
69*b0d17251Schristos * ECDH KDF *
70*b0d17251Schristos ************/
71*b0d17251Schristos /* KDF (if any) to use for ECDH */
72*b0d17251Schristos enum kdf_type kdf_type;
73*b0d17251Schristos /* Message digest to use for key derivation */
74*b0d17251Schristos EVP_MD *kdf_md;
75*b0d17251Schristos /* User key material */
76*b0d17251Schristos unsigned char *kdf_ukm;
77*b0d17251Schristos size_t kdf_ukmlen;
78*b0d17251Schristos /* KDF output length */
79*b0d17251Schristos size_t kdf_outlen;
80*b0d17251Schristos } PROV_ECDH_CTX;
81*b0d17251Schristos
82*b0d17251Schristos static
ecdh_newctx(void * provctx)83*b0d17251Schristos void *ecdh_newctx(void *provctx)
84*b0d17251Schristos {
85*b0d17251Schristos PROV_ECDH_CTX *pectx;
86*b0d17251Schristos
87*b0d17251Schristos if (!ossl_prov_is_running())
88*b0d17251Schristos return NULL;
89*b0d17251Schristos
90*b0d17251Schristos pectx = OPENSSL_zalloc(sizeof(*pectx));
91*b0d17251Schristos if (pectx == NULL)
92*b0d17251Schristos return NULL;
93*b0d17251Schristos
94*b0d17251Schristos pectx->libctx = PROV_LIBCTX_OF(provctx);
95*b0d17251Schristos pectx->cofactor_mode = -1;
96*b0d17251Schristos pectx->kdf_type = PROV_ECDH_KDF_NONE;
97*b0d17251Schristos
98*b0d17251Schristos return (void *)pectx;
99*b0d17251Schristos }
100*b0d17251Schristos
101*b0d17251Schristos static
ecdh_init(void * vpecdhctx,void * vecdh,const OSSL_PARAM params[])102*b0d17251Schristos int ecdh_init(void *vpecdhctx, void *vecdh, const OSSL_PARAM params[])
103*b0d17251Schristos {
104*b0d17251Schristos PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
105*b0d17251Schristos
106*b0d17251Schristos if (!ossl_prov_is_running()
107*b0d17251Schristos || pecdhctx == NULL
108*b0d17251Schristos || vecdh == NULL
109*b0d17251Schristos || !EC_KEY_up_ref(vecdh))
110*b0d17251Schristos return 0;
111*b0d17251Schristos EC_KEY_free(pecdhctx->k);
112*b0d17251Schristos pecdhctx->k = vecdh;
113*b0d17251Schristos pecdhctx->cofactor_mode = -1;
114*b0d17251Schristos pecdhctx->kdf_type = PROV_ECDH_KDF_NONE;
115*b0d17251Schristos return ecdh_set_ctx_params(pecdhctx, params)
116*b0d17251Schristos && ossl_ec_check_key(pecdhctx->libctx, vecdh, 1);
117*b0d17251Schristos }
118*b0d17251Schristos
119*b0d17251Schristos static
ecdh_match_params(const EC_KEY * priv,const EC_KEY * peer)120*b0d17251Schristos int ecdh_match_params(const EC_KEY *priv, const EC_KEY *peer)
121*b0d17251Schristos {
122*b0d17251Schristos int ret;
123*b0d17251Schristos BN_CTX *ctx = NULL;
124*b0d17251Schristos const EC_GROUP *group_priv = EC_KEY_get0_group(priv);
125*b0d17251Schristos const EC_GROUP *group_peer = EC_KEY_get0_group(peer);
126*b0d17251Schristos
127*b0d17251Schristos ctx = BN_CTX_new_ex(ossl_ec_key_get_libctx(priv));
128*b0d17251Schristos if (ctx == NULL) {
129*b0d17251Schristos ERR_raise(ERR_LIB_PROV, ERR_R_MALLOC_FAILURE);
130*b0d17251Schristos return 0;
131*b0d17251Schristos }
132*b0d17251Schristos ret = group_priv != NULL
133*b0d17251Schristos && group_peer != NULL
134*b0d17251Schristos && EC_GROUP_cmp(group_priv, group_peer, ctx) == 0;
135*b0d17251Schristos if (!ret)
136*b0d17251Schristos ERR_raise(ERR_LIB_PROV, PROV_R_MISMATCHING_DOMAIN_PARAMETERS);
137*b0d17251Schristos BN_CTX_free(ctx);
138*b0d17251Schristos return ret;
139*b0d17251Schristos }
140*b0d17251Schristos
141*b0d17251Schristos static
ecdh_set_peer(void * vpecdhctx,void * vecdh)142*b0d17251Schristos int ecdh_set_peer(void *vpecdhctx, void *vecdh)
143*b0d17251Schristos {
144*b0d17251Schristos PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
145*b0d17251Schristos
146*b0d17251Schristos if (!ossl_prov_is_running()
147*b0d17251Schristos || pecdhctx == NULL
148*b0d17251Schristos || vecdh == NULL
149*b0d17251Schristos || !ecdh_match_params(pecdhctx->k, vecdh)
150*b0d17251Schristos || !ossl_ec_check_key(pecdhctx->libctx, vecdh, 1)
151*b0d17251Schristos || !EC_KEY_up_ref(vecdh))
152*b0d17251Schristos return 0;
153*b0d17251Schristos
154*b0d17251Schristos EC_KEY_free(pecdhctx->peerk);
155*b0d17251Schristos pecdhctx->peerk = vecdh;
156*b0d17251Schristos return 1;
157*b0d17251Schristos }
158*b0d17251Schristos
159*b0d17251Schristos static
ecdh_freectx(void * vpecdhctx)160*b0d17251Schristos void ecdh_freectx(void *vpecdhctx)
161*b0d17251Schristos {
162*b0d17251Schristos PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
163*b0d17251Schristos
164*b0d17251Schristos EC_KEY_free(pecdhctx->k);
165*b0d17251Schristos EC_KEY_free(pecdhctx->peerk);
166*b0d17251Schristos
167*b0d17251Schristos EVP_MD_free(pecdhctx->kdf_md);
168*b0d17251Schristos OPENSSL_clear_free(pecdhctx->kdf_ukm, pecdhctx->kdf_ukmlen);
169*b0d17251Schristos
170*b0d17251Schristos OPENSSL_free(pecdhctx);
171*b0d17251Schristos }
172*b0d17251Schristos
173*b0d17251Schristos static
ecdh_dupctx(void * vpecdhctx)174*b0d17251Schristos void *ecdh_dupctx(void *vpecdhctx)
175*b0d17251Schristos {
176*b0d17251Schristos PROV_ECDH_CTX *srcctx = (PROV_ECDH_CTX *)vpecdhctx;
177*b0d17251Schristos PROV_ECDH_CTX *dstctx;
178*b0d17251Schristos
179*b0d17251Schristos if (!ossl_prov_is_running())
180*b0d17251Schristos return NULL;
181*b0d17251Schristos
182*b0d17251Schristos dstctx = OPENSSL_zalloc(sizeof(*srcctx));
183*b0d17251Schristos if (dstctx == NULL)
184*b0d17251Schristos return NULL;
185*b0d17251Schristos
186*b0d17251Schristos *dstctx = *srcctx;
187*b0d17251Schristos
188*b0d17251Schristos /* clear all pointers */
189*b0d17251Schristos
190*b0d17251Schristos dstctx->k= NULL;
191*b0d17251Schristos dstctx->peerk = NULL;
192*b0d17251Schristos dstctx->kdf_md = NULL;
193*b0d17251Schristos dstctx->kdf_ukm = NULL;
194*b0d17251Schristos
195*b0d17251Schristos /* up-ref all ref-counted objects referenced in dstctx */
196*b0d17251Schristos
197*b0d17251Schristos if (srcctx->k != NULL && !EC_KEY_up_ref(srcctx->k))
198*b0d17251Schristos goto err;
199*b0d17251Schristos else
200*b0d17251Schristos dstctx->k = srcctx->k;
201*b0d17251Schristos
202*b0d17251Schristos if (srcctx->peerk != NULL && !EC_KEY_up_ref(srcctx->peerk))
203*b0d17251Schristos goto err;
204*b0d17251Schristos else
205*b0d17251Schristos dstctx->peerk = srcctx->peerk;
206*b0d17251Schristos
207*b0d17251Schristos if (srcctx->kdf_md != NULL && !EVP_MD_up_ref(srcctx->kdf_md))
208*b0d17251Schristos goto err;
209*b0d17251Schristos else
210*b0d17251Schristos dstctx->kdf_md = srcctx->kdf_md;
211*b0d17251Schristos
212*b0d17251Schristos /* Duplicate UKM data if present */
213*b0d17251Schristos if (srcctx->kdf_ukm != NULL && srcctx->kdf_ukmlen > 0) {
214*b0d17251Schristos dstctx->kdf_ukm = OPENSSL_memdup(srcctx->kdf_ukm,
215*b0d17251Schristos srcctx->kdf_ukmlen);
216*b0d17251Schristos if (dstctx->kdf_ukm == NULL)
217*b0d17251Schristos goto err;
218*b0d17251Schristos }
219*b0d17251Schristos
220*b0d17251Schristos return dstctx;
221*b0d17251Schristos
222*b0d17251Schristos err:
223*b0d17251Schristos ecdh_freectx(dstctx);
224*b0d17251Schristos return NULL;
225*b0d17251Schristos }
226*b0d17251Schristos
227*b0d17251Schristos static
ecdh_set_ctx_params(void * vpecdhctx,const OSSL_PARAM params[])228*b0d17251Schristos int ecdh_set_ctx_params(void *vpecdhctx, const OSSL_PARAM params[])
229*b0d17251Schristos {
230*b0d17251Schristos char name[80] = { '\0' }; /* should be big enough */
231*b0d17251Schristos char *str = NULL;
232*b0d17251Schristos PROV_ECDH_CTX *pectx = (PROV_ECDH_CTX *)vpecdhctx;
233*b0d17251Schristos const OSSL_PARAM *p;
234*b0d17251Schristos
235*b0d17251Schristos if (pectx == NULL)
236*b0d17251Schristos return 0;
237*b0d17251Schristos if (params == NULL)
238*b0d17251Schristos return 1;
239*b0d17251Schristos
240*b0d17251Schristos p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE);
241*b0d17251Schristos if (p != NULL) {
242*b0d17251Schristos int mode;
243*b0d17251Schristos
244*b0d17251Schristos if (!OSSL_PARAM_get_int(p, &mode))
245*b0d17251Schristos return 0;
246*b0d17251Schristos
247*b0d17251Schristos if (mode < -1 || mode > 1)
248*b0d17251Schristos return 0;
249*b0d17251Schristos
250*b0d17251Schristos pectx->cofactor_mode = mode;
251*b0d17251Schristos }
252*b0d17251Schristos
253*b0d17251Schristos p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_TYPE);
254*b0d17251Schristos if (p != NULL) {
255*b0d17251Schristos str = name;
256*b0d17251Schristos if (!OSSL_PARAM_get_utf8_string(p, &str, sizeof(name)))
257*b0d17251Schristos return 0;
258*b0d17251Schristos
259*b0d17251Schristos if (name[0] == '\0')
260*b0d17251Schristos pectx->kdf_type = PROV_ECDH_KDF_NONE;
261*b0d17251Schristos else if (strcmp(name, OSSL_KDF_NAME_X963KDF) == 0)
262*b0d17251Schristos pectx->kdf_type = PROV_ECDH_KDF_X9_63;
263*b0d17251Schristos else
264*b0d17251Schristos return 0;
265*b0d17251Schristos }
266*b0d17251Schristos
267*b0d17251Schristos p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_DIGEST);
268*b0d17251Schristos if (p != NULL) {
269*b0d17251Schristos char mdprops[80] = { '\0' }; /* should be big enough */
270*b0d17251Schristos
271*b0d17251Schristos str = name;
272*b0d17251Schristos if (!OSSL_PARAM_get_utf8_string(p, &str, sizeof(name)))
273*b0d17251Schristos return 0;
274*b0d17251Schristos
275*b0d17251Schristos str = mdprops;
276*b0d17251Schristos p = OSSL_PARAM_locate_const(params,
277*b0d17251Schristos OSSL_EXCHANGE_PARAM_KDF_DIGEST_PROPS);
278*b0d17251Schristos
279*b0d17251Schristos if (p != NULL) {
280*b0d17251Schristos if (!OSSL_PARAM_get_utf8_string(p, &str, sizeof(mdprops)))
281*b0d17251Schristos return 0;
282*b0d17251Schristos }
283*b0d17251Schristos
284*b0d17251Schristos EVP_MD_free(pectx->kdf_md);
285*b0d17251Schristos pectx->kdf_md = EVP_MD_fetch(pectx->libctx, name, mdprops);
286*b0d17251Schristos if (!ossl_digest_is_allowed(pectx->libctx, pectx->kdf_md)) {
287*b0d17251Schristos EVP_MD_free(pectx->kdf_md);
288*b0d17251Schristos pectx->kdf_md = NULL;
289*b0d17251Schristos }
290*b0d17251Schristos if (pectx->kdf_md == NULL)
291*b0d17251Schristos return 0;
292*b0d17251Schristos }
293*b0d17251Schristos
294*b0d17251Schristos p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_OUTLEN);
295*b0d17251Schristos if (p != NULL) {
296*b0d17251Schristos size_t outlen;
297*b0d17251Schristos
298*b0d17251Schristos if (!OSSL_PARAM_get_size_t(p, &outlen))
299*b0d17251Schristos return 0;
300*b0d17251Schristos pectx->kdf_outlen = outlen;
301*b0d17251Schristos }
302*b0d17251Schristos
303*b0d17251Schristos p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_UKM);
304*b0d17251Schristos if (p != NULL) {
305*b0d17251Schristos void *tmp_ukm = NULL;
306*b0d17251Schristos size_t tmp_ukmlen;
307*b0d17251Schristos
308*b0d17251Schristos if (!OSSL_PARAM_get_octet_string(p, &tmp_ukm, 0, &tmp_ukmlen))
309*b0d17251Schristos return 0;
310*b0d17251Schristos OPENSSL_free(pectx->kdf_ukm);
311*b0d17251Schristos pectx->kdf_ukm = tmp_ukm;
312*b0d17251Schristos pectx->kdf_ukmlen = tmp_ukmlen;
313*b0d17251Schristos }
314*b0d17251Schristos
315*b0d17251Schristos return 1;
316*b0d17251Schristos }
317*b0d17251Schristos
318*b0d17251Schristos static const OSSL_PARAM known_settable_ctx_params[] = {
319*b0d17251Schristos OSSL_PARAM_int(OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE, NULL),
320*b0d17251Schristos OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_TYPE, NULL, 0),
321*b0d17251Schristos OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_DIGEST, NULL, 0),
322*b0d17251Schristos OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_DIGEST_PROPS, NULL, 0),
323*b0d17251Schristos OSSL_PARAM_size_t(OSSL_EXCHANGE_PARAM_KDF_OUTLEN, NULL),
324*b0d17251Schristos OSSL_PARAM_octet_string(OSSL_EXCHANGE_PARAM_KDF_UKM, NULL, 0),
325*b0d17251Schristos OSSL_PARAM_END
326*b0d17251Schristos };
327*b0d17251Schristos
328*b0d17251Schristos static
ecdh_settable_ctx_params(ossl_unused void * vpecdhctx,ossl_unused void * provctx)329*b0d17251Schristos const OSSL_PARAM *ecdh_settable_ctx_params(ossl_unused void *vpecdhctx,
330*b0d17251Schristos ossl_unused void *provctx)
331*b0d17251Schristos {
332*b0d17251Schristos return known_settable_ctx_params;
333*b0d17251Schristos }
334*b0d17251Schristos
335*b0d17251Schristos static
ecdh_get_ctx_params(void * vpecdhctx,OSSL_PARAM params[])336*b0d17251Schristos int ecdh_get_ctx_params(void *vpecdhctx, OSSL_PARAM params[])
337*b0d17251Schristos {
338*b0d17251Schristos PROV_ECDH_CTX *pectx = (PROV_ECDH_CTX *)vpecdhctx;
339*b0d17251Schristos OSSL_PARAM *p;
340*b0d17251Schristos
341*b0d17251Schristos if (pectx == NULL)
342*b0d17251Schristos return 0;
343*b0d17251Schristos
344*b0d17251Schristos p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE);
345*b0d17251Schristos if (p != NULL) {
346*b0d17251Schristos int mode = pectx->cofactor_mode;
347*b0d17251Schristos
348*b0d17251Schristos if (mode == -1) {
349*b0d17251Schristos /* check what is the default for pecdhctx->k */
350*b0d17251Schristos mode = EC_KEY_get_flags(pectx->k) & EC_FLAG_COFACTOR_ECDH ? 1 : 0;
351*b0d17251Schristos }
352*b0d17251Schristos
353*b0d17251Schristos if (!OSSL_PARAM_set_int(p, mode))
354*b0d17251Schristos return 0;
355*b0d17251Schristos }
356*b0d17251Schristos
357*b0d17251Schristos p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_TYPE);
358*b0d17251Schristos if (p != NULL) {
359*b0d17251Schristos const char *kdf_type = NULL;
360*b0d17251Schristos
361*b0d17251Schristos switch (pectx->kdf_type) {
362*b0d17251Schristos case PROV_ECDH_KDF_NONE:
363*b0d17251Schristos kdf_type = "";
364*b0d17251Schristos break;
365*b0d17251Schristos case PROV_ECDH_KDF_X9_63:
366*b0d17251Schristos kdf_type = OSSL_KDF_NAME_X963KDF;
367*b0d17251Schristos break;
368*b0d17251Schristos default:
369*b0d17251Schristos return 0;
370*b0d17251Schristos }
371*b0d17251Schristos
372*b0d17251Schristos if (!OSSL_PARAM_set_utf8_string(p, kdf_type))
373*b0d17251Schristos return 0;
374*b0d17251Schristos }
375*b0d17251Schristos
376*b0d17251Schristos p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_DIGEST);
377*b0d17251Schristos if (p != NULL
378*b0d17251Schristos && !OSSL_PARAM_set_utf8_string(p, pectx->kdf_md == NULL
379*b0d17251Schristos ? ""
380*b0d17251Schristos : EVP_MD_get0_name(pectx->kdf_md))){
381*b0d17251Schristos return 0;
382*b0d17251Schristos }
383*b0d17251Schristos
384*b0d17251Schristos p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_OUTLEN);
385*b0d17251Schristos if (p != NULL && !OSSL_PARAM_set_size_t(p, pectx->kdf_outlen))
386*b0d17251Schristos return 0;
387*b0d17251Schristos
388*b0d17251Schristos p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_UKM);
389*b0d17251Schristos if (p != NULL &&
390*b0d17251Schristos !OSSL_PARAM_set_octet_ptr(p, pectx->kdf_ukm, pectx->kdf_ukmlen))
391*b0d17251Schristos return 0;
392*b0d17251Schristos
393*b0d17251Schristos return 1;
394*b0d17251Schristos }
395*b0d17251Schristos
396*b0d17251Schristos static const OSSL_PARAM known_gettable_ctx_params[] = {
397*b0d17251Schristos OSSL_PARAM_int(OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE, NULL),
398*b0d17251Schristos OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_TYPE, NULL, 0),
399*b0d17251Schristos OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_DIGEST, NULL, 0),
400*b0d17251Schristos OSSL_PARAM_size_t(OSSL_EXCHANGE_PARAM_KDF_OUTLEN, NULL),
401*b0d17251Schristos OSSL_PARAM_DEFN(OSSL_EXCHANGE_PARAM_KDF_UKM, OSSL_PARAM_OCTET_PTR,
402*b0d17251Schristos NULL, 0),
403*b0d17251Schristos OSSL_PARAM_END
404*b0d17251Schristos };
405*b0d17251Schristos
406*b0d17251Schristos static
ecdh_gettable_ctx_params(ossl_unused void * vpecdhctx,ossl_unused void * provctx)407*b0d17251Schristos const OSSL_PARAM *ecdh_gettable_ctx_params(ossl_unused void *vpecdhctx,
408*b0d17251Schristos ossl_unused void *provctx)
409*b0d17251Schristos {
410*b0d17251Schristos return known_gettable_ctx_params;
411*b0d17251Schristos }
412*b0d17251Schristos
413*b0d17251Schristos static ossl_inline
ecdh_size(const EC_KEY * k)414*b0d17251Schristos size_t ecdh_size(const EC_KEY *k)
415*b0d17251Schristos {
416*b0d17251Schristos size_t degree = 0;
417*b0d17251Schristos const EC_GROUP *group;
418*b0d17251Schristos
419*b0d17251Schristos if (k == NULL
420*b0d17251Schristos || (group = EC_KEY_get0_group(k)) == NULL)
421*b0d17251Schristos return 0;
422*b0d17251Schristos
423*b0d17251Schristos degree = EC_GROUP_get_degree(group);
424*b0d17251Schristos
425*b0d17251Schristos return (degree + 7) / 8;
426*b0d17251Schristos }
427*b0d17251Schristos
428*b0d17251Schristos static ossl_inline
ecdh_plain_derive(void * vpecdhctx,unsigned char * secret,size_t * psecretlen,size_t outlen)429*b0d17251Schristos int ecdh_plain_derive(void *vpecdhctx, unsigned char *secret,
430*b0d17251Schristos size_t *psecretlen, size_t outlen)
431*b0d17251Schristos {
432*b0d17251Schristos PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
433*b0d17251Schristos int retlen, ret = 0;
434*b0d17251Schristos size_t ecdhsize, size;
435*b0d17251Schristos const EC_POINT *ppubkey = NULL;
436*b0d17251Schristos EC_KEY *privk = NULL;
437*b0d17251Schristos const EC_GROUP *group;
438*b0d17251Schristos const BIGNUM *cofactor;
439*b0d17251Schristos int key_cofactor_mode;
440*b0d17251Schristos
441*b0d17251Schristos if (pecdhctx->k == NULL || pecdhctx->peerk == NULL) {
442*b0d17251Schristos ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_KEY);
443*b0d17251Schristos return 0;
444*b0d17251Schristos }
445*b0d17251Schristos
446*b0d17251Schristos ecdhsize = ecdh_size(pecdhctx->k);
447*b0d17251Schristos if (secret == NULL) {
448*b0d17251Schristos *psecretlen = ecdhsize;
449*b0d17251Schristos return 1;
450*b0d17251Schristos }
451*b0d17251Schristos
452*b0d17251Schristos if ((group = EC_KEY_get0_group(pecdhctx->k)) == NULL
453*b0d17251Schristos || (cofactor = EC_GROUP_get0_cofactor(group)) == NULL )
454*b0d17251Schristos return 0;
455*b0d17251Schristos
456*b0d17251Schristos /*
457*b0d17251Schristos * NB: unlike PKCS#3 DH, if outlen is less than maximum size this is not
458*b0d17251Schristos * an error, the result is truncated.
459*b0d17251Schristos */
460*b0d17251Schristos size = outlen < ecdhsize ? outlen : ecdhsize;
461*b0d17251Schristos
462*b0d17251Schristos /*
463*b0d17251Schristos * The ctx->cofactor_mode flag has precedence over the
464*b0d17251Schristos * cofactor_mode flag set on ctx->k.
465*b0d17251Schristos *
466*b0d17251Schristos * - if ctx->cofactor_mode == -1, use ctx->k directly
467*b0d17251Schristos * - if ctx->cofactor_mode == key_cofactor_mode, use ctx->k directly
468*b0d17251Schristos * - if ctx->cofactor_mode != key_cofactor_mode:
469*b0d17251Schristos * - if ctx->k->cofactor == 1, the cofactor_mode flag is irrelevant, use
470*b0d17251Schristos * ctx->k directly
471*b0d17251Schristos * - if ctx->k->cofactor != 1, use a duplicate of ctx->k with the flag
472*b0d17251Schristos * set to ctx->cofactor_mode
473*b0d17251Schristos */
474*b0d17251Schristos key_cofactor_mode =
475*b0d17251Schristos (EC_KEY_get_flags(pecdhctx->k) & EC_FLAG_COFACTOR_ECDH) ? 1 : 0;
476*b0d17251Schristos if (pecdhctx->cofactor_mode != -1
477*b0d17251Schristos && pecdhctx->cofactor_mode != key_cofactor_mode
478*b0d17251Schristos && !BN_is_one(cofactor)) {
479*b0d17251Schristos if ((privk = EC_KEY_dup(pecdhctx->k)) == NULL)
480*b0d17251Schristos return 0;
481*b0d17251Schristos
482*b0d17251Schristos if (pecdhctx->cofactor_mode == 1)
483*b0d17251Schristos EC_KEY_set_flags(privk, EC_FLAG_COFACTOR_ECDH);
484*b0d17251Schristos else
485*b0d17251Schristos EC_KEY_clear_flags(privk, EC_FLAG_COFACTOR_ECDH);
486*b0d17251Schristos } else {
487*b0d17251Schristos privk = pecdhctx->k;
488*b0d17251Schristos }
489*b0d17251Schristos
490*b0d17251Schristos ppubkey = EC_KEY_get0_public_key(pecdhctx->peerk);
491*b0d17251Schristos
492*b0d17251Schristos retlen = ECDH_compute_key(secret, size, ppubkey, privk, NULL);
493*b0d17251Schristos
494*b0d17251Schristos if (retlen <= 0)
495*b0d17251Schristos goto end;
496*b0d17251Schristos
497*b0d17251Schristos *psecretlen = retlen;
498*b0d17251Schristos ret = 1;
499*b0d17251Schristos
500*b0d17251Schristos end:
501*b0d17251Schristos if (privk != pecdhctx->k)
502*b0d17251Schristos EC_KEY_free(privk);
503*b0d17251Schristos return ret;
504*b0d17251Schristos }
505*b0d17251Schristos
506*b0d17251Schristos static ossl_inline
ecdh_X9_63_kdf_derive(void * vpecdhctx,unsigned char * secret,size_t * psecretlen,size_t outlen)507*b0d17251Schristos int ecdh_X9_63_kdf_derive(void *vpecdhctx, unsigned char *secret,
508*b0d17251Schristos size_t *psecretlen, size_t outlen)
509*b0d17251Schristos {
510*b0d17251Schristos PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
511*b0d17251Schristos unsigned char *stmp = NULL;
512*b0d17251Schristos size_t stmplen;
513*b0d17251Schristos int ret = 0;
514*b0d17251Schristos
515*b0d17251Schristos if (secret == NULL) {
516*b0d17251Schristos *psecretlen = pecdhctx->kdf_outlen;
517*b0d17251Schristos return 1;
518*b0d17251Schristos }
519*b0d17251Schristos
520*b0d17251Schristos if (pecdhctx->kdf_outlen > outlen) {
521*b0d17251Schristos ERR_raise(ERR_LIB_PROV, PROV_R_OUTPUT_BUFFER_TOO_SMALL);
522*b0d17251Schristos return 0;
523*b0d17251Schristos }
524*b0d17251Schristos if (!ecdh_plain_derive(vpecdhctx, NULL, &stmplen, 0))
525*b0d17251Schristos return 0;
526*b0d17251Schristos if ((stmp = OPENSSL_secure_malloc(stmplen)) == NULL) {
527*b0d17251Schristos ERR_raise(ERR_LIB_PROV, ERR_R_MALLOC_FAILURE);
528*b0d17251Schristos return 0;
529*b0d17251Schristos }
530*b0d17251Schristos if (!ecdh_plain_derive(vpecdhctx, stmp, &stmplen, stmplen))
531*b0d17251Schristos goto err;
532*b0d17251Schristos
533*b0d17251Schristos /* Do KDF stuff */
534*b0d17251Schristos if (!ossl_ecdh_kdf_X9_63(secret, pecdhctx->kdf_outlen,
535*b0d17251Schristos stmp, stmplen,
536*b0d17251Schristos pecdhctx->kdf_ukm,
537*b0d17251Schristos pecdhctx->kdf_ukmlen,
538*b0d17251Schristos pecdhctx->kdf_md,
539*b0d17251Schristos pecdhctx->libctx, NULL))
540*b0d17251Schristos goto err;
541*b0d17251Schristos *psecretlen = pecdhctx->kdf_outlen;
542*b0d17251Schristos ret = 1;
543*b0d17251Schristos
544*b0d17251Schristos err:
545*b0d17251Schristos OPENSSL_secure_clear_free(stmp, stmplen);
546*b0d17251Schristos return ret;
547*b0d17251Schristos }
548*b0d17251Schristos
549*b0d17251Schristos static
ecdh_derive(void * vpecdhctx,unsigned char * secret,size_t * psecretlen,size_t outlen)550*b0d17251Schristos int ecdh_derive(void *vpecdhctx, unsigned char *secret,
551*b0d17251Schristos size_t *psecretlen, size_t outlen)
552*b0d17251Schristos {
553*b0d17251Schristos PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
554*b0d17251Schristos
555*b0d17251Schristos switch (pecdhctx->kdf_type) {
556*b0d17251Schristos case PROV_ECDH_KDF_NONE:
557*b0d17251Schristos return ecdh_plain_derive(vpecdhctx, secret, psecretlen, outlen);
558*b0d17251Schristos case PROV_ECDH_KDF_X9_63:
559*b0d17251Schristos return ecdh_X9_63_kdf_derive(vpecdhctx, secret, psecretlen, outlen);
560*b0d17251Schristos default:
561*b0d17251Schristos break;
562*b0d17251Schristos }
563*b0d17251Schristos return 0;
564*b0d17251Schristos }
565*b0d17251Schristos
566*b0d17251Schristos const OSSL_DISPATCH ossl_ecdh_keyexch_functions[] = {
567*b0d17251Schristos { OSSL_FUNC_KEYEXCH_NEWCTX, (void (*)(void))ecdh_newctx },
568*b0d17251Schristos { OSSL_FUNC_KEYEXCH_INIT, (void (*)(void))ecdh_init },
569*b0d17251Schristos { OSSL_FUNC_KEYEXCH_DERIVE, (void (*)(void))ecdh_derive },
570*b0d17251Schristos { OSSL_FUNC_KEYEXCH_SET_PEER, (void (*)(void))ecdh_set_peer },
571*b0d17251Schristos { OSSL_FUNC_KEYEXCH_FREECTX, (void (*)(void))ecdh_freectx },
572*b0d17251Schristos { OSSL_FUNC_KEYEXCH_DUPCTX, (void (*)(void))ecdh_dupctx },
573*b0d17251Schristos { OSSL_FUNC_KEYEXCH_SET_CTX_PARAMS, (void (*)(void))ecdh_set_ctx_params },
574*b0d17251Schristos { OSSL_FUNC_KEYEXCH_SETTABLE_CTX_PARAMS,
575*b0d17251Schristos (void (*)(void))ecdh_settable_ctx_params },
576*b0d17251Schristos { OSSL_FUNC_KEYEXCH_GET_CTX_PARAMS, (void (*)(void))ecdh_get_ctx_params },
577*b0d17251Schristos { OSSL_FUNC_KEYEXCH_GETTABLE_CTX_PARAMS,
578*b0d17251Schristos (void (*)(void))ecdh_gettable_ctx_params },
579*b0d17251Schristos { 0, NULL }
580*b0d17251Schristos };
581