blob: 52eb0d550280c4ce0b776215359b532d8ea2855e [file] [log] [blame]
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +02001/*
2 * Public Key abstraction layer
3 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02004 * Copyright The Mbed TLS Contributors
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02005 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020018 */
19
Gilles Peskinedb09ef62020-06-03 01:43:33 +020020#include "common.h"
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020021
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020022#if defined(MBEDTLS_PK_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000023#include "mbedtls/pk.h"
Chris Jonesdaacb592021-03-09 17:03:29 +000024#include "pk_wrap.h"
Neil Armstrongca5b55f2022-03-15 15:00:55 +010025#include "pkwrite.h"
Valerio Setti3f00b842023-05-15 12:57:06 +020026#include "pk_internal.h"
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020027
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050028#include "mbedtls/platform_util.h"
Janos Follath24eed8d2019-11-22 13:21:35 +000029#include "mbedtls/error.h"
Andres AG72849872017-01-19 11:24:33 +000030
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020031#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000032#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020033#endif
Valerio Setti81d75122023-06-14 14:49:33 +020034#if defined(MBEDTLS_PK_HAVE_ECC_KEYS)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000035#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020036#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000038#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnard7c5819e2013-07-10 12:29:57 +020039#endif
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020040
Jerry Yub02ee182022-03-16 10:30:41 +080041#if defined(MBEDTLS_PSA_CRYPTO_C)
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +010042#include "mbedtls/psa_util.h"
Manuel Pégourié-Gonnard2d6d9932023-03-28 11:38:08 +020043#include "md_psa.h"
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +010044#endif
45
Andres AG72849872017-01-19 11:24:33 +000046#include <limits.h>
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010047#include <stdint.h>
Paul Bakker34617722014-06-13 17:20:13 +020048
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020049/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020050 * Initialise a mbedtls_pk_context
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020051 */
Gilles Peskine449bd832023-01-11 14:50:10 +010052void mbedtls_pk_init(mbedtls_pk_context *ctx)
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020053{
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +020054 ctx->pk_info = NULL;
55 ctx->pk_ctx = NULL;
Valerio Settie00954d2023-04-28 15:24:32 +020056#if defined(MBEDTLS_PSA_CRYPTO_C)
Valerio Setti4f387ef2023-05-02 14:15:59 +020057 ctx->priv_id = MBEDTLS_SVC_KEY_ID_INIT;
Valerio Settie00954d2023-04-28 15:24:32 +020058#endif /* MBEDTLS_PSA_CRYPTO_C */
Valerio Setti722f8f72023-05-17 15:31:21 +020059#if defined(MBEDTLS_PK_USE_PSA_EC_DATA)
60 memset(ctx->pub_raw, 0, sizeof(ctx->pub_raw));
61 ctx->pub_raw_len = 0;
62 ctx->ec_family = 0;
63 ctx->ec_bits = 0;
64#endif /* MBEDTLS_PK_USE_PSA_EC_DATA */
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020065}
66
67/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068 * Free (the components of) a mbedtls_pk_context
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020069 */
Gilles Peskine449bd832023-01-11 14:50:10 +010070void mbedtls_pk_free(mbedtls_pk_context *ctx)
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020071{
Gilles Peskine449bd832023-01-11 14:50:10 +010072 if (ctx == NULL) {
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020073 return;
Gilles Peskine449bd832023-01-11 14:50:10 +010074 }
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020075
Valerio Settie00954d2023-04-28 15:24:32 +020076 if ((ctx->pk_info != NULL) && (ctx->pk_info->ctx_free_func != NULL)) {
Gilles Peskine449bd832023-01-11 14:50:10 +010077 ctx->pk_info->ctx_free_func(ctx->pk_ctx);
78 }
Manuel Pégourié-Gonnard1f73a652013-07-09 10:26:41 +020079
Valerio Settib5361262023-05-18 18:51:58 +020080#if defined(MBEDTLS_PK_USE_PSA_EC_DATA)
81 /* The ownership of the priv_id key for opaque keys is external of the PK
82 * module. It's the user responsibility to clear it after use. */
83 if ((ctx->pk_info != NULL) && (ctx->pk_info->type != MBEDTLS_PK_OPAQUE)) {
84 psa_destroy_key(ctx->priv_id);
85 }
86#endif /* MBEDTLS_PK_USE_PSA_EC_DATA */
87
Gilles Peskine449bd832023-01-11 14:50:10 +010088 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_pk_context));
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020089}
90
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +020091#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020092/*
93 * Initialize a restart context
94 */
Gilles Peskine449bd832023-01-11 14:50:10 +010095void mbedtls_pk_restart_init(mbedtls_pk_restart_ctx *ctx)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020096{
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +020097 ctx->pk_info = NULL;
98 ctx->rs_ctx = NULL;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020099}
100
101/*
102 * Free the components of a restart context
103 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100104void mbedtls_pk_restart_free(mbedtls_pk_restart_ctx *ctx)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200105{
Gilles Peskine449bd832023-01-11 14:50:10 +0100106 if (ctx == NULL || ctx->pk_info == NULL ||
107 ctx->pk_info->rs_free_func == NULL) {
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200108 return;
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200109 }
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200110
Gilles Peskine449bd832023-01-11 14:50:10 +0100111 ctx->pk_info->rs_free_func(ctx->rs_ctx);
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200112
113 ctx->pk_info = NULL;
114 ctx->rs_ctx = NULL;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200115}
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200116#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200117
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200118/*
119 * Get pk_info structure from type
120 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100121const mbedtls_pk_info_t *mbedtls_pk_info_from_type(mbedtls_pk_type_t pk_type)
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200122{
Gilles Peskine449bd832023-01-11 14:50:10 +0100123 switch (pk_type) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200124#if defined(MBEDTLS_RSA_C)
125 case MBEDTLS_PK_RSA:
Gilles Peskine449bd832023-01-11 14:50:10 +0100126 return &mbedtls_rsa_info;
Valerio Setti0d2980f2023-04-05 18:17:13 +0200127#endif /* MBEDTLS_RSA_C */
Valerio Setti81d75122023-06-14 14:49:33 +0200128#if defined(MBEDTLS_PK_HAVE_ECC_KEYS)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200129 case MBEDTLS_PK_ECKEY:
Gilles Peskine449bd832023-01-11 14:50:10 +0100130 return &mbedtls_eckey_info;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200131 case MBEDTLS_PK_ECKEY_DH:
Gilles Peskine449bd832023-01-11 14:50:10 +0100132 return &mbedtls_eckeydh_info;
Valerio Setti81d75122023-06-14 14:49:33 +0200133#endif /* MBEDTLS_PK_HAVE_ECC_KEYS */
Valerio Setti7ca13182023-01-27 13:22:42 +0100134#if defined(MBEDTLS_PK_CAN_ECDSA_SOME)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200135 case MBEDTLS_PK_ECDSA:
Gilles Peskine449bd832023-01-11 14:50:10 +0100136 return &mbedtls_ecdsa_info;
Valerio Setti0d2980f2023-04-05 18:17:13 +0200137#endif /* MBEDTLS_PK_CAN_ECDSA_SOME */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200138 /* MBEDTLS_PK_RSA_ALT omitted on purpose */
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200139 default:
Gilles Peskine449bd832023-01-11 14:50:10 +0100140 return NULL;
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200141 }
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200142}
143
144/*
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200145 * Initialise context
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200146 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100147int mbedtls_pk_setup(mbedtls_pk_context *ctx, const mbedtls_pk_info_t *info)
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200148{
Gilles Peskine449bd832023-01-11 14:50:10 +0100149 if (info == NULL || ctx->pk_info != NULL) {
150 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
151 }
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200152
Valerio Settib5361262023-05-18 18:51:58 +0200153 if ((info->ctx_alloc_func != NULL) &&
Valerio Settie00954d2023-04-28 15:24:32 +0200154 ((ctx->pk_ctx = info->ctx_alloc_func()) == NULL)) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100155 return MBEDTLS_ERR_PK_ALLOC_FAILED;
156 }
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200157
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200158 ctx->pk_info = info;
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200159
Gilles Peskine449bd832023-01-11 14:50:10 +0100160 return 0;
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200161}
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200162
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200163#if defined(MBEDTLS_USE_PSA_CRYPTO)
164/*
165 * Initialise a PSA-wrapping context
166 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100167int mbedtls_pk_setup_opaque(mbedtls_pk_context *ctx,
168 const mbedtls_svc_key_id_t key)
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200169{
Neil Armstrongeabbf9d2022-03-15 12:01:26 +0100170 const mbedtls_pk_info_t *info = NULL;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200171 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100172 psa_key_type_t type;
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200173
Gilles Peskine449bd832023-01-11 14:50:10 +0100174 if (ctx == NULL || ctx->pk_info != NULL) {
175 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
176 }
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200177
Gilles Peskine449bd832023-01-11 14:50:10 +0100178 if (PSA_SUCCESS != psa_get_key_attributes(key, &attributes)) {
179 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
180 }
181 type = psa_get_key_type(&attributes);
182 psa_reset_key_attributes(&attributes);
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100183
Gilles Peskine449bd832023-01-11 14:50:10 +0100184 if (PSA_KEY_TYPE_IS_ECC_KEY_PAIR(type)) {
Neil Armstrongeabbf9d2022-03-15 12:01:26 +0100185 info = &mbedtls_pk_ecdsa_opaque_info;
Gilles Peskine449bd832023-01-11 14:50:10 +0100186 } else if (type == PSA_KEY_TYPE_RSA_KEY_PAIR) {
Neil Armstrongeabbf9d2022-03-15 12:01:26 +0100187 info = &mbedtls_pk_rsa_opaque_info;
Gilles Peskine449bd832023-01-11 14:50:10 +0100188 } else {
189 return MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE;
190 }
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100191
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200192 ctx->pk_info = info;
Valerio Setti4f387ef2023-05-02 14:15:59 +0200193 ctx->priv_id = key;
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100194
Gilles Peskine449bd832023-01-11 14:50:10 +0100195 return 0;
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200196}
197#endif /* MBEDTLS_USE_PSA_CRYPTO */
198
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200199#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnardb4fae572014-01-20 11:22:25 +0100200/*
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200201 * Initialize an RSA-alt context
202 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100203int mbedtls_pk_setup_rsa_alt(mbedtls_pk_context *ctx, void *key,
204 mbedtls_pk_rsa_alt_decrypt_func decrypt_func,
205 mbedtls_pk_rsa_alt_sign_func sign_func,
206 mbedtls_pk_rsa_alt_key_len_func key_len_func)
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200207{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200208 mbedtls_rsa_alt_context *rsa_alt;
209 const mbedtls_pk_info_t *info = &mbedtls_rsa_alt_info;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200210
Gilles Peskine449bd832023-01-11 14:50:10 +0100211 if (ctx->pk_info != NULL) {
212 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
213 }
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200214
Gilles Peskine449bd832023-01-11 14:50:10 +0100215 if ((ctx->pk_ctx = info->ctx_alloc_func()) == NULL) {
216 return MBEDTLS_ERR_PK_ALLOC_FAILED;
217 }
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200218
219 ctx->pk_info = info;
220
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200221 rsa_alt = (mbedtls_rsa_alt_context *) ctx->pk_ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200222
223 rsa_alt->key = key;
224 rsa_alt->decrypt_func = decrypt_func;
225 rsa_alt->sign_func = sign_func;
226 rsa_alt->key_len_func = key_len_func;
227
Gilles Peskine449bd832023-01-11 14:50:10 +0100228 return 0;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200229}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200230#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200231
232/*
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200233 * Tell if a PK can do the operations of the given type
234 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100235int mbedtls_pk_can_do(const mbedtls_pk_context *ctx, mbedtls_pk_type_t type)
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200236{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500237 /* A context with null pk_info is not set up yet and can't do anything.
238 * For backward compatibility, also accept NULL instead of a context
239 * pointer. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100240 if (ctx == NULL || ctx->pk_info == NULL) {
241 return 0;
242 }
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200243
Gilles Peskine449bd832023-01-11 14:50:10 +0100244 return ctx->pk_info->can_do(type);
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200245}
246
Neil Armstronga88b1582022-05-11 14:11:25 +0200247#if defined(MBEDTLS_USE_PSA_CRYPTO)
248/*
249 * Tell if a PK can do the operations of the given PSA algorithm
250 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100251int mbedtls_pk_can_do_ext(const mbedtls_pk_context *ctx, psa_algorithm_t alg,
252 psa_key_usage_t usage)
Neil Armstronga88b1582022-05-11 14:11:25 +0200253{
Neil Armstrong408f6a62022-05-17 14:23:20 +0200254 psa_key_usage_t key_usage;
255
Neil Armstronga88b1582022-05-11 14:11:25 +0200256 /* A context with null pk_info is not set up yet and can't do anything.
257 * For backward compatibility, also accept NULL instead of a context
258 * pointer. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100259 if (ctx == NULL || ctx->pk_info == NULL) {
260 return 0;
261 }
Neil Armstronga88b1582022-05-11 14:11:25 +0200262
263 /* Filter out non allowed algorithms */
Gilles Peskine449bd832023-01-11 14:50:10 +0100264 if (PSA_ALG_IS_ECDSA(alg) == 0 &&
265 PSA_ALG_IS_RSA_PKCS1V15_SIGN(alg) == 0 &&
266 PSA_ALG_IS_RSA_PSS(alg) == 0 &&
Neil Armstronga88b1582022-05-11 14:11:25 +0200267 alg != PSA_ALG_RSA_PKCS1V15_CRYPT &&
Gilles Peskine449bd832023-01-11 14:50:10 +0100268 PSA_ALG_IS_ECDH(alg) == 0) {
269 return 0;
270 }
Neil Armstronga88b1582022-05-11 14:11:25 +0200271
Neil Armstrong408f6a62022-05-17 14:23:20 +0200272 /* Filter out non allowed usage flags */
Gilles Peskine449bd832023-01-11 14:50:10 +0100273 if (usage == 0 ||
274 (usage & ~(PSA_KEY_USAGE_SIGN_HASH |
275 PSA_KEY_USAGE_DECRYPT |
276 PSA_KEY_USAGE_DERIVE)) != 0) {
277 return 0;
278 }
Neil Armstrong408f6a62022-05-17 14:23:20 +0200279
Neil Armstronga88b1582022-05-11 14:11:25 +0200280 /* Wildcard hash is not allowed */
Gilles Peskine449bd832023-01-11 14:50:10 +0100281 if (PSA_ALG_IS_SIGN_HASH(alg) &&
282 PSA_ALG_SIGN_GET_HASH(alg) == PSA_ALG_ANY_HASH) {
283 return 0;
284 }
Neil Armstronga88b1582022-05-11 14:11:25 +0200285
Gilles Peskine449bd832023-01-11 14:50:10 +0100286 if (mbedtls_pk_get_type(ctx) != MBEDTLS_PK_OPAQUE) {
Neil Armstronga88b1582022-05-11 14:11:25 +0200287 mbedtls_pk_type_t type;
288
Gilles Peskine449bd832023-01-11 14:50:10 +0100289 if (PSA_ALG_IS_ECDSA(alg) || PSA_ALG_IS_ECDH(alg)) {
Neil Armstronga88b1582022-05-11 14:11:25 +0200290 type = MBEDTLS_PK_ECKEY;
Gilles Peskine449bd832023-01-11 14:50:10 +0100291 } else if (PSA_ALG_IS_RSA_PKCS1V15_SIGN(alg) ||
292 alg == PSA_ALG_RSA_PKCS1V15_CRYPT) {
Neil Armstronga88b1582022-05-11 14:11:25 +0200293 type = MBEDTLS_PK_RSA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100294 } else if (PSA_ALG_IS_RSA_PSS(alg)) {
Neil Armstronga88b1582022-05-11 14:11:25 +0200295 type = MBEDTLS_PK_RSASSA_PSS;
Gilles Peskine449bd832023-01-11 14:50:10 +0100296 } else {
297 return 0;
298 }
Neil Armstronga88b1582022-05-11 14:11:25 +0200299
Gilles Peskine449bd832023-01-11 14:50:10 +0100300 if (ctx->pk_info->can_do(type) == 0) {
301 return 0;
302 }
Neil Armstrong408f6a62022-05-17 14:23:20 +0200303
Gilles Peskine449bd832023-01-11 14:50:10 +0100304 switch (type) {
Neil Armstrong084338d2022-05-19 16:22:40 +0200305 case MBEDTLS_PK_ECKEY:
306 key_usage = PSA_KEY_USAGE_SIGN_HASH | PSA_KEY_USAGE_DERIVE;
307 break;
308 case MBEDTLS_PK_RSA:
309 case MBEDTLS_PK_RSASSA_PSS:
310 key_usage = PSA_KEY_USAGE_SIGN_HASH |
311 PSA_KEY_USAGE_SIGN_MESSAGE |
312 PSA_KEY_USAGE_DECRYPT;
313 break;
314 default:
Neil Armstrongb80785f2022-05-20 09:25:55 +0200315 /* Should never happen */
Gilles Peskine449bd832023-01-11 14:50:10 +0100316 return 0;
Neil Armstrong084338d2022-05-19 16:22:40 +0200317 }
318
Gilles Peskine449bd832023-01-11 14:50:10 +0100319 return (key_usage & usage) == usage;
Neil Armstronga88b1582022-05-11 14:11:25 +0200320 }
321
Neil Armstronga88b1582022-05-11 14:11:25 +0200322 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
323 psa_algorithm_t key_alg, key_alg2;
324 psa_status_t status;
325
Valerio Setti4f387ef2023-05-02 14:15:59 +0200326 status = psa_get_key_attributes(ctx->priv_id, &attributes);
Gilles Peskine449bd832023-01-11 14:50:10 +0100327 if (status != PSA_SUCCESS) {
328 return 0;
329 }
Neil Armstronga88b1582022-05-11 14:11:25 +0200330
Gilles Peskine449bd832023-01-11 14:50:10 +0100331 key_alg = psa_get_key_algorithm(&attributes);
332 key_alg2 = psa_get_key_enrollment_algorithm(&attributes);
333 key_usage = psa_get_key_usage_flags(&attributes);
334 psa_reset_key_attributes(&attributes);
Neil Armstronga88b1582022-05-11 14:11:25 +0200335
Gilles Peskine449bd832023-01-11 14:50:10 +0100336 if ((key_usage & usage) != usage) {
337 return 0;
338 }
Neil Armstrong408f6a62022-05-17 14:23:20 +0200339
Neil Armstronga88b1582022-05-11 14:11:25 +0200340 /*
Neil Armstrongdab56ba2022-05-17 11:56:55 +0200341 * Common case: the key alg or alg2 only allows alg.
Neil Armstronga88b1582022-05-11 14:11:25 +0200342 * This will match PSA_ALG_RSA_PKCS1V15_CRYPT & PSA_ALG_IS_ECDH
343 * directly.
344 * This would also match ECDSA/RSA_PKCS1V15_SIGN/RSA_PSS with
345 * a fixed hash on key_alg/key_alg2.
346 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100347 if (alg == key_alg || alg == key_alg2) {
348 return 1;
349 }
Neil Armstronga88b1582022-05-11 14:11:25 +0200350
351 /*
Neil Armstrongbbb8b752022-05-17 14:58:27 +0200352 * If key_alg or key_alg2 is a hash-and-sign with a wildcard for the hash,
353 * and alg is the same hash-and-sign family with any hash,
Neil Armstronga88b1582022-05-11 14:11:25 +0200354 * then alg is compliant with this key alg
355 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100356 if (PSA_ALG_IS_SIGN_HASH(alg)) {
Neil Armstronga88b1582022-05-11 14:11:25 +0200357
Gilles Peskine449bd832023-01-11 14:50:10 +0100358 if (PSA_ALG_IS_SIGN_HASH(key_alg) &&
359 PSA_ALG_SIGN_GET_HASH(key_alg) == PSA_ALG_ANY_HASH &&
360 (alg & ~PSA_ALG_HASH_MASK) == (key_alg & ~PSA_ALG_HASH_MASK)) {
361 return 1;
362 }
Neil Armstronga88b1582022-05-11 14:11:25 +0200363
Gilles Peskine449bd832023-01-11 14:50:10 +0100364 if (PSA_ALG_IS_SIGN_HASH(key_alg2) &&
365 PSA_ALG_SIGN_GET_HASH(key_alg2) == PSA_ALG_ANY_HASH &&
366 (alg & ~PSA_ALG_HASH_MASK) == (key_alg2 & ~PSA_ALG_HASH_MASK)) {
367 return 1;
368 }
Neil Armstronga88b1582022-05-11 14:11:25 +0200369 }
370
Gilles Peskine449bd832023-01-11 14:50:10 +0100371 return 0;
Neil Armstronga88b1582022-05-11 14:11:25 +0200372}
373#endif /* MBEDTLS_USE_PSA_CRYPTO */
374
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200375/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200376 * Helper for mbedtls_pk_sign and mbedtls_pk_verify
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200377 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100378static inline int pk_hashlen_helper(mbedtls_md_type_t md_alg, size_t *hash_len)
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200379{
Gilles Peskine449bd832023-01-11 14:50:10 +0100380 if (*hash_len != 0) {
381 return 0;
382 }
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200383
Manuel Pégourié-Gonnard9b41eb82023-03-28 11:14:24 +0200384 *hash_len = mbedtls_md_get_size_from_type(md_alg);
Manuel Pégourié-Gonnarda370e062022-07-05 11:55:20 +0200385
Gilles Peskine449bd832023-01-11 14:50:10 +0100386 if (*hash_len == 0) {
387 return -1;
388 }
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200389
Gilles Peskine449bd832023-01-11 14:50:10 +0100390 return 0;
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200391}
392
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200393#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200394/*
395 * Helper to set up a restart context if needed
396 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100397static int pk_restart_setup(mbedtls_pk_restart_ctx *ctx,
398 const mbedtls_pk_info_t *info)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200399{
Manuel Pégourié-Gonnardc8c12b62018-07-02 13:09:39 +0200400 /* Don't do anything if already set up or invalid */
Gilles Peskine449bd832023-01-11 14:50:10 +0100401 if (ctx == NULL || ctx->pk_info != NULL) {
402 return 0;
403 }
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200404
405 /* Should never happen when we're called */
Gilles Peskine449bd832023-01-11 14:50:10 +0100406 if (info->rs_alloc_func == NULL || info->rs_free_func == NULL) {
407 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
408 }
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200409
Gilles Peskine449bd832023-01-11 14:50:10 +0100410 if ((ctx->rs_ctx = info->rs_alloc_func()) == NULL) {
411 return MBEDTLS_ERR_PK_ALLOC_FAILED;
412 }
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200413
414 ctx->pk_info = info;
415
Gilles Peskine449bd832023-01-11 14:50:10 +0100416 return 0;
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200417}
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200418#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200419
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200420/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200421 * Verify a signature (restartable)
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200422 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100423int mbedtls_pk_verify_restartable(mbedtls_pk_context *ctx,
424 mbedtls_md_type_t md_alg,
425 const unsigned char *hash, size_t hash_len,
426 const unsigned char *sig, size_t sig_len,
427 mbedtls_pk_restart_ctx *rs_ctx)
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200428{
Gilles Peskine449bd832023-01-11 14:50:10 +0100429 if ((md_alg != MBEDTLS_MD_NONE || hash_len != 0) && hash == NULL) {
Tuvshinzaya Erdenekhuu78c1d8c2022-07-29 14:51:50 +0100430 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100431 }
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500432
Gilles Peskine449bd832023-01-11 14:50:10 +0100433 if (ctx->pk_info == NULL ||
434 pk_hashlen_helper(md_alg, &hash_len) != 0) {
435 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
436 }
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200437
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200438#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnardd55f7762017-08-18 17:40:15 +0200439 /* optimization: use non-restartable version if restart disabled */
Gilles Peskine449bd832023-01-11 14:50:10 +0100440 if (rs_ctx != NULL &&
Manuel Pégourié-Gonnardb843b152018-10-16 10:41:31 +0200441 mbedtls_ecp_restart_is_enabled() &&
Gilles Peskine449bd832023-01-11 14:50:10 +0100442 ctx->pk_info->verify_rs_func != NULL) {
Janos Follath24eed8d2019-11-22 13:21:35 +0000443 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200444
Gilles Peskine449bd832023-01-11 14:50:10 +0100445 if ((ret = pk_restart_setup(rs_ctx, ctx->pk_info)) != 0) {
446 return ret;
447 }
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200448
valerio38992cb2023-04-20 09:56:30 +0200449 ret = ctx->pk_info->verify_rs_func(ctx,
Gilles Peskine449bd832023-01-11 14:50:10 +0100450 md_alg, hash, hash_len, sig, sig_len, rs_ctx->rs_ctx);
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200451
Gilles Peskine449bd832023-01-11 14:50:10 +0100452 if (ret != MBEDTLS_ERR_ECP_IN_PROGRESS) {
453 mbedtls_pk_restart_free(rs_ctx);
454 }
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200455
Gilles Peskine449bd832023-01-11 14:50:10 +0100456 return ret;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200457 }
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200458#else /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200459 (void) rs_ctx;
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200460#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200461
Gilles Peskine449bd832023-01-11 14:50:10 +0100462 if (ctx->pk_info->verify_func == NULL) {
463 return MBEDTLS_ERR_PK_TYPE_MISMATCH;
464 }
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200465
valerio38992cb2023-04-20 09:56:30 +0200466 return ctx->pk_info->verify_func(ctx, md_alg, hash, hash_len,
Gilles Peskine449bd832023-01-11 14:50:10 +0100467 sig, sig_len);
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200468}
469
470/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200471 * Verify a signature
472 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100473int mbedtls_pk_verify(mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
474 const unsigned char *hash, size_t hash_len,
475 const unsigned char *sig, size_t sig_len)
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200476{
Gilles Peskine449bd832023-01-11 14:50:10 +0100477 return mbedtls_pk_verify_restartable(ctx, md_alg, hash, hash_len,
478 sig, sig_len, NULL);
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200479}
480
481/*
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200482 * Verify a signature with options
483 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100484int mbedtls_pk_verify_ext(mbedtls_pk_type_t type, const void *options,
485 mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
486 const unsigned char *hash, size_t hash_len,
487 const unsigned char *sig, size_t sig_len)
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200488{
Gilles Peskine449bd832023-01-11 14:50:10 +0100489 if ((md_alg != MBEDTLS_MD_NONE || hash_len != 0) && hash == NULL) {
Tuvshinzaya Erdenekhuu78c1d8c2022-07-29 14:51:50 +0100490 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100491 }
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500492
Gilles Peskine449bd832023-01-11 14:50:10 +0100493 if (ctx->pk_info == NULL) {
494 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
495 }
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200496
Gilles Peskine449bd832023-01-11 14:50:10 +0100497 if (!mbedtls_pk_can_do(ctx, type)) {
498 return MBEDTLS_ERR_PK_TYPE_MISMATCH;
499 }
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200500
Gilles Peskine449bd832023-01-11 14:50:10 +0100501 if (type != MBEDTLS_PK_RSASSA_PSS) {
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500502 /* General case: no options */
Gilles Peskine449bd832023-01-11 14:50:10 +0100503 if (options != NULL) {
504 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
505 }
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500506
Gilles Peskine449bd832023-01-11 14:50:10 +0100507 return mbedtls_pk_verify(ctx, md_alg, hash, hash_len, sig, sig_len);
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500508 }
509
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200510#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_PKCS1_V21)
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500511 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
512 const mbedtls_pk_rsassa_pss_options *pss_opts;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200513
Gilles Peskine449bd832023-01-11 14:50:10 +0100514 if (md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len) {
515 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
516 }
Andres AG72849872017-01-19 11:24:33 +0000517
Gilles Peskine449bd832023-01-11 14:50:10 +0100518 if (options == NULL) {
519 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
520 }
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200521
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500522 pss_opts = (const mbedtls_pk_rsassa_pss_options *) options;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200523
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500524#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100525 if (pss_opts->mgf1_hash_id == md_alg) {
Manuel Pégourié-Gonnard4dacf582022-06-10 12:50:00 +0200526 unsigned char buf[MBEDTLS_PK_RSA_PUB_DER_MAX_BYTES];
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500527 unsigned char *p;
Andrzej Kurek59550532022-02-16 07:46:42 -0500528 int key_len;
529 size_t signature_length;
Andrzej Kurekd70fa0e2022-02-17 10:51:15 -0500530 psa_status_t status = PSA_ERROR_DATA_CORRUPT;
531 psa_status_t destruction_status = PSA_ERROR_DATA_CORRUPT;
Andrzej Kurek59550532022-02-16 07:46:42 -0500532
Manuel Pégourié-Gonnard2d6d9932023-03-28 11:38:08 +0200533 psa_algorithm_t psa_md_alg = mbedtls_md_psa_alg_from_type(md_alg);
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500534 mbedtls_svc_key_id_t key_id = MBEDTLS_SVC_KEY_ID_INIT;
535 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Gilles Peskine449bd832023-01-11 14:50:10 +0100536 psa_algorithm_t psa_sig_alg = PSA_ALG_RSA_PSS_ANY_SALT(psa_md_alg);
537 p = buf + sizeof(buf);
538 key_len = mbedtls_pk_write_pubkey(&p, buf, ctx);
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500539
Gilles Peskine449bd832023-01-11 14:50:10 +0100540 if (key_len < 0) {
541 return key_len;
542 }
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500543
Gilles Peskine449bd832023-01-11 14:50:10 +0100544 psa_set_key_type(&attributes, PSA_KEY_TYPE_RSA_PUBLIC_KEY);
545 psa_set_key_usage_flags(&attributes, PSA_KEY_USAGE_VERIFY_HASH);
546 psa_set_key_algorithm(&attributes, psa_sig_alg);
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500547
Gilles Peskine449bd832023-01-11 14:50:10 +0100548 status = psa_import_key(&attributes,
549 buf + sizeof(buf) - key_len, key_len,
550 &key_id);
551 if (status != PSA_SUCCESS) {
552 psa_destroy_key(key_id);
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500553 return PSA_PK_TO_MBEDTLS_ERR(status);
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500554 }
555
Andrzej Kurek4a953cd2022-02-16 06:13:35 -0500556 /* This function requires returning MBEDTLS_ERR_PK_SIG_LEN_MISMATCH
557 * on a valid signature with trailing data in a buffer, but
558 * mbedtls_psa_rsa_verify_hash requires the sig_len to be exact,
559 * so for this reason the passed sig_len is overwritten. Smaller
560 * signature lengths should not be accepted for verification. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100561 signature_length = sig_len > mbedtls_pk_get_len(ctx) ?
562 mbedtls_pk_get_len(ctx) : sig_len;
563 status = psa_verify_hash(key_id, psa_sig_alg, hash,
564 hash_len, sig, signature_length);
565 destruction_status = psa_destroy_key(key_id);
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500566
Gilles Peskine449bd832023-01-11 14:50:10 +0100567 if (status == PSA_SUCCESS && sig_len > mbedtls_pk_get_len(ctx)) {
568 return MBEDTLS_ERR_PK_SIG_LEN_MISMATCH;
569 }
Andrzej Kurek8666df62022-02-15 08:23:02 -0500570
Gilles Peskine449bd832023-01-11 14:50:10 +0100571 if (status == PSA_SUCCESS) {
Andrzej Kurekd70fa0e2022-02-17 10:51:15 -0500572 status = destruction_status;
Gilles Peskine449bd832023-01-11 14:50:10 +0100573 }
Andrzej Kurekd70fa0e2022-02-17 10:51:15 -0500574
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500575 return PSA_PK_RSA_TO_MBEDTLS_ERR(status);
Gilles Peskine449bd832023-01-11 14:50:10 +0100576 } else
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500577#endif
578 {
Gilles Peskine449bd832023-01-11 14:50:10 +0100579 if (sig_len < mbedtls_pk_get_len(ctx)) {
580 return MBEDTLS_ERR_RSA_VERIFY_FAILED;
581 }
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200582
Gilles Peskine449bd832023-01-11 14:50:10 +0100583 ret = mbedtls_rsa_rsassa_pss_verify_ext(mbedtls_pk_rsa(*ctx),
584 md_alg, (unsigned int) hash_len, hash,
585 pss_opts->mgf1_hash_id,
586 pss_opts->expected_salt_len,
587 sig);
588 if (ret != 0) {
589 return ret;
590 }
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200591
Gilles Peskine449bd832023-01-11 14:50:10 +0100592 if (sig_len > mbedtls_pk_get_len(ctx)) {
593 return MBEDTLS_ERR_PK_SIG_LEN_MISMATCH;
594 }
Andrzej Kurek90ba2cb2022-02-15 08:18:44 -0500595
Gilles Peskine449bd832023-01-11 14:50:10 +0100596 return 0;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200597 }
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500598#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100599 return MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE;
Andrzej Kurek7db1b782022-02-09 14:13:44 -0500600#endif /* MBEDTLS_RSA_C && MBEDTLS_PKCS1_V21 */
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200601}
602
603/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200604 * Make a signature (restartable)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200605 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100606int mbedtls_pk_sign_restartable(mbedtls_pk_context *ctx,
607 mbedtls_md_type_t md_alg,
608 const unsigned char *hash, size_t hash_len,
609 unsigned char *sig, size_t sig_size, size_t *sig_len,
610 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
611 mbedtls_pk_restart_ctx *rs_ctx)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200612{
Gilles Peskine449bd832023-01-11 14:50:10 +0100613 if ((md_alg != MBEDTLS_MD_NONE || hash_len != 0) && hash == NULL) {
Tuvshinzaya Erdenekhuu78c1d8c2022-07-29 14:51:50 +0100614 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100615 }
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500616
Gilles Peskine449bd832023-01-11 14:50:10 +0100617 if (ctx->pk_info == NULL || pk_hashlen_helper(md_alg, &hash_len) != 0) {
618 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
619 }
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200620
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200621#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnardd55f7762017-08-18 17:40:15 +0200622 /* optimization: use non-restartable version if restart disabled */
Gilles Peskine449bd832023-01-11 14:50:10 +0100623 if (rs_ctx != NULL &&
Manuel Pégourié-Gonnardb843b152018-10-16 10:41:31 +0200624 mbedtls_ecp_restart_is_enabled() &&
Gilles Peskine449bd832023-01-11 14:50:10 +0100625 ctx->pk_info->sign_rs_func != NULL) {
Janos Follath24eed8d2019-11-22 13:21:35 +0000626 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200627
Gilles Peskine449bd832023-01-11 14:50:10 +0100628 if ((ret = pk_restart_setup(rs_ctx, ctx->pk_info)) != 0) {
629 return ret;
630 }
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200631
valerio38992cb2023-04-20 09:56:30 +0200632 ret = ctx->pk_info->sign_rs_func(ctx, md_alg,
Gilles Peskine449bd832023-01-11 14:50:10 +0100633 hash, hash_len,
634 sig, sig_size, sig_len,
635 f_rng, p_rng, rs_ctx->rs_ctx);
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200636
Gilles Peskine449bd832023-01-11 14:50:10 +0100637 if (ret != MBEDTLS_ERR_ECP_IN_PROGRESS) {
638 mbedtls_pk_restart_free(rs_ctx);
639 }
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200640
Gilles Peskine449bd832023-01-11 14:50:10 +0100641 return ret;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200642 }
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200643#else /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200644 (void) rs_ctx;
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200645#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200646
Gilles Peskine449bd832023-01-11 14:50:10 +0100647 if (ctx->pk_info->sign_func == NULL) {
648 return MBEDTLS_ERR_PK_TYPE_MISMATCH;
649 }
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200650
valerio38992cb2023-04-20 09:56:30 +0200651 return ctx->pk_info->sign_func(ctx, md_alg,
Gilles Peskine449bd832023-01-11 14:50:10 +0100652 hash, hash_len,
653 sig, sig_size, sig_len,
654 f_rng, p_rng);
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200655}
656
657/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200658 * Make a signature
659 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100660int mbedtls_pk_sign(mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
661 const unsigned char *hash, size_t hash_len,
662 unsigned char *sig, size_t sig_size, size_t *sig_len,
663 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng)
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200664{
Gilles Peskine449bd832023-01-11 14:50:10 +0100665 return mbedtls_pk_sign_restartable(ctx, md_alg, hash, hash_len,
666 sig, sig_size, sig_len,
667 f_rng, p_rng, NULL);
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200668}
669
Jerry Yu1d172a32022-03-12 19:12:05 +0800670#if defined(MBEDTLS_PSA_CRYPTO_C)
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200671/*
Jerry Yufb0621d2022-03-23 11:42:06 +0800672 * Make a signature given a signature type.
Jerry Yud69439a2022-02-24 15:52:15 +0800673 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100674int mbedtls_pk_sign_ext(mbedtls_pk_type_t pk_type,
675 mbedtls_pk_context *ctx,
676 mbedtls_md_type_t md_alg,
677 const unsigned char *hash, size_t hash_len,
678 unsigned char *sig, size_t sig_size, size_t *sig_len,
679 int (*f_rng)(void *, unsigned char *, size_t),
680 void *p_rng)
Jerry Yud69439a2022-02-24 15:52:15 +0800681{
Jerry Yufb0621d2022-03-23 11:42:06 +0800682#if defined(MBEDTLS_RSA_C)
683 psa_algorithm_t psa_md_alg;
684#endif /* MBEDTLS_RSA_C */
Jerry Yud69439a2022-02-24 15:52:15 +0800685 *sig_len = 0;
Jerry Yu1d172a32022-03-12 19:12:05 +0800686
Gilles Peskine449bd832023-01-11 14:50:10 +0100687 if (ctx->pk_info == NULL) {
688 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
689 }
Jerry Yud69439a2022-02-24 15:52:15 +0800690
Gilles Peskine449bd832023-01-11 14:50:10 +0100691 if (!mbedtls_pk_can_do(ctx, pk_type)) {
692 return MBEDTLS_ERR_PK_TYPE_MISMATCH;
693 }
Jerry Yud69439a2022-02-24 15:52:15 +0800694
Gilles Peskine449bd832023-01-11 14:50:10 +0100695 if (pk_type != MBEDTLS_PK_RSASSA_PSS) {
696 return mbedtls_pk_sign(ctx, md_alg, hash, hash_len,
697 sig, sig_size, sig_len, f_rng, p_rng);
Jerry Yud69439a2022-02-24 15:52:15 +0800698 }
Neil Armstrong13e76be2022-04-21 12:08:52 +0200699
Jerry Yu89107d12022-03-22 14:20:15 +0800700#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnard2d6d9932023-03-28 11:38:08 +0200701 psa_md_alg = mbedtls_md_psa_alg_from_type(md_alg);
Gilles Peskine449bd832023-01-11 14:50:10 +0100702 if (psa_md_alg == 0) {
703 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
704 }
Neil Armstrong13e76be2022-04-21 12:08:52 +0200705
Gilles Peskine449bd832023-01-11 14:50:10 +0100706 if (mbedtls_pk_get_type(ctx) == MBEDTLS_PK_OPAQUE) {
Neil Armstrong13e76be2022-04-21 12:08:52 +0200707 psa_status_t status;
708
Valerio Setti4f387ef2023-05-02 14:15:59 +0200709 status = psa_sign_hash(ctx->priv_id, PSA_ALG_RSA_PSS(psa_md_alg),
Gilles Peskine449bd832023-01-11 14:50:10 +0100710 hash, hash_len,
711 sig, sig_size, sig_len);
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500712 return PSA_PK_RSA_TO_MBEDTLS_ERR(status);
Neil Armstrong13e76be2022-04-21 12:08:52 +0200713 }
714
Gilles Peskine449bd832023-01-11 14:50:10 +0100715 return mbedtls_pk_psa_rsa_sign_ext(PSA_ALG_RSA_PSS(psa_md_alg),
716 ctx->pk_ctx, hash, hash_len,
717 sig, sig_size, sig_len);
Jerry Yu89107d12022-03-22 14:20:15 +0800718#else /* MBEDTLS_RSA_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100719 return MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE;
Jerry Yu89107d12022-03-22 14:20:15 +0800720#endif /* !MBEDTLS_RSA_C */
Jerry Yud69439a2022-02-24 15:52:15 +0800721
722}
Jerry Yu1d172a32022-03-12 19:12:05 +0800723#endif /* MBEDTLS_PSA_CRYPTO_C */
Jerry Yud69439a2022-02-24 15:52:15 +0800724
725/*
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200726 * Decrypt message
727 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100728int mbedtls_pk_decrypt(mbedtls_pk_context *ctx,
729 const unsigned char *input, size_t ilen,
730 unsigned char *output, size_t *olen, size_t osize,
731 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng)
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200732{
Gilles Peskine449bd832023-01-11 14:50:10 +0100733 if (ctx->pk_info == NULL) {
734 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
735 }
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200736
Gilles Peskine449bd832023-01-11 14:50:10 +0100737 if (ctx->pk_info->decrypt_func == NULL) {
738 return MBEDTLS_ERR_PK_TYPE_MISMATCH;
739 }
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200740
valerio38992cb2023-04-20 09:56:30 +0200741 return ctx->pk_info->decrypt_func(ctx, input, ilen,
Gilles Peskine449bd832023-01-11 14:50:10 +0100742 output, olen, osize, f_rng, p_rng);
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200743}
744
745/*
746 * Encrypt message
747 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100748int mbedtls_pk_encrypt(mbedtls_pk_context *ctx,
749 const unsigned char *input, size_t ilen,
750 unsigned char *output, size_t *olen, size_t osize,
751 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng)
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200752{
Gilles Peskine449bd832023-01-11 14:50:10 +0100753 if (ctx->pk_info == NULL) {
754 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
755 }
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200756
Gilles Peskine449bd832023-01-11 14:50:10 +0100757 if (ctx->pk_info->encrypt_func == NULL) {
758 return MBEDTLS_ERR_PK_TYPE_MISMATCH;
759 }
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200760
valerio38992cb2023-04-20 09:56:30 +0200761 return ctx->pk_info->encrypt_func(ctx, input, ilen,
Gilles Peskine449bd832023-01-11 14:50:10 +0100762 output, olen, osize, f_rng, p_rng);
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200763}
764
765/*
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100766 * Check public-private key pair
767 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100768int mbedtls_pk_check_pair(const mbedtls_pk_context *pub,
769 const mbedtls_pk_context *prv,
770 int (*f_rng)(void *, unsigned char *, size_t),
771 void *p_rng)
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100772{
Gilles Peskine449bd832023-01-11 14:50:10 +0100773 if (pub->pk_info == NULL ||
774 prv->pk_info == NULL) {
775 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100776 }
777
Gilles Peskine449bd832023-01-11 14:50:10 +0100778 if (f_rng == NULL) {
779 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100780 }
781
Gilles Peskine449bd832023-01-11 14:50:10 +0100782 if (prv->pk_info->check_pair_func == NULL) {
783 return MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE;
784 }
785
786 if (prv->pk_info->type == MBEDTLS_PK_RSA_ALT) {
787 if (pub->pk_info->type != MBEDTLS_PK_RSA) {
788 return MBEDTLS_ERR_PK_TYPE_MISMATCH;
789 }
790 } else {
valerio8cbef4d2023-06-01 10:59:03 +0200791 if ((prv->pk_info->type != MBEDTLS_PK_OPAQUE) &&
792 (pub->pk_info != prv->pk_info)) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100793 return MBEDTLS_ERR_PK_TYPE_MISMATCH;
794 }
795 }
796
valerio38992cb2023-04-20 09:56:30 +0200797 return prv->pk_info->check_pair_func((mbedtls_pk_context *) pub,
798 (mbedtls_pk_context *) prv,
799 f_rng, p_rng);
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100800}
801
802/*
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200803 * Get key size in bits
804 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100805size_t mbedtls_pk_get_bitlen(const mbedtls_pk_context *ctx)
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200806{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500807 /* For backward compatibility, accept NULL or a context that
808 * isn't set up yet, and return a fake value that should be safe. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100809 if (ctx == NULL || ctx->pk_info == NULL) {
810 return 0;
811 }
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200812
valerio38992cb2023-04-20 09:56:30 +0200813 return ctx->pk_info->get_bitlen((mbedtls_pk_context *) ctx);
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200814}
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200815
816/*
817 * Export debug information
818 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100819int mbedtls_pk_debug(const mbedtls_pk_context *ctx, mbedtls_pk_debug_item *items)
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200820{
Gilles Peskine449bd832023-01-11 14:50:10 +0100821 if (ctx->pk_info == NULL) {
822 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
823 }
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200824
Gilles Peskine449bd832023-01-11 14:50:10 +0100825 if (ctx->pk_info->debug_func == NULL) {
826 return MBEDTLS_ERR_PK_TYPE_MISMATCH;
827 }
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200828
valerio38992cb2023-04-20 09:56:30 +0200829 ctx->pk_info->debug_func((mbedtls_pk_context *) ctx, items);
Gilles Peskine449bd832023-01-11 14:50:10 +0100830 return 0;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200831}
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200832
833/*
834 * Access the PK type name
835 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100836const char *mbedtls_pk_get_name(const mbedtls_pk_context *ctx)
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200837{
Gilles Peskine449bd832023-01-11 14:50:10 +0100838 if (ctx == NULL || ctx->pk_info == NULL) {
839 return "invalid PK";
840 }
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200841
Gilles Peskine449bd832023-01-11 14:50:10 +0100842 return ctx->pk_info->name;
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200843}
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +0200844
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200845/*
846 * Access the PK type
847 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100848mbedtls_pk_type_t mbedtls_pk_get_type(const mbedtls_pk_context *ctx)
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200849{
Gilles Peskine449bd832023-01-11 14:50:10 +0100850 if (ctx == NULL || ctx->pk_info == NULL) {
851 return MBEDTLS_PK_NONE;
852 }
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200853
Gilles Peskine449bd832023-01-11 14:50:10 +0100854 return ctx->pk_info->type;
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200855}
856
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +0100857#if defined(MBEDTLS_USE_PSA_CRYPTO)
858/*
859 * Load the key to a PSA key slot,
860 * then turn the PK context into a wrapper for that key slot.
861 *
Neil Armstrong56e71d42022-04-08 15:12:42 +0200862 * Currently only works for EC & RSA private keys.
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +0100863 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100864int mbedtls_pk_wrap_as_opaque(mbedtls_pk_context *pk,
865 mbedtls_svc_key_id_t *key,
866 psa_algorithm_t alg,
867 psa_key_usage_t usage,
868 psa_algorithm_t alg2)
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +0100869{
Valerio Setti81d75122023-06-14 14:49:33 +0200870#if !defined(MBEDTLS_PK_HAVE_ECC_KEYS) && !defined(MBEDTLS_RSA_C)
John Durkopf35069a2020-08-17 22:05:14 -0700871 ((void) pk);
Ronald Croncf56a0a2020-08-04 09:51:30 +0200872 ((void) key);
Neil Armstronga1fc18f2022-04-22 13:57:14 +0200873 ((void) alg);
874 ((void) usage);
875 ((void) alg2);
Valerio Setti81d75122023-06-14 14:49:33 +0200876#else /* !MBEDTLS_PK_HAVE_ECC_KEYS && !MBEDTLS_RSA_C */
877#if defined(MBEDTLS_PK_HAVE_ECC_KEYS)
Gilles Peskine449bd832023-01-11 14:50:10 +0100878 if (mbedtls_pk_get_type(pk) == MBEDTLS_PK_ECKEY) {
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100879 size_t d_len;
880 psa_ecc_family_t curve_id;
881 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
882 psa_key_type_t key_type;
883 size_t bits;
Neil Armstrongc1152e42022-03-22 10:29:06 +0100884 psa_status_t status;
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +0100885
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100886 /* export the private key material in the format PSA wants */
Valerio Settiae8c6282023-05-18 18:57:57 +0200887#if defined(MBEDTLS_PK_USE_PSA_EC_DATA)
Valerio Setti1194ffa2023-05-24 13:15:58 +0200888 unsigned char d[MBEDTLS_PSA_MAX_EC_KEY_PAIR_LENGTH];
Valerio Settiae8c6282023-05-18 18:57:57 +0200889 status = psa_export_key(pk->priv_id, d, sizeof(d), &d_len);
890 if (status != PSA_SUCCESS) {
891 return psa_pk_status_to_mbedtls(status);
892 }
893
894 curve_id = pk->ec_family;
895 bits = pk->ec_bits;
896#else /* MBEDTLS_PK_USE_PSA_EC_DATA */
Valerio Setti1194ffa2023-05-24 13:15:58 +0200897 unsigned char d[MBEDTLS_ECP_MAX_BYTES];
Valerio Settiae8c6282023-05-18 18:57:57 +0200898 mbedtls_ecp_keypair *ec = mbedtls_pk_ec_rw(*pk);
899 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
900
Gilles Peskine449bd832023-01-11 14:50:10 +0100901 d_len = PSA_BITS_TO_BYTES(ec->grp.nbits);
Jethro Beekman33a3ccd2023-05-03 18:25:27 +0200902 if ((ret = mbedtls_ecp_write_key(ec, d, d_len)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100903 return ret;
904 }
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +0100905
Gilles Peskine449bd832023-01-11 14:50:10 +0100906 curve_id = mbedtls_ecc_group_to_psa(ec->grp.id, &bits);
Valerio Settiae8c6282023-05-18 18:57:57 +0200907#endif /* MBEDTLS_PK_USE_PSA_EC_DATA */
Gilles Peskine449bd832023-01-11 14:50:10 +0100908 key_type = PSA_KEY_TYPE_ECC_KEY_PAIR(curve_id);
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +0100909
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100910 /* prepare the key attributes */
Gilles Peskine449bd832023-01-11 14:50:10 +0100911 psa_set_key_type(&attributes, key_type);
912 psa_set_key_bits(&attributes, bits);
913 psa_set_key_usage_flags(&attributes, usage);
914 psa_set_key_algorithm(&attributes, alg);
915 if (alg2 != PSA_ALG_NONE) {
916 psa_set_key_enrollment_algorithm(&attributes, alg2);
917 }
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +0100918
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100919 /* import private key into PSA */
Gilles Peskine449bd832023-01-11 14:50:10 +0100920 status = psa_import_key(&attributes, d, d_len, key);
Valerio Setti2d814992023-04-27 10:05:03 +0200921 mbedtls_platform_zeroize(d, sizeof(d));
Gilles Peskine449bd832023-01-11 14:50:10 +0100922 if (status != PSA_SUCCESS) {
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500923 return PSA_PK_TO_MBEDTLS_ERR(status);
Gilles Peskine449bd832023-01-11 14:50:10 +0100924 }
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +0100925
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100926 /* make PK context wrap the key slot */
Gilles Peskine449bd832023-01-11 14:50:10 +0100927 mbedtls_pk_free(pk);
928 mbedtls_pk_init(pk);
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +0100929
Gilles Peskine449bd832023-01-11 14:50:10 +0100930 return mbedtls_pk_setup_opaque(pk, *key);
931 } else
Valerio Setti81d75122023-06-14 14:49:33 +0200932#endif /* MBEDTLS_PK_HAVE_ECC_KEYS */
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100933#if defined(MBEDTLS_RSA_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100934 if (mbedtls_pk_get_type(pk) == MBEDTLS_PK_RSA) {
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100935 unsigned char buf[MBEDTLS_PK_RSA_PRV_DER_MAX_BYTES];
936 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
937 int key_len;
938 psa_status_t status;
939
940 /* export the private key material in the format PSA wants */
Gilles Peskine449bd832023-01-11 14:50:10 +0100941 key_len = mbedtls_pk_write_key_der(pk, buf, sizeof(buf));
942 if (key_len <= 0) {
943 return MBEDTLS_ERR_PK_BAD_INPUT_DATA;
944 }
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100945
946 /* prepare the key attributes */
Gilles Peskine449bd832023-01-11 14:50:10 +0100947 psa_set_key_type(&attributes, PSA_KEY_TYPE_RSA_KEY_PAIR);
948 psa_set_key_bits(&attributes, mbedtls_pk_get_bitlen(pk));
949 psa_set_key_usage_flags(&attributes, usage);
950 psa_set_key_algorithm(&attributes, alg);
951 if (alg2 != PSA_ALG_NONE) {
952 psa_set_key_enrollment_algorithm(&attributes, alg2);
953 }
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100954
955 /* import private key into PSA */
Gilles Peskine449bd832023-01-11 14:50:10 +0100956 status = psa_import_key(&attributes,
957 buf + sizeof(buf) - key_len,
958 key_len, key);
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100959
Gilles Peskine449bd832023-01-11 14:50:10 +0100960 mbedtls_platform_zeroize(buf, sizeof(buf));
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100961
Gilles Peskine449bd832023-01-11 14:50:10 +0100962 if (status != PSA_SUCCESS) {
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500963 return PSA_PK_TO_MBEDTLS_ERR(status);
Gilles Peskine449bd832023-01-11 14:50:10 +0100964 }
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100965
966 /* make PK context wrap the key slot */
Gilles Peskine449bd832023-01-11 14:50:10 +0100967 mbedtls_pk_free(pk);
968 mbedtls_pk_init(pk);
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100969
Gilles Peskine449bd832023-01-11 14:50:10 +0100970 return mbedtls_pk_setup_opaque(pk, *key);
971 } else
Neil Armstrongca5b55f2022-03-15 15:00:55 +0100972#endif /* MBEDTLS_RSA_C */
Valerio Setti81d75122023-06-14 14:49:33 +0200973#endif /* !MBEDTLS_PK_HAVE_ECC_KEYS && !MBEDTLS_RSA_C */
Gilles Peskine449bd832023-01-11 14:50:10 +0100974 return MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +0100975}
976#endif /* MBEDTLS_USE_PSA_CRYPTO */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200977#endif /* MBEDTLS_PK_C */