blob: c793fd8e4982abf6ba8517c45550d76c1df728c6 [file] [log] [blame]
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +02001/*
2 * Public Key abstraction layer
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é-Gonnard12e0ed92013-07-04 13:31:32 +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é-Gonnard12e0ed92013-07-04 13:31:32 +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é-Gonnard12e0ed92013-07-04 13:31:32 +020027
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020028#if defined(MBEDTLS_PK_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000029#include "mbedtls/pk.h"
Manuel Pégourié-Gonnard50518f42015-05-26 11:04:15 +020030#include "mbedtls/pk_internal.h"
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020031
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050032#include "mbedtls/platform_util.h"
Andres AG72849872017-01-19 11:24:33 +000033
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020034#if defined(MBEDTLS_RSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000035#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020036#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000038#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020039#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040#if defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000041#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnard7c5819e2013-07-10 12:29:57 +020042#endif
Manuel Pégourié-Gonnard81c313c2013-07-09 10:35:54 +020043
Andres AG72849872017-01-19 11:24:33 +000044#include <limits.h>
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +010045#include <stdint.h>
Paul Bakker34617722014-06-13 17:20:13 +020046
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020047/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020048 * Initialise a mbedtls_pk_context
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020049 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020050void mbedtls_pk_init( mbedtls_pk_context *ctx )
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020051{
52 if( ctx == NULL )
53 return;
54
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +020055 ctx->pk_info = NULL;
56 ctx->pk_ctx = NULL;
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020057}
58
59/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020060 * Free (the components of) a mbedtls_pk_context
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020061 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062void mbedtls_pk_free( mbedtls_pk_context *ctx )
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020063{
Paul Bakker66d5d072014-06-17 16:39:18 +020064 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020065 return;
66
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +020067 ctx->pk_info->ctx_free_func( ctx->pk_ctx );
Manuel Pégourié-Gonnard1f73a652013-07-09 10:26:41 +020068
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050069 mbedtls_platform_zeroize( ctx, sizeof( mbedtls_pk_context ) );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +020070}
71
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +020072#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020073/*
74 * Initialize a restart context
75 */
76void mbedtls_pk_restart_init( mbedtls_pk_restart_ctx *ctx )
77{
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +020078 ctx->pk_info = NULL;
79 ctx->rs_ctx = NULL;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020080}
81
82/*
83 * Free the components of a restart context
84 */
85void mbedtls_pk_restart_free( mbedtls_pk_restart_ctx *ctx )
86{
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +020087 if( ctx == NULL || ctx->pk_info == NULL ||
88 ctx->pk_info->rs_free_func == NULL )
89 {
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020090 return;
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +020091 }
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020092
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +020093 ctx->pk_info->rs_free_func( ctx->rs_ctx );
94
95 ctx->pk_info = NULL;
96 ctx->rs_ctx = NULL;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020097}
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +020098#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +020099
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200100/*
101 * Get pk_info structure from type
102 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200103const mbedtls_pk_info_t * mbedtls_pk_info_from_type( mbedtls_pk_type_t pk_type )
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200104{
105 switch( pk_type ) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200106#if defined(MBEDTLS_RSA_C)
107 case MBEDTLS_PK_RSA:
108 return( &mbedtls_rsa_info );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200109#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200110#if defined(MBEDTLS_ECP_C)
111 case MBEDTLS_PK_ECKEY:
112 return( &mbedtls_eckey_info );
113 case MBEDTLS_PK_ECKEY_DH:
114 return( &mbedtls_eckeydh_info );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200115#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116#if defined(MBEDTLS_ECDSA_C)
117 case MBEDTLS_PK_ECDSA:
118 return( &mbedtls_ecdsa_info );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200119#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120 /* MBEDTLS_PK_RSA_ALT omitted on purpose */
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200121 default:
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200122 return( NULL );
Manuel Pégourié-Gonnard765db072013-08-14 15:00:27 +0200123 }
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200124}
125
126/*
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200127 * Initialise context
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200128 */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200129int mbedtls_pk_setup( mbedtls_pk_context *ctx, const mbedtls_pk_info_t *info )
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200130{
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200131 if( ctx == NULL || info == NULL || ctx->pk_info != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200132 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200133
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200134 if( ( ctx->pk_ctx = info->ctx_alloc_func() ) == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200135 return( MBEDTLS_ERR_PK_ALLOC_FAILED );
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200136
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200137 ctx->pk_info = info;
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200138
139 return( 0 );
140}
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200141
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200142#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnardb4fae572014-01-20 11:22:25 +0100143/*
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200144 * Initialize an RSA-alt context
145 */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200146int mbedtls_pk_setup_rsa_alt( mbedtls_pk_context *ctx, void * key,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200147 mbedtls_pk_rsa_alt_decrypt_func decrypt_func,
148 mbedtls_pk_rsa_alt_sign_func sign_func,
149 mbedtls_pk_rsa_alt_key_len_func key_len_func )
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200150{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200151 mbedtls_rsa_alt_context *rsa_alt;
152 const mbedtls_pk_info_t *info = &mbedtls_rsa_alt_info;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200153
154 if( ctx == NULL || ctx->pk_info != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200155 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200156
157 if( ( ctx->pk_ctx = info->ctx_alloc_func() ) == NULL )
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200158 return( MBEDTLS_ERR_PK_ALLOC_FAILED );
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200159
160 ctx->pk_info = info;
161
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200162 rsa_alt = (mbedtls_rsa_alt_context *) ctx->pk_ctx;
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200163
164 rsa_alt->key = key;
165 rsa_alt->decrypt_func = decrypt_func;
166 rsa_alt->sign_func = sign_func;
167 rsa_alt->key_len_func = key_len_func;
168
169 return( 0 );
170}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200171#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200172
173/*
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200174 * Tell if a PK can do the operations of the given type
175 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200176int mbedtls_pk_can_do( const mbedtls_pk_context *ctx, mbedtls_pk_type_t type )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200177{
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200178 /* null or NONE context can't do anything */
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200179 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200180 return( 0 );
181
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200182 return( ctx->pk_info->can_do( type ) );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200183}
184
185/*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200186 * Helper for mbedtls_pk_sign and mbedtls_pk_verify
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200187 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200188static inline int pk_hashlen_helper( mbedtls_md_type_t md_alg, size_t *hash_len )
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200189{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200190 const mbedtls_md_info_t *md_info;
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200191
192 if( *hash_len != 0 )
193 return( 0 );
194
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200195 if( ( md_info = mbedtls_md_info_from_type( md_alg ) ) == NULL )
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200196 return( -1 );
197
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200198 *hash_len = mbedtls_md_get_size( md_info );
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200199 return( 0 );
200}
201
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200202#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200203/*
204 * Helper to set up a restart context if needed
205 */
206static int pk_restart_setup( mbedtls_pk_restart_ctx *ctx,
207 const mbedtls_pk_info_t *info )
208{
209 /* Don't do anything it already set up */
210 if( ctx->pk_info != NULL )
211 return( 0 );
212
213 /* Should never happen when we're called */
214 if( info->rs_alloc_func == NULL || info->rs_free_func == NULL )
215 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
216
217 if( ( ctx->rs_ctx = info->rs_alloc_func() ) == NULL )
218 return( MBEDTLS_ERR_PK_ALLOC_FAILED );
219
220 ctx->pk_info = info;
221
222 return( 0 );
223}
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200224#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200225
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200226/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200227 * Verify a signature (restartable)
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200228 */
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200229int mbedtls_pk_verify_restartable( mbedtls_pk_context *ctx,
230 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200231 const unsigned char *hash, size_t hash_len,
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200232 const unsigned char *sig, size_t sig_len,
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200233 mbedtls_pk_restart_ctx *rs_ctx )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200234{
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200235 if( ctx == NULL || ctx->pk_info == NULL ||
236 pk_hashlen_helper( md_alg, &hash_len ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200237 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200238
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200239#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnardd55f7762017-08-18 17:40:15 +0200240 /* optimization: use non-restartable version if restart disabled */
241 if( rs_ctx != NULL &&
242 mbedtls_ecp_restart_enabled() &&
243 ctx->pk_info->verify_rs_func != NULL )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200244 {
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200245 int ret;
246
247 if( ( ret = pk_restart_setup( rs_ctx, ctx->pk_info ) ) != 0 )
248 return( ret );
249
250 ret = ctx->pk_info->verify_rs_func( ctx->pk_ctx,
251 md_alg, hash, hash_len, sig, sig_len, rs_ctx->rs_ctx );
252
253 if( ret != MBEDTLS_ERR_ECP_IN_PROGRESS )
254 mbedtls_pk_restart_free( rs_ctx );
255
256 return( ret );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200257 }
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200258#else /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200259 (void) rs_ctx;
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200260#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200261
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200262 if( ctx->pk_info->verify_func == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200263 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnardfff80f82013-08-17 15:20:06 +0200264
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200265 return( ctx->pk_info->verify_func( ctx->pk_ctx, md_alg, hash, hash_len,
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +0200266 sig, sig_len ) );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200267}
268
269/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200270 * Verify a signature
271 */
272int mbedtls_pk_verify( mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
273 const unsigned char *hash, size_t hash_len,
274 const unsigned char *sig, size_t sig_len )
275{
276 return( mbedtls_pk_verify_restartable( ctx, md_alg, hash, hash_len,
277 sig, sig_len, NULL ) );
278}
279
280/*
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200281 * Verify a signature with options
282 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200283int mbedtls_pk_verify_ext( mbedtls_pk_type_t type, const void *options,
284 mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200285 const unsigned char *hash, size_t hash_len,
286 const unsigned char *sig, size_t sig_len )
287{
288 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200289 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200290
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200291 if( ! mbedtls_pk_can_do( ctx, type ) )
292 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200293
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200294 if( type == MBEDTLS_PK_RSASSA_PSS )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200295 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200296#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_PKCS1_V21)
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200297 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200298 const mbedtls_pk_rsassa_pss_options *pss_opts;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200299
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100300#if SIZE_MAX > UINT_MAX
Andres AG72849872017-01-19 11:24:33 +0000301 if( md_alg == MBEDTLS_MD_NONE && UINT_MAX < hash_len )
302 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7c02c502017-08-04 13:32:15 +0100303#endif /* SIZE_MAX > UINT_MAX */
Andres AG72849872017-01-19 11:24:33 +0000304
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200305 if( options == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200306 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200307
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200308 pss_opts = (const mbedtls_pk_rsassa_pss_options *) options;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200309
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200310 if( sig_len < mbedtls_pk_get_len( ctx ) )
311 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200312
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200313 ret = mbedtls_rsa_rsassa_pss_verify_ext( mbedtls_pk_rsa( *ctx ),
314 NULL, NULL, MBEDTLS_RSA_PUBLIC,
Sander Niemeijeref5087d2014-08-16 12:45:52 +0200315 md_alg, (unsigned int) hash_len, hash,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200316 pss_opts->mgf1_hash_id,
317 pss_opts->expected_salt_len,
318 sig );
319 if( ret != 0 )
320 return( ret );
321
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200322 if( sig_len > mbedtls_pk_get_len( ctx ) )
323 return( MBEDTLS_ERR_PK_SIG_LEN_MISMATCH );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200324
325 return( 0 );
326#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200327 return( MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE );
Andres AG72849872017-01-19 11:24:33 +0000328#endif /* MBEDTLS_RSA_C && MBEDTLS_PKCS1_V21 */
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200329 }
330
331 /* General case: no options */
332 if( options != NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200333 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200334
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200335 return( mbedtls_pk_verify( ctx, md_alg, hash, hash_len, sig, sig_len ) );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200336}
337
338/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200339 * Make a signature (restartable)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200340 */
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200341int mbedtls_pk_sign_restartable( mbedtls_pk_context *ctx,
342 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200343 const unsigned char *hash, size_t hash_len,
344 unsigned char *sig, size_t *sig_len,
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200345 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200346 mbedtls_pk_restart_ctx *rs_ctx )
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200347{
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200348 if( ctx == NULL || ctx->pk_info == NULL ||
349 pk_hashlen_helper( md_alg, &hash_len ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200350 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200351
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200352#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnardd55f7762017-08-18 17:40:15 +0200353 /* optimization: use non-restartable version if restart disabled */
354 if( rs_ctx != NULL &&
355 mbedtls_ecp_restart_enabled() &&
356 ctx->pk_info->sign_rs_func != NULL )
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200357 {
Manuel Pégourié-Gonnard0bbc66c2017-08-18 16:22:06 +0200358 int ret;
359
360 if( ( ret = pk_restart_setup( rs_ctx, ctx->pk_info ) ) != 0 )
361 return( ret );
362
363 ret = ctx->pk_info->sign_rs_func( ctx->pk_ctx, md_alg,
364 hash, hash_len, sig, sig_len, f_rng, p_rng, rs_ctx->rs_ctx );
365
366 if( ret != MBEDTLS_ERR_ECP_IN_PROGRESS )
367 mbedtls_pk_restart_free( rs_ctx );
368
369 return( ret );
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200370 }
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200371#else /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200372 (void) rs_ctx;
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200373#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard1f596062017-05-09 10:42:40 +0200374
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200375 if( ctx->pk_info->sign_func == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200376 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200377
378 return( ctx->pk_info->sign_func( ctx->pk_ctx, md_alg, hash, hash_len,
379 sig, sig_len, f_rng, p_rng ) );
380}
381
382/*
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200383 * Make a signature
384 */
385int mbedtls_pk_sign( mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
386 const unsigned char *hash, size_t hash_len,
387 unsigned char *sig, size_t *sig_len,
388 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
389{
390 return( mbedtls_pk_sign_restartable( ctx, md_alg, hash, hash_len,
391 sig, sig_len, f_rng, p_rng, NULL ) );
392}
393
394/*
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200395 * Decrypt message
396 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200397int mbedtls_pk_decrypt( mbedtls_pk_context *ctx,
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200398 const unsigned char *input, size_t ilen,
399 unsigned char *output, size_t *olen, size_t osize,
400 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
401{
402 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200403 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200404
405 if( ctx->pk_info->decrypt_func == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200406 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200407
408 return( ctx->pk_info->decrypt_func( ctx->pk_ctx, input, ilen,
409 output, olen, osize, f_rng, p_rng ) );
410}
411
412/*
413 * Encrypt message
414 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200415int mbedtls_pk_encrypt( mbedtls_pk_context *ctx,
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200416 const unsigned char *input, size_t ilen,
417 unsigned char *output, size_t *olen, size_t osize,
418 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
419{
420 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200421 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200422
423 if( ctx->pk_info->encrypt_func == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200424 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200425
426 return( ctx->pk_info->encrypt_func( ctx->pk_ctx, input, ilen,
427 output, olen, osize, f_rng, p_rng ) );
428}
429
430/*
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100431 * Check public-private key pair
432 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200433int mbedtls_pk_check_pair( const mbedtls_pk_context *pub, const mbedtls_pk_context *prv )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100434{
435 if( pub == NULL || pub->pk_info == NULL ||
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100436 prv == NULL || prv->pk_info == NULL ||
437 prv->pk_info->check_pair_func == NULL )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100438 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200439 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100440 }
441
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200442 if( prv->pk_info->type == MBEDTLS_PK_RSA_ALT )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100443 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200444 if( pub->pk_info->type != MBEDTLS_PK_RSA )
445 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100446 }
447 else
448 {
449 if( pub->pk_info != prv->pk_info )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200450 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100451 }
452
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100453 return( prv->pk_info->check_pair_func( pub->pk_ctx, prv->pk_ctx ) );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100454}
455
456/*
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200457 * Get key size in bits
458 */
Manuel Pégourié-Gonnard097c7bb2015-06-18 16:43:38 +0200459size_t mbedtls_pk_get_bitlen( const mbedtls_pk_context *ctx )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200460{
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200461 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200462 return( 0 );
463
Manuel Pégourié-Gonnard39a48f42015-06-18 16:06:55 +0200464 return( ctx->pk_info->get_bitlen( ctx->pk_ctx ) );
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200465}
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200466
467/*
468 * Export debug information
469 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200470int mbedtls_pk_debug( const mbedtls_pk_context *ctx, mbedtls_pk_debug_item *items )
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200471{
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200472 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200473 return( MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200474
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200475 if( ctx->pk_info->debug_func == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200476 return( MBEDTLS_ERR_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200477
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200478 ctx->pk_info->debug_func( ctx->pk_ctx, items );
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200479 return( 0 );
480}
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200481
482/*
483 * Access the PK type name
484 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200485const char *mbedtls_pk_get_name( const mbedtls_pk_context *ctx )
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200486{
487 if( ctx == NULL || ctx->pk_info == NULL )
488 return( "invalid PK" );
489
490 return( ctx->pk_info->name );
491}
Manuel Pégourié-Gonnardc40b4c32013-08-22 13:29:31 +0200492
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200493/*
494 * Access the PK type
495 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200496mbedtls_pk_type_t mbedtls_pk_get_type( const mbedtls_pk_context *ctx )
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200497{
498 if( ctx == NULL || ctx->pk_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200499 return( MBEDTLS_PK_NONE );
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200500
501 return( ctx->pk_info->type );
502}
503
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200504#endif /* MBEDTLS_PK_C */