blob: 7e553425a0fe97f0009326eae9f6344a1283b49a [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"
Janos Follath24eed8d2019-11-22 13:21:35 +000030#include "mbedtls/error.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020031
Manuel Pégourié-Gonnarde511ffc2013-08-22 17:33:21 +020032/* Even if RSA not activated, for the sake of RSA-alt */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000033#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020034
Rich Evans00ab4702015-02-06 13:43:58 +000035#include <string.h>
36
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000038#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020039#endif
40
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020041#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000042#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020043#endif
44
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010045#if defined(MBEDTLS_USE_PSA_CRYPTO)
46#include "mbedtls/asn1write.h"
47#endif
48
Andres Amaya Garciae32df082017-10-25 09:37:04 +010049#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050050#include "mbedtls/platform_util.h"
Andres Amaya Garciae32df082017-10-25 09:37:04 +010051#endif
52
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010053#if defined(MBEDTLS_USE_PSA_CRYPTO)
Andrzej Kurek8b036a62018-10-31 05:16:46 -040054#include "psa/crypto.h"
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010055#include "mbedtls/psa_util.h"
Andrzej Kurek8b036a62018-10-31 05:16:46 -040056#include "mbedtls/asn1.h"
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010057#endif
58
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020059#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000060#include "mbedtls/platform.h"
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020061#else
62#include <stdlib.h>
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +020063#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020064#define mbedtls_free free
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020065#endif
66
Andres AG72849872017-01-19 11:24:33 +000067#include <limits.h>
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010068#include <stdint.h>
Paul Bakker34617722014-06-13 17:20:13 +020069
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020070#if defined(MBEDTLS_RSA_C)
71static int rsa_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +020072{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073 return( type == MBEDTLS_PK_RSA ||
74 type == MBEDTLS_PK_RSASSA_PSS );
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +020075}
76
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +020077static size_t rsa_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +020078{
Hanno Becker6a1e7e52017-08-22 13:55:00 +010079 const mbedtls_rsa_context * rsa = (const mbedtls_rsa_context *) ctx;
80 return( 8 * mbedtls_rsa_get_len( rsa ) );
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +020081}
82
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020083static int rsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +020084 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020085 const unsigned char *sig, size_t sig_len )
86{
Janos Follath24eed8d2019-11-22 13:21:35 +000087 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Hanno Becker6a1e7e52017-08-22 13:55:00 +010088 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
89 size_t rsa_len = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +020090
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010091#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +000092 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
93 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010094#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +000095
Hanno Becker6a1e7e52017-08-22 13:55:00 +010096 if( sig_len < rsa_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020097 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020098
Hanno Becker6a1e7e52017-08-22 13:55:00 +010099 if( ( ret = mbedtls_rsa_pkcs1_verify( rsa, NULL, NULL,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200100 MBEDTLS_RSA_PUBLIC, md_alg,
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200101 (unsigned int) hash_len, hash, sig ) ) != 0 )
102 return( ret );
103
Gilles Peskine5114d3e2018-03-30 07:12:15 +0200104 /* The buffer contains a valid signature followed by extra data.
105 * We have a special error code for that so that so that callers can
106 * use mbedtls_pk_verify() to check "Does the buffer start with a
107 * valid signature?" and not just "Does the buffer contain a valid
108 * signature?". */
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100109 if( sig_len > rsa_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200110 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200111
112 return( 0 );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200113}
114
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200115static int rsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200116 const unsigned char *hash, size_t hash_len,
117 unsigned char *sig, size_t *sig_len,
118 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
119{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100120 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
121
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100122#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000123 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
124 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100125#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000126
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100127 *sig_len = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200128
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100129 return( mbedtls_rsa_pkcs1_sign( rsa, f_rng, p_rng, MBEDTLS_RSA_PRIVATE,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200130 md_alg, (unsigned int) hash_len, hash, sig ) );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200131}
132
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200133static int rsa_decrypt_wrap( void *ctx,
134 const unsigned char *input, size_t ilen,
135 unsigned char *output, size_t *olen, size_t osize,
136 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
137{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100138 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
139
140 if( ilen != mbedtls_rsa_get_len( rsa ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200141 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200142
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100143 return( mbedtls_rsa_pkcs1_decrypt( rsa, f_rng, p_rng,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200144 MBEDTLS_RSA_PRIVATE, olen, input, output, osize ) );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200145}
146
147static int rsa_encrypt_wrap( void *ctx,
148 const unsigned char *input, size_t ilen,
149 unsigned char *output, size_t *olen, size_t osize,
150 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
151{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100152 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
153 *olen = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200154
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100155 if( *olen > osize )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200156 return( MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100157
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100158 return( mbedtls_rsa_pkcs1_encrypt( rsa, f_rng, p_rng, MBEDTLS_RSA_PUBLIC,
159 ilen, input, output ) );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200160}
161
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100162static int rsa_check_pair_wrap( const void *pub, const void *prv )
163{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200164 return( mbedtls_rsa_check_pub_priv( (const mbedtls_rsa_context *) pub,
165 (const mbedtls_rsa_context *) prv ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100166}
167
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200168static void *rsa_alloc_wrap( void )
169{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200170 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_rsa_context ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200171
172 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200173 mbedtls_rsa_init( (mbedtls_rsa_context *) ctx, 0, 0 );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200174
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200175 return( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200176}
177
178static void rsa_free_wrap( void *ctx )
179{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200180 mbedtls_rsa_free( (mbedtls_rsa_context *) ctx );
181 mbedtls_free( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200182}
183
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200184static void rsa_debug( const void *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200185{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200186 items->type = MBEDTLS_PK_DEBUG_MPI;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200187 items->name = "rsa.N";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200188 items->value = &( ((mbedtls_rsa_context *) ctx)->N );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200189
190 items++;
191
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200192 items->type = MBEDTLS_PK_DEBUG_MPI;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200193 items->name = "rsa.E";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200194 items->value = &( ((mbedtls_rsa_context *) ctx)->E );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200195}
196
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200197const mbedtls_pk_info_t mbedtls_rsa_info = {
198 MBEDTLS_PK_RSA,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200199 "RSA",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200200 rsa_get_bitlen,
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200201 rsa_can_do,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200202 rsa_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200203 rsa_sign_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200204#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200205 NULL,
206 NULL,
207#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200208 rsa_decrypt_wrap,
209 rsa_encrypt_wrap,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100210 rsa_check_pair_wrap,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200211 rsa_alloc_wrap,
212 rsa_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200213#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200214 NULL,
215 NULL,
216#endif
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200217 rsa_debug,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200218};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200219#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200220
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200221#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200222/*
223 * Generic EC key
224 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200225static int eckey_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200226{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200227 return( type == MBEDTLS_PK_ECKEY ||
228 type == MBEDTLS_PK_ECKEY_DH ||
229 type == MBEDTLS_PK_ECDSA );
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200230}
231
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200232static size_t eckey_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200233{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200234 return( ((mbedtls_ecp_keypair *) ctx)->grp.pbits );
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200235}
236
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200237#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200238/* Forward declarations */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200239static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200240 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200241 const unsigned char *sig, size_t sig_len );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200242
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200243static int ecdsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200244 const unsigned char *hash, size_t hash_len,
245 unsigned char *sig, size_t *sig_len,
246 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng );
247
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200248static int eckey_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200249 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200250 const unsigned char *sig, size_t sig_len )
251{
Janos Follath24eed8d2019-11-22 13:21:35 +0000252 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200253 mbedtls_ecdsa_context ecdsa;
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200254
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200255 mbedtls_ecdsa_init( &ecdsa );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200256
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200257 if( ( ret = mbedtls_ecdsa_from_keypair( &ecdsa, ctx ) ) == 0 )
Manuel Pégourié-Gonnard583b6082013-08-20 16:58:13 +0200258 ret = ecdsa_verify_wrap( &ecdsa, md_alg, hash, hash_len, sig, sig_len );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200259
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200260 mbedtls_ecdsa_free( &ecdsa );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200261
262 return( ret );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200263}
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200264
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200265static int eckey_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200266 const unsigned char *hash, size_t hash_len,
267 unsigned char *sig, size_t *sig_len,
268 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
269{
Janos Follath24eed8d2019-11-22 13:21:35 +0000270 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200271 mbedtls_ecdsa_context ecdsa;
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200272
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200273 mbedtls_ecdsa_init( &ecdsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200274
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200275 if( ( ret = mbedtls_ecdsa_from_keypair( &ecdsa, ctx ) ) == 0 )
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200276 ret = ecdsa_sign_wrap( &ecdsa, md_alg, hash, hash_len, sig, sig_len,
277 f_rng, p_rng );
278
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200279 mbedtls_ecdsa_free( &ecdsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200280
281 return( ret );
282}
283
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200284#if defined(MBEDTLS_ECP_RESTARTABLE)
285/* Forward declarations */
286static int ecdsa_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
287 const unsigned char *hash, size_t hash_len,
288 const unsigned char *sig, size_t sig_len,
289 void *rs_ctx );
290
291static int ecdsa_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
292 const unsigned char *hash, size_t hash_len,
293 unsigned char *sig, size_t *sig_len,
294 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
295 void *rs_ctx );
296
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200297/*
298 * Restart context for ECDSA operations with ECKEY context
299 *
300 * We need to store an actual ECDSA context, as we need to pass the same to
301 * the underlying ecdsa function, so we can't create it on the fly every time.
302 */
303typedef struct
304{
305 mbedtls_ecdsa_restart_ctx ecdsa_rs;
306 mbedtls_ecdsa_context ecdsa_ctx;
307} eckey_restart_ctx;
308
309static void *eckey_rs_alloc( void )
310{
311 eckey_restart_ctx *rs_ctx;
312
313 void *ctx = mbedtls_calloc( 1, sizeof( eckey_restart_ctx ) );
314
315 if( ctx != NULL )
316 {
317 rs_ctx = ctx;
318 mbedtls_ecdsa_restart_init( &rs_ctx->ecdsa_rs );
319 mbedtls_ecdsa_init( &rs_ctx->ecdsa_ctx );
320 }
321
322 return( ctx );
323}
324
325static void eckey_rs_free( void *ctx )
326{
327 eckey_restart_ctx *rs_ctx;
328
329 if( ctx == NULL)
330 return;
331
332 rs_ctx = ctx;
333 mbedtls_ecdsa_restart_free( &rs_ctx->ecdsa_rs );
334 mbedtls_ecdsa_free( &rs_ctx->ecdsa_ctx );
335
336 mbedtls_free( ctx );
337}
338
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200339static int eckey_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
340 const unsigned char *hash, size_t hash_len,
341 const unsigned char *sig, size_t sig_len,
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200342 void *rs_ctx )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200343{
Janos Follath24eed8d2019-11-22 13:21:35 +0000344 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200345 eckey_restart_ctx *rs = rs_ctx;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200346
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200347 /* Should never happen */
348 if( rs == NULL )
349 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200350
Manuel Pégourié-Gonnardee68cff2018-10-15 15:27:49 +0200351 /* set up our own sub-context if needed (that is, on first run) */
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200352 if( rs->ecdsa_ctx.grp.pbits == 0 )
353 MBEDTLS_MPI_CHK( mbedtls_ecdsa_from_keypair( &rs->ecdsa_ctx, ctx ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200354
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200355 MBEDTLS_MPI_CHK( ecdsa_verify_rs_wrap( &rs->ecdsa_ctx,
356 md_alg, hash, hash_len,
357 sig, sig_len, &rs->ecdsa_rs ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200358
359cleanup:
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200360 return( ret );
361}
362
363static int eckey_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
364 const unsigned char *hash, size_t hash_len,
365 unsigned char *sig, size_t *sig_len,
366 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200367 void *rs_ctx )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200368{
Janos Follath24eed8d2019-11-22 13:21:35 +0000369 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200370 eckey_restart_ctx *rs = rs_ctx;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200371
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200372 /* Should never happen */
373 if( rs == NULL )
374 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200375
Manuel Pégourié-Gonnardee68cff2018-10-15 15:27:49 +0200376 /* set up our own sub-context if needed (that is, on first run) */
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200377 if( rs->ecdsa_ctx.grp.pbits == 0 )
378 MBEDTLS_MPI_CHK( mbedtls_ecdsa_from_keypair( &rs->ecdsa_ctx, ctx ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200379
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200380 MBEDTLS_MPI_CHK( ecdsa_sign_rs_wrap( &rs->ecdsa_ctx, md_alg,
381 hash, hash_len, sig, sig_len,
382 f_rng, p_rng, &rs->ecdsa_rs ) );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200383
384cleanup:
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200385 return( ret );
386}
387#endif /* MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200388#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200389
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100390static int eckey_check_pair( const void *pub, const void *prv )
391{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200392 return( mbedtls_ecp_check_pub_priv( (const mbedtls_ecp_keypair *) pub,
393 (const mbedtls_ecp_keypair *) prv ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100394}
395
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200396static void *eckey_alloc_wrap( void )
397{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200398 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecp_keypair ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200399
400 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200401 mbedtls_ecp_keypair_init( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200402
403 return( ctx );
404}
405
406static void eckey_free_wrap( void *ctx )
407{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200408 mbedtls_ecp_keypair_free( (mbedtls_ecp_keypair *) ctx );
409 mbedtls_free( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200410}
411
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200412static void eckey_debug( const void *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200413{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200414 items->type = MBEDTLS_PK_DEBUG_ECP;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200415 items->name = "eckey.Q";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200416 items->value = &( ((mbedtls_ecp_keypair *) ctx)->Q );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200417}
418
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200419const mbedtls_pk_info_t mbedtls_eckey_info = {
420 MBEDTLS_PK_ECKEY,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200421 "EC",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200422 eckey_get_bitlen,
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200423 eckey_can_do,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200424#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200425 eckey_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200426 eckey_sign_wrap,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200427#if defined(MBEDTLS_ECP_RESTARTABLE)
428 eckey_verify_rs_wrap,
429 eckey_sign_rs_wrap,
430#endif
431#else /* MBEDTLS_ECDSA_C */
432 NULL,
433 NULL,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200434#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200435 NULL,
436 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100437 eckey_check_pair,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200438 eckey_alloc_wrap,
439 eckey_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200440#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200441 eckey_rs_alloc,
442 eckey_rs_free,
443#endif
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200444 eckey_debug,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200445};
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200446
447/*
Paul Bakker75342a62014-04-08 17:35:40 +0200448 * EC key restricted to ECDH
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200449 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200450static int eckeydh_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200451{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200452 return( type == MBEDTLS_PK_ECKEY ||
453 type == MBEDTLS_PK_ECKEY_DH );
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200454}
455
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200456const mbedtls_pk_info_t mbedtls_eckeydh_info = {
457 MBEDTLS_PK_ECKEY_DH,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200458 "EC_DH",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200459 eckey_get_bitlen, /* Same underlying key structure */
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200460 eckeydh_can_do,
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200461 NULL,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200462 NULL,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200463#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200464 NULL,
465 NULL,
466#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200467 NULL,
468 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100469 eckey_check_pair,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200470 eckey_alloc_wrap, /* Same underlying key structure */
471 eckey_free_wrap, /* Same underlying key structure */
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200472#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200473 NULL,
474 NULL,
475#endif
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200476 eckey_debug, /* Same underlying key structure */
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200477};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200478#endif /* MBEDTLS_ECP_C */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200479
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200480#if defined(MBEDTLS_ECDSA_C)
481static int ecdsa_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200482{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200483 return( type == MBEDTLS_PK_ECDSA );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200484}
485
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400486#if defined(MBEDTLS_USE_PSA_CRYPTO)
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400487/*
Andrzej Kurek9241d182018-11-20 05:04:35 -0500488 * An ASN.1 encoded signature is a sequence of two ASN.1 integers. Parse one of
489 * those integers and convert it to the fixed-length encoding expected by PSA.
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500490 */
Andrzej Kurek9241d182018-11-20 05:04:35 -0500491static int extract_ecdsa_sig_int( unsigned char **from, const unsigned char *end,
492 unsigned char *to, size_t to_len )
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500493{
Janos Follath24eed8d2019-11-22 13:21:35 +0000494 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500495 size_t unpadded_len, padding_len;
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500496
Andrzej Kurek9241d182018-11-20 05:04:35 -0500497 if( ( ret = mbedtls_asn1_get_tag( from, end, &unpadded_len,
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500498 MBEDTLS_ASN1_INTEGER ) ) != 0 )
499 {
500 return( ret );
501 }
502
Andrzej Kurek9241d182018-11-20 05:04:35 -0500503 while( unpadded_len > 0 && **from == 0x00 )
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500504 {
505 ( *from )++;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500506 unpadded_len--;
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500507 }
508
Andrzej Kurek9241d182018-11-20 05:04:35 -0500509 if( unpadded_len > to_len || unpadded_len == 0 )
510 return( MBEDTLS_ERR_ASN1_LENGTH_MISMATCH );
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500511
Andrzej Kurek9241d182018-11-20 05:04:35 -0500512 padding_len = to_len - unpadded_len;
Andrzej Kurek6cb63aa2018-11-20 05:14:46 -0500513 memset( to, 0x00, padding_len );
Andrzej Kurek9241d182018-11-20 05:04:35 -0500514 memcpy( to + padding_len, *from, unpadded_len );
515 ( *from ) += unpadded_len;
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500516
Andrzej Kurek9241d182018-11-20 05:04:35 -0500517 return( 0 );
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500518}
519
520/*
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400521 * Convert a signature from an ASN.1 sequence of two integers
Andrzej Kurek9241d182018-11-20 05:04:35 -0500522 * to a raw {r,s} buffer. Note: the provided sig buffer must be at least
Andrzej Kurekb6016c52018-11-19 17:41:58 -0500523 * twice as big as int_size.
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400524 */
525static int extract_ecdsa_sig( unsigned char **p, const unsigned char *end,
Andrzej Kurek9241d182018-11-20 05:04:35 -0500526 unsigned char *sig, size_t int_size )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400527{
Janos Follath24eed8d2019-11-22 13:21:35 +0000528 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500529 size_t tmp_size;
Andrzej Kurek3f864c22018-11-07 09:30:50 -0500530
Andrzej Kurek9241d182018-11-20 05:04:35 -0500531 if( ( ret = mbedtls_asn1_get_tag( p, end, &tmp_size,
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500532 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
Andrzej Kurek9241d182018-11-20 05:04:35 -0500533 return( ret );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400534
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500535 /* Extract r */
Andrzej Kurek9241d182018-11-20 05:04:35 -0500536 if( ( ret = extract_ecdsa_sig_int( p, end, sig, int_size ) ) != 0 )
537 return( ret );
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500538 /* Extract s */
Andrzej Kurek9241d182018-11-20 05:04:35 -0500539 if( ( ret = extract_ecdsa_sig_int( p, end, sig + int_size, int_size ) ) != 0 )
540 return( ret );
Andrzej Kurek3f864c22018-11-07 09:30:50 -0500541
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400542 return( 0 );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400543}
544
Gilles Peskinefc2459d2019-12-12 17:50:44 +0100545static int ecdsa_verify_wrap( void *ctx_arg, mbedtls_md_type_t md_alg,
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400546 const unsigned char *hash, size_t hash_len,
547 const unsigned char *sig, size_t sig_len )
548{
Gilles Peskinefc2459d2019-12-12 17:50:44 +0100549 mbedtls_ecdsa_context *ctx = ctx_arg;
Janos Follath24eed8d2019-11-22 13:21:35 +0000550 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200551 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
552 psa_key_handle_t key_handle = 0;
553 psa_status_t status;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400554 mbedtls_pk_context key;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400555 int key_len;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500556 /* see ECP_PUB_DER_MAX_BYTES in pkwrite.c */
557 unsigned char buf[30 + 2 * MBEDTLS_ECP_MAX_BYTES];
Hanno Beckera9851112019-01-25 16:37:10 +0000558 unsigned char *p;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400559 mbedtls_pk_info_t pk_info = mbedtls_eckey_info;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500560 psa_algorithm_t psa_sig_md, psa_md;
Gilles Peskinefc2459d2019-12-12 17:50:44 +0100561 size_t curve_bits;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100562 psa_ecc_family_t curve =
Gilles Peskinefc2459d2019-12-12 17:50:44 +0100563 mbedtls_ecc_group_to_psa( ctx->grp.id, &curve_bits );
564 const size_t signature_part_size = ( ctx->grp.nbits + 7 ) / 8;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400565
Andrzej Kurekb3d1b122018-11-07 08:18:52 -0500566 if( curve == 0 )
567 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
568
Hanno Beckerccf574e2019-01-29 08:26:15 +0000569 /* mbedtls_pk_write_pubkey() expects a full PK context;
Andrzej Kurek9241d182018-11-20 05:04:35 -0500570 * re-construct one to make it happy */
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400571 key.pk_info = &pk_info;
572 key.pk_ctx = ctx;
Hanno Beckera9851112019-01-25 16:37:10 +0000573 p = buf + sizeof( buf );
574 key_len = mbedtls_pk_write_pubkey( &p, buf, &key );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400575 if( key_len <= 0 )
Andrzej Kurekcef91af2018-11-08 04:33:06 -0500576 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400577
Andrzej Kurek9241d182018-11-20 05:04:35 -0500578 psa_md = mbedtls_psa_translate_md( md_alg );
579 if( psa_md == 0 )
580 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
581 psa_sig_md = PSA_ALG_ECDSA( psa_md );
Andrzej Kurek9241d182018-11-20 05:04:35 -0500582
Gilles Peskined2d45c12019-05-27 14:53:13 +0200583 psa_set_key_type( &attributes, PSA_KEY_TYPE_ECC_PUBLIC_KEY( curve ) );
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100584 psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_VERIFY_HASH );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200585 psa_set_key_algorithm( &attributes, psa_sig_md );
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500586
Gilles Peskined2d45c12019-05-27 14:53:13 +0200587 status = psa_import_key( &attributes,
588 buf + sizeof( buf ) - key_len, key_len,
589 &key_handle );
590 if( status != PSA_SUCCESS )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400591 {
Gilles Peskined2d45c12019-05-27 14:53:13 +0200592 ret = mbedtls_psa_err_translate_pk( status );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400593 goto cleanup;
594 }
595
Andrzej Kurekeeac03b2018-11-20 06:39:06 -0500596 /* We don't need the exported key anymore and can
597 * reuse its buffer for signature extraction. */
Andrzej Kurek9241d182018-11-20 05:04:35 -0500598 if( 2 * signature_part_size > sizeof( buf ) )
Andrzej Kurekb6016c52018-11-19 17:41:58 -0500599 {
600 ret = MBEDTLS_ERR_PK_BAD_INPUT_DATA;
601 goto cleanup;
602 }
Andrzej Kurekb6016c52018-11-19 17:41:58 -0500603
Hanno Beckera9851112019-01-25 16:37:10 +0000604 p = (unsigned char*) sig;
Andrzej Kurekeeac03b2018-11-20 06:39:06 -0500605 if( ( ret = extract_ecdsa_sig( &p, sig + sig_len, buf,
Andrzej Kurekb6016c52018-11-19 17:41:58 -0500606 signature_part_size ) ) != 0 )
607 {
608 goto cleanup;
609 }
610
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100611 if( psa_verify_hash( key_handle, psa_sig_md,
612 hash, hash_len,
613 buf, 2 * signature_part_size )
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400614 != PSA_SUCCESS )
615 {
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400616 ret = MBEDTLS_ERR_ECP_VERIFY_FAILED;
617 goto cleanup;
618 }
Andrzej Kurekad5d5812018-11-20 07:59:18 -0500619
620 if( p != sig + sig_len )
621 {
622 ret = MBEDTLS_ERR_PK_SIG_LEN_MISMATCH;
623 goto cleanup;
624 }
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400625 ret = 0;
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400626
Andrzej Kurekb7b04782018-11-19 17:01:16 -0500627cleanup:
Gilles Peskined2d45c12019-05-27 14:53:13 +0200628 psa_destroy_key( key_handle );
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400629 return( ret );
630}
631#else /* MBEDTLS_USE_PSA_CRYPTO */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200632static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200633 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200634 const unsigned char *sig, size_t sig_len )
635{
Janos Follath24eed8d2019-11-22 13:21:35 +0000636 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200637 ((void) md_alg);
638
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200639 ret = mbedtls_ecdsa_read_signature( (mbedtls_ecdsa_context *) ctx,
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200640 hash, hash_len, sig, sig_len );
641
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200642 if( ret == MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH )
643 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200644
645 return( ret );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200646}
Andrzej Kurek8b036a62018-10-31 05:16:46 -0400647#endif /* MBEDTLS_USE_PSA_CRYPTO */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200648
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200649static int ecdsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200650 const unsigned char *hash, size_t hash_len,
651 unsigned char *sig, size_t *sig_len,
652 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
653{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200654 return( mbedtls_ecdsa_write_signature( (mbedtls_ecdsa_context *) ctx,
Manuel Pégourié-Gonnarddfdcac92015-03-31 11:41:42 +0200655 md_alg, hash, hash_len, sig, sig_len, f_rng, p_rng ) );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200656}
657
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200658#if defined(MBEDTLS_ECP_RESTARTABLE)
659static int ecdsa_verify_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
660 const unsigned char *hash, size_t hash_len,
661 const unsigned char *sig, size_t sig_len,
662 void *rs_ctx )
663{
Janos Follath24eed8d2019-11-22 13:21:35 +0000664 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200665 ((void) md_alg);
666
667 ret = mbedtls_ecdsa_read_signature_restartable(
668 (mbedtls_ecdsa_context *) ctx,
669 hash, hash_len, sig, sig_len,
670 (mbedtls_ecdsa_restart_ctx *) rs_ctx );
671
672 if( ret == MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH )
673 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
674
675 return( ret );
676}
677
678static int ecdsa_sign_rs_wrap( void *ctx, mbedtls_md_type_t md_alg,
679 const unsigned char *hash, size_t hash_len,
680 unsigned char *sig, size_t *sig_len,
681 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
682 void *rs_ctx )
683{
684 return( mbedtls_ecdsa_write_signature_restartable(
685 (mbedtls_ecdsa_context *) ctx,
686 md_alg, hash, hash_len, sig, sig_len, f_rng, p_rng,
687 (mbedtls_ecdsa_restart_ctx *) rs_ctx ) );
688
689}
690#endif /* MBEDTLS_ECP_RESTARTABLE */
691
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200692static void *ecdsa_alloc_wrap( void )
693{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200694 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecdsa_context ) );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200695
696 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200697 mbedtls_ecdsa_init( (mbedtls_ecdsa_context *) ctx );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200698
699 return( ctx );
700}
701
702static void ecdsa_free_wrap( void *ctx )
703{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200704 mbedtls_ecdsa_free( (mbedtls_ecdsa_context *) ctx );
705 mbedtls_free( ctx );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200706}
707
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200708#if defined(MBEDTLS_ECP_RESTARTABLE)
709static void *ecdsa_rs_alloc( void )
710{
711 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecdsa_restart_ctx ) );
712
713 if( ctx != NULL )
714 mbedtls_ecdsa_restart_init( ctx );
715
716 return( ctx );
717}
718
719static void ecdsa_rs_free( void *ctx )
720{
721 mbedtls_ecdsa_restart_free( ctx );
722 mbedtls_free( ctx );
723}
724#endif /* MBEDTLS_ECP_RESTARTABLE */
725
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200726const mbedtls_pk_info_t mbedtls_ecdsa_info = {
727 MBEDTLS_PK_ECDSA,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200728 "ECDSA",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200729 eckey_get_bitlen, /* Compatible key structures */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200730 ecdsa_can_do,
731 ecdsa_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200732 ecdsa_sign_wrap,
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200733#if defined(MBEDTLS_ECP_RESTARTABLE)
734 ecdsa_verify_rs_wrap,
735 ecdsa_sign_rs_wrap,
736#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200737 NULL,
738 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100739 eckey_check_pair, /* Compatible key structures */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200740 ecdsa_alloc_wrap,
741 ecdsa_free_wrap,
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200742#if defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnardfe687702017-08-18 17:04:07 +0200743 ecdsa_rs_alloc,
744 ecdsa_rs_free,
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200745#endif
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200746 eckey_debug, /* Compatible key structures */
747};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200748#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200749
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200750#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200751/*
752 * Support for alternative RSA-private implementations
753 */
754
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200755static int rsa_alt_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200756{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200757 return( type == MBEDTLS_PK_RSA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200758}
759
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200760static size_t rsa_alt_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200761{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200762 const mbedtls_rsa_alt_context *rsa_alt = (const mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200763
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200764 return( 8 * rsa_alt->key_len_func( rsa_alt->key ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200765}
766
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200767static int rsa_alt_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200768 const unsigned char *hash, size_t hash_len,
769 unsigned char *sig, size_t *sig_len,
770 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
771{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200772 mbedtls_rsa_alt_context *rsa_alt = (mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200773
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100774#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000775 if( UINT_MAX < hash_len )
776 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100777#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000778
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200779 *sig_len = rsa_alt->key_len_func( rsa_alt->key );
Gilles Peskinef48d6f22019-11-05 17:31:36 +0100780 if( *sig_len > MBEDTLS_PK_SIGNATURE_MAX_SIZE )
781 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200782
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200783 return( rsa_alt->sign_func( rsa_alt->key, f_rng, p_rng, MBEDTLS_RSA_PRIVATE,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200784 md_alg, (unsigned int) hash_len, hash, sig ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200785}
786
787static int rsa_alt_decrypt_wrap( void *ctx,
788 const unsigned char *input, size_t ilen,
789 unsigned char *output, size_t *olen, size_t osize,
790 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
791{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200792 mbedtls_rsa_alt_context *rsa_alt = (mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200793
794 ((void) f_rng);
795 ((void) p_rng);
796
797 if( ilen != rsa_alt->key_len_func( rsa_alt->key ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200798 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200799
800 return( rsa_alt->decrypt_func( rsa_alt->key,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200801 MBEDTLS_RSA_PRIVATE, olen, input, output, osize ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200802}
803
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200804#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100805static int rsa_alt_check_pair( const void *pub, const void *prv )
806{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200807 unsigned char sig[MBEDTLS_MPI_MAX_SIZE];
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100808 unsigned char hash[32];
809 size_t sig_len = 0;
Janos Follath24eed8d2019-11-22 13:21:35 +0000810 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100811
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200812 if( rsa_alt_get_bitlen( prv ) != rsa_get_bitlen( pub ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200813 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100814
815 memset( hash, 0x2a, sizeof( hash ) );
816
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200817 if( ( ret = rsa_alt_sign_wrap( (void *) prv, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100818 hash, sizeof( hash ),
819 sig, &sig_len, NULL, NULL ) ) != 0 )
820 {
821 return( ret );
822 }
823
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200824 if( rsa_verify_wrap( (void *) pub, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100825 hash, sizeof( hash ), sig, sig_len ) != 0 )
826 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200827 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100828 }
829
830 return( 0 );
831}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200832#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100833
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200834static void *rsa_alt_alloc_wrap( void )
835{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200836 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200837
838 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200839 memset( ctx, 0, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200840
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200841 return( ctx );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200842}
843
844static void rsa_alt_free_wrap( void *ctx )
845{
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500846 mbedtls_platform_zeroize( ctx, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200847 mbedtls_free( ctx );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200848}
849
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200850const mbedtls_pk_info_t mbedtls_rsa_alt_info = {
851 MBEDTLS_PK_RSA_ALT,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200852 "RSA-alt",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200853 rsa_alt_get_bitlen,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200854 rsa_alt_can_do,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200855 NULL,
856 rsa_alt_sign_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200857#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200858 NULL,
859 NULL,
860#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200861 rsa_alt_decrypt_wrap,
862 NULL,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200863#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100864 rsa_alt_check_pair,
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +0100865#else
866 NULL,
867#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200868 rsa_alt_alloc_wrap,
869 rsa_alt_free_wrap,
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200870#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200871 NULL,
872 NULL,
873#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200874 NULL,
875};
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +0200876
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200877#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard348bcb32015-03-31 14:01:33 +0200878
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200879#if defined(MBEDTLS_USE_PSA_CRYPTO)
880
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100881static void *pk_opaque_alloc_wrap( void )
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100882{
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500883 void *ctx = mbedtls_calloc( 1, sizeof( psa_key_handle_t ) );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100884
885 /* no _init() function to call, an calloc() already zeroized */
886
887 return( ctx );
888}
889
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100890static void pk_opaque_free_wrap( void *ctx )
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100891{
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500892 mbedtls_platform_zeroize( ctx, sizeof( psa_key_handle_t ) );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100893 mbedtls_free( ctx );
894}
895
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100896static size_t pk_opaque_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100897{
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500898 const psa_key_handle_t *key = (const psa_key_handle_t *) ctx;
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100899 size_t bits;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200900 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100901
Gilles Peskined2d45c12019-05-27 14:53:13 +0200902 if( PSA_SUCCESS != psa_get_key_attributes( *key, &attributes ) )
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100903 return( 0 );
904
Gilles Peskined2d45c12019-05-27 14:53:13 +0200905 bits = psa_get_key_bits( &attributes );
906 psa_reset_key_attributes( &attributes );
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100907 return( bits );
908}
909
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100910static int pk_opaque_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100911{
912 /* For now opaque PSA keys can only wrap ECC keypairs,
913 * as checked by setup_psa().
914 * Also, ECKEY_DH does not really make sense with the current API. */
915 return( type == MBEDTLS_PK_ECKEY ||
916 type == MBEDTLS_PK_ECDSA );
917}
918
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100919/*
Manuel Pégourié-Gonnard509aff12018-11-15 12:17:38 +0100920 * Simultaneously convert and move raw MPI from the beginning of a buffer
921 * to an ASN.1 MPI at the end of the buffer.
922 * See also mbedtls_asn1_write_mpi().
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100923 *
924 * p: pointer to the end of the output buffer
925 * 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 +0100926 * n_len: length of the mpi to read from start
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100927 */
928static int asn1_write_mpibuf( unsigned char **p, unsigned char *start,
929 size_t n_len )
930{
Janos Follath24eed8d2019-11-22 13:21:35 +0000931 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100932 size_t len = 0;
933
934 if( (size_t)( *p - start ) < n_len )
935 return( MBEDTLS_ERR_ASN1_BUF_TOO_SMALL );
936
937 len = n_len;
938 *p -= len;
939 memmove( *p, start, len );
940
Manuel Pégourié-Gonnard45013a12018-11-16 10:09:11 +0100941 /* ASN.1 DER encoding requires minimal length, so skip leading 0s.
Manuel Pégourié-Gonnard59eecb02018-11-16 10:54:54 +0100942 * Neither r nor s should be 0, but as a failsafe measure, still detect
943 * that rather than overflowing the buffer in case of a PSA error. */
944 while( len > 0 && **p == 0x00 )
Manuel Pégourié-Gonnard45013a12018-11-16 10:09:11 +0100945 {
946 ++(*p);
947 --len;
948 }
949
Manuel Pégourié-Gonnard59eecb02018-11-16 10:54:54 +0100950 /* this is only reached if the signature was invalid */
951 if( len == 0 )
952 return( MBEDTLS_ERR_PK_HW_ACCEL_FAILED );
953
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100954 /* if the msb is 1, ASN.1 requires that we prepend a 0.
Manuel Pégourié-Gonnard45013a12018-11-16 10:09:11 +0100955 * 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 +0100956 if( **p & 0x80 )
957 {
958 if( *p - start < 1 )
959 return( MBEDTLS_ERR_ASN1_BUF_TOO_SMALL );
960
961 *--(*p) = 0x00;
962 len += 1;
963 }
964
965 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( p, start, len ) );
966 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( p, start,
967 MBEDTLS_ASN1_INTEGER ) );
968
969 return( (int) len );
970}
971
972/* Transcode signature from PSA format to ASN.1 sequence.
973 * See ecdsa_signature_to_asn1 in ecdsa.c, but with byte buffers instead of
974 * MPIs, and in-place.
975 *
976 * [in/out] sig: the signature pre- and post-transcoding
977 * [in/out] sig_len: signature length pre- and post-transcoding
978 * [int] buf_len: the available size the in/out buffer
979 */
980static int pk_ecdsa_sig_asn1_from_psa( unsigned char *sig, size_t *sig_len,
981 size_t buf_len )
982{
Janos Follath24eed8d2019-11-22 13:21:35 +0000983 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +0100984 size_t len = 0;
985 const size_t rs_len = *sig_len / 2;
986 unsigned char *p = sig + buf_len;
987
988 MBEDTLS_ASN1_CHK_ADD( len, asn1_write_mpibuf( &p, sig + rs_len, rs_len ) );
989 MBEDTLS_ASN1_CHK_ADD( len, asn1_write_mpibuf( &p, sig, rs_len ) );
990
991 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_len( &p, sig, len ) );
992 MBEDTLS_ASN1_CHK_ADD( len, mbedtls_asn1_write_tag( &p, sig,
993 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) );
994
995 memmove( sig, p, len );
996 *sig_len = len;
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +0100997
998 return( 0 );
999}
1000
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +01001001static int pk_opaque_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
1002 const unsigned char *hash, size_t hash_len,
1003 unsigned char *sig, size_t *sig_len,
1004 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
1005{
Andrzej Kurek2349c4d2019-01-08 09:36:01 -05001006 const psa_key_handle_t *key = (const psa_key_handle_t *) ctx;
Gilles Peskined2d45c12019-05-27 14:53:13 +02001007 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +01001008 psa_algorithm_t alg = PSA_ALG_ECDSA( mbedtls_psa_translate_md( md_alg ) );
Gilles Peskined2d45c12019-05-27 14:53:13 +02001009 size_t buf_len;
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +01001010 psa_status_t status;
1011
1012 /* PSA has its own RNG */
1013 (void) f_rng;
1014 (void) p_rng;
1015
1016 /* PSA needs an output buffer of known size, but our API doesn't provide
1017 * that information. Assume that the buffer is large enough for a
1018 * maximal-length signature with that key (otherwise the application is
1019 * buggy anyway). */
Gilles Peskined2d45c12019-05-27 14:53:13 +02001020 status = psa_get_key_attributes( *key, &attributes );
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +01001021 if( status != PSA_SUCCESS )
Manuel Pégourié-Gonnard9a5a77b2018-11-16 10:15:09 +01001022 return( mbedtls_psa_err_translate_pk( status ) );
Gilles Peskined2d45c12019-05-27 14:53:13 +02001023 buf_len = MBEDTLS_ECDSA_MAX_SIG_LEN( psa_get_key_bits( &attributes ) );
1024 psa_reset_key_attributes( &attributes );
Gilles Peskine5bcb24b2019-11-08 17:33:29 +01001025 if( buf_len > MBEDTLS_PK_SIGNATURE_MAX_SIZE )
Gilles Peskinef48d6f22019-11-05 17:31:36 +01001026 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +01001027
1028 /* make the signature */
Gilles Peskine89d8c5c2019-11-26 17:01:59 +01001029 status = psa_sign_hash( *key, alg, hash, hash_len,
1030 sig, buf_len, sig_len );
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +01001031 if( status != PSA_SUCCESS )
Manuel Pégourié-Gonnard9a5a77b2018-11-16 10:15:09 +01001032 return( mbedtls_psa_err_translate_pk( status ) );
Manuel Pégourié-Gonnardd8454bc2018-11-13 10:32:00 +01001033
1034 /* transcode it to ASN.1 sequence */
1035 return( pk_ecdsa_sig_asn1_from_psa( sig, sig_len, buf_len ) );
1036}
1037
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +01001038const mbedtls_pk_info_t mbedtls_pk_opaque_info = {
1039 MBEDTLS_PK_OPAQUE,
1040 "Opaque",
1041 pk_opaque_get_bitlen,
1042 pk_opaque_can_do,
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +02001043 NULL, /* verify - will be done later */
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +01001044 pk_opaque_sign_wrap,
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +02001045#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
1046 NULL, /* restartable verify - not relevant */
1047 NULL, /* restartable sign - not relevant */
1048#endif
1049 NULL, /* decrypt - will be done later */
1050 NULL, /* encrypt - will be done later */
1051 NULL, /* check_pair - could be done later or left NULL */
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +01001052 pk_opaque_alloc_wrap,
1053 pk_opaque_free_wrap,
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +02001054#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
1055 NULL, /* restart alloc - not relevant */
1056 NULL, /* restart free - not relevant */
1057#endif
1058 NULL, /* debug - could be done later, or even left NULL */
1059};
1060
1061#endif /* MBEDTLS_USE_PSA_CRYPTO */
1062
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001063#endif /* MBEDTLS_PK_C */