blob: de684b39c7d9678fc585eedaa1db51125335d3b0 [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * The RSA public-key cryptosystem
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.
Paul Bakkerb96f1542010-07-18 20:36:00 +000018 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000019 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker5121ce52009-01-03 21:22:43 +000020 */
21/*
Simon Butcherbdae02c2016-01-20 00:44:42 +000022 * The following sources were referenced in the design of this implementation
23 * of the RSA algorithm:
Paul Bakker5121ce52009-01-03 21:22:43 +000024 *
Simon Butcherbdae02c2016-01-20 00:44:42 +000025 * [1] A method for obtaining digital signatures and public-key cryptosystems
26 * R Rivest, A Shamir, and L Adleman
27 * http://people.csail.mit.edu/rivest/pubs.html#RSA78
28 *
29 * [2] Handbook of Applied Cryptography - 1997, Chapter 8
30 * Menezes, van Oorschot and Vanstone
31 *
Janos Follathe81102e2017-03-22 13:38:28 +000032 * [3] Malware Guard Extension: Using SGX to Conceal Cache Attacks
33 * Michael Schwarz, Samuel Weiser, Daniel Gruss, Clémentine Maurice and
34 * Stefan Mangard
35 * https://arxiv.org/abs/1702.08719v2
36 *
Paul Bakker5121ce52009-01-03 21:22:43 +000037 */
38
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020039#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000040#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020041#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020042#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020043#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000044
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020045#if defined(MBEDTLS_RSA_C)
Paul Bakker5121ce52009-01-03 21:22:43 +000046
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000047#include "mbedtls/rsa.h"
48#include "mbedtls/oid.h"
Paul Bakkerbb51f0c2012-08-23 07:46:58 +000049
Rich Evans00ab4702015-02-06 13:43:58 +000050#include <string.h>
51
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020052#if defined(MBEDTLS_PKCS1_V21)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000053#include "mbedtls/md.h"
Paul Bakkerbb51f0c2012-08-23 07:46:58 +000054#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000055
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020056#if defined(MBEDTLS_PKCS1_V15) && !defined(__OpenBSD__)
Paul Bakker5121ce52009-01-03 21:22:43 +000057#include <stdlib.h>
Rich Evans00ab4702015-02-06 13:43:58 +000058#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000059
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020060#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000061#include "mbedtls/platform.h"
Paul Bakker7dc4c442014-02-01 22:50:26 +010062#else
Rich Evans00ab4702015-02-06 13:43:58 +000063#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020064#define mbedtls_printf printf
Manuel Pégourié-Gonnard5f501042015-09-03 20:03:15 +020065#define mbedtls_calloc calloc
66#define mbedtls_free free
Paul Bakker7dc4c442014-02-01 22:50:26 +010067#endif
68
Gilles Peskine4a7f6a02017-03-23 14:37:37 +010069/* Implementation that should never be optimized out by the compiler */
70static void mbedtls_zeroize( void *v, size_t n ) {
71 volatile unsigned char *p = (unsigned char*)v; while( n-- ) *p++ = 0;
72}
73
Paul Bakker5121ce52009-01-03 21:22:43 +000074/*
75 * Initialize an RSA context
76 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077void mbedtls_rsa_init( mbedtls_rsa_context *ctx,
Paul Bakker5121ce52009-01-03 21:22:43 +000078 int padding,
Paul Bakker21eb2802010-08-16 11:10:02 +000079 int hash_id )
Paul Bakker5121ce52009-01-03 21:22:43 +000080{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020081 memset( ctx, 0, sizeof( mbedtls_rsa_context ) );
Paul Bakker5121ce52009-01-03 21:22:43 +000082
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020083 mbedtls_rsa_set_padding( ctx, padding, hash_id );
Paul Bakkerc9965dc2013-09-29 14:58:17 +020084
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020085#if defined(MBEDTLS_THREADING_C)
86 mbedtls_mutex_init( &ctx->mutex );
Paul Bakkerc9965dc2013-09-29 14:58:17 +020087#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000088}
89
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +010090/*
91 * Set padding for an existing RSA context
92 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020093void mbedtls_rsa_set_padding( mbedtls_rsa_context *ctx, int padding, int hash_id )
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +010094{
95 ctx->padding = padding;
96 ctx->hash_id = hash_id;
97}
98
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020099#if defined(MBEDTLS_GENPRIME)
Paul Bakker5121ce52009-01-03 21:22:43 +0000100
101/*
102 * Generate an RSA keypair
103 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200104int mbedtls_rsa_gen_key( mbedtls_rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000105 int (*f_rng)(void *, unsigned char *, size_t),
106 void *p_rng,
107 unsigned int nbits, int exponent )
Paul Bakker5121ce52009-01-03 21:22:43 +0000108{
109 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200110 mbedtls_mpi P1, Q1, H, G;
Paul Bakker5121ce52009-01-03 21:22:43 +0000111
Paul Bakker21eb2802010-08-16 11:10:02 +0000112 if( f_rng == NULL || nbits < 128 || exponent < 3 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200113 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000114
Janos Follathef441782016-09-21 13:18:12 +0100115 if( nbits % 2 )
116 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
117
118 mbedtls_mpi_init( &P1 ); mbedtls_mpi_init( &Q1 );
Janos Follath10c575b2016-02-23 14:42:48 +0000119 mbedtls_mpi_init( &H ); mbedtls_mpi_init( &G );
Paul Bakker5121ce52009-01-03 21:22:43 +0000120
121 /*
122 * find primes P and Q with Q < P so that:
123 * GCD( E, (P-1)*(Q-1) ) == 1
124 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200125 MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &ctx->E, exponent ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000126
127 do
128 {
Janos Follath10c575b2016-02-23 14:42:48 +0000129 MBEDTLS_MPI_CHK( mbedtls_mpi_gen_prime( &ctx->P, nbits >> 1, 0,
Paul Bakker21eb2802010-08-16 11:10:02 +0000130 f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000131
Janos Follathef441782016-09-21 13:18:12 +0100132 MBEDTLS_MPI_CHK( mbedtls_mpi_gen_prime( &ctx->Q, nbits >> 1, 0,
Paul Bakker21eb2802010-08-16 11:10:02 +0000133 f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000134
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200135 if( mbedtls_mpi_cmp_mpi( &ctx->P, &ctx->Q ) == 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000136 continue;
137
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200138 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->N, &ctx->P, &ctx->Q ) );
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200139 if( mbedtls_mpi_bitlen( &ctx->N ) != nbits )
Paul Bakker5121ce52009-01-03 21:22:43 +0000140 continue;
141
Janos Follathef441782016-09-21 13:18:12 +0100142 if( mbedtls_mpi_cmp_mpi( &ctx->P, &ctx->Q ) < 0 )
143 mbedtls_mpi_swap( &ctx->P, &ctx->Q );
144
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200145 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &P1, &ctx->P, 1 ) );
146 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &Q1, &ctx->Q, 1 ) );
147 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &H, &P1, &Q1 ) );
148 MBEDTLS_MPI_CHK( mbedtls_mpi_gcd( &G, &ctx->E, &H ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000149 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200150 while( mbedtls_mpi_cmp_int( &G, 1 ) != 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000151
152 /*
153 * D = E^-1 mod ((P-1)*(Q-1))
154 * DP = D mod (P - 1)
155 * DQ = D mod (Q - 1)
156 * QP = Q^-1 mod P
157 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200158 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &ctx->D , &ctx->E, &H ) );
159 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->DP, &ctx->D, &P1 ) );
160 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->DQ, &ctx->D, &Q1 ) );
161 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &ctx->QP, &ctx->Q, &ctx->P ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000162
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200163 ctx->len = ( mbedtls_mpi_bitlen( &ctx->N ) + 7 ) >> 3;
Paul Bakker5121ce52009-01-03 21:22:43 +0000164
165cleanup:
166
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200167 mbedtls_mpi_free( &P1 ); mbedtls_mpi_free( &Q1 ); mbedtls_mpi_free( &H ); mbedtls_mpi_free( &G );
Paul Bakker5121ce52009-01-03 21:22:43 +0000168
169 if( ret != 0 )
170 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200171 mbedtls_rsa_free( ctx );
172 return( MBEDTLS_ERR_RSA_KEY_GEN_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000173 }
174
Paul Bakker48377d92013-08-30 12:06:24 +0200175 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000176}
177
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200178#endif /* MBEDTLS_GENPRIME */
Paul Bakker5121ce52009-01-03 21:22:43 +0000179
180/*
181 * Check a public RSA key
182 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200183int mbedtls_rsa_check_pubkey( const mbedtls_rsa_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +0000184{
Paul Bakker37940d92009-07-10 22:38:58 +0000185 if( !ctx->N.p || !ctx->E.p )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200186 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker37940d92009-07-10 22:38:58 +0000187
Paul Bakker48377d92013-08-30 12:06:24 +0200188 if( ( ctx->N.p[0] & 1 ) == 0 ||
Paul Bakker5121ce52009-01-03 21:22:43 +0000189 ( ctx->E.p[0] & 1 ) == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200190 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000191
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200192 if( mbedtls_mpi_bitlen( &ctx->N ) < 128 ||
193 mbedtls_mpi_bitlen( &ctx->N ) > MBEDTLS_MPI_MAX_BITS )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200194 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000195
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200196 if( mbedtls_mpi_bitlen( &ctx->E ) < 2 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200197 mbedtls_mpi_cmp_mpi( &ctx->E, &ctx->N ) >= 0 )
198 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000199
200 return( 0 );
201}
202
203/*
204 * Check a private RSA key
205 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200206int mbedtls_rsa_check_privkey( const mbedtls_rsa_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +0000207{
208 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200209 mbedtls_mpi PQ, DE, P1, Q1, H, I, G, G2, L1, L2, DP, DQ, QP;
Paul Bakker5121ce52009-01-03 21:22:43 +0000210
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211 if( ( ret = mbedtls_rsa_check_pubkey( ctx ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000212 return( ret );
213
Paul Bakker37940d92009-07-10 22:38:58 +0000214 if( !ctx->P.p || !ctx->Q.p || !ctx->D.p )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200215 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker37940d92009-07-10 22:38:58 +0000216
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200217 mbedtls_mpi_init( &PQ ); mbedtls_mpi_init( &DE ); mbedtls_mpi_init( &P1 ); mbedtls_mpi_init( &Q1 );
218 mbedtls_mpi_init( &H ); mbedtls_mpi_init( &I ); mbedtls_mpi_init( &G ); mbedtls_mpi_init( &G2 );
219 mbedtls_mpi_init( &L1 ); mbedtls_mpi_init( &L2 ); mbedtls_mpi_init( &DP ); mbedtls_mpi_init( &DQ );
220 mbedtls_mpi_init( &QP );
Paul Bakker5121ce52009-01-03 21:22:43 +0000221
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200222 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &PQ, &ctx->P, &ctx->Q ) );
223 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &DE, &ctx->D, &ctx->E ) );
224 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &P1, &ctx->P, 1 ) );
225 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &Q1, &ctx->Q, 1 ) );
226 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &H, &P1, &Q1 ) );
227 MBEDTLS_MPI_CHK( mbedtls_mpi_gcd( &G, &ctx->E, &H ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000228
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200229 MBEDTLS_MPI_CHK( mbedtls_mpi_gcd( &G2, &P1, &Q1 ) );
230 MBEDTLS_MPI_CHK( mbedtls_mpi_div_mpi( &L1, &L2, &H, &G2 ) );
231 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &I, &DE, &L1 ) );
Paul Bakkerb572adf2010-07-18 08:29:32 +0000232
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200233 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &DP, &ctx->D, &P1 ) );
234 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &DQ, &ctx->D, &Q1 ) );
235 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &QP, &ctx->Q, &ctx->P ) );
Paul Bakkerb572adf2010-07-18 08:29:32 +0000236 /*
237 * Check for a valid PKCS1v2 private key
238 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200239 if( mbedtls_mpi_cmp_mpi( &PQ, &ctx->N ) != 0 ||
240 mbedtls_mpi_cmp_mpi( &DP, &ctx->DP ) != 0 ||
241 mbedtls_mpi_cmp_mpi( &DQ, &ctx->DQ ) != 0 ||
242 mbedtls_mpi_cmp_mpi( &QP, &ctx->QP ) != 0 ||
243 mbedtls_mpi_cmp_int( &L2, 0 ) != 0 ||
244 mbedtls_mpi_cmp_int( &I, 1 ) != 0 ||
245 mbedtls_mpi_cmp_int( &G, 1 ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000246 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200247 ret = MBEDTLS_ERR_RSA_KEY_CHECK_FAILED;
Paul Bakker5121ce52009-01-03 21:22:43 +0000248 }
Paul Bakker48377d92013-08-30 12:06:24 +0200249
Paul Bakker5121ce52009-01-03 21:22:43 +0000250cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200251 mbedtls_mpi_free( &PQ ); mbedtls_mpi_free( &DE ); mbedtls_mpi_free( &P1 ); mbedtls_mpi_free( &Q1 );
252 mbedtls_mpi_free( &H ); mbedtls_mpi_free( &I ); mbedtls_mpi_free( &G ); mbedtls_mpi_free( &G2 );
253 mbedtls_mpi_free( &L1 ); mbedtls_mpi_free( &L2 ); mbedtls_mpi_free( &DP ); mbedtls_mpi_free( &DQ );
254 mbedtls_mpi_free( &QP );
Paul Bakker6c591fa2011-05-05 11:49:20 +0000255
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200256 if( ret == MBEDTLS_ERR_RSA_KEY_CHECK_FAILED )
Paul Bakker9d781402011-05-09 16:17:09 +0000257 return( ret );
258
Paul Bakker6c591fa2011-05-05 11:49:20 +0000259 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200260 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED + ret );
Paul Bakker6c591fa2011-05-05 11:49:20 +0000261
262 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000263}
264
265/*
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100266 * Check if contexts holding a public and private key match
267 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200268int mbedtls_rsa_check_pub_priv( const mbedtls_rsa_context *pub, const mbedtls_rsa_context *prv )
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100269{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200270 if( mbedtls_rsa_check_pubkey( pub ) != 0 ||
271 mbedtls_rsa_check_privkey( prv ) != 0 )
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100272 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200273 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100274 }
275
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200276 if( mbedtls_mpi_cmp_mpi( &pub->N, &prv->N ) != 0 ||
277 mbedtls_mpi_cmp_mpi( &pub->E, &prv->E ) != 0 )
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100278 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200279 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100280 }
281
282 return( 0 );
283}
284
285/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000286 * Do an RSA public key operation
287 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200288int mbedtls_rsa_public( mbedtls_rsa_context *ctx,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000289 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000290 unsigned char *output )
291{
Paul Bakker23986e52011-04-24 08:57:21 +0000292 int ret;
293 size_t olen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200294 mbedtls_mpi T;
Paul Bakker5121ce52009-01-03 21:22:43 +0000295
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200296 mbedtls_mpi_init( &T );
Paul Bakker5121ce52009-01-03 21:22:43 +0000297
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200298#if defined(MBEDTLS_THREADING_C)
299 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
300 return( ret );
301#endif
302
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200303 MBEDTLS_MPI_CHK( mbedtls_mpi_read_binary( &T, input, ctx->len ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000304
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200305 if( mbedtls_mpi_cmp_mpi( &T, &ctx->N ) >= 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000306 {
Manuel Pégourié-Gonnard4d04cdc2015-08-28 10:32:21 +0200307 ret = MBEDTLS_ERR_MPI_BAD_INPUT_DATA;
308 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +0000309 }
310
311 olen = ctx->len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200312 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &T, &T, &ctx->E, &ctx->N, &ctx->RN ) );
313 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( &T, output, olen ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000314
315cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200316#if defined(MBEDTLS_THREADING_C)
Manuel Pégourié-Gonnard4d04cdc2015-08-28 10:32:21 +0200317 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
318 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Manuel Pégourié-Gonnard88fca3e2015-03-27 15:06:07 +0100319#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000320
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200321 mbedtls_mpi_free( &T );
Paul Bakker5121ce52009-01-03 21:22:43 +0000322
323 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200324 return( MBEDTLS_ERR_RSA_PUBLIC_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000325
326 return( 0 );
327}
328
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200329/*
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200330 * Generate or update blinding values, see section 10 of:
331 * KOCHER, Paul C. Timing attacks on implementations of Diffie-Hellman, RSA,
Manuel Pégourié-Gonnard998930a2015-04-03 13:48:06 +0200332 * DSS, and other systems. In : Advances in Cryptology-CRYPTO'96. Springer
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200333 * Berlin Heidelberg, 1996. p. 104-113.
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200334 */
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200335static int rsa_prepare_blinding( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200336 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
337{
Manuel Pégourié-Gonnard4d89c7e2013-10-04 15:18:38 +0200338 int ret, count = 0;
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200339
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200340 if( ctx->Vf.p != NULL )
341 {
342 /* We already have blinding values, just update them by squaring */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200343 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->Vi, &ctx->Vi, &ctx->Vi ) );
344 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->Vi, &ctx->Vi, &ctx->N ) );
345 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->Vf, &ctx->Vf, &ctx->Vf ) );
346 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->Vf, &ctx->Vf, &ctx->N ) );
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200347
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200348 goto cleanup;
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200349 }
350
Manuel Pégourié-Gonnard4d89c7e2013-10-04 15:18:38 +0200351 /* Unblinding value: Vf = random number, invertible mod N */
352 do {
353 if( count++ > 10 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200354 return( MBEDTLS_ERR_RSA_RNG_FAILED );
Manuel Pégourié-Gonnard4d89c7e2013-10-04 15:18:38 +0200355
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200356 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &ctx->Vf, ctx->len - 1, f_rng, p_rng ) );
357 MBEDTLS_MPI_CHK( mbedtls_mpi_gcd( &ctx->Vi, &ctx->Vf, &ctx->N ) );
358 } while( mbedtls_mpi_cmp_int( &ctx->Vi, 1 ) != 0 );
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200359
360 /* Blinding value: Vi = Vf^(-e) mod N */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200361 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &ctx->Vi, &ctx->Vf, &ctx->N ) );
362 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &ctx->Vi, &ctx->Vi, &ctx->E, &ctx->N, &ctx->RN ) );
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200363
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200364
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200365cleanup:
366 return( ret );
367}
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200368
Paul Bakker5121ce52009-01-03 21:22:43 +0000369/*
Janos Follathe81102e2017-03-22 13:38:28 +0000370 * Exponent blinding supposed to prevent side-channel attacks using multiple
371 * traces of measurements to recover the RSA key. The more collisions are there,
372 * the more bits of the key can be recovered. See [3].
373 *
374 * Collecting n collisions with m bit long blinding value requires 2^(m-m/n)
375 * observations on avarage.
376 *
377 * For example with 28 byte blinding to achieve 2 collisions the adversary has
378 * to make 2^112 observations on avarage.
379 *
380 * (With the currently (as of 2017 April) known best algorithms breaking 2048
381 * bit RSA requires approximately as much time as trying out 2^112 random keys.
382 * Thus in this sense with 28 byte blinding the security is not reduced by
383 * side-channel attacks like the one in [3])
384 *
385 * This countermeasure does not help if the key recovery is possible with a
386 * single trace.
387 */
388#define RSA_EXPONENT_BLINDING 28
389
390/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000391 * Do an RSA private key operation
392 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200393int mbedtls_rsa_private( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200394 int (*f_rng)(void *, unsigned char *, size_t),
395 void *p_rng,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000396 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000397 unsigned char *output )
398{
Paul Bakker23986e52011-04-24 08:57:21 +0000399 int ret;
400 size_t olen;
Hanno Becker06811ce2017-05-03 15:10:34 +0100401
402 /* Temporary holding the result */
403 mbedtls_mpi T;
404
405 /* Temporaries holding P-1, Q-1 and the
406 * exponent blinding factor, respectively. */
Janos Follathf9203b42017-03-22 15:13:15 +0000407 mbedtls_mpi P1, Q1, R;
Hanno Becker06811ce2017-05-03 15:10:34 +0100408
409#if !defined(MBEDTLS_RSA_NO_CRT)
410 /* Temporaries holding the results mod p resp. mod q. */
411 mbedtls_mpi TP, TQ;
412
413 /* Temporaries holding the blinded exponents for
414 * the mod p resp. mod q computation (if used). */
Janos Follathf9203b42017-03-22 15:13:15 +0000415 mbedtls_mpi DP_blind, DQ_blind;
Hanno Becker06811ce2017-05-03 15:10:34 +0100416
417 /* Pointers to actual exponents to be used - either the unblinded
418 * or the blinded ones, depending on the presence of a PRNG. */
Janos Follathf9203b42017-03-22 15:13:15 +0000419 mbedtls_mpi *DP = &ctx->DP;
420 mbedtls_mpi *DQ = &ctx->DQ;
Hanno Becker06811ce2017-05-03 15:10:34 +0100421#else
422 /* Temporary holding the blinded exponent (if used). */
423 mbedtls_mpi D_blind;
424
425 /* Pointer to actual exponent to be used - either the unblinded
426 * or the blinded one, depending on the presence of a PRNG. */
427 mbedtls_mpi *D = &ctx->D;
Hanno Becker43f94722017-08-25 11:50:00 +0100428#endif /* MBEDTLS_RSA_NO_CRT */
Hanno Becker06811ce2017-05-03 15:10:34 +0100429
Hanno Beckerc6075cc2017-08-25 11:45:35 +0100430 /* Temporaries holding the initial input and the double
431 * checked result; should be the same in the end. */
432 mbedtls_mpi I, C;
Paul Bakker5121ce52009-01-03 21:22:43 +0000433
Hanno Becker43f94722017-08-25 11:50:00 +0100434 /* Sanity-check that all relevant fields are at least set,
435 * but don't perform a full keycheck. */
Hanno Becker2fdffe02017-09-29 15:19:28 +0100436#if defined(MBEDTLS_RSA_NO_CRT)
Hanno Becker43f94722017-08-25 11:50:00 +0100437 if( mbedtls_mpi_cmp_int( &ctx->N, 0 ) == 0 ||
Hanno Becker43f94722017-08-25 11:50:00 +0100438 mbedtls_mpi_cmp_int( &ctx->D, 0 ) == 0 ||
Hanno Becker2fdffe02017-09-29 15:19:28 +0100439 mbedtls_mpi_cmp_int( &ctx->E, 0 ) == 0 ||
440 mbedtls_mpi_cmp_int( &ctx->P, 0 ) == 0 ||
441 mbedtls_mpi_cmp_int( &ctx->Q, 0 ) == 0 )
Hanno Becker43f94722017-08-25 11:50:00 +0100442 {
Manuel Pégourié-Gonnardfb84d382015-10-30 10:56:25 +0100443 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Hanno Becker43f94722017-08-25 11:50:00 +0100444 }
Hanno Becker2fdffe02017-09-29 15:19:28 +0100445#else /* ! MBEDTLS_RSA_NO_CRT */
446 if( mbedtls_mpi_cmp_int( &ctx->N, 0 ) == 0 ||
447 mbedtls_mpi_cmp_int( &ctx->E, 0 ) == 0 ||
448 mbedtls_mpi_cmp_int( &ctx->P, 0 ) == 0 ||
Hanno Becker2c9f0272017-09-28 11:04:13 +0100449 mbedtls_mpi_cmp_int( &ctx->Q, 0 ) == 0 ||
450 mbedtls_mpi_cmp_int( &ctx->DP, 0 ) == 0 ||
Hanno Becker43f94722017-08-25 11:50:00 +0100451 mbedtls_mpi_cmp_int( &ctx->DQ, 0 ) == 0 ||
452 mbedtls_mpi_cmp_int( &ctx->QP, 0 ) == 0 )
453 {
454 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
455 }
Hanno Becker2fdffe02017-09-29 15:19:28 +0100456#endif /* ! MBEDTLS_RSA_NO_CRT */
Manuel Pégourié-Gonnardfb84d382015-10-30 10:56:25 +0100457
Hanno Becker06811ce2017-05-03 15:10:34 +0100458#if defined(MBEDTLS_THREADING_C)
459 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
460 return( ret );
461#endif
Janos Follathf9203b42017-03-22 15:13:15 +0000462
Hanno Becker06811ce2017-05-03 15:10:34 +0100463 /* MPI Initialization */
464
465 mbedtls_mpi_init( &T );
466
467 mbedtls_mpi_init( &P1 );
468 mbedtls_mpi_init( &Q1 );
469 mbedtls_mpi_init( &R );
Janos Follathf9203b42017-03-22 15:13:15 +0000470
471 if( f_rng != NULL )
472 {
Janos Follathe81102e2017-03-22 13:38:28 +0000473#if defined(MBEDTLS_RSA_NO_CRT)
Janos Follathf9203b42017-03-22 15:13:15 +0000474 mbedtls_mpi_init( &D_blind );
475#else
476 mbedtls_mpi_init( &DP_blind );
477 mbedtls_mpi_init( &DQ_blind );
Janos Follathe81102e2017-03-22 13:38:28 +0000478#endif
Janos Follathf9203b42017-03-22 15:13:15 +0000479 }
Janos Follathe81102e2017-03-22 13:38:28 +0000480
Hanno Becker06811ce2017-05-03 15:10:34 +0100481#if !defined(MBEDTLS_RSA_NO_CRT)
482 mbedtls_mpi_init( &TP ); mbedtls_mpi_init( &TQ );
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200483#endif
484
Hanno Beckerc6075cc2017-08-25 11:45:35 +0100485 mbedtls_mpi_init( &I );
486 mbedtls_mpi_init( &C );
Hanno Becker06811ce2017-05-03 15:10:34 +0100487
488 /* End of MPI initialization */
489
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200490 MBEDTLS_MPI_CHK( mbedtls_mpi_read_binary( &T, input, ctx->len ) );
491 if( mbedtls_mpi_cmp_mpi( &T, &ctx->N ) >= 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000492 {
Manuel Pégourié-Gonnard4d04cdc2015-08-28 10:32:21 +0200493 ret = MBEDTLS_ERR_MPI_BAD_INPUT_DATA;
494 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +0000495 }
496
Hanno Beckerc6075cc2017-08-25 11:45:35 +0100497 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &I, &T ) );
Hanno Becker06811ce2017-05-03 15:10:34 +0100498
Paul Bakkerf451bac2013-08-30 15:37:02 +0200499 if( f_rng != NULL )
500 {
501 /*
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200502 * Blinding
503 * T = T * Vi mod N
Paul Bakkerf451bac2013-08-30 15:37:02 +0200504 */
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200505 MBEDTLS_MPI_CHK( rsa_prepare_blinding( ctx, f_rng, p_rng ) );
506 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &T, &T, &ctx->Vi ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200507 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &T, &T, &ctx->N ) );
Janos Follathe81102e2017-03-22 13:38:28 +0000508
Janos Follathe81102e2017-03-22 13:38:28 +0000509 /*
510 * Exponent blinding
511 */
512 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &P1, &ctx->P, 1 ) );
513 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &Q1, &ctx->Q, 1 ) );
514
Janos Follathf9203b42017-03-22 15:13:15 +0000515#if defined(MBEDTLS_RSA_NO_CRT)
Janos Follathe81102e2017-03-22 13:38:28 +0000516 /*
517 * D_blind = ( P - 1 ) * ( Q - 1 ) * R + D
518 */
519 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &R, RSA_EXPONENT_BLINDING,
520 f_rng, p_rng ) );
521 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &D_blind, &P1, &Q1 ) );
522 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &D_blind, &D_blind, &R ) );
523 MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &D_blind, &D_blind, &ctx->D ) );
524
525 D = &D_blind;
Janos Follathf9203b42017-03-22 15:13:15 +0000526#else
527 /*
528 * DP_blind = ( P - 1 ) * R + DP
529 */
530 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &R, RSA_EXPONENT_BLINDING,
531 f_rng, p_rng ) );
532 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &DP_blind, &P1, &R ) );
533 MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &DP_blind, &DP_blind,
534 &ctx->DP ) );
535
536 DP = &DP_blind;
537
538 /*
539 * DQ_blind = ( Q - 1 ) * R + DQ
540 */
541 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &R, RSA_EXPONENT_BLINDING,
542 f_rng, p_rng ) );
543 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &DQ_blind, &Q1, &R ) );
544 MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &DQ_blind, &DQ_blind,
545 &ctx->DQ ) );
546
547 DQ = &DQ_blind;
Janos Follathe81102e2017-03-22 13:38:28 +0000548#endif /* MBEDTLS_RSA_NO_CRT */
Paul Bakkerf451bac2013-08-30 15:37:02 +0200549 }
Paul Bakkeraab30c12013-08-30 11:00:25 +0200550
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200551#if defined(MBEDTLS_RSA_NO_CRT)
Janos Follathe81102e2017-03-22 13:38:28 +0000552 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &T, &T, D, &ctx->N, &ctx->RN ) );
Manuel Pégourié-Gonnarde10e06d2014-11-06 18:15:12 +0100553#else
Paul Bakkeraab30c12013-08-30 11:00:25 +0200554 /*
Janos Follathe81102e2017-03-22 13:38:28 +0000555 * Faster decryption using the CRT
Paul Bakker5121ce52009-01-03 21:22:43 +0000556 *
Hanno Becker06811ce2017-05-03 15:10:34 +0100557 * TP = input ^ dP mod P
558 * TQ = input ^ dQ mod Q
Paul Bakker5121ce52009-01-03 21:22:43 +0000559 */
Hanno Becker06811ce2017-05-03 15:10:34 +0100560
561 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &TP, &T, DP, &ctx->P, &ctx->RP ) );
562 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &TQ, &T, DQ, &ctx->Q, &ctx->RQ ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000563
564 /*
Hanno Becker06811ce2017-05-03 15:10:34 +0100565 * T = (TP - TQ) * (Q^-1 mod P) mod P
Paul Bakker5121ce52009-01-03 21:22:43 +0000566 */
Hanno Becker06811ce2017-05-03 15:10:34 +0100567 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &T, &TP, &TQ ) );
568 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &TP, &T, &ctx->QP ) );
569 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &T, &TP, &ctx->P ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000570
571 /*
Hanno Becker06811ce2017-05-03 15:10:34 +0100572 * T = TQ + T * Q
Paul Bakker5121ce52009-01-03 21:22:43 +0000573 */
Hanno Becker06811ce2017-05-03 15:10:34 +0100574 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &TP, &T, &ctx->Q ) );
575 MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &T, &TQ, &TP ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200576#endif /* MBEDTLS_RSA_NO_CRT */
Paul Bakkeraab30c12013-08-30 11:00:25 +0200577
Paul Bakkerf451bac2013-08-30 15:37:02 +0200578 if( f_rng != NULL )
579 {
580 /*
581 * Unblind
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200582 * T = T * Vf mod N
Paul Bakkerf451bac2013-08-30 15:37:02 +0200583 */
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200584 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &T, &T, &ctx->Vf ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200585 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &T, &T, &ctx->N ) );
Paul Bakkerf451bac2013-08-30 15:37:02 +0200586 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000587
Hanno Beckerc6075cc2017-08-25 11:45:35 +0100588 /* If requested by the config, verify the result to prevent glitching attacks. */
Hanno Beckerc6075cc2017-08-25 11:45:35 +0100589 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &C, &T, &ctx->E, &ctx->N, &ctx->RN ) );
590 if( mbedtls_mpi_cmp_mpi( &C, &I ) != 0 )
Hanno Becker06811ce2017-05-03 15:10:34 +0100591 {
Hanno Becker06811ce2017-05-03 15:10:34 +0100592 ret = MBEDTLS_ERR_RSA_VERIFY_FAILED;
593 goto cleanup;
594 }
Hanno Becker06811ce2017-05-03 15:10:34 +0100595
Paul Bakker5121ce52009-01-03 21:22:43 +0000596 olen = ctx->len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200597 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( &T, output, olen ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000598
599cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200600#if defined(MBEDTLS_THREADING_C)
Manuel Pégourié-Gonnard4d04cdc2015-08-28 10:32:21 +0200601 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
602 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200603#endif
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200604
Hanno Becker06811ce2017-05-03 15:10:34 +0100605 mbedtls_mpi_free( &P1 );
606 mbedtls_mpi_free( &Q1 );
607 mbedtls_mpi_free( &R );
Janos Follathf9203b42017-03-22 15:13:15 +0000608
609 if( f_rng != NULL )
610 {
Janos Follathe81102e2017-03-22 13:38:28 +0000611#if defined(MBEDTLS_RSA_NO_CRT)
Janos Follathf9203b42017-03-22 15:13:15 +0000612 mbedtls_mpi_free( &D_blind );
613#else
614 mbedtls_mpi_free( &DP_blind );
615 mbedtls_mpi_free( &DQ_blind );
Janos Follathe81102e2017-03-22 13:38:28 +0000616#endif
Janos Follathf9203b42017-03-22 15:13:15 +0000617 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000618
Hanno Becker06811ce2017-05-03 15:10:34 +0100619 mbedtls_mpi_free( &T );
620
621#if !defined(MBEDTLS_RSA_NO_CRT)
622 mbedtls_mpi_free( &TP ); mbedtls_mpi_free( &TQ );
623#endif
624
Hanno Beckerc6075cc2017-08-25 11:45:35 +0100625 mbedtls_mpi_free( &C );
626 mbedtls_mpi_free( &I );
Hanno Becker06811ce2017-05-03 15:10:34 +0100627
Paul Bakker5121ce52009-01-03 21:22:43 +0000628 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200629 return( MBEDTLS_ERR_RSA_PRIVATE_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000630
631 return( 0 );
632}
633
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200634#if defined(MBEDTLS_PKCS1_V21)
Paul Bakker9dcc3222011-03-08 14:16:06 +0000635/**
636 * Generate and apply the MGF1 operation (from PKCS#1 v2.1) to a buffer.
637 *
Paul Bakkerb125ed82011-11-10 13:33:51 +0000638 * \param dst buffer to mask
639 * \param dlen length of destination buffer
640 * \param src source of the mask generation
641 * \param slen length of the source buffer
642 * \param md_ctx message digest context to use
Paul Bakker9dcc3222011-03-08 14:16:06 +0000643 */
Paul Bakker48377d92013-08-30 12:06:24 +0200644static void mgf_mask( unsigned char *dst, size_t dlen, unsigned char *src,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200645 size_t slen, mbedtls_md_context_t *md_ctx )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000646{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200647 unsigned char mask[MBEDTLS_MD_MAX_SIZE];
Paul Bakker9dcc3222011-03-08 14:16:06 +0000648 unsigned char counter[4];
649 unsigned char *p;
Paul Bakker23986e52011-04-24 08:57:21 +0000650 unsigned int hlen;
651 size_t i, use_len;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000652
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200653 memset( mask, 0, MBEDTLS_MD_MAX_SIZE );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000654 memset( counter, 0, 4 );
655
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200656 hlen = mbedtls_md_get_size( md_ctx->md_info );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000657
Simon Butcher02037452016-03-01 21:19:12 +0000658 /* Generate and apply dbMask */
Paul Bakker9dcc3222011-03-08 14:16:06 +0000659 p = dst;
660
661 while( dlen > 0 )
662 {
663 use_len = hlen;
664 if( dlen < hlen )
665 use_len = dlen;
666
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200667 mbedtls_md_starts( md_ctx );
668 mbedtls_md_update( md_ctx, src, slen );
669 mbedtls_md_update( md_ctx, counter, 4 );
670 mbedtls_md_finish( md_ctx, mask );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000671
672 for( i = 0; i < use_len; ++i )
673 *p++ ^= mask[i];
674
675 counter[3]++;
676
677 dlen -= use_len;
678 }
Gilles Peskine18ac7162017-05-05 19:24:06 +0200679
680 mbedtls_zeroize( mask, sizeof( mask ) );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000681}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200682#endif /* MBEDTLS_PKCS1_V21 */
Paul Bakker9dcc3222011-03-08 14:16:06 +0000683
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200684#if defined(MBEDTLS_PKCS1_V21)
Paul Bakkerb3869132013-02-28 17:21:01 +0100685/*
686 * Implementation of the PKCS#1 v2.1 RSAES-OAEP-ENCRYPT function
687 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200688int mbedtls_rsa_rsaes_oaep_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +0100689 int (*f_rng)(void *, unsigned char *, size_t),
690 void *p_rng,
Paul Bakkera43231c2013-02-28 17:33:49 +0100691 int mode,
692 const unsigned char *label, size_t label_len,
693 size_t ilen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100694 const unsigned char *input,
695 unsigned char *output )
696{
697 size_t olen;
698 int ret;
699 unsigned char *p = output;
700 unsigned int hlen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200701 const mbedtls_md_info_t *md_info;
702 mbedtls_md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +0100703
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200704 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V21 )
705 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200706
707 if( f_rng == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200708 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100709
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200710 md_info = mbedtls_md_info_from_type( (mbedtls_md_type_t) ctx->hash_id );
Paul Bakkerb3869132013-02-28 17:21:01 +0100711 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200712 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100713
714 olen = ctx->len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200715 hlen = mbedtls_md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +0100716
Simon Butcher02037452016-03-01 21:19:12 +0000717 /* first comparison checks for overflow */
Janos Follatheddfe8f2016-02-08 14:52:29 +0000718 if( ilen + 2 * hlen + 2 < ilen || olen < ilen + 2 * hlen + 2 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200719 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100720
721 memset( output, 0, olen );
722
723 *p++ = 0;
724
Simon Butcher02037452016-03-01 21:19:12 +0000725 /* Generate a random octet string seed */
Paul Bakkerb3869132013-02-28 17:21:01 +0100726 if( ( ret = f_rng( p_rng, p, hlen ) ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200727 return( MBEDTLS_ERR_RSA_RNG_FAILED + ret );
Paul Bakkerb3869132013-02-28 17:21:01 +0100728
729 p += hlen;
730
Simon Butcher02037452016-03-01 21:19:12 +0000731 /* Construct DB */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200732 mbedtls_md( md_info, label, label_len, p );
Paul Bakkerb3869132013-02-28 17:21:01 +0100733 p += hlen;
734 p += olen - 2 * hlen - 2 - ilen;
735 *p++ = 1;
736 memcpy( p, input, ilen );
737
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200738 mbedtls_md_init( &md_ctx );
Brian J Murraye7be5bd2016-06-23 12:57:03 -0700739 if( ( ret = mbedtls_md_setup( &md_ctx, md_info, 0 ) ) != 0 )
740 {
741 mbedtls_md_free( &md_ctx );
742 return( ret );
743 }
Paul Bakkerb3869132013-02-28 17:21:01 +0100744
Simon Butcher02037452016-03-01 21:19:12 +0000745 /* maskedDB: Apply dbMask to DB */
Paul Bakkerb3869132013-02-28 17:21:01 +0100746 mgf_mask( output + hlen + 1, olen - hlen - 1, output + 1, hlen,
747 &md_ctx );
748
Simon Butcher02037452016-03-01 21:19:12 +0000749 /* maskedSeed: Apply seedMask to seed */
Paul Bakkerb3869132013-02-28 17:21:01 +0100750 mgf_mask( output + 1, hlen, output + hlen + 1, olen - hlen - 1,
751 &md_ctx );
752
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200753 mbedtls_md_free( &md_ctx );
Paul Bakkerb3869132013-02-28 17:21:01 +0100754
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200755 return( ( mode == MBEDTLS_RSA_PUBLIC )
756 ? mbedtls_rsa_public( ctx, output, output )
757 : mbedtls_rsa_private( ctx, f_rng, p_rng, output, output ) );
Paul Bakkerb3869132013-02-28 17:21:01 +0100758}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200759#endif /* MBEDTLS_PKCS1_V21 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100760
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200761#if defined(MBEDTLS_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +0100762/*
763 * Implementation of the PKCS#1 v2.1 RSAES-PKCS1-V1_5-ENCRYPT function
764 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200765int mbedtls_rsa_rsaes_pkcs1_v15_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +0100766 int (*f_rng)(void *, unsigned char *, size_t),
767 void *p_rng,
768 int mode, size_t ilen,
769 const unsigned char *input,
770 unsigned char *output )
771{
772 size_t nb_pad, olen;
773 int ret;
774 unsigned char *p = output;
775
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200776 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V15 )
777 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200778
Janos Follath1ed9f992016-03-18 11:45:44 +0000779 // We don't check p_rng because it won't be dereferenced here
780 if( f_rng == NULL || input == NULL || output == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200781 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100782
783 olen = ctx->len;
Manuel Pégourié-Gonnard370717b2016-02-11 10:35:13 +0100784
Simon Butcher02037452016-03-01 21:19:12 +0000785 /* first comparison checks for overflow */
Janos Follatheddfe8f2016-02-08 14:52:29 +0000786 if( ilen + 11 < ilen || olen < ilen + 11 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200787 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100788
789 nb_pad = olen - 3 - ilen;
790
791 *p++ = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200792 if( mode == MBEDTLS_RSA_PUBLIC )
Paul Bakkerb3869132013-02-28 17:21:01 +0100793 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200794 *p++ = MBEDTLS_RSA_CRYPT;
Paul Bakkerb3869132013-02-28 17:21:01 +0100795
796 while( nb_pad-- > 0 )
797 {
798 int rng_dl = 100;
799
800 do {
801 ret = f_rng( p_rng, p, 1 );
802 } while( *p == 0 && --rng_dl && ret == 0 );
803
Simon Butcher02037452016-03-01 21:19:12 +0000804 /* Check if RNG failed to generate data */
Paul Bakker66d5d072014-06-17 16:39:18 +0200805 if( rng_dl == 0 || ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200806 return( MBEDTLS_ERR_RSA_RNG_FAILED + ret );
Paul Bakkerb3869132013-02-28 17:21:01 +0100807
808 p++;
809 }
810 }
811 else
812 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200813 *p++ = MBEDTLS_RSA_SIGN;
Paul Bakkerb3869132013-02-28 17:21:01 +0100814
815 while( nb_pad-- > 0 )
816 *p++ = 0xFF;
817 }
818
819 *p++ = 0;
820 memcpy( p, input, ilen );
821
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200822 return( ( mode == MBEDTLS_RSA_PUBLIC )
823 ? mbedtls_rsa_public( ctx, output, output )
824 : mbedtls_rsa_private( ctx, f_rng, p_rng, output, output ) );
Paul Bakkerb3869132013-02-28 17:21:01 +0100825}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200826#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100827
Paul Bakker5121ce52009-01-03 21:22:43 +0000828/*
829 * Add the message padding, then do an RSA operation
830 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200831int mbedtls_rsa_pkcs1_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000832 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker21eb2802010-08-16 11:10:02 +0000833 void *p_rng,
Paul Bakker23986e52011-04-24 08:57:21 +0000834 int mode, size_t ilen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000835 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000836 unsigned char *output )
837{
Paul Bakker5121ce52009-01-03 21:22:43 +0000838 switch( ctx->padding )
839 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200840#if defined(MBEDTLS_PKCS1_V15)
841 case MBEDTLS_RSA_PKCS_V15:
842 return mbedtls_rsa_rsaes_pkcs1_v15_encrypt( ctx, f_rng, p_rng, mode, ilen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100843 input, output );
Paul Bakker48377d92013-08-30 12:06:24 +0200844#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000845
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200846#if defined(MBEDTLS_PKCS1_V21)
847 case MBEDTLS_RSA_PKCS_V21:
848 return mbedtls_rsa_rsaes_oaep_encrypt( ctx, f_rng, p_rng, mode, NULL, 0,
Paul Bakkerb3869132013-02-28 17:21:01 +0100849 ilen, input, output );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000850#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000851
852 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200853 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakker5121ce52009-01-03 21:22:43 +0000854 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000855}
856
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200857#if defined(MBEDTLS_PKCS1_V21)
Paul Bakker5121ce52009-01-03 21:22:43 +0000858/*
Paul Bakkerb3869132013-02-28 17:21:01 +0100859 * Implementation of the PKCS#1 v2.1 RSAES-OAEP-DECRYPT function
Paul Bakker5121ce52009-01-03 21:22:43 +0000860 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200861int mbedtls_rsa_rsaes_oaep_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200862 int (*f_rng)(void *, unsigned char *, size_t),
863 void *p_rng,
864 int mode,
Paul Bakkera43231c2013-02-28 17:33:49 +0100865 const unsigned char *label, size_t label_len,
866 size_t *olen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100867 const unsigned char *input,
868 unsigned char *output,
869 size_t output_max_len )
Paul Bakker5121ce52009-01-03 21:22:43 +0000870{
Paul Bakker23986e52011-04-24 08:57:21 +0000871 int ret;
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100872 size_t ilen, i, pad_len;
873 unsigned char *p, bad, pad_done;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200874 unsigned char buf[MBEDTLS_MPI_MAX_SIZE];
875 unsigned char lhash[MBEDTLS_MD_MAX_SIZE];
Paul Bakker23986e52011-04-24 08:57:21 +0000876 unsigned int hlen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200877 const mbedtls_md_info_t *md_info;
878 mbedtls_md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +0100879
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100880 /*
881 * Parameters sanity checks
882 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200883 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V21 )
884 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000885
886 ilen = ctx->len;
887
Paul Bakker27fdf462011-06-09 13:55:13 +0000888 if( ilen < 16 || ilen > sizeof( buf ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200889 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000890
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200891 md_info = mbedtls_md_info_from_type( (mbedtls_md_type_t) ctx->hash_id );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100892 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200893 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100894
Janos Follathc17cda12016-02-11 11:08:18 +0000895 hlen = mbedtls_md_get_size( md_info );
896
897 // checking for integer underflow
898 if( 2 * hlen + 2 > ilen )
899 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
900
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100901 /*
902 * RSA operation
903 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200904 ret = ( mode == MBEDTLS_RSA_PUBLIC )
905 ? mbedtls_rsa_public( ctx, input, buf )
906 : mbedtls_rsa_private( ctx, f_rng, p_rng, input, buf );
Paul Bakker5121ce52009-01-03 21:22:43 +0000907
908 if( ret != 0 )
Gilles Peskine4a7f6a02017-03-23 14:37:37 +0100909 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +0000910
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100911 /*
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100912 * Unmask data and generate lHash
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100913 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200914 mbedtls_md_init( &md_ctx );
Brian J Murraye7be5bd2016-06-23 12:57:03 -0700915 if( ( ret = mbedtls_md_setup( &md_ctx, md_info, 0 ) ) != 0 )
916 {
917 mbedtls_md_free( &md_ctx );
Gilles Peskine4a7f6a02017-03-23 14:37:37 +0100918 goto cleanup;
Brian J Murraye7be5bd2016-06-23 12:57:03 -0700919 }
920
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100921
922 /* Generate lHash */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200923 mbedtls_md( md_info, label, label_len, lhash );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100924
925 /* seed: Apply seedMask to maskedSeed */
926 mgf_mask( buf + 1, hlen, buf + hlen + 1, ilen - hlen - 1,
927 &md_ctx );
928
929 /* DB: Apply dbMask to maskedDB */
930 mgf_mask( buf + hlen + 1, ilen - hlen - 1, buf + 1, hlen,
931 &md_ctx );
932
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200933 mbedtls_md_free( &md_ctx );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100934
935 /*
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100936 * Check contents, in "constant-time"
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100937 */
Paul Bakker5121ce52009-01-03 21:22:43 +0000938 p = buf;
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100939 bad = 0;
Paul Bakker5121ce52009-01-03 21:22:43 +0000940
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100941 bad |= *p++; /* First byte must be 0 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100942
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100943 p += hlen; /* Skip seed */
Paul Bakkerb3869132013-02-28 17:21:01 +0100944
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100945 /* Check lHash */
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100946 for( i = 0; i < hlen; i++ )
947 bad |= lhash[i] ^ *p++;
Paul Bakkerb3869132013-02-28 17:21:01 +0100948
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100949 /* Get zero-padding len, but always read till end of buffer
950 * (minus one, for the 01 byte) */
951 pad_len = 0;
952 pad_done = 0;
953 for( i = 0; i < ilen - 2 * hlen - 2; i++ )
954 {
955 pad_done |= p[i];
Pascal Junodb99183d2015-03-11 16:49:45 +0100956 pad_len += ((pad_done | (unsigned char)-pad_done) >> 7) ^ 1;
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100957 }
Paul Bakkerb3869132013-02-28 17:21:01 +0100958
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100959 p += pad_len;
960 bad |= *p++ ^ 0x01;
Paul Bakkerb3869132013-02-28 17:21:01 +0100961
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100962 /*
963 * The only information "leaked" is whether the padding was correct or not
964 * (eg, no data is copied if it was not correct). This meets the
965 * recommendations in PKCS#1 v2.2: an opponent cannot distinguish between
966 * the different error conditions.
967 */
968 if( bad != 0 )
Gilles Peskine4a7f6a02017-03-23 14:37:37 +0100969 {
970 ret = MBEDTLS_ERR_RSA_INVALID_PADDING;
971 goto cleanup;
972 }
Paul Bakkerb3869132013-02-28 17:21:01 +0100973
Paul Bakker66d5d072014-06-17 16:39:18 +0200974 if( ilen - ( p - buf ) > output_max_len )
Gilles Peskine4a7f6a02017-03-23 14:37:37 +0100975 {
976 ret = MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE;
977 goto cleanup;
978 }
Paul Bakkerb3869132013-02-28 17:21:01 +0100979
980 *olen = ilen - (p - buf);
981 memcpy( output, p, *olen );
Gilles Peskine4a7f6a02017-03-23 14:37:37 +0100982 ret = 0;
Paul Bakkerb3869132013-02-28 17:21:01 +0100983
Gilles Peskine4a7f6a02017-03-23 14:37:37 +0100984cleanup:
985 mbedtls_zeroize( buf, sizeof( buf ) );
986 mbedtls_zeroize( lhash, sizeof( lhash ) );
987
988 return( ret );
Paul Bakkerb3869132013-02-28 17:21:01 +0100989}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200990#endif /* MBEDTLS_PKCS1_V21 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100991
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200992#if defined(MBEDTLS_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +0100993/*
994 * Implementation of the PKCS#1 v2.1 RSAES-PKCS1-V1_5-DECRYPT function
995 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200996int mbedtls_rsa_rsaes_pkcs1_v15_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200997 int (*f_rng)(void *, unsigned char *, size_t),
998 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +0100999 int mode, size_t *olen,
1000 const unsigned char *input,
1001 unsigned char *output,
1002 size_t output_max_len)
1003{
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001004 int ret;
1005 size_t ilen, pad_count = 0, i;
1006 unsigned char *p, bad, pad_done = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001007 unsigned char buf[MBEDTLS_MPI_MAX_SIZE];
Paul Bakkerb3869132013-02-28 17:21:01 +01001008
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001009 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V15 )
1010 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001011
1012 ilen = ctx->len;
1013
1014 if( ilen < 16 || ilen > sizeof( buf ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001015 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001016
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001017 ret = ( mode == MBEDTLS_RSA_PUBLIC )
1018 ? mbedtls_rsa_public( ctx, input, buf )
1019 : mbedtls_rsa_private( ctx, f_rng, p_rng, input, buf );
Paul Bakkerb3869132013-02-28 17:21:01 +01001020
1021 if( ret != 0 )
Gilles Peskine4a7f6a02017-03-23 14:37:37 +01001022 goto cleanup;
Paul Bakkerb3869132013-02-28 17:21:01 +01001023
1024 p = buf;
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001025 bad = 0;
Paul Bakkerb3869132013-02-28 17:21:01 +01001026
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001027 /*
1028 * Check and get padding len in "constant-time"
1029 */
1030 bad |= *p++; /* First byte must be 0 */
Paul Bakkerb3869132013-02-28 17:21:01 +01001031
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001032 /* This test does not depend on secret data */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001033 if( mode == MBEDTLS_RSA_PRIVATE )
Paul Bakker5121ce52009-01-03 21:22:43 +00001034 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001035 bad |= *p++ ^ MBEDTLS_RSA_CRYPT;
Paul Bakker5121ce52009-01-03 21:22:43 +00001036
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001037 /* Get padding len, but always read till end of buffer
1038 * (minus one, for the 00 byte) */
1039 for( i = 0; i < ilen - 3; i++ )
1040 {
Pascal Junodb99183d2015-03-11 16:49:45 +01001041 pad_done |= ((p[i] | (unsigned char)-p[i]) >> 7) ^ 1;
1042 pad_count += ((pad_done | (unsigned char)-pad_done) >> 7) ^ 1;
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001043 }
Paul Bakkere6ee41f2012-05-19 08:43:48 +00001044
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001045 p += pad_count;
1046 bad |= *p++; /* Must be zero */
Paul Bakkerb3869132013-02-28 17:21:01 +01001047 }
1048 else
1049 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001050 bad |= *p++ ^ MBEDTLS_RSA_SIGN;
Paul Bakkerb3869132013-02-28 17:21:01 +01001051
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001052 /* Get padding len, but always read till end of buffer
1053 * (minus one, for the 00 byte) */
1054 for( i = 0; i < ilen - 3; i++ )
1055 {
Manuel Pégourié-Gonnardfbf09152014-02-03 11:58:55 +01001056 pad_done |= ( p[i] != 0xFF );
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001057 pad_count += ( pad_done == 0 );
1058 }
Paul Bakkerb3869132013-02-28 17:21:01 +01001059
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001060 p += pad_count;
1061 bad |= *p++; /* Must be zero */
Paul Bakker5121ce52009-01-03 21:22:43 +00001062 }
1063
Janos Follathc69fa502016-02-12 13:30:09 +00001064 bad |= ( pad_count < 8 );
Janos Follathb6eb1ca2016-02-08 13:59:25 +00001065
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001066 if( bad )
Gilles Peskine4a7f6a02017-03-23 14:37:37 +01001067 {
1068 ret = MBEDTLS_ERR_RSA_INVALID_PADDING;
1069 goto cleanup;
1070 }
Paul Bakker8804f692013-02-28 18:06:26 +01001071
Paul Bakker66d5d072014-06-17 16:39:18 +02001072 if( ilen - ( p - buf ) > output_max_len )
Gilles Peskine4a7f6a02017-03-23 14:37:37 +01001073 {
1074 ret = MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE;
1075 goto cleanup;
1076 }
Paul Bakker060c5682009-01-12 21:48:39 +00001077
Paul Bakker27fdf462011-06-09 13:55:13 +00001078 *olen = ilen - (p - buf);
Paul Bakker5121ce52009-01-03 21:22:43 +00001079 memcpy( output, p, *olen );
Gilles Peskine4a7f6a02017-03-23 14:37:37 +01001080 ret = 0;
Paul Bakker5121ce52009-01-03 21:22:43 +00001081
Gilles Peskine4a7f6a02017-03-23 14:37:37 +01001082cleanup:
1083 mbedtls_zeroize( buf, sizeof( buf ) );
1084
1085 return( ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00001086}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001087#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakker5121ce52009-01-03 21:22:43 +00001088
1089/*
Paul Bakkerb3869132013-02-28 17:21:01 +01001090 * Do an RSA operation, then remove the message padding
1091 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001092int mbedtls_rsa_pkcs1_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001093 int (*f_rng)(void *, unsigned char *, size_t),
1094 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001095 int mode, size_t *olen,
1096 const unsigned char *input,
1097 unsigned char *output,
1098 size_t output_max_len)
1099{
1100 switch( ctx->padding )
1101 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001102#if defined(MBEDTLS_PKCS1_V15)
1103 case MBEDTLS_RSA_PKCS_V15:
1104 return mbedtls_rsa_rsaes_pkcs1_v15_decrypt( ctx, f_rng, p_rng, mode, olen,
Paul Bakker548957d2013-08-30 10:30:02 +02001105 input, output, output_max_len );
Paul Bakker48377d92013-08-30 12:06:24 +02001106#endif
Paul Bakkerb3869132013-02-28 17:21:01 +01001107
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001108#if defined(MBEDTLS_PKCS1_V21)
1109 case MBEDTLS_RSA_PKCS_V21:
1110 return mbedtls_rsa_rsaes_oaep_decrypt( ctx, f_rng, p_rng, mode, NULL, 0,
Paul Bakker548957d2013-08-30 10:30:02 +02001111 olen, input, output,
1112 output_max_len );
Paul Bakkerb3869132013-02-28 17:21:01 +01001113#endif
1114
1115 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001116 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001117 }
1118}
1119
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001120#if defined(MBEDTLS_PKCS1_V21)
Paul Bakkerb3869132013-02-28 17:21:01 +01001121/*
1122 * Implementation of the PKCS#1 v2.1 RSASSA-PSS-SIGN function
1123 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001124int mbedtls_rsa_rsassa_pss_sign( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +01001125 int (*f_rng)(void *, unsigned char *, size_t),
1126 void *p_rng,
1127 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001128 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001129 unsigned int hashlen,
1130 const unsigned char *hash,
1131 unsigned char *sig )
1132{
1133 size_t olen;
1134 unsigned char *p = sig;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001135 unsigned char salt[MBEDTLS_MD_MAX_SIZE];
Paul Bakkerb3869132013-02-28 17:21:01 +01001136 unsigned int slen, hlen, offset = 0;
1137 int ret;
1138 size_t msb;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001139 const mbedtls_md_info_t *md_info;
1140 mbedtls_md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +01001141
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001142 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V21 )
1143 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +02001144
1145 if( f_rng == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001146 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001147
1148 olen = ctx->len;
1149
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001150 if( md_alg != MBEDTLS_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001151 {
Simon Butcher02037452016-03-01 21:19:12 +00001152 /* Gather length of hash to sign */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001153 md_info = mbedtls_md_info_from_type( md_alg );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001154 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001155 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001156
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001157 hashlen = mbedtls_md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +01001158 }
1159
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001160 md_info = mbedtls_md_info_from_type( (mbedtls_md_type_t) ctx->hash_id );
Paul Bakkerb3869132013-02-28 17:21:01 +01001161 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001162 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001163
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001164 hlen = mbedtls_md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +01001165 slen = hlen;
1166
1167 if( olen < hlen + slen + 2 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001168 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001169
1170 memset( sig, 0, olen );
1171
Simon Butcher02037452016-03-01 21:19:12 +00001172 /* Generate salt of length slen */
Paul Bakkerb3869132013-02-28 17:21:01 +01001173 if( ( ret = f_rng( p_rng, salt, slen ) ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001174 return( MBEDTLS_ERR_RSA_RNG_FAILED + ret );
Paul Bakkerb3869132013-02-28 17:21:01 +01001175
Simon Butcher02037452016-03-01 21:19:12 +00001176 /* Note: EMSA-PSS encoding is over the length of N - 1 bits */
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +02001177 msb = mbedtls_mpi_bitlen( &ctx->N ) - 1;
Paul Bakkerb3869132013-02-28 17:21:01 +01001178 p += olen - hlen * 2 - 2;
1179 *p++ = 0x01;
1180 memcpy( p, salt, slen );
1181 p += slen;
1182
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001183 mbedtls_md_init( &md_ctx );
Brian J Murraye7be5bd2016-06-23 12:57:03 -07001184 if( ( ret = mbedtls_md_setup( &md_ctx, md_info, 0 ) ) != 0 )
1185 {
1186 mbedtls_md_free( &md_ctx );
Gilles Peskine18ac7162017-05-05 19:24:06 +02001187 /* No need to zeroize salt: we didn't use it. */
Brian J Murraye7be5bd2016-06-23 12:57:03 -07001188 return( ret );
1189 }
Paul Bakkerb3869132013-02-28 17:21:01 +01001190
Simon Butcher02037452016-03-01 21:19:12 +00001191 /* Generate H = Hash( M' ) */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001192 mbedtls_md_starts( &md_ctx );
1193 mbedtls_md_update( &md_ctx, p, 8 );
1194 mbedtls_md_update( &md_ctx, hash, hashlen );
1195 mbedtls_md_update( &md_ctx, salt, slen );
1196 mbedtls_md_finish( &md_ctx, p );
Gilles Peskine18ac7162017-05-05 19:24:06 +02001197 mbedtls_zeroize( salt, sizeof( salt ) );
Paul Bakkerb3869132013-02-28 17:21:01 +01001198
Simon Butcher02037452016-03-01 21:19:12 +00001199 /* Compensate for boundary condition when applying mask */
Paul Bakkerb3869132013-02-28 17:21:01 +01001200 if( msb % 8 == 0 )
1201 offset = 1;
1202
Simon Butcher02037452016-03-01 21:19:12 +00001203 /* maskedDB: Apply dbMask to DB */
Paul Bakkerb3869132013-02-28 17:21:01 +01001204 mgf_mask( sig + offset, olen - hlen - 1 - offset, p, hlen, &md_ctx );
1205
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001206 mbedtls_md_free( &md_ctx );
Paul Bakkerb3869132013-02-28 17:21:01 +01001207
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +02001208 msb = mbedtls_mpi_bitlen( &ctx->N ) - 1;
Paul Bakkerb3869132013-02-28 17:21:01 +01001209 sig[0] &= 0xFF >> ( olen * 8 - msb );
1210
1211 p += hlen;
1212 *p++ = 0xBC;
1213
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001214 return( ( mode == MBEDTLS_RSA_PUBLIC )
1215 ? mbedtls_rsa_public( ctx, sig, sig )
1216 : mbedtls_rsa_private( ctx, f_rng, p_rng, sig, sig ) );
Paul Bakkerb3869132013-02-28 17:21:01 +01001217}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001218#endif /* MBEDTLS_PKCS1_V21 */
Paul Bakkerb3869132013-02-28 17:21:01 +01001219
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001220#if defined(MBEDTLS_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +01001221/*
1222 * Implementation of the PKCS#1 v2.1 RSASSA-PKCS1-V1_5-SIGN function
1223 */
1224/*
1225 * Do an RSA operation to sign the message digest
1226 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001227int mbedtls_rsa_rsassa_pkcs1_v15_sign( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001228 int (*f_rng)(void *, unsigned char *, size_t),
1229 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001230 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001231 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001232 unsigned int hashlen,
1233 const unsigned char *hash,
1234 unsigned char *sig )
1235{
Paul Bakkerc70b9822013-04-07 22:00:46 +02001236 size_t nb_pad, olen, oid_size = 0;
Paul Bakkerb3869132013-02-28 17:21:01 +01001237 unsigned char *p = sig;
Paul Bakker21e081b2014-07-24 10:38:01 +02001238 const char *oid = NULL;
Paul Bakkerb3869132013-02-28 17:21:01 +01001239
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001240 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V15 )
1241 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001242
1243 olen = ctx->len;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001244 nb_pad = olen - 3;
Paul Bakkerb3869132013-02-28 17:21:01 +01001245
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001246 if( md_alg != MBEDTLS_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001247 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001248 const mbedtls_md_info_t *md_info = mbedtls_md_info_from_type( md_alg );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001249 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001250 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001251
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001252 if( mbedtls_oid_get_oid_by_md( md_alg, &oid, &oid_size ) != 0 )
1253 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001254
Paul Bakkerc70b9822013-04-07 22:00:46 +02001255 nb_pad -= 10 + oid_size;
1256
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001257 hashlen = mbedtls_md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +01001258 }
1259
Paul Bakkerc70b9822013-04-07 22:00:46 +02001260 nb_pad -= hashlen;
1261
Paul Bakkerb3869132013-02-28 17:21:01 +01001262 if( ( nb_pad < 8 ) || ( nb_pad > olen ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001263 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001264
1265 *p++ = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001266 *p++ = MBEDTLS_RSA_SIGN;
Paul Bakkerb3869132013-02-28 17:21:01 +01001267 memset( p, 0xFF, nb_pad );
1268 p += nb_pad;
1269 *p++ = 0;
1270
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001271 if( md_alg == MBEDTLS_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001272 {
Paul Bakkerc70b9822013-04-07 22:00:46 +02001273 memcpy( p, hash, hashlen );
1274 }
1275 else
1276 {
1277 /*
1278 * DigestInfo ::= SEQUENCE {
1279 * digestAlgorithm DigestAlgorithmIdentifier,
1280 * digest Digest }
1281 *
1282 * DigestAlgorithmIdentifier ::= AlgorithmIdentifier
1283 *
1284 * Digest ::= OCTET STRING
1285 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001286 *p++ = MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001287 *p++ = (unsigned char) ( 0x08 + oid_size + hashlen );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001288 *p++ = MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001289 *p++ = (unsigned char) ( 0x04 + oid_size );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001290 *p++ = MBEDTLS_ASN1_OID;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001291 *p++ = oid_size & 0xFF;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001292 memcpy( p, oid, oid_size );
1293 p += oid_size;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001294 *p++ = MBEDTLS_ASN1_NULL;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001295 *p++ = 0x00;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001296 *p++ = MBEDTLS_ASN1_OCTET_STRING;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001297 *p++ = hashlen;
1298 memcpy( p, hash, hashlen );
Paul Bakkerb3869132013-02-28 17:21:01 +01001299 }
1300
Manuel Pégourié-Gonnard5f501042015-09-03 20:03:15 +02001301 if( mode == MBEDTLS_RSA_PUBLIC )
Hanno Becker43f94722017-08-25 11:50:00 +01001302 return( mbedtls_rsa_public( ctx, sig, sig ) );
Manuel Pégourié-Gonnard5f501042015-09-03 20:03:15 +02001303
Hanno Beckercc209ca2017-08-25 11:51:03 +01001304 return( mbedtls_rsa_private( ctx, f_rng, p_rng, sig, sig ) );
Paul Bakkerb3869132013-02-28 17:21:01 +01001305}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001306#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakkerb3869132013-02-28 17:21:01 +01001307
1308/*
Paul Bakker5121ce52009-01-03 21:22:43 +00001309 * Do an RSA operation to sign the message digest
1310 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001311int mbedtls_rsa_pkcs1_sign( mbedtls_rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +00001312 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker9dcc3222011-03-08 14:16:06 +00001313 void *p_rng,
Paul Bakker5121ce52009-01-03 21:22:43 +00001314 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001315 mbedtls_md_type_t md_alg,
Paul Bakker23986e52011-04-24 08:57:21 +00001316 unsigned int hashlen,
Paul Bakkerff60ee62010-03-16 21:09:09 +00001317 const unsigned char *hash,
Paul Bakker5121ce52009-01-03 21:22:43 +00001318 unsigned char *sig )
1319{
Paul Bakker5121ce52009-01-03 21:22:43 +00001320 switch( ctx->padding )
1321 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001322#if defined(MBEDTLS_PKCS1_V15)
1323 case MBEDTLS_RSA_PKCS_V15:
1324 return mbedtls_rsa_rsassa_pkcs1_v15_sign( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001325 hashlen, hash, sig );
Paul Bakker48377d92013-08-30 12:06:24 +02001326#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001327
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001328#if defined(MBEDTLS_PKCS1_V21)
1329 case MBEDTLS_RSA_PKCS_V21:
1330 return mbedtls_rsa_rsassa_pss_sign( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001331 hashlen, hash, sig );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001332#endif
1333
Paul Bakker5121ce52009-01-03 21:22:43 +00001334 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001335 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakker5121ce52009-01-03 21:22:43 +00001336 }
Paul Bakker5121ce52009-01-03 21:22:43 +00001337}
1338
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001339#if defined(MBEDTLS_PKCS1_V21)
Paul Bakker5121ce52009-01-03 21:22:43 +00001340/*
Paul Bakkerb3869132013-02-28 17:21:01 +01001341 * Implementation of the PKCS#1 v2.1 RSASSA-PSS-VERIFY function
Paul Bakker5121ce52009-01-03 21:22:43 +00001342 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001343int mbedtls_rsa_rsassa_pss_verify_ext( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001344 int (*f_rng)(void *, unsigned char *, size_t),
1345 void *p_rng,
1346 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001347 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001348 unsigned int hashlen,
1349 const unsigned char *hash,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001350 mbedtls_md_type_t mgf1_hash_id,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001351 int expected_salt_len,
1352 const unsigned char *sig )
Paul Bakker5121ce52009-01-03 21:22:43 +00001353{
Paul Bakker23986e52011-04-24 08:57:21 +00001354 int ret;
Paul Bakkerb3869132013-02-28 17:21:01 +01001355 size_t siglen;
1356 unsigned char *p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001357 unsigned char result[MBEDTLS_MD_MAX_SIZE];
Paul Bakker9dcc3222011-03-08 14:16:06 +00001358 unsigned char zeros[8];
Paul Bakker23986e52011-04-24 08:57:21 +00001359 unsigned int hlen;
1360 size_t slen, msb;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001361 const mbedtls_md_info_t *md_info;
1362 mbedtls_md_context_t md_ctx;
Nicholas Wilson409401c2016-04-13 11:48:25 +01001363 unsigned char buf[MBEDTLS_MPI_MAX_SIZE];
Paul Bakkerb3869132013-02-28 17:21:01 +01001364
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001365 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V21 )
1366 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001367
Paul Bakker5121ce52009-01-03 21:22:43 +00001368 siglen = ctx->len;
1369
Paul Bakker27fdf462011-06-09 13:55:13 +00001370 if( siglen < 16 || siglen > sizeof( buf ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001371 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +00001372
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001373 ret = ( mode == MBEDTLS_RSA_PUBLIC )
1374 ? mbedtls_rsa_public( ctx, sig, buf )
1375 : mbedtls_rsa_private( ctx, f_rng, p_rng, sig, buf );
Paul Bakker5121ce52009-01-03 21:22:43 +00001376
1377 if( ret != 0 )
1378 return( ret );
1379
1380 p = buf;
1381
Paul Bakkerb3869132013-02-28 17:21:01 +01001382 if( buf[siglen - 1] != 0xBC )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001383 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001384
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001385 if( md_alg != MBEDTLS_MD_NONE )
Paul Bakker5121ce52009-01-03 21:22:43 +00001386 {
Simon Butcher02037452016-03-01 21:19:12 +00001387 /* Gather length of hash to sign */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001388 md_info = mbedtls_md_info_from_type( md_alg );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001389 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001390 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001391
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001392 hashlen = mbedtls_md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +01001393 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001394
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001395 md_info = mbedtls_md_info_from_type( mgf1_hash_id );
Paul Bakkerb3869132013-02-28 17:21:01 +01001396 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001397 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001398
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001399 hlen = mbedtls_md_get_size( md_info );
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001400 slen = siglen - hlen - 1; /* Currently length of salt + padding */
Paul Bakker9dcc3222011-03-08 14:16:06 +00001401
Paul Bakkerb3869132013-02-28 17:21:01 +01001402 memset( zeros, 0, 8 );
Paul Bakker53019ae2011-03-25 13:58:48 +00001403
Simon Butcher02037452016-03-01 21:19:12 +00001404 /*
1405 * Note: EMSA-PSS verification is over the length of N - 1 bits
1406 */
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +02001407 msb = mbedtls_mpi_bitlen( &ctx->N ) - 1;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001408
Simon Butcher02037452016-03-01 21:19:12 +00001409 /* Compensate for boundary condition when applying mask */
Paul Bakkerb3869132013-02-28 17:21:01 +01001410 if( msb % 8 == 0 )
1411 {
1412 p++;
1413 siglen -= 1;
1414 }
1415 if( buf[0] >> ( 8 - siglen * 8 + msb ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001416 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001417
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001418 mbedtls_md_init( &md_ctx );
Brian J Murraye7be5bd2016-06-23 12:57:03 -07001419 if( ( ret = mbedtls_md_setup( &md_ctx, md_info, 0 ) ) != 0 )
1420 {
1421 mbedtls_md_free( &md_ctx );
1422 return( ret );
1423 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001424
Paul Bakkerb3869132013-02-28 17:21:01 +01001425 mgf_mask( p, siglen - hlen - 1, p + siglen - hlen - 1, hlen, &md_ctx );
Paul Bakker02303e82013-01-03 11:08:31 +01001426
Paul Bakkerb3869132013-02-28 17:21:01 +01001427 buf[0] &= 0xFF >> ( siglen * 8 - msb );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001428
Paul Bakker4de44aa2013-12-31 11:43:01 +01001429 while( p < buf + siglen && *p == 0 )
Paul Bakkerb3869132013-02-28 17:21:01 +01001430 p++;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001431
Paul Bakkerb3869132013-02-28 17:21:01 +01001432 if( p == buf + siglen ||
1433 *p++ != 0x01 )
1434 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001435 mbedtls_md_free( &md_ctx );
1436 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001437 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001438
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001439 /* Actual salt len */
Paul Bakkerb3869132013-02-28 17:21:01 +01001440 slen -= p - buf;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001441
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001442 if( expected_salt_len != MBEDTLS_RSA_SALT_LEN_ANY &&
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001443 slen != (size_t) expected_salt_len )
1444 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001445 mbedtls_md_free( &md_ctx );
1446 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001447 }
1448
Simon Butcher02037452016-03-01 21:19:12 +00001449 /*
1450 * Generate H = Hash( M' )
1451 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001452 mbedtls_md_starts( &md_ctx );
1453 mbedtls_md_update( &md_ctx, zeros, 8 );
1454 mbedtls_md_update( &md_ctx, hash, hashlen );
1455 mbedtls_md_update( &md_ctx, p, slen );
1456 mbedtls_md_finish( &md_ctx, result );
Paul Bakker53019ae2011-03-25 13:58:48 +00001457
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001458 mbedtls_md_free( &md_ctx );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001459
Paul Bakkerb3869132013-02-28 17:21:01 +01001460 if( memcmp( p + slen, result, hlen ) == 0 )
1461 return( 0 );
1462 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001463 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerb3869132013-02-28 17:21:01 +01001464}
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001465
1466/*
1467 * Simplified PKCS#1 v2.1 RSASSA-PSS-VERIFY function
1468 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001469int mbedtls_rsa_rsassa_pss_verify( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001470 int (*f_rng)(void *, unsigned char *, size_t),
1471 void *p_rng,
1472 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001473 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001474 unsigned int hashlen,
1475 const unsigned char *hash,
1476 const unsigned char *sig )
1477{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001478 mbedtls_md_type_t mgf1_hash_id = ( ctx->hash_id != MBEDTLS_MD_NONE )
1479 ? (mbedtls_md_type_t) ctx->hash_id
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001480 : md_alg;
1481
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001482 return( mbedtls_rsa_rsassa_pss_verify_ext( ctx, f_rng, p_rng, mode,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001483 md_alg, hashlen, hash,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001484 mgf1_hash_id, MBEDTLS_RSA_SALT_LEN_ANY,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001485 sig ) );
1486
1487}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001488#endif /* MBEDTLS_PKCS1_V21 */
Paul Bakker40628ba2013-01-03 10:50:31 +01001489
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001490#if defined(MBEDTLS_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +01001491/*
1492 * Implementation of the PKCS#1 v2.1 RSASSA-PKCS1-v1_5-VERIFY function
1493 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001494int mbedtls_rsa_rsassa_pkcs1_v15_verify( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001495 int (*f_rng)(void *, unsigned char *, size_t),
1496 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001497 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001498 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001499 unsigned int hashlen,
1500 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +02001501 const unsigned char *sig )
Paul Bakkerb3869132013-02-28 17:21:01 +01001502{
1503 int ret;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001504 size_t len, siglen, asn1_len;
1505 unsigned char *p, *end;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001506 mbedtls_md_type_t msg_md_alg;
1507 const mbedtls_md_info_t *md_info;
1508 mbedtls_asn1_buf oid;
Nicholas Wilson409401c2016-04-13 11:48:25 +01001509 unsigned char buf[MBEDTLS_MPI_MAX_SIZE];
Paul Bakkerb3869132013-02-28 17:21:01 +01001510
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001511 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V15 )
1512 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001513
1514 siglen = ctx->len;
1515
1516 if( siglen < 16 || siglen > sizeof( buf ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001517 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001518
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001519 ret = ( mode == MBEDTLS_RSA_PUBLIC )
1520 ? mbedtls_rsa_public( ctx, sig, buf )
1521 : mbedtls_rsa_private( ctx, f_rng, p_rng, sig, buf );
Paul Bakkerb3869132013-02-28 17:21:01 +01001522
1523 if( ret != 0 )
1524 return( ret );
1525
1526 p = buf;
1527
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001528 if( *p++ != 0 || *p++ != MBEDTLS_RSA_SIGN )
1529 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001530
1531 while( *p != 0 )
1532 {
1533 if( p >= buf + siglen - 1 || *p != 0xFF )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001534 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001535 p++;
1536 }
1537 p++;
1538
1539 len = siglen - ( p - buf );
1540
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001541 if( len == hashlen && md_alg == MBEDTLS_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001542 {
1543 if( memcmp( p, hash, hashlen ) == 0 )
1544 return( 0 );
1545 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001546 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +00001547 }
1548
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001549 md_info = mbedtls_md_info_from_type( md_alg );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001550 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001551 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
1552 hashlen = mbedtls_md_get_size( md_info );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001553
1554 end = p + len;
1555
Simon Butcher02037452016-03-01 21:19:12 +00001556 /*
1557 * Parse the ASN.1 structure inside the PKCS#1 v1.5 structure
1558 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001559 if( ( ret = mbedtls_asn1_get_tag( &p, end, &asn1_len,
1560 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
1561 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001562
1563 if( asn1_len + 2 != len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001564 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001565
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001566 if( ( ret = mbedtls_asn1_get_tag( &p, end, &asn1_len,
1567 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
1568 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001569
1570 if( asn1_len + 6 + hashlen != len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001571 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001572
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001573 if( ( ret = mbedtls_asn1_get_tag( &p, end, &oid.len, MBEDTLS_ASN1_OID ) ) != 0 )
1574 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001575
1576 oid.p = p;
1577 p += oid.len;
1578
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001579 if( mbedtls_oid_get_md_alg( &oid, &msg_md_alg ) != 0 )
1580 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001581
1582 if( md_alg != msg_md_alg )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001583 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001584
1585 /*
1586 * assume the algorithm parameters must be NULL
1587 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001588 if( ( ret = mbedtls_asn1_get_tag( &p, end, &asn1_len, MBEDTLS_ASN1_NULL ) ) != 0 )
1589 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001590
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001591 if( ( ret = mbedtls_asn1_get_tag( &p, end, &asn1_len, MBEDTLS_ASN1_OCTET_STRING ) ) != 0 )
1592 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001593
1594 if( asn1_len != hashlen )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001595 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001596
1597 if( memcmp( p, hash, hashlen ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001598 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001599
1600 p += hashlen;
1601
1602 if( p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001603 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001604
1605 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +00001606}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001607#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakker5121ce52009-01-03 21:22:43 +00001608
1609/*
Paul Bakkerb3869132013-02-28 17:21:01 +01001610 * Do an RSA operation and check the message digest
1611 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001612int mbedtls_rsa_pkcs1_verify( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001613 int (*f_rng)(void *, unsigned char *, size_t),
1614 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001615 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001616 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001617 unsigned int hashlen,
1618 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +02001619 const unsigned char *sig )
Paul Bakkerb3869132013-02-28 17:21:01 +01001620{
1621 switch( ctx->padding )
1622 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001623#if defined(MBEDTLS_PKCS1_V15)
1624 case MBEDTLS_RSA_PKCS_V15:
1625 return mbedtls_rsa_rsassa_pkcs1_v15_verify( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001626 hashlen, hash, sig );
Paul Bakker48377d92013-08-30 12:06:24 +02001627#endif
Paul Bakkerb3869132013-02-28 17:21:01 +01001628
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001629#if defined(MBEDTLS_PKCS1_V21)
1630 case MBEDTLS_RSA_PKCS_V21:
1631 return mbedtls_rsa_rsassa_pss_verify( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001632 hashlen, hash, sig );
1633#endif
1634
1635 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001636 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001637 }
1638}
1639
1640/*
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001641 * Copy the components of an RSA key
1642 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001643int mbedtls_rsa_copy( mbedtls_rsa_context *dst, const mbedtls_rsa_context *src )
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001644{
1645 int ret;
1646
1647 dst->ver = src->ver;
1648 dst->len = src->len;
1649
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001650 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->N, &src->N ) );
1651 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->E, &src->E ) );
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001652
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001653 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->D, &src->D ) );
1654 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->P, &src->P ) );
1655 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->Q, &src->Q ) );
1656 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->DP, &src->DP ) );
1657 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->DQ, &src->DQ ) );
1658 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->QP, &src->QP ) );
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001659
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001660 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->RN, &src->RN ) );
1661 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->RP, &src->RP ) );
1662 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->RQ, &src->RQ ) );
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001663
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001664 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->Vi, &src->Vi ) );
1665 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->Vf, &src->Vf ) );
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +02001666
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001667 dst->padding = src->padding;
Manuel Pégourié-Gonnardfdddac92014-03-25 15:58:35 +01001668 dst->hash_id = src->hash_id;
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001669
1670cleanup:
1671 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001672 mbedtls_rsa_free( dst );
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001673
1674 return( ret );
1675}
1676
1677/*
Paul Bakker5121ce52009-01-03 21:22:43 +00001678 * Free the components of an RSA key
1679 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001680void mbedtls_rsa_free( mbedtls_rsa_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +00001681{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001682 mbedtls_mpi_free( &ctx->Vi ); mbedtls_mpi_free( &ctx->Vf );
1683 mbedtls_mpi_free( &ctx->RQ ); mbedtls_mpi_free( &ctx->RP ); mbedtls_mpi_free( &ctx->RN );
1684 mbedtls_mpi_free( &ctx->QP ); mbedtls_mpi_free( &ctx->DQ ); mbedtls_mpi_free( &ctx->DP );
1685 mbedtls_mpi_free( &ctx->Q ); mbedtls_mpi_free( &ctx->P ); mbedtls_mpi_free( &ctx->D );
1686 mbedtls_mpi_free( &ctx->E ); mbedtls_mpi_free( &ctx->N );
Paul Bakkerc9965dc2013-09-29 14:58:17 +02001687
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001688#if defined(MBEDTLS_THREADING_C)
1689 mbedtls_mutex_free( &ctx->mutex );
Paul Bakkerc9965dc2013-09-29 14:58:17 +02001690#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001691}
1692
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001693#if defined(MBEDTLS_SELF_TEST)
Paul Bakker5121ce52009-01-03 21:22:43 +00001694
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00001695#include "mbedtls/sha1.h"
Paul Bakker5121ce52009-01-03 21:22:43 +00001696
1697/*
1698 * Example RSA-1024 keypair, for test purposes
1699 */
1700#define KEY_LEN 128
1701
1702#define RSA_N "9292758453063D803DD603D5E777D788" \
1703 "8ED1D5BF35786190FA2F23EBC0848AEA" \
1704 "DDA92CA6C3D80B32C4D109BE0F36D6AE" \
1705 "7130B9CED7ACDF54CFC7555AC14EEBAB" \
1706 "93A89813FBF3C4F8066D2D800F7C38A8" \
1707 "1AE31942917403FF4946B0A83D3D3E05" \
1708 "EE57C6F5F5606FB5D4BC6CD34EE0801A" \
1709 "5E94BB77B07507233A0BC7BAC8F90F79"
1710
1711#define RSA_E "10001"
1712
1713#define RSA_D "24BF6185468786FDD303083D25E64EFC" \
1714 "66CA472BC44D253102F8B4A9D3BFA750" \
1715 "91386C0077937FE33FA3252D28855837" \
1716 "AE1B484A8A9A45F7EE8C0C634F99E8CD" \
1717 "DF79C5CE07EE72C7F123142198164234" \
1718 "CABB724CF78B8173B9F880FC86322407" \
1719 "AF1FEDFDDE2BEB674CA15F3E81A1521E" \
1720 "071513A1E85B5DFA031F21ECAE91A34D"
1721
1722#define RSA_P "C36D0EB7FCD285223CFB5AABA5BDA3D8" \
1723 "2C01CAD19EA484A87EA4377637E75500" \
1724 "FCB2005C5C7DD6EC4AC023CDA285D796" \
1725 "C3D9E75E1EFC42488BB4F1D13AC30A57"
1726
1727#define RSA_Q "C000DF51A7C77AE8D7C7370C1FF55B69" \
1728 "E211C2B9E5DB1ED0BF61D0D9899620F4" \
1729 "910E4168387E3C30AA1E00C339A79508" \
1730 "8452DD96A9A5EA5D9DCA68DA636032AF"
1731
1732#define RSA_DP "C1ACF567564274FB07A0BBAD5D26E298" \
1733 "3C94D22288ACD763FD8E5600ED4A702D" \
1734 "F84198A5F06C2E72236AE490C93F07F8" \
1735 "3CC559CD27BC2D1CA488811730BB5725"
1736
1737#define RSA_DQ "4959CBF6F8FEF750AEE6977C155579C7" \
1738 "D8AAEA56749EA28623272E4F7D0592AF" \
1739 "7C1F1313CAC9471B5C523BFE592F517B" \
1740 "407A1BD76C164B93DA2D32A383E58357"
1741
1742#define RSA_QP "9AE7FBC99546432DF71896FC239EADAE" \
1743 "F38D18D2B2F0E2DD275AA977E2BF4411" \
1744 "F5A3B2A5D33605AEBBCCBA7FEB9F2D2F" \
1745 "A74206CEC169D74BF5A8C50D6F48EA08"
1746
1747#define PT_LEN 24
1748#define RSA_PT "\xAA\xBB\xCC\x03\x02\x01\x00\xFF\xFF\xFF\xFF\xFF" \
1749 "\x11\x22\x33\x0A\x0B\x0C\xCC\xDD\xDD\xDD\xDD\xDD"
1750
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001751#if defined(MBEDTLS_PKCS1_V15)
Paul Bakkera3d195c2011-11-27 21:07:34 +00001752static int myrand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker545570e2010-07-18 09:00:25 +00001753{
Paul Bakkerf96f7b62014-04-30 16:02:38 +02001754#if !defined(__OpenBSD__)
Paul Bakkera3d195c2011-11-27 21:07:34 +00001755 size_t i;
1756
Paul Bakker545570e2010-07-18 09:00:25 +00001757 if( rng_state != NULL )
1758 rng_state = NULL;
1759
Paul Bakkera3d195c2011-11-27 21:07:34 +00001760 for( i = 0; i < len; ++i )
1761 output[i] = rand();
Paul Bakkerf96f7b62014-04-30 16:02:38 +02001762#else
1763 if( rng_state != NULL )
1764 rng_state = NULL;
1765
1766 arc4random_buf( output, len );
1767#endif /* !OpenBSD */
Paul Bakker48377d92013-08-30 12:06:24 +02001768
Paul Bakkera3d195c2011-11-27 21:07:34 +00001769 return( 0 );
Paul Bakker545570e2010-07-18 09:00:25 +00001770}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001771#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakker545570e2010-07-18 09:00:25 +00001772
Paul Bakker5121ce52009-01-03 21:22:43 +00001773/*
1774 * Checkup routine
1775 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001776int mbedtls_rsa_self_test( int verbose )
Paul Bakker5121ce52009-01-03 21:22:43 +00001777{
Paul Bakker3d8fb632014-04-17 12:42:41 +02001778 int ret = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001779#if defined(MBEDTLS_PKCS1_V15)
Paul Bakker23986e52011-04-24 08:57:21 +00001780 size_t len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001781 mbedtls_rsa_context rsa;
Paul Bakker5121ce52009-01-03 21:22:43 +00001782 unsigned char rsa_plaintext[PT_LEN];
1783 unsigned char rsa_decrypted[PT_LEN];
1784 unsigned char rsa_ciphertext[KEY_LEN];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001785#if defined(MBEDTLS_SHA1_C)
Paul Bakker5690efc2011-05-26 13:16:06 +00001786 unsigned char sha1sum[20];
1787#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001788
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001789 mbedtls_rsa_init( &rsa, MBEDTLS_RSA_PKCS_V15, 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +00001790
1791 rsa.len = KEY_LEN;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001792 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.N , 16, RSA_N ) );
1793 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.E , 16, RSA_E ) );
1794 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.D , 16, RSA_D ) );
1795 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.P , 16, RSA_P ) );
1796 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.Q , 16, RSA_Q ) );
1797 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.DP, 16, RSA_DP ) );
1798 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.DQ, 16, RSA_DQ ) );
1799 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.QP, 16, RSA_QP ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00001800
1801 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001802 mbedtls_printf( " RSA key validation: " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001803
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001804 if( mbedtls_rsa_check_pubkey( &rsa ) != 0 ||
1805 mbedtls_rsa_check_privkey( &rsa ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001806 {
1807 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001808 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001809
Hanno Becker5bc87292017-05-03 15:09:31 +01001810 ret = 1;
1811 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +00001812 }
1813
1814 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001815 mbedtls_printf( "passed\n PKCS#1 encryption : " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001816
1817 memcpy( rsa_plaintext, RSA_PT, PT_LEN );
1818
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001819 if( mbedtls_rsa_pkcs1_encrypt( &rsa, myrand, NULL, MBEDTLS_RSA_PUBLIC, PT_LEN,
Paul Bakker5121ce52009-01-03 21:22:43 +00001820 rsa_plaintext, rsa_ciphertext ) != 0 )
1821 {
1822 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001823 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001824
Hanno Becker5bc87292017-05-03 15:09:31 +01001825 ret = 1;
1826 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +00001827 }
1828
1829 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001830 mbedtls_printf( "passed\n PKCS#1 decryption : " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001831
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001832 if( mbedtls_rsa_pkcs1_decrypt( &rsa, myrand, NULL, MBEDTLS_RSA_PRIVATE, &len,
Paul Bakker060c5682009-01-12 21:48:39 +00001833 rsa_ciphertext, rsa_decrypted,
Paul Bakker23986e52011-04-24 08:57:21 +00001834 sizeof(rsa_decrypted) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001835 {
1836 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001837 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001838
Hanno Becker5bc87292017-05-03 15:09:31 +01001839 ret = 1;
1840 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +00001841 }
1842
1843 if( memcmp( rsa_decrypted, rsa_plaintext, len ) != 0 )
1844 {
1845 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001846 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001847
Hanno Becker5bc87292017-05-03 15:09:31 +01001848 ret = 1;
1849 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +00001850 }
1851
Manuel Pégourié-Gonnardd1004f02015-08-07 10:46:54 +02001852 if( verbose != 0 )
1853 mbedtls_printf( "passed\n" );
1854
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001855#if defined(MBEDTLS_SHA1_C)
Paul Bakker5121ce52009-01-03 21:22:43 +00001856 if( verbose != 0 )
Brian Murray930a3702016-05-18 14:38:02 -07001857 mbedtls_printf( " PKCS#1 data sign : " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001858
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001859 mbedtls_sha1( rsa_plaintext, PT_LEN, sha1sum );
Paul Bakker5121ce52009-01-03 21:22:43 +00001860
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001861 if( mbedtls_rsa_pkcs1_sign( &rsa, myrand, NULL, MBEDTLS_RSA_PRIVATE, MBEDTLS_MD_SHA1, 0,
Paul Bakker5121ce52009-01-03 21:22:43 +00001862 sha1sum, rsa_ciphertext ) != 0 )
1863 {
1864 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001865 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001866
Hanno Becker5bc87292017-05-03 15:09:31 +01001867 ret = 1;
1868 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +00001869 }
1870
1871 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001872 mbedtls_printf( "passed\n PKCS#1 sig. verify: " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001873
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001874 if( mbedtls_rsa_pkcs1_verify( &rsa, NULL, NULL, MBEDTLS_RSA_PUBLIC, MBEDTLS_MD_SHA1, 0,
Paul Bakker5121ce52009-01-03 21:22:43 +00001875 sha1sum, rsa_ciphertext ) != 0 )
1876 {
1877 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001878 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001879
Hanno Becker5bc87292017-05-03 15:09:31 +01001880 ret = 1;
1881 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +00001882 }
1883
1884 if( verbose != 0 )
Manuel Pégourié-Gonnardd1004f02015-08-07 10:46:54 +02001885 mbedtls_printf( "passed\n" );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001886#endif /* MBEDTLS_SHA1_C */
Paul Bakker5121ce52009-01-03 21:22:43 +00001887
Manuel Pégourié-Gonnardd1004f02015-08-07 10:46:54 +02001888 if( verbose != 0 )
1889 mbedtls_printf( "\n" );
1890
Paul Bakker3d8fb632014-04-17 12:42:41 +02001891cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001892 mbedtls_rsa_free( &rsa );
1893#else /* MBEDTLS_PKCS1_V15 */
Paul Bakker3e41fe82013-09-15 17:42:50 +02001894 ((void) verbose);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001895#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakker3d8fb632014-04-17 12:42:41 +02001896 return( ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00001897}
1898
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001899#endif /* MBEDTLS_SELF_TEST */
Paul Bakker5121ce52009-01-03 21:22:43 +00001900
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001901#endif /* MBEDTLS_RSA_C */