blob: 7f8abd48838a2aa8c67a8fc1218367062846e402 [file] [log] [blame]
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +02001/*
2 * Public Key abstraction layer: wrapper functions
3 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02004 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
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é-Gonnardd73b3c12013-08-12 17:06:05 +020018 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000019 * This file is part of mbed TLS (https://tls.mbed.org)
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020020 */
21
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020022#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000023#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020024#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020025#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020026#endif
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020027
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020028#if defined(MBEDTLS_PK_C)
Manuel Pégourié-Gonnard50518f42015-05-26 11:04:15 +020029#include "mbedtls/pk_internal.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020030
Manuel Pégourié-Gonnarde511ffc2013-08-22 17:33:21 +020031/* Even if RSA not activated, for the sake of RSA-alt */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000032#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020033
Rich Evans00ab4702015-02-06 13:43:58 +000034#include <string.h>
35
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020036#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000037#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020038#endif
39
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000041#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020042#endif
43
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010044#if defined(MBEDTLS_USE_PSA_CRYPTO)
45#include "mbedtls/asn1write.h"
46#endif
47
Andres Amaya Garciae32df082017-10-25 09:37:04 +010048#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050049#include "mbedtls/platform_util.h"
Andres Amaya Garciae32df082017-10-25 09:37:04 +010050#endif
51
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010052#if defined(MBEDTLS_USE_PSA_CRYPTO)
Andrzej Kurek8b036a62018-10-31 05:16:46 -040053#include "psa/crypto.h"
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010054#include "mbedtls/psa_util.h"
Andrzej Kurek8b036a62018-10-31 05:16:46 -040055#include "mbedtls/asn1.h"
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010056#endif
57
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020058#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000059#include "mbedtls/platform.h"
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020060#else
61#include <stdlib.h>
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +020062#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020063#define mbedtls_free free
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020064#endif
65
Andres AG72849872017-01-19 11:24:33 +000066#include <limits.h>
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010067#include <stdint.h>
Paul Bakker34617722014-06-13 17:20:13 +020068
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020069#if defined(MBEDTLS_RSA_C)
70static int rsa_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +020071{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020072 return( type == MBEDTLS_PK_RSA ||
73 type == MBEDTLS_PK_RSASSA_PSS );
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +020074}
75
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +020076static size_t rsa_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +020077{
Hanno Becker6a1e7e52017-08-22 13:55:00 +010078 const mbedtls_rsa_context * rsa = (const mbedtls_rsa_context *) ctx;
79 return( 8 * mbedtls_rsa_get_len( rsa ) );
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +020080}
81
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082static int rsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +020083 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020084 const unsigned char *sig, size_t sig_len )
85{
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +020086 int ret;
Hanno Becker6a1e7e52017-08-22 13:55:00 +010087 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
88 size_t rsa_len = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +020089
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010090#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +000091 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
92 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010093#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +000094
Hanno Becker6a1e7e52017-08-22 13:55:00 +010095 if( sig_len < rsa_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020096 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020097
Hanno Becker6a1e7e52017-08-22 13:55:00 +010098 if( ( ret = mbedtls_rsa_pkcs1_verify( rsa, NULL, NULL,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020099 MBEDTLS_RSA_PUBLIC, md_alg,
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200100 (unsigned int) hash_len, hash, sig ) ) != 0 )
101 return( ret );
102
Gilles Peskine5114d3e2018-03-30 07:12:15 +0200103 /* The buffer contains a valid signature followed by extra data.
104 * We have a special error code for that so that so that callers can
105 * use mbedtls_pk_verify() to check "Does the buffer start with a
106 * valid signature?" and not just "Does the buffer contain a valid
107 * signature?". */
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100108 if( sig_len > rsa_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200109 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200110
111 return( 0 );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200112}
113
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200114static int rsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200115 const unsigned char *hash, size_t hash_len,
116 unsigned char *sig, size_t *sig_len,
117 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
118{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100119 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
120
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100121#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000122 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
123 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100124#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000125
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100126 *sig_len = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200127
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100128 return( mbedtls_rsa_pkcs1_sign( rsa, f_rng, p_rng, MBEDTLS_RSA_PRIVATE,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200129 md_alg, (unsigned int) hash_len, hash, sig ) );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200130}
131
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200132static int rsa_decrypt_wrap( void *ctx,
133 const unsigned char *input, size_t ilen,
134 unsigned char *output, size_t *olen, size_t osize,
135 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
136{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100137 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
138
139 if( ilen != mbedtls_rsa_get_len( rsa ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200140 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200141
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100142 return( mbedtls_rsa_pkcs1_decrypt( rsa, f_rng, p_rng,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200143 MBEDTLS_RSA_PRIVATE, olen, input, output, osize ) );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200144}
145
146static int rsa_encrypt_wrap( void *ctx,
147 const unsigned char *input, size_t ilen,
148 unsigned char *output, size_t *olen, size_t osize,
149 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
150{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100151 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
152 *olen = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200153
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100154 if( *olen > osize )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200155 return( MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100156
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100157 return( mbedtls_rsa_pkcs1_encrypt( rsa, f_rng, p_rng, MBEDTLS_RSA_PUBLIC,
158 ilen, input, output ) );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200159}
160
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100161static int rsa_check_pair_wrap( const void *pub, const void *prv )
162{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200163 return( mbedtls_rsa_check_pub_priv( (const mbedtls_rsa_context *) pub,
164 (const mbedtls_rsa_context *) prv ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100165}
166
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200167static void *rsa_alloc_wrap( void )
168{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200169 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_rsa_context ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200170
171 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200172 mbedtls_rsa_init( (mbedtls_rsa_context *) ctx, 0, 0 );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200173
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200174 return( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200175}
176
177static void rsa_free_wrap( void *ctx )
178{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200179 mbedtls_rsa_free( (mbedtls_rsa_context *) ctx );
180 mbedtls_free( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200181}
182
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200183static void rsa_debug( const void *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200184{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200185 items->type = MBEDTLS_PK_DEBUG_MPI;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200186 items->name = "rsa.N";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200187 items->value = &( ((mbedtls_rsa_context *) ctx)->N );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200188
189 items++;
190
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200191 items->type = MBEDTLS_PK_DEBUG_MPI;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200192 items->name = "rsa.E";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200193 items->value = &( ((mbedtls_rsa_context *) ctx)->E );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200194}
195
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200196const mbedtls_pk_info_t mbedtls_rsa_info = {
197 MBEDTLS_PK_RSA,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200198 "RSA",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200199 rsa_get_bitlen,
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200200 rsa_can_do,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200201 rsa_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200202 rsa_sign_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200203#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200204 NULL,
205 NULL,
206#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200207 rsa_decrypt_wrap,
208 rsa_encrypt_wrap,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100209 rsa_check_pair_wrap,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200210 rsa_alloc_wrap,
211 rsa_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200212#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200213 NULL,
214 NULL,
215#endif
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200216 rsa_debug,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200217};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200218#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200219
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200220#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200221/*
222 * Generic EC key
223 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200224static int eckey_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200225{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200226 return( type == MBEDTLS_PK_ECKEY ||
227 type == MBEDTLS_PK_ECKEY_DH ||
228 type == MBEDTLS_PK_ECDSA );
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200229}
230
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200231static size_t eckey_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200232{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200233 return( ((mbedtls_ecp_keypair *) ctx)->grp.pbits );
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200234}
235
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200236#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200237/* Forward declarations */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200238static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200239 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200240 const unsigned char *sig, size_t sig_len );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200241
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200242static int ecdsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200243 const unsigned char *hash, size_t hash_len,
244 unsigned char *sig, size_t *sig_len,
245 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng );
246
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200247static int eckey_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200248 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200249 const unsigned char *sig, size_t sig_len )
250{
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200251 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200252 mbedtls_ecdsa_context ecdsa;
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200253
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200254 mbedtls_ecdsa_init( &ecdsa );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200255
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200256 if( ( ret = mbedtls_ecdsa_from_keypair( &ecdsa, ctx ) ) == 0 )
Manuel Pégourié-Gonnard583b6082013-08-20 16:58:13 +0200257 ret = ecdsa_verify_wrap( &ecdsa, md_alg, hash, hash_len, sig, sig_len );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200258
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200259 mbedtls_ecdsa_free( &ecdsa );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200260
261 return( ret );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200262}
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200263
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200264static int eckey_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200265 const unsigned char *hash, size_t hash_len,
266 unsigned char *sig, size_t *sig_len,
267 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
268{
269 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200270 mbedtls_ecdsa_context ecdsa;
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200271
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200272 mbedtls_ecdsa_init( &ecdsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200273
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200274 if( ( ret = mbedtls_ecdsa_from_keypair( &ecdsa, ctx ) ) == 0 )
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200275 ret = ecdsa_sign_wrap( &ecdsa, md_alg, hash, hash_len, sig, sig_len,
276 f_rng, p_rng );
277
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200278 mbedtls_ecdsa_free( &ecdsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200279
280 return( ret );
281}
282
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200283#if defined(MBEDTLS_ECP_RESTARTABLE)
284/* Forward declarations */
285static int ecdsa_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
286 const unsigned char *hash, size_t hash_len,
287 const unsigned char *sig, size_t sig_len,
288 void *rs_ctx );
289
290static int ecdsa_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
291 const unsigned char *hash, size_t hash_len,
292 unsigned char *sig, size_t *sig_len,
293 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
294 void *rs_ctx );
295
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200296/*
297 * Restart context for ECDSA operations with ECKEY context
298 *
299 * We need to store an actual ECDSA context, as we need to pass the same to
300 * the underlying ecdsa function, so we can't create it on the fly every time.
301 */
302typedef struct
303{
304 mbedtls_ecdsa_restart_ctx ecdsa_rs;
305 mbedtls_ecdsa_context ecdsa_ctx;
306} eckey_restart_ctx;
307
308static void *eckey_rs_alloc( void )
309{
310 eckey_restart_ctx *rs_ctx;
311
312 void *ctx = mbedtls_calloc( 1, sizeof( eckey_restart_ctx ) );
313
314 if( ctx != NULL )
315 {
316 rs_ctx = ctx;
317 mbedtls_ecdsa_restart_init( &rs_ctx->ecdsa_rs );
318 mbedtls_ecdsa_init( &rs_ctx->ecdsa_ctx );
319 }
320
321 return( ctx );
322}
323
324static void eckey_rs_free( void *ctx )
325{
326 eckey_restart_ctx *rs_ctx;
327
328 if( ctx == NULL)
329 return;
330
331 rs_ctx = ctx;
332 mbedtls_ecdsa_restart_free( &rs_ctx->ecdsa_rs );
333 mbedtls_ecdsa_free( &rs_ctx->ecdsa_ctx );
334
335 mbedtls_free( ctx );
336}
337
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200338static int eckey_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
339 const unsigned char *hash, size_t hash_len,
340 const unsigned char *sig, size_t sig_len,
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200341 void *rs_ctx )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200342{
343 int ret;
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200344 eckey_restart_ctx *rs = rs_ctx;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200345
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200346 /* Should never happen */
347 if( rs == NULL )
348 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200349
Manuel Pégourié-Gonnardee68cff2018-10-15 15:27:49 +0200350 /* set up our own sub-context if needed (that is, on first run) */
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200351 if( rs->ecdsa_ctx.grp.pbits == 0 )
352 MBEDTLS_MPI_CHK( mbedtls_ecdsa_from_keypair( &rs->ecdsa_ctx, ctx ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200353
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200354 MBEDTLS_MPI_CHK( ecdsa_verify_rs_wrap( &rs->ecdsa_ctx,
355 md_alg, hash, hash_len,
356 sig, sig_len, &rs->ecdsa_rs ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200357
358cleanup:
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200359 return( ret );
360}
361
362static int eckey_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
363 const unsigned char *hash, size_t hash_len,
364 unsigned char *sig, size_t *sig_len,
365 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200366 void *rs_ctx )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200367{
368 int ret;
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200369 eckey_restart_ctx *rs = rs_ctx;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200370
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200371 /* Should never happen */
372 if( rs == NULL )
373 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200374
Manuel Pégourié-Gonnardee68cff2018-10-15 15:27:49 +0200375 /* set up our own sub-context if needed (that is, on first run) */
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200376 if( rs->ecdsa_ctx.grp.pbits == 0 )
377 MBEDTLS_MPI_CHK( mbedtls_ecdsa_from_keypair( &rs->ecdsa_ctx, ctx ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200378
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200379 MBEDTLS_MPI_CHK( ecdsa_sign_rs_wrap( &rs->ecdsa_ctx, md_alg,
380 hash, hash_len, sig, sig_len,
381 f_rng, p_rng, &rs->ecdsa_rs ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200382
383cleanup:
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200384 return( ret );
385}
386#endif /* MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200387#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200388
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100389static int eckey_check_pair( const void *pub, const void *prv )
390{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200391 return( mbedtls_ecp_check_pub_priv( (const mbedtls_ecp_keypair *) pub,
392 (const mbedtls_ecp_keypair *) prv ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100393}
394
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200395static void *eckey_alloc_wrap( void )
396{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200397 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecp_keypair ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200398
399 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200400 mbedtls_ecp_keypair_init( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200401
402 return( ctx );
403}
404
405static void eckey_free_wrap( void *ctx )
406{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200407 mbedtls_ecp_keypair_free( (mbedtls_ecp_keypair *) ctx );
408 mbedtls_free( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200409}
410
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200411static void eckey_debug( const void *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200412{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200413 items->type = MBEDTLS_PK_DEBUG_ECP;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200414 items->name = "eckey.Q";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200415 items->value = &( ((mbedtls_ecp_keypair *) ctx)->Q );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200416}
417
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200418const mbedtls_pk_info_t mbedtls_eckey_info = {
419 MBEDTLS_PK_ECKEY,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200420 "EC",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200421 eckey_get_bitlen,
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200422 eckey_can_do,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200423#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200424 eckey_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200425 eckey_sign_wrap,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200426#if defined(MBEDTLS_ECP_RESTARTABLE)
427 eckey_verify_rs_wrap,
428 eckey_sign_rs_wrap,
429#endif
430#else /* MBEDTLS_ECDSA_C */
431 NULL,
432 NULL,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200433#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200434 NULL,
435 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100436 eckey_check_pair,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200437 eckey_alloc_wrap,
438 eckey_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200439#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200440 eckey_rs_alloc,
441 eckey_rs_free,
442#endif
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200443 eckey_debug,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200444};
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200445
446/*
Paul Bakker75342a62014-04-08 17:35:40 +0200447 * EC key restricted to ECDH
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200448 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200449static int eckeydh_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200450{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200451 return( type == MBEDTLS_PK_ECKEY ||
452 type == MBEDTLS_PK_ECKEY_DH );
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200453}
454
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200455const mbedtls_pk_info_t mbedtls_eckeydh_info = {
456 MBEDTLS_PK_ECKEY_DH,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200457 "EC_DH",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200458 eckey_get_bitlen, /* Same underlying key structure */
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200459 eckeydh_can_do,
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200460 NULL,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200461 NULL,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200462#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200463 NULL,
464 NULL,
465#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200466 NULL,
467 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100468 eckey_check_pair,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200469 eckey_alloc_wrap, /* Same underlying key structure */
470 eckey_free_wrap, /* Same underlying key structure */
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200471#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200472 NULL,
473 NULL,
474#endif
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200475 eckey_debug, /* Same underlying key structure */
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200476};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200477#endif /* MBEDTLS_ECP_C */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200478
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200479#if defined(MBEDTLS_ECDSA_C)
480static int ecdsa_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200481{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200482 return( type == MBEDTLS_PK_ECDSA );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200483}
484
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400485#if defined(MBEDTLS_USE_PSA_CRYPTO)
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400486/*
Andrzej Kurek9241d182018-11-20 05:04:35 -0500487 * An ASN.1 encoded signature is a sequence of two ASN.1 integers. Parse one of
488 * those integers and convert it to the fixed-length encoding expected by PSA.
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500489 */
Andrzej Kurek9241d182018-11-20 05:04:35 -0500490static int extract_ecdsa_sig_int( unsigned char **from, const unsigned char *end,
491 unsigned char *to, size_t to_len )
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500492{
493 int ret;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500494 size_t unpadded_len, padding_len;
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500495
Andrzej Kurek9241d182018-11-20 05:04:35 -0500496 if( ( ret = mbedtls_asn1_get_tag( from, end, &unpadded_len,
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500497 MBEDTLS_ASN1_INTEGER ) ) != 0 )
498 {
499 return( ret );
500 }
501
Andrzej Kurek9241d182018-11-20 05:04:35 -0500502 while( unpadded_len > 0 && **from == 0x00 )
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500503 {
504 ( *from )++;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500505 unpadded_len--;
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500506 }
507
Andrzej Kurek9241d182018-11-20 05:04:35 -0500508 if( unpadded_len > to_len || unpadded_len == 0 )
509 return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500510
Andrzej Kurek9241d182018-11-20 05:04:35 -0500511 padding_len = to_len - unpadded_len;
Andrzej Kurek6cb63aa2018-11-20 05:14:46 -0500512 memset( to, 0x00, padding_len );
Andrzej Kurek9241d182018-11-20 05:04:35 -0500513 memcpy( to + padding_len, *from, unpadded_len );
514 ( *from ) += unpadded_len;
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500515
Andrzej Kurek9241d182018-11-20 05:04:35 -0500516 return( 0 );
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500517}
518
519/*
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400520 * Convert a signature from an ASN.1 sequence of two integers
Andrzej Kurek9241d182018-11-20 05:04:35 -0500521 * to a raw {r,s} buffer. Note: the provided sig buffer must be at least
Andrzej Kurekb6016c52018-11-19 17:41:58 -0500522 * twice as big as int_size.
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400523 */
524static int extract_ecdsa_sig( unsigned char **p, const unsigned char *end,
Andrzej Kurek9241d182018-11-20 05:04:35 -0500525 unsigned char *sig, size_t int_size )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400526{
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500527 int ret;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500528 size_t tmp_size;
Andrzej Kurek3f864c22018-11-07 09:30:50 -0500529
Andrzej Kurek9241d182018-11-20 05:04:35 -0500530 if( ( ret = mbedtls_asn1_get_tag( p, end, &tmp_size,
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500531 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Andrzej Kurek9241d182018-11-20 05:04:35 -0500532 return( ret );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400533
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500534 /* Extract r */
Andrzej Kurek9241d182018-11-20 05:04:35 -0500535 if( ( ret = extract_ecdsa_sig_int( p, end, sig, int_size ) ) != 0 )
536 return( ret );
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500537 /* Extract s */
Andrzej Kurek9241d182018-11-20 05:04:35 -0500538 if( ( ret = extract_ecdsa_sig_int( p, end, sig + int_size, int_size ) ) != 0 )
539 return( ret );
Andrzej Kurek3f864c22018-11-07 09:30:50 -0500540
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400541 return( 0 );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400542}
543
544static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
545 const unsigned char *hash, size_t hash_len,
546 const unsigned char *sig, size_t sig_len )
547{
548 int ret;
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500549 psa_key_handle_t key_slot;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400550 psa_key_policy_t policy;
551 psa_key_type_t psa_type;
552 mbedtls_pk_context key;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400553 int key_len;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500554 /* see ECP_PUB_DER_MAX_BYTES in pkwrite.c */
555 unsigned char buf[30 + 2 * MBEDTLS_ECP_MAX_BYTES];
Andrzej Kurek6376d632018-11-06 08:50:04 -0500556 unsigned char *p = (unsigned char*) sig;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400557 mbedtls_pk_info_t pk_info = mbedtls_eckey_info;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500558 psa_algorithm_t psa_sig_md, psa_md;
Andrzej Kurek6cb63aa2018-11-20 05:14:46 -0500559 psa_ecc_curve_t curve = mbedtls_psa_translate_ecc_group(
Andrzej Kurek9241d182018-11-20 05:04:35 -0500560 ( (mbedtls_ecdsa_context *) ctx )->grp.id );
Andrzej Kurekeeac03b2018-11-20 06:39:06 -0500561 const size_t signature_part_size = ( ( (mbedtls_ecdsa_context *) ctx )->grp.nbits + 7 ) / 8;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400562
Andrzej Kurekb3d1b122018-11-07 08:18:52 -0500563 if( curve == 0 )
564 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
565
Andrzej Kurek9241d182018-11-20 05:04:35 -0500566 /* mbedlts_pk_write_pubkey_der() expects a full PK context,
567 * re-construct one to make it happy */
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400568 key.pk_info = &pk_info;
569 key.pk_ctx = ctx;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500570 key_len = mbedtls_pk_write_pubkey_der( &key, buf, sizeof( buf ) );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400571 if( key_len <= 0 )
Andrzej Kurekcef91af2018-11-08 04:33:06 -0500572 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400573
Andrzej Kurek9241d182018-11-20 05:04:35 -0500574 psa_md = mbedtls_psa_translate_md( md_alg );
575 if( psa_md == 0 )
576 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
577 psa_sig_md = PSA_ALG_ECDSA( psa_md );
578 psa_type = PSA_KEY_TYPE_ECC_PUBLIC_KEY( curve );
579
Hanno Beckere34f6362019-01-25 14:29:12 +0000580 if( ( ret = psa_allocate_key( &key_slot ) ) != PSA_SUCCESS )
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500581 return( mbedtls_psa_err_translate_pk( ret ) );
582
Hanno Beckerf99c2ec2019-01-25 14:29:33 +0000583 policy = psa_key_policy_init();
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400584 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_VERIFY, psa_sig_md );
Andrzej Kurek4f025392018-11-19 14:53:35 -0500585 if( ( ret = psa_set_key_policy( key_slot, &policy ) ) != PSA_SUCCESS )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400586 {
Andrzej Kurek4f025392018-11-19 14:53:35 -0500587 ret = mbedtls_psa_err_translate_pk( ret );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400588 goto cleanup;
589 }
590
Andrzej Kurek9241d182018-11-20 05:04:35 -0500591 if( psa_import_key( key_slot, psa_type, buf + sizeof( buf ) - key_len, key_len )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400592 != PSA_SUCCESS )
593 {
594 ret = MBEDTLS_ERR_PK_BAD_INPUT_DATA;
595 goto cleanup;
596 }
597
Andrzej Kurekeeac03b2018-11-20 06:39:06 -0500598 /* We don't need the exported key anymore and can
599 * reuse its buffer for signature extraction. */
Andrzej Kurek9241d182018-11-20 05:04:35 -0500600 if( 2 * signature_part_size > sizeof( buf ) )
Andrzej Kurekb6016c52018-11-19 17:41:58 -0500601 {
602 ret = MBEDTLS_ERR_PK_BAD_INPUT_DATA;
603 goto cleanup;
604 }
Andrzej Kurekb6016c52018-11-19 17:41:58 -0500605
Andrzej Kurekeeac03b2018-11-20 06:39:06 -0500606 if( ( ret = extract_ecdsa_sig( &p, sig + sig_len, buf,
Andrzej Kurekb6016c52018-11-19 17:41:58 -0500607 signature_part_size ) ) != 0 )
608 {
609 goto cleanup;
610 }
611
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400612 if( psa_asymmetric_verify( key_slot, psa_sig_md,
613 hash, hash_len,
Andrzej Kurek9241d182018-11-20 05:04:35 -0500614 buf, 2 * signature_part_size )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400615 != PSA_SUCCESS )
616 {
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400617 ret = MBEDTLS_ERR_ECP_VERIFY_FAILED;
618 goto cleanup;
619 }
Andrzej Kurekad5d5812018-11-20 07:59:18 -0500620
621 if( p != sig + sig_len )
622 {
623 ret = MBEDTLS_ERR_PK_SIG_LEN_MISMATCH;
624 goto cleanup;
625 }
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400626 ret = 0;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400627
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500628cleanup:
Andrzej Kurekcef91af2018-11-08 04:33:06 -0500629 psa_destroy_key( key_slot );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400630 return( ret );
631}
632#else /* MBEDTLS_USE_PSA_CRYPTO */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200633static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200634 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200635 const unsigned char *sig, size_t sig_len )
636{
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200637 int ret;
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200638 ((void) md_alg);
639
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200640 ret = mbedtls_ecdsa_read_signature( (mbedtls_ecdsa_context *) ctx,
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200641 hash, hash_len, sig, sig_len );
642
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200643 if( ret == MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH )
644 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200645
646 return( ret );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200647}
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400648#endif /* MBEDTLS_USE_PSA_CRYPTO */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200649
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200650static int ecdsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200651 const unsigned char *hash, size_t hash_len,
652 unsigned char *sig, size_t *sig_len,
653 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
654{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200655 return( mbedtls_ecdsa_write_signature( (mbedtls_ecdsa_context *) ctx,
Manuel Pégourié-Gonnarddfdcac92015-03-31 11:41:42 +0200656 md_alg, hash, hash_len, sig, sig_len, f_rng, p_rng ) );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200657}
658
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200659#if defined(MBEDTLS_ECP_RESTARTABLE)
660static int ecdsa_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
661 const unsigned char *hash, size_t hash_len,
662 const unsigned char *sig, size_t sig_len,
663 void *rs_ctx )
664{
665 int ret;
666 ((void) md_alg);
667
668 ret = mbedtls_ecdsa_read_signature_restartable(
669 (mbedtls_ecdsa_context *) ctx,
670 hash, hash_len, sig, sig_len,
671 (mbedtls_ecdsa_restart_ctx *) rs_ctx );
672
673 if( ret == MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH )
674 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
675
676 return( ret );
677}
678
679static int ecdsa_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
680 const unsigned char *hash, size_t hash_len,
681 unsigned char *sig, size_t *sig_len,
682 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
683 void *rs_ctx )
684{
685 return( mbedtls_ecdsa_write_signature_restartable(
686 (mbedtls_ecdsa_context *) ctx,
687 md_alg, hash, hash_len, sig, sig_len, f_rng, p_rng,
688 (mbedtls_ecdsa_restart_ctx *) rs_ctx ) );
689
690}
691#endif /* MBEDTLS_ECP_RESTARTABLE */
692
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200693static void *ecdsa_alloc_wrap( void )
694{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200695 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecdsa_context ) );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200696
697 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200698 mbedtls_ecdsa_init( (mbedtls_ecdsa_context *) ctx );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200699
700 return( ctx );
701}
702
703static void ecdsa_free_wrap( void *ctx )
704{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200705 mbedtls_ecdsa_free( (mbedtls_ecdsa_context *) ctx );
706 mbedtls_free( ctx );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200707}
708
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200709#if defined(MBEDTLS_ECP_RESTARTABLE)
710static void *ecdsa_rs_alloc( void )
711{
712 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecdsa_restart_ctx ) );
713
714 if( ctx != NULL )
715 mbedtls_ecdsa_restart_init( ctx );
716
717 return( ctx );
718}
719
720static void ecdsa_rs_free( void *ctx )
721{
722 mbedtls_ecdsa_restart_free( ctx );
723 mbedtls_free( ctx );
724}
725#endif /* MBEDTLS_ECP_RESTARTABLE */
726
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200727const mbedtls_pk_info_t mbedtls_ecdsa_info = {
728 MBEDTLS_PK_ECDSA,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200729 "ECDSA",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200730 eckey_get_bitlen, /* Compatible key structures */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200731 ecdsa_can_do,
732 ecdsa_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200733 ecdsa_sign_wrap,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200734#if defined(MBEDTLS_ECP_RESTARTABLE)
735 ecdsa_verify_rs_wrap,
736 ecdsa_sign_rs_wrap,
737#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200738 NULL,
739 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100740 eckey_check_pair, /* Compatible key structures */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200741 ecdsa_alloc_wrap,
742 ecdsa_free_wrap,
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200743#if defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200744 ecdsa_rs_alloc,
745 ecdsa_rs_free,
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200746#endif
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200747 eckey_debug, /* Compatible key structures */
748};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200749#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200750
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200751#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200752/*
753 * Support for alternative RSA-private implementations
754 */
755
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200756static int rsa_alt_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200757{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200758 return( type == MBEDTLS_PK_RSA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200759}
760
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200761static size_t rsa_alt_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200762{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200763 const mbedtls_rsa_alt_context *rsa_alt = (const mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200764
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200765 return( 8 * rsa_alt->key_len_func( rsa_alt->key ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200766}
767
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200768static int rsa_alt_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200769 const unsigned char *hash, size_t hash_len,
770 unsigned char *sig, size_t *sig_len,
771 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
772{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200773 mbedtls_rsa_alt_context *rsa_alt = (mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200774
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100775#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000776 if( UINT_MAX < hash_len )
777 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100778#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000779
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200780 *sig_len = rsa_alt->key_len_func( rsa_alt->key );
781
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200782 return( rsa_alt->sign_func( rsa_alt->key, f_rng, p_rng, MBEDTLS_RSA_PRIVATE,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200783 md_alg, (unsigned int) hash_len, hash, sig ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200784}
785
786static int rsa_alt_decrypt_wrap( void *ctx,
787 const unsigned char *input, size_t ilen,
788 unsigned char *output, size_t *olen, size_t osize,
789 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
790{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200791 mbedtls_rsa_alt_context *rsa_alt = (mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200792
793 ((void) f_rng);
794 ((void) p_rng);
795
796 if( ilen != rsa_alt->key_len_func( rsa_alt->key ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200797 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200798
799 return( rsa_alt->decrypt_func( rsa_alt->key,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200800 MBEDTLS_RSA_PRIVATE, olen, input, output, osize ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200801}
802
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200803#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100804static int rsa_alt_check_pair( const void *pub, const void *prv )
805{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200806 unsigned char sig[MBEDTLS_MPI_MAX_SIZE];
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100807 unsigned char hash[32];
808 size_t sig_len = 0;
809 int ret;
810
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200811 if( rsa_alt_get_bitlen( prv ) != rsa_get_bitlen( pub ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200812 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100813
814 memset( hash, 0x2a, sizeof( hash ) );
815
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200816 if( ( ret = rsa_alt_sign_wrap( (void *) prv, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100817 hash, sizeof( hash ),
818 sig, &sig_len, NULL, NULL ) ) != 0 )
819 {
820 return( ret );
821 }
822
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200823 if( rsa_verify_wrap( (void *) pub, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100824 hash, sizeof( hash ), sig, sig_len ) != 0 )
825 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200826 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100827 }
828
829 return( 0 );
830}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200831#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100832
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200833static void *rsa_alt_alloc_wrap( void )
834{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200835 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200836
837 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200838 memset( ctx, 0, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200839
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200840 return( ctx );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200841}
842
843static void rsa_alt_free_wrap( void *ctx )
844{
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500845 mbedtls_platform_zeroize( ctx, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200846 mbedtls_free( ctx );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200847}
848
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200849const mbedtls_pk_info_t mbedtls_rsa_alt_info = {
850 MBEDTLS_PK_RSA_ALT,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200851 "RSA-alt",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200852 rsa_alt_get_bitlen,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200853 rsa_alt_can_do,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200854 NULL,
855 rsa_alt_sign_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200856#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200857 NULL,
858 NULL,
859#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200860 rsa_alt_decrypt_wrap,
861 NULL,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200862#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100863 rsa_alt_check_pair,
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +0100864#else
865 NULL,
866#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200867 rsa_alt_alloc_wrap,
868 rsa_alt_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200869#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200870 NULL,
871 NULL,
872#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200873 NULL,
874};
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +0200875
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200876#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard348bcb32015-03-31 14:01:33 +0200877
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200878#if defined(MBEDTLS_USE_PSA_CRYPTO)
879
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100880static void *pk_opaque_alloc_wrap( void )
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100881{
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500882 void *ctx = mbedtls_calloc( 1, sizeof( psa_key_handle_t ) );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100883
884 /* no _init() function to call, an calloc() already zeroized */
885
886 return( ctx );
887}
888
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100889static void pk_opaque_free_wrap( void *ctx )
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100890{
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500891 mbedtls_platform_zeroize( ctx, sizeof( psa_key_handle_t ) );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100892 mbedtls_free( ctx );
893}
894
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100895static size_t pk_opaque_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100896{
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500897 const psa_key_handle_t *key = (const psa_key_handle_t *) ctx;
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100898 size_t bits;
899
900 if( PSA_SUCCESS != psa_get_key_information( *key, NULL, &bits ) )
901 return( 0 );
902
903 return( bits );
904}
905
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100906static int pk_opaque_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100907{
908 /* For now opaque PSA keys can only wrap ECC keypairs,
909 * as checked by setup_psa().
910 * Also, ECKEY_DH does not really make sense with the current API. */
911 return( type == MBEDTLS_PK_ECKEY ||
912 type == MBEDTLS_PK_ECDSA );
913}
914
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100915/*
Manuel Pégourié-Gonnard509aff12018-11-15 12:17:38 +0100916 * Simultaneously convert and move raw MPI from the beginning of a buffer
917 * to an ASN.1 MPI at the end of the buffer.
918 * See also mbedtls_asn1_write_mpi().
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100919 *
920 * p: pointer to the end of the output buffer
921 * start: start of the output buffer, and also of the mpi to write at the end
Manuel Pégourié-Gonnard509aff12018-11-15 12:17:38 +0100922 * n_len: length of the mpi to read from start
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100923 */
924static int asn1_write_mpibuf( unsigned char **p, unsigned char *start,
925 size_t n_len )
926{
927 int ret;
928 size_t len = 0;
929
930 if( (size_t)( *p - start ) < n_len )
931 return( MBEDTLS_ERR_ASN1_BUF_TOO_SMALL );
932
933 len = n_len;
934 *p -= len;
935 memmove( *p, start, len );
936
Manuel Pégourié-Gonnard45013a12018-11-16 10:09:11 +0100937 /* ASN.1 DER encoding requires minimal length, so skip leading 0s.
Manuel Pégourié-Gonnard59eecb02018-11-16 10:54:54 +0100938 * Neither r nor s should be 0, but as a failsafe measure, still detect
939 * that rather than overflowing the buffer in case of a PSA error. */
940 while( len > 0 && **p == 0x00 )
Manuel Pégourié-Gonnard45013a12018-11-16 10:09:11 +0100941 {
942 ++(*p);
943 --len;
944 }
945
Manuel Pégourié-Gonnard59eecb02018-11-16 10:54:54 +0100946 /* this is only reached if the signature was invalid */
947 if( len == 0 )
948 return( MBEDTLS_ERR_PK_HW_ACCEL_FAILED );
949
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100950 /* if the msb is 1, ASN.1 requires that we prepend a 0.
Manuel Pégourié-Gonnard45013a12018-11-16 10:09:11 +0100951 * Neither r nor s can be 0, so we can assume len > 0 at all times. */
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100952 if( **p & 0x80 )
953 {
954 if( *p - start < 1 )
955 return( MBEDTLS_ERR_ASN1_BUF_TOO_SMALL );
956
957 *--(*p) = 0x00;
958 len += 1;
959 }
960
961 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( p, start, len ) );
962 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( p, start,
963 MBEDTLS_ASN1_INTEGER ) );
964
965 return( (int) len );
966}
967
968/* Transcode signature from PSA format to ASN.1 sequence.
969 * See ecdsa_signature_to_asn1 in ecdsa.c, but with byte buffers instead of
970 * MPIs, and in-place.
971 *
972 * [in/out] sig: the signature pre- and post-transcoding
973 * [in/out] sig_len: signature length pre- and post-transcoding
974 * [int] buf_len: the available size the in/out buffer
975 */
976static int pk_ecdsa_sig_asn1_from_psa( unsigned char *sig, size_t *sig_len,
977 size_t buf_len )
978{
979 int ret;
980 size_t len = 0;
981 const size_t rs_len = *sig_len / 2;
982 unsigned char *p = sig + buf_len;
983
984 MBEDTLS_ASN1_CHK_ADD( len, asn1_write_mpibuf( &p, sig + rs_len, rs_len ) );
985 MBEDTLS_ASN1_CHK_ADD( len, asn1_write_mpibuf( &p, sig, rs_len ) );
986
987 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &p, sig, len ) );
988 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( &p, sig,
989 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) );
990
991 memmove( sig, p, len );
992 *sig_len = len;
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +0100993
994 return( 0 );
995}
996
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100997static int pk_opaque_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
998 const unsigned char *hash, size_t hash_len,
999 unsigned char *sig, size_t *sig_len,
1000 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
1001{
Andrzej Kurek2349c4d2019-01-08 09:36:01 -05001002 const psa_key_handle_t *key = (const psa_key_handle_t *) ctx;
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +01001003 psa_algorithm_t alg = PSA_ALG_ECDSA( mbedtls_psa_translate_md( md_alg ) );
1004 size_t bits, buf_len;
1005 psa_status_t status;
1006
1007 /* PSA has its own RNG */
1008 (void) f_rng;
1009 (void) p_rng;
1010
1011 /* PSA needs an output buffer of known size, but our API doesn't provide
1012 * that information. Assume that the buffer is large enough for a
1013 * maximal-length signature with that key (otherwise the application is
1014 * buggy anyway). */
1015 status = psa_get_key_information( *key, NULL, &bits );
1016 if( status != PSA_SUCCESS )
Manuel Pégourié-Gonnard9a5a77b2018-11-16 10:15:09 +01001017 return( mbedtls_psa_err_translate_pk( status ) );
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +01001018
1019 buf_len = MBEDTLS_ECDSA_MAX_SIG_LEN( bits );
1020
1021 /* make the signature */
1022 status = psa_asymmetric_sign( *key, alg, hash, hash_len,
1023 sig, buf_len, sig_len );
1024 if( status != PSA_SUCCESS )
Manuel Pégourié-Gonnard9a5a77b2018-11-16 10:15:09 +01001025 return( mbedtls_psa_err_translate_pk( status ) );
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +01001026
1027 /* transcode it to ASN.1 sequence */
1028 return( pk_ecdsa_sig_asn1_from_psa( sig, sig_len, buf_len ) );
1029}
1030
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +01001031const mbedtls_pk_info_t mbedtls_pk_opaque_info = {
1032 MBEDTLS_PK_OPAQUE,
1033 "Opaque",
1034 pk_opaque_get_bitlen,
1035 pk_opaque_can_do,
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +02001036 NULL, /* verify - will be done later */
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +01001037 pk_opaque_sign_wrap,
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +02001038#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
1039 NULL, /* restartable verify - not relevant */
1040 NULL, /* restartable sign - not relevant */
1041#endif
1042 NULL, /* decrypt - will be done later */
1043 NULL, /* encrypt - will be done later */
1044 NULL, /* check_pair - could be done later or left NULL */
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +01001045 pk_opaque_alloc_wrap,
1046 pk_opaque_free_wrap,
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +02001047#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
1048 NULL, /* restart alloc - not relevant */
1049 NULL, /* restart free - not relevant */
1050#endif
1051 NULL, /* debug - could be done later, or even left NULL */
1052};
1053
1054#endif /* MBEDTLS_USE_PSA_CRYPTO */
1055
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001056#endif /* MBEDTLS_PK_C */