1*33839115Sjsing /* $OpenBSD: hkdf.c,v 1.11 2024/03/25 13:09:13 jsing Exp $ */
2*33839115Sjsing /*
3*33839115Sjsing * Copyright (c) 2014, Google Inc.
41eb0ad50Sbeck *
51eb0ad50Sbeck * Permission to use, copy, modify, and/or distribute this software for any
61eb0ad50Sbeck * purpose with or without fee is hereby granted, provided that the above
71eb0ad50Sbeck * copyright notice and this permission notice appear in all copies.
81eb0ad50Sbeck *
91eb0ad50Sbeck * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
101eb0ad50Sbeck * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
111eb0ad50Sbeck * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
121eb0ad50Sbeck * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
131eb0ad50Sbeck * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
141eb0ad50Sbeck * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
151eb0ad50Sbeck * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
161eb0ad50Sbeck */
171eb0ad50Sbeck
181eb0ad50Sbeck #include <openssl/hkdf.h>
191eb0ad50Sbeck
201eb0ad50Sbeck #include <string.h>
211eb0ad50Sbeck
221eb0ad50Sbeck #include <openssl/err.h>
231eb0ad50Sbeck #include <openssl/hmac.h>
241eb0ad50Sbeck
25*33839115Sjsing #include "bytestring.h"
26c9675a23Stb #include "evp_local.h"
275c9543a2Stb #include "hmac_local.h"
285c9543a2Stb
291eb0ad50Sbeck /* https://tools.ietf.org/html/rfc5869#section-2 */
301eb0ad50Sbeck int
HKDF(uint8_t * out_key,size_t out_len,const EVP_MD * digest,const uint8_t * secret,size_t secret_len,const uint8_t * salt,size_t salt_len,const uint8_t * info,size_t info_len)311eb0ad50Sbeck HKDF(uint8_t *out_key, size_t out_len, const EVP_MD *digest,
321eb0ad50Sbeck const uint8_t *secret, size_t secret_len, const uint8_t *salt,
331eb0ad50Sbeck size_t salt_len, const uint8_t *info, size_t info_len)
341eb0ad50Sbeck {
351eb0ad50Sbeck uint8_t prk[EVP_MAX_MD_SIZE];
361eb0ad50Sbeck size_t prk_len;
371eb0ad50Sbeck
381eb0ad50Sbeck if (!HKDF_extract(prk, &prk_len, digest, secret, secret_len, salt,
391eb0ad50Sbeck salt_len))
401eb0ad50Sbeck return 0;
411eb0ad50Sbeck if (!HKDF_expand(out_key, out_len, digest, prk, prk_len, info,
421eb0ad50Sbeck info_len))
431eb0ad50Sbeck return 0;
441eb0ad50Sbeck
451eb0ad50Sbeck return 1;
461eb0ad50Sbeck }
47ea2baf45Sbeck LCRYPTO_ALIAS(HKDF);
481eb0ad50Sbeck
491eb0ad50Sbeck /* https://tools.ietf.org/html/rfc5869#section-2.2 */
501eb0ad50Sbeck int
HKDF_extract(uint8_t * out_key,size_t * out_len,const EVP_MD * digest,const uint8_t * secret,size_t secret_len,const uint8_t * salt,size_t salt_len)511eb0ad50Sbeck HKDF_extract(uint8_t *out_key, size_t *out_len,
521eb0ad50Sbeck const EVP_MD *digest, const uint8_t *secret, size_t secret_len,
531eb0ad50Sbeck const uint8_t *salt, size_t salt_len)
541eb0ad50Sbeck {
551eb0ad50Sbeck unsigned int len;
561eb0ad50Sbeck
571eb0ad50Sbeck /*
584855ec32Stim * If salt is not given, HashLength zeros are used. However, HMAC does
594855ec32Stim * that internally already so we can ignore it.
601eb0ad50Sbeck */
611eb0ad50Sbeck if (HMAC(digest, salt, salt_len, secret, secret_len, out_key, &len) ==
621eb0ad50Sbeck NULL) {
631eb0ad50Sbeck CRYPTOerror(ERR_R_CRYPTO_LIB);
641eb0ad50Sbeck return 0;
651eb0ad50Sbeck }
661eb0ad50Sbeck *out_len = len;
671eb0ad50Sbeck return 1;
681eb0ad50Sbeck }
69ea2baf45Sbeck LCRYPTO_ALIAS(HKDF_extract);
701eb0ad50Sbeck
711eb0ad50Sbeck /* https://tools.ietf.org/html/rfc5869#section-2.3 */
721eb0ad50Sbeck int
HKDF_expand(uint8_t * out_key,size_t out_len,const EVP_MD * digest,const uint8_t * prk,size_t prk_len,const uint8_t * info,size_t info_len)731eb0ad50Sbeck HKDF_expand(uint8_t *out_key, size_t out_len,
741eb0ad50Sbeck const EVP_MD *digest, const uint8_t *prk, size_t prk_len,
751eb0ad50Sbeck const uint8_t *info, size_t info_len)
761eb0ad50Sbeck {
771eb0ad50Sbeck const size_t digest_len = EVP_MD_size(digest);
78*33839115Sjsing uint8_t out_hmac[EVP_MAX_MD_SIZE];
79*33839115Sjsing size_t n, remaining;
80*33839115Sjsing uint8_t ctr;
81*33839115Sjsing HMAC_CTX *hmac = NULL;
82*33839115Sjsing CBB cbb;
831eb0ad50Sbeck int ret = 0;
84*33839115Sjsing
85*33839115Sjsing if (!CBB_init_fixed(&cbb, out_key, out_len))
86*33839115Sjsing goto err;
87*33839115Sjsing
88*33839115Sjsing if ((hmac = HMAC_CTX_new()) == NULL)
89*33839115Sjsing goto err;
90*33839115Sjsing if (!HMAC_Init_ex(hmac, prk, prk_len, digest, NULL))
91*33839115Sjsing goto err;
92*33839115Sjsing
93*33839115Sjsing remaining = out_len;
94*33839115Sjsing ctr = 0;
951eb0ad50Sbeck
961eb0ad50Sbeck /* Expand key material to desired length. */
97*33839115Sjsing while (remaining > 0) {
98*33839115Sjsing if (++ctr == 0) {
991eb0ad50Sbeck CRYPTOerror(EVP_R_TOO_LARGE);
100*33839115Sjsing goto err;
1011eb0ad50Sbeck }
1021eb0ad50Sbeck
103*33839115Sjsing if (!HMAC_Update(hmac, info, info_len))
104*33839115Sjsing goto err;
105*33839115Sjsing if (!HMAC_Update(hmac, &ctr, 1))
106*33839115Sjsing goto err;
107*33839115Sjsing if (!HMAC_Final(hmac, out_hmac, NULL))
108*33839115Sjsing goto err;
1091eb0ad50Sbeck
110*33839115Sjsing if ((n = remaining) > digest_len)
111*33839115Sjsing n = digest_len;
1121eb0ad50Sbeck
113*33839115Sjsing if (!CBB_add_bytes(&cbb, out_hmac, n))
114*33839115Sjsing goto err;
1151eb0ad50Sbeck
116*33839115Sjsing remaining -= n;
1171eb0ad50Sbeck
118*33839115Sjsing if (remaining > 0) {
119*33839115Sjsing if (!HMAC_Init_ex(hmac, NULL, 0, NULL, NULL))
120*33839115Sjsing goto err;
121*33839115Sjsing if (!HMAC_Update(hmac, out_hmac, digest_len))
122*33839115Sjsing goto err;
123*33839115Sjsing }
1241eb0ad50Sbeck }
1251eb0ad50Sbeck
1261eb0ad50Sbeck ret = 1;
1271eb0ad50Sbeck
128*33839115Sjsing err:
129*33839115Sjsing CBB_cleanup(&cbb);
130*33839115Sjsing HMAC_CTX_free(hmac);
131*33839115Sjsing explicit_bzero(out_hmac, sizeof(out_hmac));
132*33839115Sjsing
1331eb0ad50Sbeck return ret;
1341eb0ad50Sbeck }
135ea2baf45Sbeck LCRYPTO_ALIAS(HKDF_expand);
136