blob: 0d1d91b627381bdf1d5919667d677c7b0a986576 [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
Andres Amaya Garciae32df082017-10-25 09:37:04 +010044#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050045#include "mbedtls/platform_util.h"
Andres Amaya Garciae32df082017-10-25 09:37:04 +010046#endif
47
Andrzej Kurek8b036a62018-10-31 05:16:46 -040048#if defined(MBEDTLS_USE_PSA_CRYPTO)
49#include "psa/crypto.h"
Andrzej Kurek21227742018-11-19 14:33:01 -050050#include "mbedtls/psa_util.h"
Andrzej Kurek8b036a62018-10-31 05:16:46 -040051#include "mbedtls/asn1.h"
52#endif
53
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000055#include "mbedtls/platform.h"
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020056#else
57#include <stdlib.h>
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +020058#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020059#define mbedtls_free free
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020060#endif
61
Andres AG72849872017-01-19 11:24:33 +000062#include <limits.h>
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010063#include <stdint.h>
Paul Bakker34617722014-06-13 17:20:13 +020064
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020065#if defined(MBEDTLS_RSA_C)
66static int rsa_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +020067{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068 return( type == MBEDTLS_PK_RSA ||
69 type == MBEDTLS_PK_RSASSA_PSS );
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +020070}
71
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +020072static size_t rsa_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +020073{
Hanno Becker6a1e7e52017-08-22 13:55:00 +010074 const mbedtls_rsa_context * rsa = (const mbedtls_rsa_context *) ctx;
75 return( 8 * mbedtls_rsa_get_len( rsa ) );
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +020076}
77
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020078static int rsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +020079 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020080 const unsigned char *sig, size_t sig_len )
81{
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +020082 int ret;
Hanno Becker6a1e7e52017-08-22 13:55:00 +010083 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
84 size_t rsa_len = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +020085
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010086#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +000087 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
88 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010089#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +000090
Hanno Becker6a1e7e52017-08-22 13:55:00 +010091 if( sig_len < rsa_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020092 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020093
Hanno Becker6a1e7e52017-08-22 13:55:00 +010094 if( ( ret = mbedtls_rsa_pkcs1_verify( rsa, NULL, NULL,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020095 MBEDTLS_RSA_PUBLIC, md_alg,
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +020096 (unsigned int) hash_len, hash, sig ) ) != 0 )
97 return( ret );
98
Gilles Peskine5114d3e2018-03-30 07:12:15 +020099 /* The buffer contains a valid signature followed by extra data.
100 * We have a special error code for that so that so that callers can
101 * use mbedtls_pk_verify() to check "Does the buffer start with a
102 * valid signature?" and not just "Does the buffer contain a valid
103 * signature?". */
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100104 if( sig_len > rsa_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200105 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200106
107 return( 0 );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200108}
109
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200110static int rsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200111 const unsigned char *hash, size_t hash_len,
112 unsigned char *sig, size_t *sig_len,
113 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
114{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100115 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
116
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100117#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000118 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
119 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100120#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000121
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100122 *sig_len = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200123
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100124 return( mbedtls_rsa_pkcs1_sign( rsa, f_rng, p_rng, MBEDTLS_RSA_PRIVATE,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200125 md_alg, (unsigned int) hash_len, hash, sig ) );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200126}
127
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200128static int rsa_decrypt_wrap( void *ctx,
129 const unsigned char *input, size_t ilen,
130 unsigned char *output, size_t *olen, size_t osize,
131 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
132{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100133 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
134
135 if( ilen != mbedtls_rsa_get_len( rsa ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200136 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200137
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100138 return( mbedtls_rsa_pkcs1_decrypt( rsa, f_rng, p_rng,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200139 MBEDTLS_RSA_PRIVATE, olen, input, output, osize ) );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200140}
141
142static int rsa_encrypt_wrap( void *ctx,
143 const unsigned char *input, size_t ilen,
144 unsigned char *output, size_t *olen, size_t osize,
145 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
146{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100147 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
148 *olen = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200149
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100150 if( *olen > osize )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200151 return( MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100152
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100153 return( mbedtls_rsa_pkcs1_encrypt( rsa, f_rng, p_rng, MBEDTLS_RSA_PUBLIC,
154 ilen, input, output ) );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200155}
156
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100157static int rsa_check_pair_wrap( const void *pub, const void *prv )
158{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200159 return( mbedtls_rsa_check_pub_priv( (const mbedtls_rsa_context *) pub,
160 (const mbedtls_rsa_context *) prv ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100161}
162
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200163static void *rsa_alloc_wrap( void )
164{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200165 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_rsa_context ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200166
167 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200168 mbedtls_rsa_init( (mbedtls_rsa_context *) ctx, 0, 0 );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200169
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200170 return( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200171}
172
173static void rsa_free_wrap( void *ctx )
174{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200175 mbedtls_rsa_free( (mbedtls_rsa_context *) ctx );
176 mbedtls_free( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200177}
178
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200179static void rsa_debug( const void *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200180{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200181 items->type = MBEDTLS_PK_DEBUG_MPI;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200182 items->name = "rsa.N";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200183 items->value = &( ((mbedtls_rsa_context *) ctx)->N );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200184
185 items++;
186
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200187 items->type = MBEDTLS_PK_DEBUG_MPI;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200188 items->name = "rsa.E";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200189 items->value = &( ((mbedtls_rsa_context *) ctx)->E );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200190}
191
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200192const mbedtls_pk_info_t mbedtls_rsa_info = {
193 MBEDTLS_PK_RSA,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200194 "RSA",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200195 rsa_get_bitlen,
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200196 rsa_can_do,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200197 rsa_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200198 rsa_sign_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200199#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200200 NULL,
201 NULL,
202#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200203 rsa_decrypt_wrap,
204 rsa_encrypt_wrap,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100205 rsa_check_pair_wrap,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200206 rsa_alloc_wrap,
207 rsa_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200208#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200209 NULL,
210 NULL,
211#endif
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200212 rsa_debug,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200213};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200214#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200215
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200217/*
218 * Generic EC key
219 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200220static int eckey_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200221{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200222 return( type == MBEDTLS_PK_ECKEY ||
223 type == MBEDTLS_PK_ECKEY_DH ||
224 type == MBEDTLS_PK_ECDSA );
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200225}
226
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200227static size_t eckey_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200228{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200229 return( ((mbedtls_ecp_keypair *) ctx)->grp.pbits );
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200230}
231
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200232#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200233/* Forward declarations */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200234static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200235 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200236 const unsigned char *sig, size_t sig_len );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200237
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200238static int ecdsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200239 const unsigned char *hash, size_t hash_len,
240 unsigned char *sig, size_t *sig_len,
241 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng );
242
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200243static int eckey_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200244 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200245 const unsigned char *sig, size_t sig_len )
246{
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200247 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200248 mbedtls_ecdsa_context ecdsa;
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200249
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200250 mbedtls_ecdsa_init( &ecdsa );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200251
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200252 if( ( ret = mbedtls_ecdsa_from_keypair( &ecdsa, ctx ) ) == 0 )
Manuel Pégourié-Gonnard583b6082013-08-20 16:58:13 +0200253 ret = ecdsa_verify_wrap( &ecdsa, md_alg, hash, hash_len, sig, sig_len );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200254
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200255 mbedtls_ecdsa_free( &ecdsa );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200256
257 return( ret );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200258}
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200259
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200260static int eckey_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200261 const unsigned char *hash, size_t hash_len,
262 unsigned char *sig, size_t *sig_len,
263 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
264{
265 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200266 mbedtls_ecdsa_context ecdsa;
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200267
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200268 mbedtls_ecdsa_init( &ecdsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200269
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200270 if( ( ret = mbedtls_ecdsa_from_keypair( &ecdsa, ctx ) ) == 0 )
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200271 ret = ecdsa_sign_wrap( &ecdsa, md_alg, hash, hash_len, sig, sig_len,
272 f_rng, p_rng );
273
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200274 mbedtls_ecdsa_free( &ecdsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200275
276 return( ret );
277}
278
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200279#if defined(MBEDTLS_ECP_RESTARTABLE)
280/* Forward declarations */
281static int ecdsa_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
282 const unsigned char *hash, size_t hash_len,
283 const unsigned char *sig, size_t sig_len,
284 void *rs_ctx );
285
286static int ecdsa_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
287 const unsigned char *hash, size_t hash_len,
288 unsigned char *sig, size_t *sig_len,
289 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
290 void *rs_ctx );
291
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200292/*
293 * Restart context for ECDSA operations with ECKEY context
294 *
295 * We need to store an actual ECDSA context, as we need to pass the same to
296 * the underlying ecdsa function, so we can't create it on the fly every time.
297 */
298typedef struct
299{
300 mbedtls_ecdsa_restart_ctx ecdsa_rs;
301 mbedtls_ecdsa_context ecdsa_ctx;
302} eckey_restart_ctx;
303
304static void *eckey_rs_alloc( void )
305{
306 eckey_restart_ctx *rs_ctx;
307
308 void *ctx = mbedtls_calloc( 1, sizeof( eckey_restart_ctx ) );
309
310 if( ctx != NULL )
311 {
312 rs_ctx = ctx;
313 mbedtls_ecdsa_restart_init( &rs_ctx->ecdsa_rs );
314 mbedtls_ecdsa_init( &rs_ctx->ecdsa_ctx );
315 }
316
317 return( ctx );
318}
319
320static void eckey_rs_free( void *ctx )
321{
322 eckey_restart_ctx *rs_ctx;
323
324 if( ctx == NULL)
325 return;
326
327 rs_ctx = ctx;
328 mbedtls_ecdsa_restart_free( &rs_ctx->ecdsa_rs );
329 mbedtls_ecdsa_free( &rs_ctx->ecdsa_ctx );
330
331 mbedtls_free( ctx );
332}
333
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200334static int eckey_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
335 const unsigned char *hash, size_t hash_len,
336 const unsigned char *sig, size_t sig_len,
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200337 void *rs_ctx )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200338{
339 int ret;
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200340 eckey_restart_ctx *rs = rs_ctx;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200341
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200342 /* Should never happen */
343 if( rs == NULL )
344 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200345
Manuel Pégourié-Gonnardee68cff2018-10-15 15:27:49 +0200346 /* set up our own sub-context if needed (that is, on first run) */
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200347 if( rs->ecdsa_ctx.grp.pbits == 0 )
348 MBEDTLS_MPI_CHK( mbedtls_ecdsa_from_keypair( &rs->ecdsa_ctx, ctx ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200349
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200350 MBEDTLS_MPI_CHK( ecdsa_verify_rs_wrap( &rs->ecdsa_ctx,
351 md_alg, hash, hash_len,
352 sig, sig_len, &rs->ecdsa_rs ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200353
354cleanup:
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200355 return( ret );
356}
357
358static int eckey_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
359 const unsigned char *hash, size_t hash_len,
360 unsigned char *sig, size_t *sig_len,
361 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200362 void *rs_ctx )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200363{
364 int ret;
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200365 eckey_restart_ctx *rs = rs_ctx;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200366
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200367 /* Should never happen */
368 if( rs == NULL )
369 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200370
Manuel Pégourié-Gonnardee68cff2018-10-15 15:27:49 +0200371 /* set up our own sub-context if needed (that is, on first run) */
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200372 if( rs->ecdsa_ctx.grp.pbits == 0 )
373 MBEDTLS_MPI_CHK( mbedtls_ecdsa_from_keypair( &rs->ecdsa_ctx, ctx ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200374
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200375 MBEDTLS_MPI_CHK( ecdsa_sign_rs_wrap( &rs->ecdsa_ctx, md_alg,
376 hash, hash_len, sig, sig_len,
377 f_rng, p_rng, &rs->ecdsa_rs ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200378
379cleanup:
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200380 return( ret );
381}
382#endif /* MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200383#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200384
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100385static int eckey_check_pair( const void *pub, const void *prv )
386{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200387 return( mbedtls_ecp_check_pub_priv( (const mbedtls_ecp_keypair *) pub,
388 (const mbedtls_ecp_keypair *) prv ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100389}
390
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200391static void *eckey_alloc_wrap( void )
392{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200393 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecp_keypair ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200394
395 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200396 mbedtls_ecp_keypair_init( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200397
398 return( ctx );
399}
400
401static void eckey_free_wrap( void *ctx )
402{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200403 mbedtls_ecp_keypair_free( (mbedtls_ecp_keypair *) ctx );
404 mbedtls_free( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200405}
406
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200407static void eckey_debug( const void *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200408{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200409 items->type = MBEDTLS_PK_DEBUG_ECP;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200410 items->name = "eckey.Q";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200411 items->value = &( ((mbedtls_ecp_keypair *) ctx)->Q );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200412}
413
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200414const mbedtls_pk_info_t mbedtls_eckey_info = {
415 MBEDTLS_PK_ECKEY,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200416 "EC",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200417 eckey_get_bitlen,
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200418 eckey_can_do,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200419#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200420 eckey_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200421 eckey_sign_wrap,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200422#if defined(MBEDTLS_ECP_RESTARTABLE)
423 eckey_verify_rs_wrap,
424 eckey_sign_rs_wrap,
425#endif
426#else /* MBEDTLS_ECDSA_C */
427 NULL,
428 NULL,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200429#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200430 NULL,
431 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100432 eckey_check_pair,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200433 eckey_alloc_wrap,
434 eckey_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200435#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200436 eckey_rs_alloc,
437 eckey_rs_free,
438#endif
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200439 eckey_debug,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200440};
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200441
442/*
Paul Bakker75342a62014-04-08 17:35:40 +0200443 * EC key restricted to ECDH
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200444 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200445static int eckeydh_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200446{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200447 return( type == MBEDTLS_PK_ECKEY ||
448 type == MBEDTLS_PK_ECKEY_DH );
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200449}
450
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200451const mbedtls_pk_info_t mbedtls_eckeydh_info = {
452 MBEDTLS_PK_ECKEY_DH,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200453 "EC_DH",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200454 eckey_get_bitlen, /* Same underlying key structure */
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200455 eckeydh_can_do,
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200456 NULL,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200457 NULL,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200458#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200459 NULL,
460 NULL,
461#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200462 NULL,
463 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100464 eckey_check_pair,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200465 eckey_alloc_wrap, /* Same underlying key structure */
466 eckey_free_wrap, /* Same underlying key structure */
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200467#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200468 NULL,
469 NULL,
470#endif
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200471 eckey_debug, /* Same underlying key structure */
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200472};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200473#endif /* MBEDTLS_ECP_C */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200474
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200475#if defined(MBEDTLS_ECDSA_C)
476static int ecdsa_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200477{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200478 return( type == MBEDTLS_PK_ECDSA );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200479}
480
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400481#if defined(MBEDTLS_USE_PSA_CRYPTO)
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400482/*
483 * Convert a signature from an ASN.1 sequence of two integers
484 * to a raw {r,s} buffer. Note: upon a successful call, the caller
485 * takes ownership of the sig->p buffer.
486 */
487static int extract_ecdsa_sig( unsigned char **p, const unsigned char *end,
488 mbedtls_asn1_buf *sig )
489{
Andrzej Kurek3f864c22018-11-07 09:30:50 -0500490 int ret, tag_type;
491 size_t len_signature, len_partial;
492
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400493 if( ( end - *p ) < 1 )
Andrzej Kurek6376d632018-11-06 08:50:04 -0500494 {
Andrzej Kurek4f025392018-11-19 14:53:35 -0500495 return( MBEDTLS_ERR_ASN1_OUT_OF_DATA );
Andrzej Kurek6376d632018-11-06 08:50:04 -0500496 }
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400497 tag_type = **p;
498
Andrzej Kurek6376d632018-11-06 08:50:04 -0500499 if( ( ret = mbedtls_asn1_get_tag( p, end, &len_partial,
500 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
501 {
Andrzej Kurek4f025392018-11-19 14:53:35 -0500502 return( ret );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400503 }
504
505 if( ( ret = mbedtls_asn1_get_tag( p, end, &len_partial, MBEDTLS_ASN1_INTEGER ) )
506 != 0 )
507 return( ret );
508
Andrzej Kurek6376d632018-11-06 08:50:04 -0500509 if( **p == '\0' )
510 {
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400511 ( *p )++;
512 len_partial--;
513 }
514
515 sig->p = mbedtls_calloc( 2, len_partial );
Andrzej Kurek6376d632018-11-06 08:50:04 -0500516 if( sig->p == NULL )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400517 return( MBEDTLS_ERR_ASN1_ALLOC_FAILED );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400518
519 memcpy( sig->p, *p, len_partial );
520 len_signature = len_partial;
521 ( *p ) += len_partial;
Andrzej Kurekea842332018-11-07 03:19:08 -0500522 if( ( ret = mbedtls_asn1_get_tag( p, end, &len_partial,
523 MBEDTLS_ASN1_INTEGER ) ) != 0 )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400524 {
525 mbedtls_free( sig->p );
Andrzej Kurekea842332018-11-07 03:19:08 -0500526 sig->p = NULL;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400527 return( ret );
528 }
529
Andrzej Kurek6376d632018-11-06 08:50:04 -0500530 if( **p == '\0' )
531 {
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400532 ( *p )++;
533 len_partial--;
534 }
535
Andrzej Kurek3f864c22018-11-07 09:30:50 -0500536 // Check if both parts are of the same size
537 if( len_partial != len_signature )
Andrzej Kurek4f025392018-11-19 14:53:35 -0500538 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Andrzej Kurek3f864c22018-11-07 09:30:50 -0500539
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400540 memcpy( sig->p + len_partial, *p, len_partial );
541 len_signature += len_partial;
542 sig->tag = tag_type;
543 sig->len = len_signature;
544 ( *p ) += len_partial;
545 return( 0 );
546}
547
548static psa_ecc_curve_t mbedtls_ecc_group_to_psa( mbedtls_ecp_group_id grpid )
549{
550 switch( grpid )
551 {
552#if defined(MBEDTLS_ECP_DP_SECP192R1_ENABLED)
553 case MBEDTLS_ECP_DP_SECP192R1:
554 return( PSA_ECC_CURVE_SECP192R1 );
555#endif
556#if defined(MBEDTLS_ECP_DP_SECP224R1_ENABLED)
557 case MBEDTLS_ECP_DP_SECP224R1:
558 return( PSA_ECC_CURVE_SECP224R1 );
559#endif
560#if defined(MBEDTLS_ECP_DP_SECP256R1_ENABLED)
561 case MBEDTLS_ECP_DP_SECP256R1:
562 return( PSA_ECC_CURVE_SECP256R1 );
563#endif
564#if defined(MBEDTLS_ECP_DP_SECP384R1_ENABLED)
565 case MBEDTLS_ECP_DP_SECP384R1:
566 return( PSA_ECC_CURVE_SECP384R1 );
567#endif
568#if defined(MBEDTLS_ECP_DP_SECP521R1_ENABLED)
569 case MBEDTLS_ECP_DP_SECP521R1:
570 return( PSA_ECC_CURVE_SECP521R1 );
571#endif
572#if defined(MBEDTLS_ECP_DP_BP256R1_ENABLED)
573 case MBEDTLS_ECP_DP_BP256R1:
574 return( PSA_ECC_CURVE_BRAINPOOL_P256R1 );
575#endif
576#if defined(MBEDTLS_ECP_DP_BP384R1_ENABLED)
577 case MBEDTLS_ECP_DP_BP384R1:
578 return( PSA_ECC_CURVE_BRAINPOOL_P384R1 );
579#endif
580#if defined(MBEDTLS_ECP_DP_BP512R1_ENABLED)
581 case MBEDTLS_ECP_DP_BP512R1:
582 return( PSA_ECC_CURVE_BRAINPOOL_P512R1 );
583#endif
584#if defined(MBEDTLS_ECP_DP_CURVE25519_ENABLED)
585 case MBEDTLS_ECP_DP_CURVE25519:
586 return( PSA_ECC_CURVE_CURVE25519 );
587#endif
588#if defined(MBEDTLS_ECP_DP_SECP192K1_ENABLED)
589 case MBEDTLS_ECP_DP_SECP192K1:
590 return( PSA_ECC_CURVE_SECP192K1 );
591#endif
592#if defined(MBEDTLS_ECP_DP_SECP224K1_ENABLED)
593 case MBEDTLS_ECP_DP_SECP224K1:
594 return( PSA_ECC_CURVE_SECP224K1 );
595#endif
596#if defined(MBEDTLS_ECP_DP_SECP256K1_ENABLED)
597 case MBEDTLS_ECP_DP_SECP256K1:
598 return( PSA_ECC_CURVE_SECP256K1 );
599#endif
600#if defined(MBEDTLS_ECP_DP_CURVE448_ENABLED)
601 case MBEDTLS_ECP_DP_CURVE448:
602 return( PSA_ECC_CURVE_CURVE448 );
603#endif
604 default:
605 return( 0 );
606 }
607}
608
609static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
610 const unsigned char *hash, size_t hash_len,
611 const unsigned char *sig, size_t sig_len )
612{
613 int ret;
614 psa_key_slot_t key_slot;
615 psa_key_policy_t policy;
616 psa_key_type_t psa_type;
617 mbedtls_pk_context key;
618 mbedtls_asn1_buf signature;
619 int key_len;
Andrzej Kurek6376d632018-11-06 08:50:04 -0500620 const int buf_len = 30 + 2 * MBEDTLS_ECP_MAX_BYTES; // Equivalent of ECP_PUB_DER_MAX_BYTES
621 unsigned char buf[buf_len];
622 unsigned char *p = (unsigned char*) sig;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400623 mbedtls_pk_info_t pk_info = mbedtls_eckey_info;
Andrzej Kurek21227742018-11-19 14:33:01 -0500624 psa_algorithm_t psa_sig_md = mbedtls_psa_translate_md( md_alg );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400625 psa_ecc_curve_t curve = mbedtls_ecc_group_to_psa ( ( (mbedtls_ecdsa_context *) ctx )->grp.id );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400626
Andrzej Kurekb3d1b122018-11-07 08:18:52 -0500627 if( curve == 0 )
628 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
629
Andrzej Kurekc05ec9f2018-11-08 05:04:53 -0500630 if( psa_sig_md == 0 )
631 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
632
633 psa_sig_md = PSA_ALG_ECDSA( psa_sig_md );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400634 memset( &signature, 0, sizeof( mbedtls_asn1_buf ) );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400635 key.pk_info = &pk_info;
636 key.pk_ctx = ctx;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400637
638 psa_type = PSA_KEY_TYPE_ECC_PUBLIC_KEY( curve );
639
Andrzej Kurek4f025392018-11-19 14:53:35 -0500640 if( ( ret = extract_ecdsa_sig( &p, p + sig_len, &signature ) ) != 0 )
641 return( ret );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400642
Andrzej Kurek6376d632018-11-06 08:50:04 -0500643 key_len = mbedtls_pk_write_pubkey_der( &key, buf, buf_len );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400644 if( key_len <= 0 )
645 {
Andrzej Kurekcef91af2018-11-08 04:33:06 -0500646 mbedtls_free( signature.p );
647 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400648 }
649
Andrzej Kurek4f025392018-11-19 14:53:35 -0500650 if( ( ret = mbedtls_psa_get_free_key_slot( &key_slot ) ) != PSA_SUCCESS )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400651 {
Andrzej Kurekcef91af2018-11-08 04:33:06 -0500652 mbedtls_free( signature.p );
Andrzej Kurek4f025392018-11-19 14:53:35 -0500653 return( mbedtls_psa_err_translate_pk( ret ) );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400654 }
Andrzej Kurekcef91af2018-11-08 04:33:06 -0500655
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400656 psa_key_policy_init( &policy );
657 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_VERIFY, psa_sig_md );
Andrzej Kurek4f025392018-11-19 14:53:35 -0500658 if( ( ret = psa_set_key_policy( key_slot, &policy ) ) != PSA_SUCCESS )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400659 {
Andrzej Kurek4f025392018-11-19 14:53:35 -0500660 ret = mbedtls_psa_err_translate_pk( ret );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400661 goto cleanup;
662 }
663
Andrzej Kurek6376d632018-11-06 08:50:04 -0500664 if( psa_import_key( key_slot, psa_type, buf+buf_len-key_len, key_len )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400665 != PSA_SUCCESS )
666 {
667 ret = MBEDTLS_ERR_PK_BAD_INPUT_DATA;
668 goto cleanup;
669 }
670
671 if( psa_asymmetric_verify( key_slot, psa_sig_md,
672 hash, hash_len,
673 signature.p, signature.len )
674 != PSA_SUCCESS )
675 {
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400676 ret = MBEDTLS_ERR_ECP_VERIFY_FAILED;
677 goto cleanup;
678 }
679 ret = 0;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400680
681 cleanup:
Andrzej Kurekcef91af2018-11-08 04:33:06 -0500682 psa_destroy_key( key_slot );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400683 mbedtls_free( signature.p );
684 return( ret );
685}
686#else /* MBEDTLS_USE_PSA_CRYPTO */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200687static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200688 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200689 const unsigned char *sig, size_t sig_len )
690{
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200691 int ret;
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200692 ((void) md_alg);
693
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200694 ret = mbedtls_ecdsa_read_signature( (mbedtls_ecdsa_context *) ctx,
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200695 hash, hash_len, sig, sig_len );
696
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200697 if( ret == MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH )
698 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200699
700 return( ret );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200701}
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400702#endif /* MBEDTLS_USE_PSA_CRYPTO */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200703
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200704static int ecdsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200705 const unsigned char *hash, size_t hash_len,
706 unsigned char *sig, size_t *sig_len,
707 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
708{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200709 return( mbedtls_ecdsa_write_signature( (mbedtls_ecdsa_context *) ctx,
Manuel Pégourié-Gonnarddfdcac92015-03-31 11:41:42 +0200710 md_alg, hash, hash_len, sig, sig_len, f_rng, p_rng ) );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200711}
712
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200713#if defined(MBEDTLS_ECP_RESTARTABLE)
714static int ecdsa_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
715 const unsigned char *hash, size_t hash_len,
716 const unsigned char *sig, size_t sig_len,
717 void *rs_ctx )
718{
719 int ret;
720 ((void) md_alg);
721
722 ret = mbedtls_ecdsa_read_signature_restartable(
723 (mbedtls_ecdsa_context *) ctx,
724 hash, hash_len, sig, sig_len,
725 (mbedtls_ecdsa_restart_ctx *) rs_ctx );
726
727 if( ret == MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH )
728 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
729
730 return( ret );
731}
732
733static int ecdsa_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
734 const unsigned char *hash, size_t hash_len,
735 unsigned char *sig, size_t *sig_len,
736 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
737 void *rs_ctx )
738{
739 return( mbedtls_ecdsa_write_signature_restartable(
740 (mbedtls_ecdsa_context *) ctx,
741 md_alg, hash, hash_len, sig, sig_len, f_rng, p_rng,
742 (mbedtls_ecdsa_restart_ctx *) rs_ctx ) );
743
744}
745#endif /* MBEDTLS_ECP_RESTARTABLE */
746
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200747static void *ecdsa_alloc_wrap( void )
748{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200749 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecdsa_context ) );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200750
751 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200752 mbedtls_ecdsa_init( (mbedtls_ecdsa_context *) ctx );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200753
754 return( ctx );
755}
756
757static void ecdsa_free_wrap( void *ctx )
758{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200759 mbedtls_ecdsa_free( (mbedtls_ecdsa_context *) ctx );
760 mbedtls_free( ctx );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200761}
762
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200763#if defined(MBEDTLS_ECP_RESTARTABLE)
764static void *ecdsa_rs_alloc( void )
765{
766 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecdsa_restart_ctx ) );
767
768 if( ctx != NULL )
769 mbedtls_ecdsa_restart_init( ctx );
770
771 return( ctx );
772}
773
774static void ecdsa_rs_free( void *ctx )
775{
776 mbedtls_ecdsa_restart_free( ctx );
777 mbedtls_free( ctx );
778}
779#endif /* MBEDTLS_ECP_RESTARTABLE */
780
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200781const mbedtls_pk_info_t mbedtls_ecdsa_info = {
782 MBEDTLS_PK_ECDSA,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200783 "ECDSA",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200784 eckey_get_bitlen, /* Compatible key structures */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200785 ecdsa_can_do,
786 ecdsa_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200787 ecdsa_sign_wrap,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200788#if defined(MBEDTLS_ECP_RESTARTABLE)
789 ecdsa_verify_rs_wrap,
790 ecdsa_sign_rs_wrap,
791#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200792 NULL,
793 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100794 eckey_check_pair, /* Compatible key structures */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200795 ecdsa_alloc_wrap,
796 ecdsa_free_wrap,
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200797#if defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200798 ecdsa_rs_alloc,
799 ecdsa_rs_free,
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200800#endif
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200801 eckey_debug, /* Compatible key structures */
802};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200803#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200804
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200805#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200806/*
807 * Support for alternative RSA-private implementations
808 */
809
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200810static int rsa_alt_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200811{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200812 return( type == MBEDTLS_PK_RSA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200813}
814
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200815static size_t rsa_alt_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200816{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200817 const mbedtls_rsa_alt_context *rsa_alt = (const mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200818
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200819 return( 8 * rsa_alt->key_len_func( rsa_alt->key ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200820}
821
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200822static int rsa_alt_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200823 const unsigned char *hash, size_t hash_len,
824 unsigned char *sig, size_t *sig_len,
825 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
826{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200827 mbedtls_rsa_alt_context *rsa_alt = (mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200828
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100829#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000830 if( UINT_MAX < hash_len )
831 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100832#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000833
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200834 *sig_len = rsa_alt->key_len_func( rsa_alt->key );
835
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200836 return( rsa_alt->sign_func( rsa_alt->key, f_rng, p_rng, MBEDTLS_RSA_PRIVATE,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200837 md_alg, (unsigned int) hash_len, hash, sig ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200838}
839
840static int rsa_alt_decrypt_wrap( void *ctx,
841 const unsigned char *input, size_t ilen,
842 unsigned char *output, size_t *olen, size_t osize,
843 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
844{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200845 mbedtls_rsa_alt_context *rsa_alt = (mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200846
847 ((void) f_rng);
848 ((void) p_rng);
849
850 if( ilen != rsa_alt->key_len_func( rsa_alt->key ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200851 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200852
853 return( rsa_alt->decrypt_func( rsa_alt->key,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200854 MBEDTLS_RSA_PRIVATE, olen, input, output, osize ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200855}
856
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200857#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100858static int rsa_alt_check_pair( const void *pub, const void *prv )
859{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200860 unsigned char sig[MBEDTLS_MPI_MAX_SIZE];
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100861 unsigned char hash[32];
862 size_t sig_len = 0;
863 int ret;
864
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200865 if( rsa_alt_get_bitlen( prv ) != rsa_get_bitlen( pub ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200866 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100867
868 memset( hash, 0x2a, sizeof( hash ) );
869
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200870 if( ( ret = rsa_alt_sign_wrap( (void *) prv, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100871 hash, sizeof( hash ),
872 sig, &sig_len, NULL, NULL ) ) != 0 )
873 {
874 return( ret );
875 }
876
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200877 if( rsa_verify_wrap( (void *) pub, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100878 hash, sizeof( hash ), sig, sig_len ) != 0 )
879 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200880 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100881 }
882
883 return( 0 );
884}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200885#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100886
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200887static void *rsa_alt_alloc_wrap( void )
888{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200889 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200890
891 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200892 memset( ctx, 0, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200893
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200894 return( ctx );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200895}
896
897static void rsa_alt_free_wrap( void *ctx )
898{
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500899 mbedtls_platform_zeroize( ctx, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200900 mbedtls_free( ctx );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200901}
902
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200903const mbedtls_pk_info_t mbedtls_rsa_alt_info = {
904 MBEDTLS_PK_RSA_ALT,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200905 "RSA-alt",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200906 rsa_alt_get_bitlen,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200907 rsa_alt_can_do,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200908 NULL,
909 rsa_alt_sign_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200910#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200911 NULL,
912 NULL,
913#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200914 rsa_alt_decrypt_wrap,
915 NULL,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200916#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100917 rsa_alt_check_pair,
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +0100918#else
919 NULL,
920#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200921 rsa_alt_alloc_wrap,
922 rsa_alt_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200923#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200924 NULL,
925 NULL,
926#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200927 NULL,
928};
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +0200929
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200930#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard348bcb32015-03-31 14:01:33 +0200931
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200932#endif /* MBEDTLS_PK_C */