blob: 70d95fa72f35c38ce5cdbec05cf0ef27b35cc52b [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/*
22 * RSA was designed by Ron Rivest, Adi Shamir and Len Adleman.
23 *
24 * http://theory.lcs.mit.edu/~rivest/rsapaper.pdf
25 * http://www.cacr.math.uwaterloo.ca/hac/about/chap8.pdf
Janos Follath578517d2017-03-22 13:38:28 +000026 * [3] Malware Guard Extension: Using SGX to Conceal Cache Attacks
27 * Michael Schwarz, Samuel Weiser, Daniel Gruss, Clémentine Maurice and
28 * Stefan Mangard
29 * https://arxiv.org/abs/1702.08719v2
30 *
Paul Bakker5121ce52009-01-03 21:22:43 +000031 */
32
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020033#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000034#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020035#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020036#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020037#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000038
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020039#if defined(MBEDTLS_RSA_C)
Paul Bakker5121ce52009-01-03 21:22:43 +000040
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000041#include "mbedtls/rsa.h"
42#include "mbedtls/oid.h"
Paul Bakkerbb51f0c2012-08-23 07:46:58 +000043
Rich Evans00ab4702015-02-06 13:43:58 +000044#include <string.h>
45
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020046#if defined(MBEDTLS_PKCS1_V21)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000047#include "mbedtls/md.h"
Paul Bakkerbb51f0c2012-08-23 07:46:58 +000048#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000049
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020050#if defined(MBEDTLS_PKCS1_V15) && !defined(__OpenBSD__)
Paul Bakker5121ce52009-01-03 21:22:43 +000051#include <stdlib.h>
Rich Evans00ab4702015-02-06 13:43:58 +000052#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000053
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000055#include "mbedtls/platform.h"
Paul Bakker7dc4c442014-02-01 22:50:26 +010056#else
Rich Evans00ab4702015-02-06 13:43:58 +000057#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020058#define mbedtls_printf printf
Manuel Pégourié-Gonnard5f501042015-09-03 20:03:15 +020059#define mbedtls_calloc calloc
60#define mbedtls_free free
Paul Bakker7dc4c442014-02-01 22:50:26 +010061#endif
62
Gilles Peskine8877ec22017-03-23 14:37:37 +010063/* Implementation that should never be optimized out by the compiler */
64static void mbedtls_zeroize( void *v, size_t n ) {
65 volatile unsigned char *p = (unsigned char*)v; while( n-- ) *p++ = 0;
66}
67
Paul Bakker5121ce52009-01-03 21:22:43 +000068/*
69 * Initialize an RSA context
70 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020071void mbedtls_rsa_init( mbedtls_rsa_context *ctx,
Paul Bakker5121ce52009-01-03 21:22:43 +000072 int padding,
Paul Bakker21eb2802010-08-16 11:10:02 +000073 int hash_id )
Paul Bakker5121ce52009-01-03 21:22:43 +000074{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020075 memset( ctx, 0, sizeof( mbedtls_rsa_context ) );
Paul Bakker5121ce52009-01-03 21:22:43 +000076
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077 mbedtls_rsa_set_padding( ctx, padding, hash_id );
Paul Bakkerc9965dc2013-09-29 14:58:17 +020078
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020079#if defined(MBEDTLS_THREADING_C)
80 mbedtls_mutex_init( &ctx->mutex );
Paul Bakkerc9965dc2013-09-29 14:58:17 +020081#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000082}
83
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +010084/*
85 * Set padding for an existing RSA context
86 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020087void mbedtls_rsa_set_padding( mbedtls_rsa_context *ctx, int padding, int hash_id )
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +010088{
89 ctx->padding = padding;
90 ctx->hash_id = hash_id;
91}
92
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020093#if defined(MBEDTLS_GENPRIME)
Paul Bakker5121ce52009-01-03 21:22:43 +000094
95/*
96 * Generate an RSA keypair
97 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020098int mbedtls_rsa_gen_key( mbedtls_rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +000099 int (*f_rng)(void *, unsigned char *, size_t),
100 void *p_rng,
101 unsigned int nbits, int exponent )
Paul Bakker5121ce52009-01-03 21:22:43 +0000102{
103 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200104 mbedtls_mpi P1, Q1, H, G;
Paul Bakker5121ce52009-01-03 21:22:43 +0000105
Paul Bakker21eb2802010-08-16 11:10:02 +0000106 if( f_rng == NULL || nbits < 128 || exponent < 3 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200107 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000108
Janos Follath95b30362016-09-21 13:18:12 +0100109 if( nbits % 2 )
110 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
111
112 mbedtls_mpi_init( &P1 ); mbedtls_mpi_init( &Q1 );
Janos Follath1a59a502016-02-23 14:42:48 +0000113 mbedtls_mpi_init( &H ); mbedtls_mpi_init( &G );
Paul Bakker5121ce52009-01-03 21:22:43 +0000114
115 /*
116 * find primes P and Q with Q < P so that:
117 * GCD( E, (P-1)*(Q-1) ) == 1
118 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200119 MBEDTLS_MPI_CHK( mbedtls_mpi_lset( &ctx->E, exponent ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000120
121 do
122 {
Janos Follath1a59a502016-02-23 14:42:48 +0000123 MBEDTLS_MPI_CHK( mbedtls_mpi_gen_prime( &ctx->P, nbits >> 1, 0,
Paul Bakker21eb2802010-08-16 11:10:02 +0000124 f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000125
Janos Follath95b30362016-09-21 13:18:12 +0100126 MBEDTLS_MPI_CHK( mbedtls_mpi_gen_prime( &ctx->Q, nbits >> 1, 0,
Paul Bakker21eb2802010-08-16 11:10:02 +0000127 f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000128
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200129 if( mbedtls_mpi_cmp_mpi( &ctx->P, &ctx->Q ) == 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000130 continue;
131
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200132 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->N, &ctx->P, &ctx->Q ) );
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200133 if( mbedtls_mpi_bitlen( &ctx->N ) != nbits )
Paul Bakker5121ce52009-01-03 21:22:43 +0000134 continue;
135
Janos Follath95b30362016-09-21 13:18:12 +0100136 if( mbedtls_mpi_cmp_mpi( &ctx->P, &ctx->Q ) < 0 )
137 mbedtls_mpi_swap( &ctx->P, &ctx->Q );
138
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200139 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &P1, &ctx->P, 1 ) );
140 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &Q1, &ctx->Q, 1 ) );
141 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &H, &P1, &Q1 ) );
142 MBEDTLS_MPI_CHK( mbedtls_mpi_gcd( &G, &ctx->E, &H ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000143 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200144 while( mbedtls_mpi_cmp_int( &G, 1 ) != 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000145
146 /*
147 * D = E^-1 mod ((P-1)*(Q-1))
148 * DP = D mod (P - 1)
149 * DQ = D mod (Q - 1)
150 * QP = Q^-1 mod P
151 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200152 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &ctx->D , &ctx->E, &H ) );
153 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->DP, &ctx->D, &P1 ) );
154 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->DQ, &ctx->D, &Q1 ) );
155 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &ctx->QP, &ctx->Q, &ctx->P ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000156
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200157 ctx->len = ( mbedtls_mpi_bitlen( &ctx->N ) + 7 ) >> 3;
Paul Bakker5121ce52009-01-03 21:22:43 +0000158
159cleanup:
160
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200161 mbedtls_mpi_free( &P1 ); mbedtls_mpi_free( &Q1 ); mbedtls_mpi_free( &H ); mbedtls_mpi_free( &G );
Paul Bakker5121ce52009-01-03 21:22:43 +0000162
163 if( ret != 0 )
164 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200165 mbedtls_rsa_free( ctx );
166 return( MBEDTLS_ERR_RSA_KEY_GEN_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000167 }
168
Paul Bakker48377d92013-08-30 12:06:24 +0200169 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000170}
171
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200172#endif /* MBEDTLS_GENPRIME */
Paul Bakker5121ce52009-01-03 21:22:43 +0000173
174/*
175 * Check a public RSA key
176 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200177int mbedtls_rsa_check_pubkey( const mbedtls_rsa_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +0000178{
Paul Bakker37940d9f2009-07-10 22:38:58 +0000179 if( !ctx->N.p || !ctx->E.p )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200180 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker37940d9f2009-07-10 22:38:58 +0000181
Paul Bakker48377d92013-08-30 12:06:24 +0200182 if( ( ctx->N.p[0] & 1 ) == 0 ||
Paul Bakker5121ce52009-01-03 21:22:43 +0000183 ( ctx->E.p[0] & 1 ) == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200184 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000185
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200186 if( mbedtls_mpi_bitlen( &ctx->N ) < 128 ||
187 mbedtls_mpi_bitlen( &ctx->N ) > MBEDTLS_MPI_MAX_BITS )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200188 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000189
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200190 if( mbedtls_mpi_bitlen( &ctx->E ) < 2 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200191 mbedtls_mpi_cmp_mpi( &ctx->E, &ctx->N ) >= 0 )
192 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000193
194 return( 0 );
195}
196
197/*
198 * Check a private RSA key
199 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200200int mbedtls_rsa_check_privkey( const mbedtls_rsa_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +0000201{
202 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200203 mbedtls_mpi PQ, DE, P1, Q1, H, I, G, G2, L1, L2, DP, DQ, QP;
Paul Bakker5121ce52009-01-03 21:22:43 +0000204
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200205 if( ( ret = mbedtls_rsa_check_pubkey( ctx ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000206 return( ret );
207
Paul Bakker37940d9f2009-07-10 22:38:58 +0000208 if( !ctx->P.p || !ctx->Q.p || !ctx->D.p )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200209 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker37940d9f2009-07-10 22:38:58 +0000210
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211 mbedtls_mpi_init( &PQ ); mbedtls_mpi_init( &DE ); mbedtls_mpi_init( &P1 ); mbedtls_mpi_init( &Q1 );
212 mbedtls_mpi_init( &H ); mbedtls_mpi_init( &I ); mbedtls_mpi_init( &G ); mbedtls_mpi_init( &G2 );
213 mbedtls_mpi_init( &L1 ); mbedtls_mpi_init( &L2 ); mbedtls_mpi_init( &DP ); mbedtls_mpi_init( &DQ );
214 mbedtls_mpi_init( &QP );
Paul Bakker5121ce52009-01-03 21:22:43 +0000215
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &PQ, &ctx->P, &ctx->Q ) );
217 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &DE, &ctx->D, &ctx->E ) );
218 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &P1, &ctx->P, 1 ) );
219 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &Q1, &ctx->Q, 1 ) );
220 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &H, &P1, &Q1 ) );
221 MBEDTLS_MPI_CHK( mbedtls_mpi_gcd( &G, &ctx->E, &H ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000222
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200223 MBEDTLS_MPI_CHK( mbedtls_mpi_gcd( &G2, &P1, &Q1 ) );
224 MBEDTLS_MPI_CHK( mbedtls_mpi_div_mpi( &L1, &L2, &H, &G2 ) );
225 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &I, &DE, &L1 ) );
Paul Bakkerb572adf2010-07-18 08:29:32 +0000226
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200227 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &DP, &ctx->D, &P1 ) );
228 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &DQ, &ctx->D, &Q1 ) );
229 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &QP, &ctx->Q, &ctx->P ) );
Paul Bakkerb572adf2010-07-18 08:29:32 +0000230 /*
231 * Check for a valid PKCS1v2 private key
232 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200233 if( mbedtls_mpi_cmp_mpi( &PQ, &ctx->N ) != 0 ||
234 mbedtls_mpi_cmp_mpi( &DP, &ctx->DP ) != 0 ||
235 mbedtls_mpi_cmp_mpi( &DQ, &ctx->DQ ) != 0 ||
236 mbedtls_mpi_cmp_mpi( &QP, &ctx->QP ) != 0 ||
237 mbedtls_mpi_cmp_int( &L2, 0 ) != 0 ||
238 mbedtls_mpi_cmp_int( &I, 1 ) != 0 ||
239 mbedtls_mpi_cmp_int( &G, 1 ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000240 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200241 ret = MBEDTLS_ERR_RSA_KEY_CHECK_FAILED;
Paul Bakker5121ce52009-01-03 21:22:43 +0000242 }
Paul Bakker48377d92013-08-30 12:06:24 +0200243
Paul Bakker5121ce52009-01-03 21:22:43 +0000244cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200245 mbedtls_mpi_free( &PQ ); mbedtls_mpi_free( &DE ); mbedtls_mpi_free( &P1 ); mbedtls_mpi_free( &Q1 );
246 mbedtls_mpi_free( &H ); mbedtls_mpi_free( &I ); mbedtls_mpi_free( &G ); mbedtls_mpi_free( &G2 );
247 mbedtls_mpi_free( &L1 ); mbedtls_mpi_free( &L2 ); mbedtls_mpi_free( &DP ); mbedtls_mpi_free( &DQ );
248 mbedtls_mpi_free( &QP );
Paul Bakker6c591fa2011-05-05 11:49:20 +0000249
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200250 if( ret == MBEDTLS_ERR_RSA_KEY_CHECK_FAILED )
Paul Bakker9d781402011-05-09 16:17:09 +0000251 return( ret );
252
Paul Bakker6c591fa2011-05-05 11:49:20 +0000253 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200254 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED + ret );
Paul Bakker6c591fa2011-05-05 11:49:20 +0000255
256 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000257}
258
259/*
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100260 * Check if contexts holding a public and private key match
261 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200262int mbedtls_rsa_check_pub_priv( const mbedtls_rsa_context *pub, const mbedtls_rsa_context *prv )
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100263{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200264 if( mbedtls_rsa_check_pubkey( pub ) != 0 ||
265 mbedtls_rsa_check_privkey( prv ) != 0 )
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100266 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200267 return( MBEDTLS_ERR_RSA_KEY_CHECK_FAILED );
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100268 }
269
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200270 if( mbedtls_mpi_cmp_mpi( &pub->N, &prv->N ) != 0 ||
271 mbedtls_mpi_cmp_mpi( &pub->E, &prv->E ) != 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
276 return( 0 );
277}
278
279/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000280 * Do an RSA public key operation
281 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200282int mbedtls_rsa_public( mbedtls_rsa_context *ctx,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000283 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000284 unsigned char *output )
285{
Paul Bakker23986e52011-04-24 08:57:21 +0000286 int ret;
287 size_t olen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200288 mbedtls_mpi T;
Paul Bakker5121ce52009-01-03 21:22:43 +0000289
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200290 mbedtls_mpi_init( &T );
Paul Bakker5121ce52009-01-03 21:22:43 +0000291
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200292#if defined(MBEDTLS_THREADING_C)
293 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
294 return( ret );
295#endif
296
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200297 MBEDTLS_MPI_CHK( mbedtls_mpi_read_binary( &T, input, ctx->len ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000298
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200299 if( mbedtls_mpi_cmp_mpi( &T, &ctx->N ) >= 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000300 {
Manuel Pégourié-Gonnard4d04cdc2015-08-28 10:32:21 +0200301 ret = MBEDTLS_ERR_MPI_BAD_INPUT_DATA;
302 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +0000303 }
304
305 olen = ctx->len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200306 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &T, &T, &ctx->E, &ctx->N, &ctx->RN ) );
307 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( &T, output, olen ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000308
309cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200310#if defined(MBEDTLS_THREADING_C)
Manuel Pégourié-Gonnard4d04cdc2015-08-28 10:32:21 +0200311 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
312 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Manuel Pégourié-Gonnard88fca3e2015-03-27 15:06:07 +0100313#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000314
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200315 mbedtls_mpi_free( &T );
Paul Bakker5121ce52009-01-03 21:22:43 +0000316
317 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200318 return( MBEDTLS_ERR_RSA_PUBLIC_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000319
320 return( 0 );
321}
322
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200323/*
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200324 * Generate or update blinding values, see section 10 of:
325 * KOCHER, Paul C. Timing attacks on implementations of Diffie-Hellman, RSA,
Manuel Pégourié-Gonnard998930a2015-04-03 13:48:06 +0200326 * DSS, and other systems. In : Advances in Cryptology-CRYPTO'96. Springer
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200327 * Berlin Heidelberg, 1996. p. 104-113.
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200328 */
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200329static int rsa_prepare_blinding( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200330 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
331{
Manuel Pégourié-Gonnard4d89c7e2013-10-04 15:18:38 +0200332 int ret, count = 0;
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200333
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200334 if( ctx->Vf.p != NULL )
335 {
336 /* We already have blinding values, just update them by squaring */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200337 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->Vi, &ctx->Vi, &ctx->Vi ) );
338 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->Vi, &ctx->Vi, &ctx->N ) );
339 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &ctx->Vf, &ctx->Vf, &ctx->Vf ) );
340 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &ctx->Vf, &ctx->Vf, &ctx->N ) );
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200341
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200342 goto cleanup;
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200343 }
344
Manuel Pégourié-Gonnard4d89c7e2013-10-04 15:18:38 +0200345 /* Unblinding value: Vf = random number, invertible mod N */
346 do {
347 if( count++ > 10 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200348 return( MBEDTLS_ERR_RSA_RNG_FAILED );
Manuel Pégourié-Gonnard4d89c7e2013-10-04 15:18:38 +0200349
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200350 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &ctx->Vf, ctx->len - 1, f_rng, p_rng ) );
351 MBEDTLS_MPI_CHK( mbedtls_mpi_gcd( &ctx->Vi, &ctx->Vf, &ctx->N ) );
352 } while( mbedtls_mpi_cmp_int( &ctx->Vi, 1 ) != 0 );
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200353
354 /* Blinding value: Vi = Vf^(-e) mod N */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200355 MBEDTLS_MPI_CHK( mbedtls_mpi_inv_mod( &ctx->Vi, &ctx->Vf, &ctx->N ) );
356 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 +0200357
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200358
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200359cleanup:
360 return( ret );
361}
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200362
Paul Bakker5121ce52009-01-03 21:22:43 +0000363/*
Janos Follath578517d2017-03-22 13:38:28 +0000364 * Exponent blinding supposed to prevent side-channel attacks using multiple
365 * traces of measurements to recover the RSA key. The more collisions are there,
366 * the more bits of the key can be recovered. See [3].
367 *
368 * Collecting n collisions with m bit long blinding value requires 2^(m-m/n)
369 * observations on avarage.
370 *
371 * For example with 28 byte blinding to achieve 2 collisions the adversary has
372 * to make 2^112 observations on avarage.
373 *
374 * (With the currently (as of 2017 April) known best algorithms breaking 2048
375 * bit RSA requires approximately as much time as trying out 2^112 random keys.
376 * Thus in this sense with 28 byte blinding the security is not reduced by
377 * side-channel attacks like the one in [3])
378 *
379 * This countermeasure does not help if the key recovery is possible with a
380 * single trace.
381 */
382#define RSA_EXPONENT_BLINDING 28
383
384/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000385 * Do an RSA private key operation
386 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200387int mbedtls_rsa_private( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200388 int (*f_rng)(void *, unsigned char *, size_t),
389 void *p_rng,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000390 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000391 unsigned char *output )
392{
Paul Bakker23986e52011-04-24 08:57:21 +0000393 int ret;
394 size_t olen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200395 mbedtls_mpi T, T1, T2;
Janos Follath9ef9f102017-03-22 15:13:15 +0000396 mbedtls_mpi P1, Q1, R;
Janos Follath578517d2017-03-22 13:38:28 +0000397#if defined(MBEDTLS_RSA_NO_CRT)
Janos Follath9ef9f102017-03-22 15:13:15 +0000398 mbedtls_mpi D_blind;
Janos Follath578517d2017-03-22 13:38:28 +0000399 mbedtls_mpi *D = &ctx->D;
Janos Follath9ef9f102017-03-22 15:13:15 +0000400#else
401 mbedtls_mpi DP_blind, DQ_blind;
402 mbedtls_mpi *DP = &ctx->DP;
403 mbedtls_mpi *DQ = &ctx->DQ;
Janos Follath578517d2017-03-22 13:38:28 +0000404#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000405
Hanno Beckera82f8912017-11-06 15:08:27 +0000406 /* Temporaries holding the initial input and the double
407 * checked result; should be the same in the end. */
408 mbedtls_mpi I, C;
409
Manuel Pégourié-Gonnard9f44a802015-10-30 10:56:25 +0100410 /* Make sure we have private key info, prevent possible misuse */
411 if( ctx->P.p == NULL || ctx->Q.p == NULL || ctx->D.p == NULL )
412 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
413
Hanno Beckera82f8912017-11-06 15:08:27 +0000414 mbedtls_mpi_init( &I );
415 mbedtls_mpi_init( &C );
416
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200417 mbedtls_mpi_init( &T ); mbedtls_mpi_init( &T1 ); mbedtls_mpi_init( &T2 );
Janos Follath9ef9f102017-03-22 15:13:15 +0000418 mbedtls_mpi_init( &P1 ); mbedtls_mpi_init( &Q1 ); mbedtls_mpi_init( &R );
419
420
421 if( f_rng != NULL )
422 {
Janos Follath578517d2017-03-22 13:38:28 +0000423#if defined(MBEDTLS_RSA_NO_CRT)
Janos Follath9ef9f102017-03-22 15:13:15 +0000424 mbedtls_mpi_init( &D_blind );
425#else
426 mbedtls_mpi_init( &DP_blind );
427 mbedtls_mpi_init( &DQ_blind );
Janos Follath578517d2017-03-22 13:38:28 +0000428#endif
Janos Follath9ef9f102017-03-22 15:13:15 +0000429 }
Janos Follath578517d2017-03-22 13:38:28 +0000430
Paul Bakker5121ce52009-01-03 21:22:43 +0000431
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200432#if defined(MBEDTLS_THREADING_C)
433 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
434 return( ret );
435#endif
436
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200437 MBEDTLS_MPI_CHK( mbedtls_mpi_read_binary( &T, input, ctx->len ) );
438 if( mbedtls_mpi_cmp_mpi( &T, &ctx->N ) >= 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000439 {
Manuel Pégourié-Gonnard4d04cdc2015-08-28 10:32:21 +0200440 ret = MBEDTLS_ERR_MPI_BAD_INPUT_DATA;
441 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +0000442 }
443
Hanno Beckera82f8912017-11-06 15:08:27 +0000444 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &I, &T ) );
445
Paul Bakkerf451bac2013-08-30 15:37:02 +0200446 if( f_rng != NULL )
447 {
448 /*
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200449 * Blinding
450 * T = T * Vi mod N
Paul Bakkerf451bac2013-08-30 15:37:02 +0200451 */
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200452 MBEDTLS_MPI_CHK( rsa_prepare_blinding( ctx, f_rng, p_rng ) );
453 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &T, &T, &ctx->Vi ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200454 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &T, &T, &ctx->N ) );
Janos Follath578517d2017-03-22 13:38:28 +0000455
Janos Follath578517d2017-03-22 13:38:28 +0000456 /*
457 * Exponent blinding
458 */
459 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &P1, &ctx->P, 1 ) );
460 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_int( &Q1, &ctx->Q, 1 ) );
461
Janos Follath9ef9f102017-03-22 15:13:15 +0000462#if defined(MBEDTLS_RSA_NO_CRT)
Janos Follath578517d2017-03-22 13:38:28 +0000463 /*
464 * D_blind = ( P - 1 ) * ( Q - 1 ) * R + D
465 */
466 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &R, RSA_EXPONENT_BLINDING,
467 f_rng, p_rng ) );
468 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &D_blind, &P1, &Q1 ) );
469 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &D_blind, &D_blind, &R ) );
470 MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &D_blind, &D_blind, &ctx->D ) );
471
472 D = &D_blind;
Janos Follath9ef9f102017-03-22 15:13:15 +0000473#else
474 /*
475 * DP_blind = ( P - 1 ) * R + DP
476 */
477 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &R, RSA_EXPONENT_BLINDING,
478 f_rng, p_rng ) );
479 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &DP_blind, &P1, &R ) );
480 MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &DP_blind, &DP_blind,
481 &ctx->DP ) );
482
483 DP = &DP_blind;
484
485 /*
486 * DQ_blind = ( Q - 1 ) * R + DQ
487 */
488 MBEDTLS_MPI_CHK( mbedtls_mpi_fill_random( &R, RSA_EXPONENT_BLINDING,
489 f_rng, p_rng ) );
490 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &DQ_blind, &Q1, &R ) );
491 MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &DQ_blind, &DQ_blind,
492 &ctx->DQ ) );
493
494 DQ = &DQ_blind;
Janos Follath578517d2017-03-22 13:38:28 +0000495#endif /* MBEDTLS_RSA_NO_CRT */
Paul Bakkerf451bac2013-08-30 15:37:02 +0200496 }
Paul Bakkeraab30c12013-08-30 11:00:25 +0200497
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200498#if defined(MBEDTLS_RSA_NO_CRT)
Janos Follath578517d2017-03-22 13:38:28 +0000499 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &T, &T, D, &ctx->N, &ctx->RN ) );
Manuel Pégourié-Gonnarde10e06d2014-11-06 18:15:12 +0100500#else
Paul Bakkeraab30c12013-08-30 11:00:25 +0200501 /*
Janos Follath578517d2017-03-22 13:38:28 +0000502 * Faster decryption using the CRT
Paul Bakker5121ce52009-01-03 21:22:43 +0000503 *
504 * T1 = input ^ dP mod P
505 * T2 = input ^ dQ mod Q
506 */
Janos Follath9ef9f102017-03-22 15:13:15 +0000507 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &T1, &T, DP, &ctx->P, &ctx->RP ) );
508 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &T2, &T, DQ, &ctx->Q, &ctx->RQ ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000509
510 /*
511 * T = (T1 - T2) * (Q^-1 mod P) mod P
512 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200513 MBEDTLS_MPI_CHK( mbedtls_mpi_sub_mpi( &T, &T1, &T2 ) );
514 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &T1, &T, &ctx->QP ) );
515 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &T, &T1, &ctx->P ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000516
517 /*
Paul Bakkerf451bac2013-08-30 15:37:02 +0200518 * T = T2 + T * Q
Paul Bakker5121ce52009-01-03 21:22:43 +0000519 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200520 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &T1, &T, &ctx->Q ) );
521 MBEDTLS_MPI_CHK( mbedtls_mpi_add_mpi( &T, &T2, &T1 ) );
522#endif /* MBEDTLS_RSA_NO_CRT */
Paul Bakkeraab30c12013-08-30 11:00:25 +0200523
Paul Bakkerf451bac2013-08-30 15:37:02 +0200524 if( f_rng != NULL )
525 {
526 /*
527 * Unblind
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200528 * T = T * Vf mod N
Paul Bakkerf451bac2013-08-30 15:37:02 +0200529 */
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200530 MBEDTLS_MPI_CHK( mbedtls_mpi_mul_mpi( &T, &T, &ctx->Vf ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200531 MBEDTLS_MPI_CHK( mbedtls_mpi_mod_mpi( &T, &T, &ctx->N ) );
Paul Bakkerf451bac2013-08-30 15:37:02 +0200532 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000533
Hanno Beckera82f8912017-11-06 15:08:27 +0000534 /* Verify the result to prevent glitching attacks. */
535 MBEDTLS_MPI_CHK( mbedtls_mpi_exp_mod( &C, &T, &ctx->E,
536 &ctx->N, &ctx->RN ) );
537 if( mbedtls_mpi_cmp_mpi( &C, &I ) != 0 )
538 {
539 ret = MBEDTLS_ERR_RSA_VERIFY_FAILED;
540 goto cleanup;
541 }
542
Paul Bakker5121ce52009-01-03 21:22:43 +0000543 olen = ctx->len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200544 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( &T, output, olen ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000545
546cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200547#if defined(MBEDTLS_THREADING_C)
Manuel Pégourié-Gonnard4d04cdc2015-08-28 10:32:21 +0200548 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
549 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200550#endif
Manuel Pégourié-Gonnard1385a282015-08-27 11:30:58 +0200551
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200552 mbedtls_mpi_free( &T ); mbedtls_mpi_free( &T1 ); mbedtls_mpi_free( &T2 );
Janos Follath9ef9f102017-03-22 15:13:15 +0000553 mbedtls_mpi_free( &P1 ); mbedtls_mpi_free( &Q1 ); mbedtls_mpi_free( &R );
554
555 if( f_rng != NULL )
556 {
Janos Follath578517d2017-03-22 13:38:28 +0000557#if defined(MBEDTLS_RSA_NO_CRT)
Janos Follath9ef9f102017-03-22 15:13:15 +0000558 mbedtls_mpi_free( &D_blind );
559#else
560 mbedtls_mpi_free( &DP_blind );
561 mbedtls_mpi_free( &DQ_blind );
Janos Follath578517d2017-03-22 13:38:28 +0000562#endif
Janos Follath9ef9f102017-03-22 15:13:15 +0000563 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000564
Hanno Beckera82f8912017-11-06 15:08:27 +0000565 mbedtls_mpi_free( &C );
566 mbedtls_mpi_free( &I );
567
Paul Bakker5121ce52009-01-03 21:22:43 +0000568 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200569 return( MBEDTLS_ERR_RSA_PRIVATE_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000570
571 return( 0 );
572}
573
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200574#if defined(MBEDTLS_PKCS1_V21)
Paul Bakker9dcc3222011-03-08 14:16:06 +0000575/**
576 * Generate and apply the MGF1 operation (from PKCS#1 v2.1) to a buffer.
577 *
Paul Bakkerb125ed82011-11-10 13:33:51 +0000578 * \param dst buffer to mask
579 * \param dlen length of destination buffer
580 * \param src source of the mask generation
581 * \param slen length of the source buffer
582 * \param md_ctx message digest context to use
Paul Bakker9dcc3222011-03-08 14:16:06 +0000583 */
Paul Bakker48377d92013-08-30 12:06:24 +0200584static void mgf_mask( unsigned char *dst, size_t dlen, unsigned char *src,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200585 size_t slen, mbedtls_md_context_t *md_ctx )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000586{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200587 unsigned char mask[MBEDTLS_MD_MAX_SIZE];
Paul Bakker9dcc3222011-03-08 14:16:06 +0000588 unsigned char counter[4];
589 unsigned char *p;
Paul Bakker23986e52011-04-24 08:57:21 +0000590 unsigned int hlen;
591 size_t i, use_len;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000592
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200593 memset( mask, 0, MBEDTLS_MD_MAX_SIZE );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000594 memset( counter, 0, 4 );
595
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200596 hlen = mbedtls_md_get_size( md_ctx->md_info );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000597
598 // Generate and apply dbMask
599 //
600 p = dst;
601
602 while( dlen > 0 )
603 {
604 use_len = hlen;
605 if( dlen < hlen )
606 use_len = dlen;
607
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200608 mbedtls_md_starts( md_ctx );
609 mbedtls_md_update( md_ctx, src, slen );
610 mbedtls_md_update( md_ctx, counter, 4 );
611 mbedtls_md_finish( md_ctx, mask );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000612
613 for( i = 0; i < use_len; ++i )
614 *p++ ^= mask[i];
615
616 counter[3]++;
617
618 dlen -= use_len;
619 }
Gilles Peskine74fd8682017-05-05 19:24:06 +0200620
621 mbedtls_zeroize( mask, sizeof( mask ) );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000622}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200623#endif /* MBEDTLS_PKCS1_V21 */
Paul Bakker9dcc3222011-03-08 14:16:06 +0000624
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200625#if defined(MBEDTLS_PKCS1_V21)
Paul Bakkerb3869132013-02-28 17:21:01 +0100626/*
627 * Implementation of the PKCS#1 v2.1 RSAES-OAEP-ENCRYPT function
628 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200629int mbedtls_rsa_rsaes_oaep_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +0100630 int (*f_rng)(void *, unsigned char *, size_t),
631 void *p_rng,
Paul Bakkera43231c2013-02-28 17:33:49 +0100632 int mode,
633 const unsigned char *label, size_t label_len,
634 size_t ilen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100635 const unsigned char *input,
636 unsigned char *output )
637{
638 size_t olen;
639 int ret;
640 unsigned char *p = output;
641 unsigned int hlen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200642 const mbedtls_md_info_t *md_info;
643 mbedtls_md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +0100644
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200645 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V21 )
646 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200647
648 if( f_rng == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200649 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100650
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200651 md_info = mbedtls_md_info_from_type( (mbedtls_md_type_t) ctx->hash_id );
Paul Bakkerb3869132013-02-28 17:21:01 +0100652 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200653 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100654
655 olen = ctx->len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200656 hlen = mbedtls_md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +0100657
Janos Follathe33f5592016-02-08 14:52:29 +0000658 // first comparison checks for overflow
659 if( ilen + 2 * hlen + 2 < ilen || olen < ilen + 2 * hlen + 2 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200660 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100661
662 memset( output, 0, olen );
663
664 *p++ = 0;
665
666 // Generate a random octet string seed
667 //
668 if( ( ret = f_rng( p_rng, p, hlen ) ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200669 return( MBEDTLS_ERR_RSA_RNG_FAILED + ret );
Paul Bakkerb3869132013-02-28 17:21:01 +0100670
671 p += hlen;
672
673 // Construct DB
674 //
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200675 mbedtls_md( md_info, label, label_len, p );
Paul Bakkerb3869132013-02-28 17:21:01 +0100676 p += hlen;
677 p += olen - 2 * hlen - 2 - ilen;
678 *p++ = 1;
679 memcpy( p, input, ilen );
680
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200681 mbedtls_md_init( &md_ctx );
Brian J Murray88c2d222016-06-23 12:57:03 -0700682 if( ( ret = mbedtls_md_setup( &md_ctx, md_info, 0 ) ) != 0 )
683 {
684 mbedtls_md_free( &md_ctx );
685 return( ret );
686 }
Paul Bakkerb3869132013-02-28 17:21:01 +0100687
688 // maskedDB: Apply dbMask to DB
689 //
690 mgf_mask( output + hlen + 1, olen - hlen - 1, output + 1, hlen,
691 &md_ctx );
692
693 // maskedSeed: Apply seedMask to seed
694 //
695 mgf_mask( output + 1, hlen, output + hlen + 1, olen - hlen - 1,
696 &md_ctx );
697
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200698 mbedtls_md_free( &md_ctx );
Paul Bakkerb3869132013-02-28 17:21:01 +0100699
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200700 return( ( mode == MBEDTLS_RSA_PUBLIC )
701 ? mbedtls_rsa_public( ctx, output, output )
702 : mbedtls_rsa_private( ctx, f_rng, p_rng, output, output ) );
Paul Bakkerb3869132013-02-28 17:21:01 +0100703}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200704#endif /* MBEDTLS_PKCS1_V21 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100705
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200706#if defined(MBEDTLS_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +0100707/*
708 * Implementation of the PKCS#1 v2.1 RSAES-PKCS1-V1_5-ENCRYPT function
709 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200710int mbedtls_rsa_rsaes_pkcs1_v15_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +0100711 int (*f_rng)(void *, unsigned char *, size_t),
712 void *p_rng,
713 int mode, size_t ilen,
714 const unsigned char *input,
715 unsigned char *output )
716{
717 size_t nb_pad, olen;
718 int ret;
719 unsigned char *p = output;
720
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200721 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V15 )
722 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200723
Janos Follath689a6272016-03-18 11:45:44 +0000724 // We don't check p_rng because it won't be dereferenced here
725 if( f_rng == NULL || input == NULL || output == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200726 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100727
728 olen = ctx->len;
Janos Follathe33f5592016-02-08 14:52:29 +0000729
730 // first comparison checks for overflow
731 if( ilen + 11 < ilen || olen < ilen + 11 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200732 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100733
734 nb_pad = olen - 3 - ilen;
735
736 *p++ = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200737 if( mode == MBEDTLS_RSA_PUBLIC )
Paul Bakkerb3869132013-02-28 17:21:01 +0100738 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200739 *p++ = MBEDTLS_RSA_CRYPT;
Paul Bakkerb3869132013-02-28 17:21:01 +0100740
741 while( nb_pad-- > 0 )
742 {
743 int rng_dl = 100;
744
745 do {
746 ret = f_rng( p_rng, p, 1 );
747 } while( *p == 0 && --rng_dl && ret == 0 );
748
749 // Check if RNG failed to generate data
750 //
Paul Bakker66d5d072014-06-17 16:39:18 +0200751 if( rng_dl == 0 || ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200752 return( MBEDTLS_ERR_RSA_RNG_FAILED + ret );
Paul Bakkerb3869132013-02-28 17:21:01 +0100753
754 p++;
755 }
756 }
757 else
758 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200759 *p++ = MBEDTLS_RSA_SIGN;
Paul Bakkerb3869132013-02-28 17:21:01 +0100760
761 while( nb_pad-- > 0 )
762 *p++ = 0xFF;
763 }
764
765 *p++ = 0;
766 memcpy( p, input, ilen );
767
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200768 return( ( mode == MBEDTLS_RSA_PUBLIC )
769 ? mbedtls_rsa_public( ctx, output, output )
770 : mbedtls_rsa_private( ctx, f_rng, p_rng, output, output ) );
Paul Bakkerb3869132013-02-28 17:21:01 +0100771}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200772#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100773
Paul Bakker5121ce52009-01-03 21:22:43 +0000774/*
775 * Add the message padding, then do an RSA operation
776 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200777int mbedtls_rsa_pkcs1_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000778 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker21eb2802010-08-16 11:10:02 +0000779 void *p_rng,
Paul Bakker23986e52011-04-24 08:57:21 +0000780 int mode, size_t ilen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000781 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000782 unsigned char *output )
783{
Paul Bakker5121ce52009-01-03 21:22:43 +0000784 switch( ctx->padding )
785 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200786#if defined(MBEDTLS_PKCS1_V15)
787 case MBEDTLS_RSA_PKCS_V15:
788 return mbedtls_rsa_rsaes_pkcs1_v15_encrypt( ctx, f_rng, p_rng, mode, ilen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100789 input, output );
Paul Bakker48377d92013-08-30 12:06:24 +0200790#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000791
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200792#if defined(MBEDTLS_PKCS1_V21)
793 case MBEDTLS_RSA_PKCS_V21:
794 return mbedtls_rsa_rsaes_oaep_encrypt( ctx, f_rng, p_rng, mode, NULL, 0,
Paul Bakkerb3869132013-02-28 17:21:01 +0100795 ilen, input, output );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000796#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000797
798 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200799 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakker5121ce52009-01-03 21:22:43 +0000800 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000801}
802
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200803#if defined(MBEDTLS_PKCS1_V21)
Paul Bakker5121ce52009-01-03 21:22:43 +0000804/*
Paul Bakkerb3869132013-02-28 17:21:01 +0100805 * Implementation of the PKCS#1 v2.1 RSAES-OAEP-DECRYPT function
Paul Bakker5121ce52009-01-03 21:22:43 +0000806 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200807int mbedtls_rsa_rsaes_oaep_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200808 int (*f_rng)(void *, unsigned char *, size_t),
809 void *p_rng,
810 int mode,
Paul Bakkera43231c2013-02-28 17:33:49 +0100811 const unsigned char *label, size_t label_len,
812 size_t *olen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100813 const unsigned char *input,
814 unsigned char *output,
815 size_t output_max_len )
Paul Bakker5121ce52009-01-03 21:22:43 +0000816{
Paul Bakker23986e52011-04-24 08:57:21 +0000817 int ret;
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100818 size_t ilen, i, pad_len;
819 unsigned char *p, bad, pad_done;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200820 unsigned char buf[MBEDTLS_MPI_MAX_SIZE];
821 unsigned char lhash[MBEDTLS_MD_MAX_SIZE];
Paul Bakker23986e52011-04-24 08:57:21 +0000822 unsigned int hlen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200823 const mbedtls_md_info_t *md_info;
824 mbedtls_md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +0100825
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100826 /*
827 * Parameters sanity checks
828 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200829 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V21 )
830 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000831
832 ilen = ctx->len;
833
Paul Bakker27fdf462011-06-09 13:55:13 +0000834 if( ilen < 16 || ilen > sizeof( buf ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200835 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000836
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200837 md_info = mbedtls_md_info_from_type( (mbedtls_md_type_t) ctx->hash_id );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100838 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200839 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100840
Janos Follath25da9b32016-02-11 11:08:18 +0000841 hlen = mbedtls_md_get_size( md_info );
842
843 // checking for integer underflow
844 if( 2 * hlen + 2 > ilen )
845 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
846
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100847 /*
848 * RSA operation
849 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200850 ret = ( mode == MBEDTLS_RSA_PUBLIC )
851 ? mbedtls_rsa_public( ctx, input, buf )
852 : mbedtls_rsa_private( ctx, f_rng, p_rng, input, buf );
Paul Bakker5121ce52009-01-03 21:22:43 +0000853
854 if( ret != 0 )
Gilles Peskine8877ec22017-03-23 14:37:37 +0100855 goto cleanup;
Paul Bakker5121ce52009-01-03 21:22:43 +0000856
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100857 /*
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100858 * Unmask data and generate lHash
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100859 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200860 mbedtls_md_init( &md_ctx );
Brian J Murray88c2d222016-06-23 12:57:03 -0700861 if( ( ret = mbedtls_md_setup( &md_ctx, md_info, 0 ) ) != 0 )
862 {
863 mbedtls_md_free( &md_ctx );
Gilles Peskine8877ec22017-03-23 14:37:37 +0100864 goto cleanup;
Brian J Murray88c2d222016-06-23 12:57:03 -0700865 }
866
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100867
868 /* Generate lHash */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200869 mbedtls_md( md_info, label, label_len, lhash );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100870
871 /* seed: Apply seedMask to maskedSeed */
872 mgf_mask( buf + 1, hlen, buf + hlen + 1, ilen - hlen - 1,
873 &md_ctx );
874
875 /* DB: Apply dbMask to maskedDB */
876 mgf_mask( buf + hlen + 1, ilen - hlen - 1, buf + 1, hlen,
877 &md_ctx );
878
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200879 mbedtls_md_free( &md_ctx );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100880
881 /*
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100882 * Check contents, in "constant-time"
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100883 */
Paul Bakker5121ce52009-01-03 21:22:43 +0000884 p = buf;
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100885 bad = 0;
Paul Bakker5121ce52009-01-03 21:22:43 +0000886
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100887 bad |= *p++; /* First byte must be 0 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100888
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100889 p += hlen; /* Skip seed */
Paul Bakkerb3869132013-02-28 17:21:01 +0100890
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100891 /* Check lHash */
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100892 for( i = 0; i < hlen; i++ )
893 bad |= lhash[i] ^ *p++;
Paul Bakkerb3869132013-02-28 17:21:01 +0100894
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100895 /* Get zero-padding len, but always read till end of buffer
896 * (minus one, for the 01 byte) */
897 pad_len = 0;
898 pad_done = 0;
899 for( i = 0; i < ilen - 2 * hlen - 2; i++ )
900 {
901 pad_done |= p[i];
Pascal Junodb99183d2015-03-11 16:49:45 +0100902 pad_len += ((pad_done | (unsigned char)-pad_done) >> 7) ^ 1;
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100903 }
Paul Bakkerb3869132013-02-28 17:21:01 +0100904
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100905 p += pad_len;
906 bad |= *p++ ^ 0x01;
Paul Bakkerb3869132013-02-28 17:21:01 +0100907
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100908 /*
909 * The only information "leaked" is whether the padding was correct or not
910 * (eg, no data is copied if it was not correct). This meets the
911 * recommendations in PKCS#1 v2.2: an opponent cannot distinguish between
912 * the different error conditions.
913 */
914 if( bad != 0 )
Gilles Peskine8877ec22017-03-23 14:37:37 +0100915 {
916 ret = MBEDTLS_ERR_RSA_INVALID_PADDING;
917 goto cleanup;
918 }
Paul Bakkerb3869132013-02-28 17:21:01 +0100919
Paul Bakker66d5d072014-06-17 16:39:18 +0200920 if( ilen - ( p - buf ) > output_max_len )
Gilles Peskine8877ec22017-03-23 14:37:37 +0100921 {
922 ret = MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE;
923 goto cleanup;
924 }
Paul Bakkerb3869132013-02-28 17:21:01 +0100925
926 *olen = ilen - (p - buf);
927 memcpy( output, p, *olen );
Gilles Peskine8877ec22017-03-23 14:37:37 +0100928 ret = 0;
Paul Bakkerb3869132013-02-28 17:21:01 +0100929
Gilles Peskine8877ec22017-03-23 14:37:37 +0100930cleanup:
931 mbedtls_zeroize( buf, sizeof( buf ) );
932 mbedtls_zeroize( lhash, sizeof( lhash ) );
933
934 return( ret );
Paul Bakkerb3869132013-02-28 17:21:01 +0100935}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200936#endif /* MBEDTLS_PKCS1_V21 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100937
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200938#if defined(MBEDTLS_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +0100939/*
940 * Implementation of the PKCS#1 v2.1 RSAES-PKCS1-V1_5-DECRYPT function
941 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200942int mbedtls_rsa_rsaes_pkcs1_v15_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200943 int (*f_rng)(void *, unsigned char *, size_t),
944 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +0100945 int mode, size_t *olen,
946 const unsigned char *input,
947 unsigned char *output,
948 size_t output_max_len)
949{
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100950 int ret;
951 size_t ilen, pad_count = 0, i;
952 unsigned char *p, bad, pad_done = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200953 unsigned char buf[MBEDTLS_MPI_MAX_SIZE];
Paul Bakkerb3869132013-02-28 17:21:01 +0100954
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200955 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V15 )
956 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100957
958 ilen = ctx->len;
959
960 if( ilen < 16 || ilen > sizeof( buf ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200961 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +0100962
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200963 ret = ( mode == MBEDTLS_RSA_PUBLIC )
964 ? mbedtls_rsa_public( ctx, input, buf )
965 : mbedtls_rsa_private( ctx, f_rng, p_rng, input, buf );
Paul Bakkerb3869132013-02-28 17:21:01 +0100966
967 if( ret != 0 )
Gilles Peskine8877ec22017-03-23 14:37:37 +0100968 goto cleanup;
Paul Bakkerb3869132013-02-28 17:21:01 +0100969
970 p = buf;
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100971 bad = 0;
Paul Bakkerb3869132013-02-28 17:21:01 +0100972
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100973 /*
974 * Check and get padding len in "constant-time"
975 */
976 bad |= *p++; /* First byte must be 0 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100977
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100978 /* This test does not depend on secret data */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200979 if( mode == MBEDTLS_RSA_PRIVATE )
Paul Bakker5121ce52009-01-03 21:22:43 +0000980 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200981 bad |= *p++ ^ MBEDTLS_RSA_CRYPT;
Paul Bakker5121ce52009-01-03 21:22:43 +0000982
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100983 /* Get padding len, but always read till end of buffer
984 * (minus one, for the 00 byte) */
985 for( i = 0; i < ilen - 3; i++ )
986 {
Pascal Junodb99183d2015-03-11 16:49:45 +0100987 pad_done |= ((p[i] | (unsigned char)-p[i]) >> 7) ^ 1;
988 pad_count += ((pad_done | (unsigned char)-pad_done) >> 7) ^ 1;
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100989 }
Paul Bakkere6ee41f2012-05-19 08:43:48 +0000990
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100991 p += pad_count;
992 bad |= *p++; /* Must be zero */
Paul Bakkerb3869132013-02-28 17:21:01 +0100993 }
994 else
995 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200996 bad |= *p++ ^ MBEDTLS_RSA_SIGN;
Paul Bakkerb3869132013-02-28 17:21:01 +0100997
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100998 /* Get padding len, but always read till end of buffer
999 * (minus one, for the 00 byte) */
1000 for( i = 0; i < ilen - 3; i++ )
1001 {
Manuel Pégourié-Gonnardfbf09152014-02-03 11:58:55 +01001002 pad_done |= ( p[i] != 0xFF );
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001003 pad_count += ( pad_done == 0 );
1004 }
Paul Bakkerb3869132013-02-28 17:21:01 +01001005
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001006 p += pad_count;
1007 bad |= *p++; /* Must be zero */
Paul Bakker5121ce52009-01-03 21:22:43 +00001008 }
1009
Janos Follathe007c9f2016-02-12 13:30:09 +00001010 bad |= ( pad_count < 8 );
Janos Follatha9583432016-02-08 13:59:25 +00001011
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +01001012 if( bad )
Gilles Peskine8877ec22017-03-23 14:37:37 +01001013 {
1014 ret = MBEDTLS_ERR_RSA_INVALID_PADDING;
1015 goto cleanup;
1016 }
Paul Bakker8804f692013-02-28 18:06:26 +01001017
Paul Bakker66d5d072014-06-17 16:39:18 +02001018 if( ilen - ( p - buf ) > output_max_len )
Gilles Peskine8877ec22017-03-23 14:37:37 +01001019 {
1020 ret = MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE;
1021 goto cleanup;
1022 }
Paul Bakker060c5682009-01-12 21:48:39 +00001023
Paul Bakker27fdf462011-06-09 13:55:13 +00001024 *olen = ilen - (p - buf);
Paul Bakker5121ce52009-01-03 21:22:43 +00001025 memcpy( output, p, *olen );
Gilles Peskine8877ec22017-03-23 14:37:37 +01001026 ret = 0;
Paul Bakker5121ce52009-01-03 21:22:43 +00001027
Gilles Peskine8877ec22017-03-23 14:37:37 +01001028cleanup:
1029 mbedtls_zeroize( buf, sizeof( buf ) );
1030
1031 return( ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00001032}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001033#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakker5121ce52009-01-03 21:22:43 +00001034
1035/*
Paul Bakkerb3869132013-02-28 17:21:01 +01001036 * Do an RSA operation, then remove the message padding
1037 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001038int mbedtls_rsa_pkcs1_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001039 int (*f_rng)(void *, unsigned char *, size_t),
1040 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001041 int mode, size_t *olen,
1042 const unsigned char *input,
1043 unsigned char *output,
1044 size_t output_max_len)
1045{
1046 switch( ctx->padding )
1047 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001048#if defined(MBEDTLS_PKCS1_V15)
1049 case MBEDTLS_RSA_PKCS_V15:
1050 return mbedtls_rsa_rsaes_pkcs1_v15_decrypt( ctx, f_rng, p_rng, mode, olen,
Paul Bakker548957d2013-08-30 10:30:02 +02001051 input, output, output_max_len );
Paul Bakker48377d92013-08-30 12:06:24 +02001052#endif
Paul Bakkerb3869132013-02-28 17:21:01 +01001053
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001054#if defined(MBEDTLS_PKCS1_V21)
1055 case MBEDTLS_RSA_PKCS_V21:
1056 return mbedtls_rsa_rsaes_oaep_decrypt( ctx, f_rng, p_rng, mode, NULL, 0,
Paul Bakker548957d2013-08-30 10:30:02 +02001057 olen, input, output,
1058 output_max_len );
Paul Bakkerb3869132013-02-28 17:21:01 +01001059#endif
1060
1061 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001062 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001063 }
1064}
1065
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001066#if defined(MBEDTLS_PKCS1_V21)
Paul Bakkerb3869132013-02-28 17:21:01 +01001067/*
1068 * Implementation of the PKCS#1 v2.1 RSASSA-PSS-SIGN function
1069 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001070int mbedtls_rsa_rsassa_pss_sign( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +01001071 int (*f_rng)(void *, unsigned char *, size_t),
1072 void *p_rng,
1073 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001074 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001075 unsigned int hashlen,
1076 const unsigned char *hash,
1077 unsigned char *sig )
1078{
1079 size_t olen;
1080 unsigned char *p = sig;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001081 unsigned char salt[MBEDTLS_MD_MAX_SIZE];
Paul Bakkerb3869132013-02-28 17:21:01 +01001082 unsigned int slen, hlen, offset = 0;
1083 int ret;
1084 size_t msb;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001085 const mbedtls_md_info_t *md_info;
1086 mbedtls_md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +01001087
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001088 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V21 )
1089 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +02001090
1091 if( f_rng == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001092 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001093
1094 olen = ctx->len;
1095
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001096 if( md_alg != MBEDTLS_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001097 {
Paul Bakkerc70b9822013-04-07 22:00:46 +02001098 // Gather length of hash to sign
1099 //
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001100 md_info = mbedtls_md_info_from_type( md_alg );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001101 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001102 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001103
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001104 hashlen = mbedtls_md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +01001105 }
1106
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001107 md_info = mbedtls_md_info_from_type( (mbedtls_md_type_t) ctx->hash_id );
Paul Bakkerb3869132013-02-28 17:21:01 +01001108 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001109 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001110
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001111 hlen = mbedtls_md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +01001112 slen = hlen;
1113
1114 if( olen < hlen + slen + 2 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001115 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001116
1117 memset( sig, 0, olen );
1118
Paul Bakkerb3869132013-02-28 17:21:01 +01001119 // Generate salt of length slen
1120 //
1121 if( ( ret = f_rng( p_rng, salt, slen ) ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001122 return( MBEDTLS_ERR_RSA_RNG_FAILED + ret );
Paul Bakkerb3869132013-02-28 17:21:01 +01001123
1124 // Note: EMSA-PSS encoding is over the length of N - 1 bits
1125 //
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +02001126 msb = mbedtls_mpi_bitlen( &ctx->N ) - 1;
Paul Bakkerb3869132013-02-28 17:21:01 +01001127 p += olen - hlen * 2 - 2;
1128 *p++ = 0x01;
1129 memcpy( p, salt, slen );
1130 p += slen;
1131
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001132 mbedtls_md_init( &md_ctx );
Brian J Murray88c2d222016-06-23 12:57:03 -07001133 if( ( ret = mbedtls_md_setup( &md_ctx, md_info, 0 ) ) != 0 )
1134 {
1135 mbedtls_md_free( &md_ctx );
Gilles Peskine74fd8682017-05-05 19:24:06 +02001136 /* No need to zeroize salt: we didn't use it. */
Brian J Murray88c2d222016-06-23 12:57:03 -07001137 return( ret );
1138 }
Paul Bakkerb3869132013-02-28 17:21:01 +01001139
1140 // Generate H = Hash( M' )
1141 //
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001142 mbedtls_md_starts( &md_ctx );
1143 mbedtls_md_update( &md_ctx, p, 8 );
1144 mbedtls_md_update( &md_ctx, hash, hashlen );
1145 mbedtls_md_update( &md_ctx, salt, slen );
1146 mbedtls_md_finish( &md_ctx, p );
Gilles Peskine74fd8682017-05-05 19:24:06 +02001147 mbedtls_zeroize( salt, sizeof( salt ) );
Paul Bakkerb3869132013-02-28 17:21:01 +01001148
1149 // Compensate for boundary condition when applying mask
1150 //
1151 if( msb % 8 == 0 )
1152 offset = 1;
1153
1154 // maskedDB: Apply dbMask to DB
1155 //
1156 mgf_mask( sig + offset, olen - hlen - 1 - offset, p, hlen, &md_ctx );
1157
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001158 mbedtls_md_free( &md_ctx );
Paul Bakkerb3869132013-02-28 17:21:01 +01001159
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +02001160 msb = mbedtls_mpi_bitlen( &ctx->N ) - 1;
Paul Bakkerb3869132013-02-28 17:21:01 +01001161 sig[0] &= 0xFF >> ( olen * 8 - msb );
1162
1163 p += hlen;
1164 *p++ = 0xBC;
1165
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001166 return( ( mode == MBEDTLS_RSA_PUBLIC )
1167 ? mbedtls_rsa_public( ctx, sig, sig )
1168 : mbedtls_rsa_private( ctx, f_rng, p_rng, sig, sig ) );
Paul Bakkerb3869132013-02-28 17:21:01 +01001169}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001170#endif /* MBEDTLS_PKCS1_V21 */
Paul Bakkerb3869132013-02-28 17:21:01 +01001171
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001172#if defined(MBEDTLS_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +01001173/*
1174 * Implementation of the PKCS#1 v2.1 RSASSA-PKCS1-V1_5-SIGN function
1175 */
1176/*
1177 * Do an RSA operation to sign the message digest
1178 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001179int mbedtls_rsa_rsassa_pkcs1_v15_sign( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001180 int (*f_rng)(void *, unsigned char *, size_t),
1181 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001182 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001183 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001184 unsigned int hashlen,
1185 const unsigned char *hash,
1186 unsigned char *sig )
1187{
Paul Bakkerc70b9822013-04-07 22:00:46 +02001188 size_t nb_pad, olen, oid_size = 0;
Paul Bakkerb3869132013-02-28 17:21:01 +01001189 unsigned char *p = sig;
Paul Bakker21e081b2014-07-24 10:38:01 +02001190 const char *oid = NULL;
Manuel Pégourié-Gonnard5f501042015-09-03 20:03:15 +02001191 unsigned char *sig_try = NULL, *verif = NULL;
1192 size_t i;
1193 unsigned char diff;
1194 volatile unsigned char diff_no_optimize;
1195 int ret;
Paul Bakkerb3869132013-02-28 17:21:01 +01001196
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001197 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V15 )
1198 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001199
1200 olen = ctx->len;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001201 nb_pad = olen - 3;
Paul Bakkerb3869132013-02-28 17:21:01 +01001202
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001203 if( md_alg != MBEDTLS_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001204 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001205 const mbedtls_md_info_t *md_info = mbedtls_md_info_from_type( md_alg );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001206 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001207 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001208
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001209 if( mbedtls_oid_get_oid_by_md( md_alg, &oid, &oid_size ) != 0 )
1210 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001211
Paul Bakkerc70b9822013-04-07 22:00:46 +02001212 nb_pad -= 10 + oid_size;
1213
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001214 hashlen = mbedtls_md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +01001215 }
1216
Paul Bakkerc70b9822013-04-07 22:00:46 +02001217 nb_pad -= hashlen;
1218
Paul Bakkerb3869132013-02-28 17:21:01 +01001219 if( ( nb_pad < 8 ) || ( nb_pad > olen ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001220 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001221
1222 *p++ = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001223 *p++ = MBEDTLS_RSA_SIGN;
Paul Bakkerb3869132013-02-28 17:21:01 +01001224 memset( p, 0xFF, nb_pad );
1225 p += nb_pad;
1226 *p++ = 0;
1227
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001228 if( md_alg == MBEDTLS_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001229 {
Paul Bakkerc70b9822013-04-07 22:00:46 +02001230 memcpy( p, hash, hashlen );
1231 }
1232 else
1233 {
1234 /*
1235 * DigestInfo ::= SEQUENCE {
1236 * digestAlgorithm DigestAlgorithmIdentifier,
1237 * digest Digest }
1238 *
1239 * DigestAlgorithmIdentifier ::= AlgorithmIdentifier
1240 *
1241 * Digest ::= OCTET STRING
1242 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001243 *p++ = MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001244 *p++ = (unsigned char) ( 0x08 + oid_size + hashlen );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001245 *p++ = MBEDTLS_ASN1_SEQUENCE | MBEDTLS_ASN1_CONSTRUCTED;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001246 *p++ = (unsigned char) ( 0x04 + oid_size );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001247 *p++ = MBEDTLS_ASN1_OID;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001248 *p++ = oid_size & 0xFF;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001249 memcpy( p, oid, oid_size );
1250 p += oid_size;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001251 *p++ = MBEDTLS_ASN1_NULL;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001252 *p++ = 0x00;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001253 *p++ = MBEDTLS_ASN1_OCTET_STRING;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001254 *p++ = hashlen;
1255 memcpy( p, hash, hashlen );
Paul Bakkerb3869132013-02-28 17:21:01 +01001256 }
1257
Manuel Pégourié-Gonnard5f501042015-09-03 20:03:15 +02001258 if( mode == MBEDTLS_RSA_PUBLIC )
1259 return( mbedtls_rsa_public( ctx, sig, sig ) );
1260
1261 /*
1262 * In order to prevent Lenstra's attack, make the signature in a
1263 * temporary buffer and check it before returning it.
1264 */
1265 sig_try = mbedtls_calloc( 1, ctx->len );
Simon Butcher318daf02016-01-01 21:42:47 +00001266 if( sig_try == NULL )
Manuel Pégourié-Gonnard5f501042015-09-03 20:03:15 +02001267 return( MBEDTLS_ERR_MPI_ALLOC_FAILED );
1268
Simon Butcher318daf02016-01-01 21:42:47 +00001269 verif = mbedtls_calloc( 1, ctx->len );
1270 if( verif == NULL )
1271 {
1272 mbedtls_free( sig_try );
1273 return( MBEDTLS_ERR_MPI_ALLOC_FAILED );
1274 }
1275
Manuel Pégourié-Gonnard5f501042015-09-03 20:03:15 +02001276 MBEDTLS_MPI_CHK( mbedtls_rsa_private( ctx, f_rng, p_rng, sig, sig_try ) );
1277 MBEDTLS_MPI_CHK( mbedtls_rsa_public( ctx, sig_try, verif ) );
1278
1279 /* Compare in constant time just in case */
1280 for( diff = 0, i = 0; i < ctx->len; i++ )
1281 diff |= verif[i] ^ sig[i];
1282 diff_no_optimize = diff;
1283
1284 if( diff_no_optimize != 0 )
1285 {
1286 ret = MBEDTLS_ERR_RSA_PRIVATE_FAILED;
1287 goto cleanup;
1288 }
1289
1290 memcpy( sig, sig_try, ctx->len );
1291
1292cleanup:
1293 mbedtls_free( sig_try );
1294 mbedtls_free( verif );
1295
1296 return( ret );
Paul Bakkerb3869132013-02-28 17:21:01 +01001297}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001298#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakkerb3869132013-02-28 17:21:01 +01001299
1300/*
Paul Bakker5121ce52009-01-03 21:22:43 +00001301 * Do an RSA operation to sign the message digest
1302 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001303int mbedtls_rsa_pkcs1_sign( mbedtls_rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +00001304 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker9dcc3222011-03-08 14:16:06 +00001305 void *p_rng,
Paul Bakker5121ce52009-01-03 21:22:43 +00001306 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001307 mbedtls_md_type_t md_alg,
Paul Bakker23986e52011-04-24 08:57:21 +00001308 unsigned int hashlen,
Paul Bakkerff60ee62010-03-16 21:09:09 +00001309 const unsigned char *hash,
Paul Bakker5121ce52009-01-03 21:22:43 +00001310 unsigned char *sig )
1311{
Paul Bakker5121ce52009-01-03 21:22:43 +00001312 switch( ctx->padding )
1313 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001314#if defined(MBEDTLS_PKCS1_V15)
1315 case MBEDTLS_RSA_PKCS_V15:
1316 return mbedtls_rsa_rsassa_pkcs1_v15_sign( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001317 hashlen, hash, sig );
Paul Bakker48377d92013-08-30 12:06:24 +02001318#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001319
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001320#if defined(MBEDTLS_PKCS1_V21)
1321 case MBEDTLS_RSA_PKCS_V21:
1322 return mbedtls_rsa_rsassa_pss_sign( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001323 hashlen, hash, sig );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001324#endif
1325
Paul Bakker5121ce52009-01-03 21:22:43 +00001326 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001327 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakker5121ce52009-01-03 21:22:43 +00001328 }
Paul Bakker5121ce52009-01-03 21:22:43 +00001329}
1330
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001331#if defined(MBEDTLS_PKCS1_V21)
Paul Bakker5121ce52009-01-03 21:22:43 +00001332/*
Paul Bakkerb3869132013-02-28 17:21:01 +01001333 * Implementation of the PKCS#1 v2.1 RSASSA-PSS-VERIFY function
Paul Bakker5121ce52009-01-03 21:22:43 +00001334 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001335int mbedtls_rsa_rsassa_pss_verify_ext( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001336 int (*f_rng)(void *, unsigned char *, size_t),
1337 void *p_rng,
1338 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001339 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001340 unsigned int hashlen,
1341 const unsigned char *hash,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001342 mbedtls_md_type_t mgf1_hash_id,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001343 int expected_salt_len,
1344 const unsigned char *sig )
Paul Bakker5121ce52009-01-03 21:22:43 +00001345{
Paul Bakker23986e52011-04-24 08:57:21 +00001346 int ret;
Paul Bakkerb3869132013-02-28 17:21:01 +01001347 size_t siglen;
1348 unsigned char *p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001349 unsigned char buf[MBEDTLS_MPI_MAX_SIZE];
1350 unsigned char result[MBEDTLS_MD_MAX_SIZE];
Paul Bakker9dcc3222011-03-08 14:16:06 +00001351 unsigned char zeros[8];
Paul Bakker23986e52011-04-24 08:57:21 +00001352 unsigned int hlen;
1353 size_t slen, msb;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001354 const mbedtls_md_info_t *md_info;
1355 mbedtls_md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +01001356
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001357 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V21 )
1358 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001359
Paul Bakker5121ce52009-01-03 21:22:43 +00001360 siglen = ctx->len;
1361
Paul Bakker27fdf462011-06-09 13:55:13 +00001362 if( siglen < 16 || siglen > sizeof( buf ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001363 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +00001364
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001365 ret = ( mode == MBEDTLS_RSA_PUBLIC )
1366 ? mbedtls_rsa_public( ctx, sig, buf )
1367 : mbedtls_rsa_private( ctx, f_rng, p_rng, sig, buf );
Paul Bakker5121ce52009-01-03 21:22:43 +00001368
1369 if( ret != 0 )
1370 return( ret );
1371
1372 p = buf;
1373
Paul Bakkerb3869132013-02-28 17:21:01 +01001374 if( buf[siglen - 1] != 0xBC )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001375 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001376
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001377 if( md_alg != MBEDTLS_MD_NONE )
Paul Bakker5121ce52009-01-03 21:22:43 +00001378 {
Paul Bakkerc70b9822013-04-07 22:00:46 +02001379 // Gather length of hash to sign
1380 //
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001381 md_info = mbedtls_md_info_from_type( md_alg );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001382 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001383 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001384
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001385 hashlen = mbedtls_md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +01001386 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001387
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001388 md_info = mbedtls_md_info_from_type( mgf1_hash_id );
Paul Bakkerb3869132013-02-28 17:21:01 +01001389 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001390 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001391
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001392 hlen = mbedtls_md_get_size( md_info );
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001393 slen = siglen - hlen - 1; /* Currently length of salt + padding */
Paul Bakker9dcc3222011-03-08 14:16:06 +00001394
Paul Bakkerb3869132013-02-28 17:21:01 +01001395 memset( zeros, 0, 8 );
Paul Bakker53019ae2011-03-25 13:58:48 +00001396
Paul Bakkerb3869132013-02-28 17:21:01 +01001397 // Note: EMSA-PSS verification is over the length of N - 1 bits
1398 //
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +02001399 msb = mbedtls_mpi_bitlen( &ctx->N ) - 1;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001400
Paul Bakkerb3869132013-02-28 17:21:01 +01001401 // Compensate for boundary condition when applying mask
1402 //
1403 if( msb % 8 == 0 )
1404 {
1405 p++;
1406 siglen -= 1;
1407 }
1408 if( buf[0] >> ( 8 - siglen * 8 + msb ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001409 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001410
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001411 mbedtls_md_init( &md_ctx );
Brian J Murray88c2d222016-06-23 12:57:03 -07001412 if( ( ret = mbedtls_md_setup( &md_ctx, md_info, 0 ) ) != 0 )
1413 {
1414 mbedtls_md_free( &md_ctx );
1415 return( ret );
1416 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001417
Paul Bakkerb3869132013-02-28 17:21:01 +01001418 mgf_mask( p, siglen - hlen - 1, p + siglen - hlen - 1, hlen, &md_ctx );
Paul Bakker02303e82013-01-03 11:08:31 +01001419
Paul Bakkerb3869132013-02-28 17:21:01 +01001420 buf[0] &= 0xFF >> ( siglen * 8 - msb );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001421
Paul Bakker4de44aa2013-12-31 11:43:01 +01001422 while( p < buf + siglen && *p == 0 )
Paul Bakkerb3869132013-02-28 17:21:01 +01001423 p++;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001424
Paul Bakkerb3869132013-02-28 17:21:01 +01001425 if( p == buf + siglen ||
1426 *p++ != 0x01 )
1427 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001428 mbedtls_md_free( &md_ctx );
1429 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001430 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001431
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001432 /* Actual salt len */
Paul Bakkerb3869132013-02-28 17:21:01 +01001433 slen -= p - buf;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001434
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001435 if( expected_salt_len != MBEDTLS_RSA_SALT_LEN_ANY &&
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001436 slen != (size_t) expected_salt_len )
1437 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001438 mbedtls_md_free( &md_ctx );
1439 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001440 }
1441
Paul Bakkerb3869132013-02-28 17:21:01 +01001442 // Generate H = Hash( M' )
1443 //
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001444 mbedtls_md_starts( &md_ctx );
1445 mbedtls_md_update( &md_ctx, zeros, 8 );
1446 mbedtls_md_update( &md_ctx, hash, hashlen );
1447 mbedtls_md_update( &md_ctx, p, slen );
1448 mbedtls_md_finish( &md_ctx, result );
Paul Bakker53019ae2011-03-25 13:58:48 +00001449
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001450 mbedtls_md_free( &md_ctx );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001451
Paul Bakkerb3869132013-02-28 17:21:01 +01001452 if( memcmp( p + slen, result, hlen ) == 0 )
1453 return( 0 );
1454 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001455 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerb3869132013-02-28 17:21:01 +01001456}
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001457
1458/*
1459 * Simplified PKCS#1 v2.1 RSASSA-PSS-VERIFY function
1460 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001461int mbedtls_rsa_rsassa_pss_verify( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001462 int (*f_rng)(void *, unsigned char *, size_t),
1463 void *p_rng,
1464 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001465 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001466 unsigned int hashlen,
1467 const unsigned char *hash,
1468 const unsigned char *sig )
1469{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001470 mbedtls_md_type_t mgf1_hash_id = ( ctx->hash_id != MBEDTLS_MD_NONE )
1471 ? (mbedtls_md_type_t) ctx->hash_id
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001472 : md_alg;
1473
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001474 return( mbedtls_rsa_rsassa_pss_verify_ext( ctx, f_rng, p_rng, mode,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001475 md_alg, hashlen, hash,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001476 mgf1_hash_id, MBEDTLS_RSA_SALT_LEN_ANY,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001477 sig ) );
1478
1479}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001480#endif /* MBEDTLS_PKCS1_V21 */
Paul Bakker40628ba2013-01-03 10:50:31 +01001481
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001482#if defined(MBEDTLS_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +01001483/*
1484 * Implementation of the PKCS#1 v2.1 RSASSA-PKCS1-v1_5-VERIFY function
1485 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001486int mbedtls_rsa_rsassa_pkcs1_v15_verify( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001487 int (*f_rng)(void *, unsigned char *, size_t),
1488 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001489 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001490 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001491 unsigned int hashlen,
1492 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +02001493 const unsigned char *sig )
Paul Bakkerb3869132013-02-28 17:21:01 +01001494{
1495 int ret;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001496 size_t len, siglen, asn1_len;
Gilles Peskinefd8f79d2017-05-03 18:32:21 +02001497 unsigned char *p, *p0, *end;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001498 unsigned char buf[MBEDTLS_MPI_MAX_SIZE];
1499 mbedtls_md_type_t msg_md_alg;
1500 const mbedtls_md_info_t *md_info;
1501 mbedtls_asn1_buf oid;
Paul Bakkerb3869132013-02-28 17:21:01 +01001502
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001503 if( mode == MBEDTLS_RSA_PRIVATE && ctx->padding != MBEDTLS_RSA_PKCS_V15 )
1504 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001505
1506 siglen = ctx->len;
1507
1508 if( siglen < 16 || siglen > sizeof( buf ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001509 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerb3869132013-02-28 17:21:01 +01001510
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001511 ret = ( mode == MBEDTLS_RSA_PUBLIC )
1512 ? mbedtls_rsa_public( ctx, sig, buf )
1513 : mbedtls_rsa_private( ctx, f_rng, p_rng, sig, buf );
Paul Bakkerb3869132013-02-28 17:21:01 +01001514
1515 if( ret != 0 )
1516 return( ret );
1517
1518 p = buf;
1519
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001520 if( *p++ != 0 || *p++ != MBEDTLS_RSA_SIGN )
1521 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001522
1523 while( *p != 0 )
1524 {
1525 if( p >= buf + siglen - 1 || *p != 0xFF )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001526 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001527 p++;
1528 }
Manuel Pégourié-Gonnard230ee312017-05-11 12:49:51 +02001529 p++; /* skip 00 byte */
1530
1531 /* We've read: 00 01 PS 00 where PS must be at least 8 bytes */
1532 if( p - buf < 11 )
1533 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001534
1535 len = siglen - ( p - buf );
1536
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001537 if( len == hashlen && md_alg == MBEDTLS_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001538 {
1539 if( memcmp( p, hash, hashlen ) == 0 )
1540 return( 0 );
1541 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001542 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +00001543 }
1544
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001545 md_info = mbedtls_md_info_from_type( md_alg );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001546 if( md_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001547 return( MBEDTLS_ERR_RSA_BAD_INPUT_DATA );
1548 hashlen = mbedtls_md_get_size( md_info );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001549
1550 end = p + len;
1551
Gilles Peskinebd908512017-05-04 12:48:39 +02001552 /*
1553 * Parse the ASN.1 structure inside the PKCS#1 v1.5 structure.
1554 * Insist on 2-byte length tags, to protect against variants of
1555 * Bleichenbacher's forgery attack against lax PKCS#1v1.5 verification.
1556 */
Gilles Peskinefd8f79d2017-05-03 18:32:21 +02001557 p0 = p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001558 if( ( ret = mbedtls_asn1_get_tag( &p, end, &asn1_len,
1559 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
1560 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Gilles Peskinefd8f79d2017-05-03 18:32:21 +02001561 if( p != p0 + 2 || asn1_len + 2 != len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001562 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001563
Gilles Peskinebd908512017-05-04 12:48:39 +02001564 p0 = p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001565 if( ( ret = mbedtls_asn1_get_tag( &p, end, &asn1_len,
1566 MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE ) ) != 0 )
1567 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Gilles Peskinebd908512017-05-04 12:48:39 +02001568 if( p != p0 + 2 || asn1_len + 6 + hashlen != len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001569 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001570
Gilles Peskinebd908512017-05-04 12:48:39 +02001571 p0 = p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001572 if( ( ret = mbedtls_asn1_get_tag( &p, end, &oid.len, MBEDTLS_ASN1_OID ) ) != 0 )
1573 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Gilles Peskinebd908512017-05-04 12:48:39 +02001574 if( p != p0 + 2 )
Gilles Peskinefd8f79d2017-05-03 18:32:21 +02001575 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001576
1577 oid.p = p;
1578 p += oid.len;
1579
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001580 if( mbedtls_oid_get_md_alg( &oid, &msg_md_alg ) != 0 )
1581 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001582
1583 if( md_alg != msg_md_alg )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001584 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001585
1586 /*
1587 * assume the algorithm parameters must be NULL
1588 */
Gilles Peskinebd908512017-05-04 12:48:39 +02001589 p0 = p;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001590 if( ( ret = mbedtls_asn1_get_tag( &p, end, &asn1_len, MBEDTLS_ASN1_NULL ) ) != 0 )
1591 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Gilles Peskinebd908512017-05-04 12:48:39 +02001592 if( p != p0 + 2 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001593 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001594
Gilles Peskinefd8f79d2017-05-03 18:32:21 +02001595 p0 = p;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001596 if( ( ret = mbedtls_asn1_get_tag( &p, end, &asn1_len, MBEDTLS_ASN1_OCTET_STRING ) ) != 0 )
1597 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Gilles Peskinefd8f79d2017-05-03 18:32:21 +02001598 if( p != p0 + 2 || asn1_len != hashlen )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001599 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001600
1601 if( memcmp( p, hash, hashlen ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001602 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001603
1604 p += hashlen;
1605
1606 if( p != end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001607 return( MBEDTLS_ERR_RSA_VERIFY_FAILED );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001608
1609 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +00001610}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001611#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakker5121ce52009-01-03 21:22:43 +00001612
1613/*
Paul Bakkerb3869132013-02-28 17:21:01 +01001614 * Do an RSA operation and check the message digest
1615 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001616int mbedtls_rsa_pkcs1_verify( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001617 int (*f_rng)(void *, unsigned char *, size_t),
1618 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001619 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001620 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001621 unsigned int hashlen,
1622 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +02001623 const unsigned char *sig )
Paul Bakkerb3869132013-02-28 17:21:01 +01001624{
1625 switch( ctx->padding )
1626 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001627#if defined(MBEDTLS_PKCS1_V15)
1628 case MBEDTLS_RSA_PKCS_V15:
1629 return mbedtls_rsa_rsassa_pkcs1_v15_verify( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001630 hashlen, hash, sig );
Paul Bakker48377d92013-08-30 12:06:24 +02001631#endif
Paul Bakkerb3869132013-02-28 17:21:01 +01001632
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001633#if defined(MBEDTLS_PKCS1_V21)
1634 case MBEDTLS_RSA_PKCS_V21:
1635 return mbedtls_rsa_rsassa_pss_verify( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001636 hashlen, hash, sig );
1637#endif
1638
1639 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001640 return( MBEDTLS_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +01001641 }
1642}
1643
1644/*
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001645 * Copy the components of an RSA key
1646 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001647int mbedtls_rsa_copy( mbedtls_rsa_context *dst, const mbedtls_rsa_context *src )
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001648{
1649 int ret;
1650
1651 dst->ver = src->ver;
1652 dst->len = src->len;
1653
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001654 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->N, &src->N ) );
1655 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->E, &src->E ) );
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001656
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001657 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->D, &src->D ) );
1658 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->P, &src->P ) );
1659 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->Q, &src->Q ) );
1660 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->DP, &src->DP ) );
1661 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->DQ, &src->DQ ) );
1662 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->QP, &src->QP ) );
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->RN, &src->RN ) );
1665 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->RP, &src->RP ) );
1666 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->RQ, &src->RQ ) );
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001667
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001668 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->Vi, &src->Vi ) );
1669 MBEDTLS_MPI_CHK( mbedtls_mpi_copy( &dst->Vf, &src->Vf ) );
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +02001670
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001671 dst->padding = src->padding;
Manuel Pégourié-Gonnardfdddac92014-03-25 15:58:35 +01001672 dst->hash_id = src->hash_id;
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001673
1674cleanup:
1675 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001676 mbedtls_rsa_free( dst );
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001677
1678 return( ret );
1679}
1680
1681/*
Paul Bakker5121ce52009-01-03 21:22:43 +00001682 * Free the components of an RSA key
1683 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001684void mbedtls_rsa_free( mbedtls_rsa_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +00001685{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001686 mbedtls_mpi_free( &ctx->Vi ); mbedtls_mpi_free( &ctx->Vf );
1687 mbedtls_mpi_free( &ctx->RQ ); mbedtls_mpi_free( &ctx->RP ); mbedtls_mpi_free( &ctx->RN );
1688 mbedtls_mpi_free( &ctx->QP ); mbedtls_mpi_free( &ctx->DQ ); mbedtls_mpi_free( &ctx->DP );
1689 mbedtls_mpi_free( &ctx->Q ); mbedtls_mpi_free( &ctx->P ); mbedtls_mpi_free( &ctx->D );
1690 mbedtls_mpi_free( &ctx->E ); mbedtls_mpi_free( &ctx->N );
Paul Bakkerc9965dc2013-09-29 14:58:17 +02001691
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001692#if defined(MBEDTLS_THREADING_C)
1693 mbedtls_mutex_free( &ctx->mutex );
Paul Bakkerc9965dc2013-09-29 14:58:17 +02001694#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001695}
1696
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001697#if defined(MBEDTLS_SELF_TEST)
Paul Bakker5121ce52009-01-03 21:22:43 +00001698
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00001699#include "mbedtls/sha1.h"
Paul Bakker5121ce52009-01-03 21:22:43 +00001700
1701/*
1702 * Example RSA-1024 keypair, for test purposes
1703 */
1704#define KEY_LEN 128
1705
1706#define RSA_N "9292758453063D803DD603D5E777D788" \
1707 "8ED1D5BF35786190FA2F23EBC0848AEA" \
1708 "DDA92CA6C3D80B32C4D109BE0F36D6AE" \
1709 "7130B9CED7ACDF54CFC7555AC14EEBAB" \
1710 "93A89813FBF3C4F8066D2D800F7C38A8" \
1711 "1AE31942917403FF4946B0A83D3D3E05" \
1712 "EE57C6F5F5606FB5D4BC6CD34EE0801A" \
1713 "5E94BB77B07507233A0BC7BAC8F90F79"
1714
1715#define RSA_E "10001"
1716
1717#define RSA_D "24BF6185468786FDD303083D25E64EFC" \
1718 "66CA472BC44D253102F8B4A9D3BFA750" \
1719 "91386C0077937FE33FA3252D28855837" \
1720 "AE1B484A8A9A45F7EE8C0C634F99E8CD" \
1721 "DF79C5CE07EE72C7F123142198164234" \
1722 "CABB724CF78B8173B9F880FC86322407" \
1723 "AF1FEDFDDE2BEB674CA15F3E81A1521E" \
1724 "071513A1E85B5DFA031F21ECAE91A34D"
1725
1726#define RSA_P "C36D0EB7FCD285223CFB5AABA5BDA3D8" \
1727 "2C01CAD19EA484A87EA4377637E75500" \
1728 "FCB2005C5C7DD6EC4AC023CDA285D796" \
1729 "C3D9E75E1EFC42488BB4F1D13AC30A57"
1730
1731#define RSA_Q "C000DF51A7C77AE8D7C7370C1FF55B69" \
1732 "E211C2B9E5DB1ED0BF61D0D9899620F4" \
1733 "910E4168387E3C30AA1E00C339A79508" \
1734 "8452DD96A9A5EA5D9DCA68DA636032AF"
1735
1736#define RSA_DP "C1ACF567564274FB07A0BBAD5D26E298" \
1737 "3C94D22288ACD763FD8E5600ED4A702D" \
1738 "F84198A5F06C2E72236AE490C93F07F8" \
1739 "3CC559CD27BC2D1CA488811730BB5725"
1740
1741#define RSA_DQ "4959CBF6F8FEF750AEE6977C155579C7" \
1742 "D8AAEA56749EA28623272E4F7D0592AF" \
1743 "7C1F1313CAC9471B5C523BFE592F517B" \
1744 "407A1BD76C164B93DA2D32A383E58357"
1745
1746#define RSA_QP "9AE7FBC99546432DF71896FC239EADAE" \
1747 "F38D18D2B2F0E2DD275AA977E2BF4411" \
1748 "F5A3B2A5D33605AEBBCCBA7FEB9F2D2F" \
1749 "A74206CEC169D74BF5A8C50D6F48EA08"
1750
1751#define PT_LEN 24
1752#define RSA_PT "\xAA\xBB\xCC\x03\x02\x01\x00\xFF\xFF\xFF\xFF\xFF" \
1753 "\x11\x22\x33\x0A\x0B\x0C\xCC\xDD\xDD\xDD\xDD\xDD"
1754
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001755#if defined(MBEDTLS_PKCS1_V15)
Paul Bakkera3d195c2011-11-27 21:07:34 +00001756static int myrand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker545570e2010-07-18 09:00:25 +00001757{
Paul Bakkerf96f7b62014-04-30 16:02:38 +02001758#if !defined(__OpenBSD__)
Paul Bakkera3d195c2011-11-27 21:07:34 +00001759 size_t i;
1760
Paul Bakker545570e2010-07-18 09:00:25 +00001761 if( rng_state != NULL )
1762 rng_state = NULL;
1763
Paul Bakkera3d195c2011-11-27 21:07:34 +00001764 for( i = 0; i < len; ++i )
1765 output[i] = rand();
Paul Bakkerf96f7b62014-04-30 16:02:38 +02001766#else
1767 if( rng_state != NULL )
1768 rng_state = NULL;
1769
1770 arc4random_buf( output, len );
1771#endif /* !OpenBSD */
Paul Bakker48377d92013-08-30 12:06:24 +02001772
Paul Bakkera3d195c2011-11-27 21:07:34 +00001773 return( 0 );
Paul Bakker545570e2010-07-18 09:00:25 +00001774}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001775#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakker545570e2010-07-18 09:00:25 +00001776
Paul Bakker5121ce52009-01-03 21:22:43 +00001777/*
1778 * Checkup routine
1779 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001780int mbedtls_rsa_self_test( int verbose )
Paul Bakker5121ce52009-01-03 21:22:43 +00001781{
Paul Bakker3d8fb632014-04-17 12:42:41 +02001782 int ret = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001783#if defined(MBEDTLS_PKCS1_V15)
Paul Bakker23986e52011-04-24 08:57:21 +00001784 size_t len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001785 mbedtls_rsa_context rsa;
Paul Bakker5121ce52009-01-03 21:22:43 +00001786 unsigned char rsa_plaintext[PT_LEN];
1787 unsigned char rsa_decrypted[PT_LEN];
1788 unsigned char rsa_ciphertext[KEY_LEN];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001789#if defined(MBEDTLS_SHA1_C)
Paul Bakker5690efc2011-05-26 13:16:06 +00001790 unsigned char sha1sum[20];
1791#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001792
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001793 mbedtls_rsa_init( &rsa, MBEDTLS_RSA_PKCS_V15, 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +00001794
1795 rsa.len = KEY_LEN;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001796 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.N , 16, RSA_N ) );
1797 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.E , 16, RSA_E ) );
1798 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.D , 16, RSA_D ) );
1799 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.P , 16, RSA_P ) );
1800 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.Q , 16, RSA_Q ) );
1801 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.DP, 16, RSA_DP ) );
1802 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.DQ, 16, RSA_DQ ) );
1803 MBEDTLS_MPI_CHK( mbedtls_mpi_read_string( &rsa.QP, 16, RSA_QP ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00001804
1805 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001806 mbedtls_printf( " RSA key validation: " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001807
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001808 if( mbedtls_rsa_check_pubkey( &rsa ) != 0 ||
1809 mbedtls_rsa_check_privkey( &rsa ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001810 {
1811 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001812 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001813
1814 return( 1 );
1815 }
1816
1817 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001818 mbedtls_printf( "passed\n PKCS#1 encryption : " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001819
1820 memcpy( rsa_plaintext, RSA_PT, PT_LEN );
1821
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001822 if( mbedtls_rsa_pkcs1_encrypt( &rsa, myrand, NULL, MBEDTLS_RSA_PUBLIC, PT_LEN,
Paul Bakker5121ce52009-01-03 21:22:43 +00001823 rsa_plaintext, rsa_ciphertext ) != 0 )
1824 {
1825 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001826 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001827
1828 return( 1 );
1829 }
1830
1831 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001832 mbedtls_printf( "passed\n PKCS#1 decryption : " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001833
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001834 if( mbedtls_rsa_pkcs1_decrypt( &rsa, myrand, NULL, MBEDTLS_RSA_PRIVATE, &len,
Paul Bakker060c5682009-01-12 21:48:39 +00001835 rsa_ciphertext, rsa_decrypted,
Paul Bakker23986e52011-04-24 08:57:21 +00001836 sizeof(rsa_decrypted) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001837 {
1838 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001839 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001840
1841 return( 1 );
1842 }
1843
1844 if( memcmp( rsa_decrypted, rsa_plaintext, len ) != 0 )
1845 {
1846 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001847 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001848
1849 return( 1 );
1850 }
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 )
Manuel Pégourié-Gonnardd1004f02015-08-07 10:46:54 +02001857 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
1867 return( 1 );
1868 }
1869
1870 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001871 mbedtls_printf( "passed\n PKCS#1 sig. verify: " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001872
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001873 if( mbedtls_rsa_pkcs1_verify( &rsa, NULL, NULL, MBEDTLS_RSA_PUBLIC, MBEDTLS_MD_SHA1, 0,
Paul Bakker5121ce52009-01-03 21:22:43 +00001874 sha1sum, rsa_ciphertext ) != 0 )
1875 {
1876 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001877 mbedtls_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001878
1879 return( 1 );
1880 }
1881
1882 if( verbose != 0 )
Manuel Pégourié-Gonnardd1004f02015-08-07 10:46:54 +02001883 mbedtls_printf( "passed\n" );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001884#endif /* MBEDTLS_SHA1_C */
Paul Bakker5121ce52009-01-03 21:22:43 +00001885
Manuel Pégourié-Gonnardd1004f02015-08-07 10:46:54 +02001886 if( verbose != 0 )
1887 mbedtls_printf( "\n" );
1888
Paul Bakker3d8fb632014-04-17 12:42:41 +02001889cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001890 mbedtls_rsa_free( &rsa );
1891#else /* MBEDTLS_PKCS1_V15 */
Paul Bakker3e41fe82013-09-15 17:42:50 +02001892 ((void) verbose);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001893#endif /* MBEDTLS_PKCS1_V15 */
Paul Bakker3d8fb632014-04-17 12:42:41 +02001894 return( ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00001895}
1896
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001897#endif /* MBEDTLS_SELF_TEST */
Paul Bakker5121ce52009-01-03 21:22:43 +00001898
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001899#endif /* MBEDTLS_RSA_C */