blob: f73992886eea991bca1a3799289c1a079c88cba7 [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
Bence Szépkúti4e9f7122020-06-05 13:02:18 +02005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
6 *
7 * This file is provided under the Apache License 2.0, or the
8 * GNU General Public License v2.0 or later.
9 *
10 * **********
11 * Apache License 2.0:
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020012 *
13 * Licensed under the Apache License, Version 2.0 (the "License"); you may
14 * not use this file except in compliance with the License.
15 * You may obtain a copy of the License at
16 *
17 * http://www.apache.org/licenses/LICENSE-2.0
18 *
19 * Unless required by applicable law or agreed to in writing, software
20 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
21 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
22 * See the License for the specific language governing permissions and
23 * limitations under the License.
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020024 *
Bence Szépkúti4e9f7122020-06-05 13:02:18 +020025 * **********
26 *
27 * **********
28 * GNU General Public License v2.0 or later:
29 *
30 * This program is free software; you can redistribute it and/or modify
31 * it under the terms of the GNU General Public License as published by
32 * the Free Software Foundation; either version 2 of the License, or
33 * (at your option) any later version.
34 *
35 * This program is distributed in the hope that it will be useful,
36 * but WITHOUT ANY WARRANTY; without even the implied warranty of
37 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
38 * GNU General Public License for more details.
39 *
40 * You should have received a copy of the GNU General Public License along
41 * with this program; if not, write to the Free Software Foundation, Inc.,
42 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
43 *
44 * **********
45 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000046 * This file is part of mbed TLS (https://tls.mbed.org)
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020047 */
48
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020049#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000050#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020051#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020052#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020053#endif
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020054
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020055#if defined(MBEDTLS_PK_C)
Manuel Pégourié-Gonnard50518f42015-05-26 11:04:15 +020056#include "mbedtls/pk_internal.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020057
Manuel Pégourié-Gonnarde511ffc2013-08-22 17:33:21 +020058/* Even if RSA not activated, for the sake of RSA-alt */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000059#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020060
Rich Evans00ab4702015-02-06 13:43:58 +000061#include <string.h>
62
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020063#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000064#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020065#endif
66
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020067#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000068#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020069#endif
70
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020071#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000072#include "mbedtls/platform.h"
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020073#else
74#include <stdlib.h>
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +020075#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020076#define mbedtls_free free
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020077#endif
78
Andres AG72849872017-01-19 11:24:33 +000079#include <limits.h>
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010080#include <stdint.h>
Andres AG72849872017-01-19 11:24:33 +000081
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Paul Bakker34617722014-06-13 17:20:13 +020083/* Implementation that should never be optimized out by the compiler */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020084static void mbedtls_zeroize( void *v, size_t n ) {
Paul Bakker34617722014-06-13 17:20:13 +020085 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
86}
Manuel Pégourié-Gonnard348bcb32015-03-31 14:01:33 +020087#endif
Paul Bakker34617722014-06-13 17:20:13 +020088
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020089#if defined(MBEDTLS_RSA_C)
90static int rsa_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +020091{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020092 return( type == MBEDTLS_PK_RSA ||
93 type == MBEDTLS_PK_RSASSA_PSS );
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +020094}
95
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +020096static size_t rsa_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +020097{
Hanno Becker6a1e7e52017-08-22 13:55:00 +010098 const mbedtls_rsa_context * rsa = (const mbedtls_rsa_context *) ctx;
99 return( 8 * mbedtls_rsa_get_len( rsa ) );
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200100}
101
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200102static int rsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200103 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200104 const unsigned char *sig, size_t sig_len )
105{
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200106 int ret;
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100107 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
108 size_t rsa_len = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200109
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100110#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000111 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
112 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100113#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000114
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100115 if( sig_len < rsa_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200117
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100118 if( ( ret = mbedtls_rsa_pkcs1_verify( rsa, NULL, NULL,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200119 MBEDTLS_RSA_PUBLIC, md_alg,
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200120 (unsigned int) hash_len, hash, sig ) ) != 0 )
121 return( ret );
122
Gilles Peskine5114d3e2018-03-30 07:12:15 +0200123 /* The buffer contains a valid signature followed by extra data.
124 * We have a special error code for that so that so that callers can
125 * use mbedtls_pk_verify() to check "Does the buffer start with a
126 * valid signature?" and not just "Does the buffer contain a valid
127 * signature?". */
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100128 if( sig_len > rsa_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200129 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200130
131 return( 0 );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200132}
133
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200134static int rsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200135 const unsigned char *hash, size_t hash_len,
136 unsigned char *sig, size_t *sig_len,
137 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
138{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100139 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
140
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100141#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000142 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
143 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100144#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000145
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100146 *sig_len = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200147
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100148 return( mbedtls_rsa_pkcs1_sign( rsa, f_rng, p_rng, MBEDTLS_RSA_PRIVATE,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200149 md_alg, (unsigned int) hash_len, hash, sig ) );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200150}
151
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200152static int rsa_decrypt_wrap( void *ctx,
153 const unsigned char *input, size_t ilen,
154 unsigned char *output, size_t *olen, size_t osize,
155 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
156{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100157 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
158
159 if( ilen != mbedtls_rsa_get_len( rsa ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200160 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200161
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100162 return( mbedtls_rsa_pkcs1_decrypt( rsa, f_rng, p_rng,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200163 MBEDTLS_RSA_PRIVATE, olen, input, output, osize ) );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200164}
165
166static int rsa_encrypt_wrap( void *ctx,
167 const unsigned char *input, size_t ilen,
168 unsigned char *output, size_t *olen, size_t osize,
169 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
170{
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100171 mbedtls_rsa_context * rsa = (mbedtls_rsa_context *) ctx;
172 *olen = mbedtls_rsa_get_len( rsa );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200173
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100174 if( *olen > osize )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200175 return( MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100176
Hanno Becker6a1e7e52017-08-22 13:55:00 +0100177 return( mbedtls_rsa_pkcs1_encrypt( rsa, f_rng, p_rng, MBEDTLS_RSA_PUBLIC,
178 ilen, input, output ) );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200179}
180
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100181static int rsa_check_pair_wrap( const void *pub, const void *prv )
182{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200183 return( mbedtls_rsa_check_pub_priv( (const mbedtls_rsa_context *) pub,
184 (const mbedtls_rsa_context *) prv ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100185}
186
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200187static void *rsa_alloc_wrap( void )
188{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200189 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_rsa_context ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200190
191 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200192 mbedtls_rsa_init( (mbedtls_rsa_context *) ctx, 0, 0 );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200193
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200194 return( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200195}
196
197static void rsa_free_wrap( void *ctx )
198{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200199 mbedtls_rsa_free( (mbedtls_rsa_context *) ctx );
200 mbedtls_free( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200201}
202
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200203static void rsa_debug( const void *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200204{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200205 items->type = MBEDTLS_PK_DEBUG_MPI;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200206 items->name = "rsa.N";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200207 items->value = &( ((mbedtls_rsa_context *) ctx)->N );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200208
209 items++;
210
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211 items->type = MBEDTLS_PK_DEBUG_MPI;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200212 items->name = "rsa.E";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200213 items->value = &( ((mbedtls_rsa_context *) ctx)->E );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200214}
215
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216const mbedtls_pk_info_t mbedtls_rsa_info = {
217 MBEDTLS_PK_RSA,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200218 "RSA",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200219 rsa_get_bitlen,
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200220 rsa_can_do,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200221 rsa_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200222 rsa_sign_wrap,
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200223 rsa_decrypt_wrap,
224 rsa_encrypt_wrap,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100225 rsa_check_pair_wrap,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200226 rsa_alloc_wrap,
227 rsa_free_wrap,
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200228 rsa_debug,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200229};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200230#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200231
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200232#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200233/*
234 * Generic EC key
235 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200236static int eckey_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200237{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200238 return( type == MBEDTLS_PK_ECKEY ||
239 type == MBEDTLS_PK_ECKEY_DH ||
240 type == MBEDTLS_PK_ECDSA );
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200241}
242
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200243static size_t eckey_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200244{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200245 return( ((mbedtls_ecp_keypair *) ctx)->grp.pbits );
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200246}
247
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200248#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200249/* Forward declarations */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200250static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200251 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200252 const unsigned char *sig, size_t sig_len );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200253
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200254static int ecdsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200255 const unsigned char *hash, size_t hash_len,
256 unsigned char *sig, size_t *sig_len,
257 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng );
258
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200259static int eckey_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200260 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200261 const unsigned char *sig, size_t sig_len )
262{
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200263 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200264 mbedtls_ecdsa_context ecdsa;
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200265
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200266 mbedtls_ecdsa_init( &ecdsa );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200267
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200268 if( ( ret = mbedtls_ecdsa_from_keypair( &ecdsa, ctx ) ) == 0 )
Manuel Pégourié-Gonnard583b6082013-08-20 16:58:13 +0200269 ret = ecdsa_verify_wrap( &ecdsa, md_alg, hash, hash_len, sig, sig_len );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200270
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200271 mbedtls_ecdsa_free( &ecdsa );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200272
273 return( ret );
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200274}
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200275
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200276static int eckey_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200277 const unsigned char *hash, size_t hash_len,
278 unsigned char *sig, size_t *sig_len,
279 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
280{
281 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200282 mbedtls_ecdsa_context ecdsa;
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200283
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200284 mbedtls_ecdsa_init( &ecdsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200285
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200286 if( ( ret = mbedtls_ecdsa_from_keypair( &ecdsa, ctx ) ) == 0 )
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200287 ret = ecdsa_sign_wrap( &ecdsa, md_alg, hash, hash_len, sig, sig_len,
288 f_rng, p_rng );
289
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200290 mbedtls_ecdsa_free( &ecdsa );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200291
292 return( ret );
293}
294
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200295#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200296
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100297static int eckey_check_pair( const void *pub, const void *prv )
298{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200299 return( mbedtls_ecp_check_pub_priv( (const mbedtls_ecp_keypair *) pub,
300 (const mbedtls_ecp_keypair *) prv ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100301}
302
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200303static void *eckey_alloc_wrap( void )
304{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200305 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecp_keypair ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200306
307 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200308 mbedtls_ecp_keypair_init( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200309
310 return( ctx );
311}
312
313static void eckey_free_wrap( void *ctx )
314{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200315 mbedtls_ecp_keypair_free( (mbedtls_ecp_keypair *) ctx );
316 mbedtls_free( ctx );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200317}
318
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200319static void eckey_debug( const void *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200320{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200321 items->type = MBEDTLS_PK_DEBUG_ECP;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200322 items->name = "eckey.Q";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200323 items->value = &( ((mbedtls_ecp_keypair *) ctx)->Q );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200324}
325
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200326const mbedtls_pk_info_t mbedtls_eckey_info = {
327 MBEDTLS_PK_ECKEY,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200328 "EC",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200329 eckey_get_bitlen,
Manuel Pégourié-Gonnardf18c3e02013-08-12 18:41:18 +0200330 eckey_can_do,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200331#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200332 eckey_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200333 eckey_sign_wrap,
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200334#else
335 NULL,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200336 NULL,
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200337#endif
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200338 NULL,
339 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100340 eckey_check_pair,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200341 eckey_alloc_wrap,
342 eckey_free_wrap,
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200343 eckey_debug,
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200344};
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200345
346/*
Paul Bakker75342a62014-04-08 17:35:40 +0200347 * EC key restricted to ECDH
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200348 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200349static int eckeydh_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200350{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200351 return( type == MBEDTLS_PK_ECKEY ||
352 type == MBEDTLS_PK_ECKEY_DH );
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200353}
354
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200355const mbedtls_pk_info_t mbedtls_eckeydh_info = {
356 MBEDTLS_PK_ECKEY_DH,
Manuel Pégourié-Gonnardf8c948a2013-08-12 19:45:32 +0200357 "EC_DH",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200358 eckey_get_bitlen, /* Same underlying key structure */
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200359 eckeydh_can_do,
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200360 NULL,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200361 NULL,
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200362 NULL,
363 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100364 eckey_check_pair,
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200365 eckey_alloc_wrap, /* Same underlying key structure */
366 eckey_free_wrap, /* Same underlying key structure */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200367 eckey_debug, /* Same underlying key structure */
Manuel Pégourié-Gonnard835eb592013-08-12 18:51:26 +0200368};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200369#endif /* MBEDTLS_ECP_C */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200370
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200371#if defined(MBEDTLS_ECDSA_C)
372static int ecdsa_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200373{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200374 return( type == MBEDTLS_PK_ECDSA );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200375}
376
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200377static int ecdsa_verify_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200378 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200379 const unsigned char *sig, size_t sig_len )
380{
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200381 int ret;
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200382 ((void) md_alg);
383
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200384 ret = mbedtls_ecdsa_read_signature( (mbedtls_ecdsa_context *) ctx,
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200385 hash, hash_len, sig, sig_len );
386
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200387 if( ret == MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH )
388 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard2abed842014-04-08 12:40:15 +0200389
390 return( ret );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200391}
392
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200393static int ecdsa_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200394 const unsigned char *hash, size_t hash_len,
395 unsigned char *sig, size_t *sig_len,
396 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
397{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200398 return( mbedtls_ecdsa_write_signature( (mbedtls_ecdsa_context *) ctx,
Manuel Pégourié-Gonnarddfdcac92015-03-31 11:41:42 +0200399 md_alg, hash, hash_len, sig, sig_len, f_rng, p_rng ) );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200400}
401
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200402static void *ecdsa_alloc_wrap( void )
403{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200404 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_ecdsa_context ) );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200405
406 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200407 mbedtls_ecdsa_init( (mbedtls_ecdsa_context *) ctx );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200408
409 return( ctx );
410}
411
412static void ecdsa_free_wrap( void *ctx )
413{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200414 mbedtls_ecdsa_free( (mbedtls_ecdsa_context *) ctx );
415 mbedtls_free( ctx );
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200416}
417
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200418const mbedtls_pk_info_t mbedtls_ecdsa_info = {
419 MBEDTLS_PK_ECDSA,
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200420 "ECDSA",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200421 eckey_get_bitlen, /* Compatible key structures */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200422 ecdsa_can_do,
423 ecdsa_verify_wrap,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200424 ecdsa_sign_wrap,
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200425 NULL,
426 NULL,
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100427 eckey_check_pair, /* Compatible key structures */
Manuel Pégourié-Gonnard09162dd2013-08-14 18:16:50 +0200428 ecdsa_alloc_wrap,
429 ecdsa_free_wrap,
430 eckey_debug, /* Compatible key structures */
431};
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200432#endif /* MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200433
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200434#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200435/*
436 * Support for alternative RSA-private implementations
437 */
438
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200439static int rsa_alt_can_do( mbedtls_pk_type_t type )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200440{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200441 return( type == MBEDTLS_PK_RSA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200442}
443
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200444static size_t rsa_alt_get_bitlen( const void *ctx )
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200445{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200446 const mbedtls_rsa_alt_context *rsa_alt = (const mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200447
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200448 return( 8 * rsa_alt->key_len_func( rsa_alt->key ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200449}
450
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200451static int rsa_alt_sign_wrap( void *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200452 const unsigned char *hash, size_t hash_len,
453 unsigned char *sig, size_t *sig_len,
454 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
455{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200456 mbedtls_rsa_alt_context *rsa_alt = (mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200457
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100458#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000459 if( UINT_MAX < hash_len )
460 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100461#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000462
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200463 *sig_len = rsa_alt->key_len_func( rsa_alt->key );
464
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200465 return( rsa_alt->sign_func( rsa_alt->key, f_rng, p_rng, MBEDTLS_RSA_PRIVATE,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200466 md_alg, (unsigned int) hash_len, hash, sig ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200467}
468
469static int rsa_alt_decrypt_wrap( void *ctx,
470 const unsigned char *input, size_t ilen,
471 unsigned char *output, size_t *olen, size_t osize,
472 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
473{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200474 mbedtls_rsa_alt_context *rsa_alt = (mbedtls_rsa_alt_context *) ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200475
476 ((void) f_rng);
477 ((void) p_rng);
478
479 if( ilen != rsa_alt->key_len_func( rsa_alt->key ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200480 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200481
482 return( rsa_alt->decrypt_func( rsa_alt->key,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200483 MBEDTLS_RSA_PRIVATE, olen, input, output, osize ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200484}
485
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200486#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100487static int rsa_alt_check_pair( const void *pub, const void *prv )
488{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200489 unsigned char sig[MBEDTLS_MPI_MAX_SIZE];
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100490 unsigned char hash[32];
491 size_t sig_len = 0;
492 int ret;
493
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200494 if( rsa_alt_get_bitlen( prv ) != rsa_get_bitlen( pub ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200495 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100496
497 memset( hash, 0x2a, sizeof( hash ) );
498
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200499 if( ( ret = rsa_alt_sign_wrap( (void *) prv, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100500 hash, sizeof( hash ),
501 sig, &sig_len, NULL, NULL ) ) != 0 )
502 {
503 return( ret );
504 }
505
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200506 if( rsa_verify_wrap( (void *) pub, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100507 hash, sizeof( hash ), sig, sig_len ) != 0 )
508 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200509 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100510 }
511
512 return( 0 );
513}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200514#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100515
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200516static void *rsa_alt_alloc_wrap( void )
517{
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200518 void *ctx = mbedtls_calloc( 1, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200519
520 if( ctx != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200521 memset( ctx, 0, sizeof( mbedtls_rsa_alt_context ) );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200522
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200523 return( ctx );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200524}
525
526static void rsa_alt_free_wrap( void *ctx )
527{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200528 mbedtls_zeroize( ctx, sizeof( mbedtls_rsa_alt_context ) );
529 mbedtls_free( ctx );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200530}
531
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200532const mbedtls_pk_info_t mbedtls_rsa_alt_info = {
533 MBEDTLS_PK_RSA_ALT,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200534 "RSA-alt",
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200535 rsa_alt_get_bitlen,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200536 rsa_alt_can_do,
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200537 NULL,
538 rsa_alt_sign_wrap,
539 rsa_alt_decrypt_wrap,
540 NULL,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200541#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100542 rsa_alt_check_pair,
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +0100543#else
544 NULL,
545#endif
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200546 rsa_alt_alloc_wrap,
547 rsa_alt_free_wrap,
548 NULL,
549};
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +0200550
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200551#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard348bcb32015-03-31 14:01:33 +0200552
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200553#endif /* MBEDTLS_PK_C */