blob: e915e4fadaea7658ff16239c847e374833543370 [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * The RSA public-key cryptosystem
3 *
Manuel Pégourié-Gonnarda658a402015-01-23 09:45:19 +00004 * Copyright (C) 2006-2014, ARM Limited, All Rights Reserved
Paul Bakkerb96f1542010-07-18 20:36:00 +00005 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +00006 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakkerb96f1542010-07-18 20:36:00 +00007 *
Paul Bakker5121ce52009-01-03 21:22:43 +00008 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation; either version 2 of the License, or
11 * (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the GNU General Public License along
19 * with this program; if not, write to the Free Software Foundation, Inc.,
20 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
21 */
22/*
23 * RSA was designed by Ron Rivest, Adi Shamir and Len Adleman.
24 *
25 * http://theory.lcs.mit.edu/~rivest/rsapaper.pdf
26 * http://www.cacr.math.uwaterloo.ca/hac/about/chap8.pdf
27 */
28
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020029#if !defined(POLARSSL_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000030#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020031#else
32#include POLARSSL_CONFIG_FILE
33#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000034
Paul Bakker40e46942009-01-03 21:51:57 +000035#if defined(POLARSSL_RSA_C)
Paul Bakker5121ce52009-01-03 21:22:43 +000036
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000037#include "mbedtls/rsa.h"
38#include "mbedtls/oid.h"
Paul Bakkerbb51f0c2012-08-23 07:46:58 +000039
Rich Evans00ab4702015-02-06 13:43:58 +000040#include <string.h>
41
Paul Bakkerbb51f0c2012-08-23 07:46:58 +000042#if defined(POLARSSL_PKCS1_V21)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000043#include "mbedtls/md.h"
Paul Bakkerbb51f0c2012-08-23 07:46:58 +000044#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000045
Rich Evans00ab4702015-02-06 13:43:58 +000046#if defined(POLARSSL_PKCS1_V15) && !defined(__OpenBSD__)
Paul Bakker5121ce52009-01-03 21:22:43 +000047#include <stdlib.h>
Rich Evans00ab4702015-02-06 13:43:58 +000048#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000049
Paul Bakker7dc4c442014-02-01 22:50:26 +010050#if defined(POLARSSL_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000051#include "mbedtls/platform.h"
Paul Bakker7dc4c442014-02-01 22:50:26 +010052#else
Rich Evans00ab4702015-02-06 13:43:58 +000053#include <stdio.h>
Paul Bakker7dc4c442014-02-01 22:50:26 +010054#define polarssl_printf printf
55#endif
56
Paul Bakker5121ce52009-01-03 21:22:43 +000057/*
58 * Initialize an RSA context
59 */
60void rsa_init( rsa_context *ctx,
61 int padding,
Paul Bakker21eb2802010-08-16 11:10:02 +000062 int hash_id )
Paul Bakker5121ce52009-01-03 21:22:43 +000063{
64 memset( ctx, 0, sizeof( rsa_context ) );
65
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +010066 rsa_set_padding( ctx, padding, hash_id );
Paul Bakkerc9965dc2013-09-29 14:58:17 +020067
68#if defined(POLARSSL_THREADING_C)
69 polarssl_mutex_init( &ctx->mutex );
70#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000071}
72
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +010073/*
74 * Set padding for an existing RSA context
75 */
76void rsa_set_padding( rsa_context *ctx, int padding, int hash_id )
77{
78 ctx->padding = padding;
79 ctx->hash_id = hash_id;
80}
81
Paul Bakker40e46942009-01-03 21:51:57 +000082#if defined(POLARSSL_GENPRIME)
Paul Bakker5121ce52009-01-03 21:22:43 +000083
84/*
85 * Generate an RSA keypair
86 */
Paul Bakker21eb2802010-08-16 11:10:02 +000087int rsa_gen_key( rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +000088 int (*f_rng)(void *, unsigned char *, size_t),
89 void *p_rng,
90 unsigned int nbits, int exponent )
Paul Bakker5121ce52009-01-03 21:22:43 +000091{
92 int ret;
93 mpi P1, Q1, H, G;
94
Paul Bakker21eb2802010-08-16 11:10:02 +000095 if( f_rng == NULL || nbits < 128 || exponent < 3 )
Paul Bakker40e46942009-01-03 21:51:57 +000096 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +000097
Paul Bakker6c591fa2011-05-05 11:49:20 +000098 mpi_init( &P1 ); mpi_init( &Q1 ); mpi_init( &H ); mpi_init( &G );
Paul Bakker5121ce52009-01-03 21:22:43 +000099
100 /*
101 * find primes P and Q with Q < P so that:
102 * GCD( E, (P-1)*(Q-1) ) == 1
103 */
104 MPI_CHK( mpi_lset( &ctx->E, exponent ) );
105
106 do
107 {
Paul Bakker9af723c2014-05-01 13:03:14 +0200108 MPI_CHK( mpi_gen_prime( &ctx->P, ( nbits + 1 ) >> 1, 0,
Paul Bakker21eb2802010-08-16 11:10:02 +0000109 f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000110
111 MPI_CHK( mpi_gen_prime( &ctx->Q, ( nbits + 1 ) >> 1, 0,
Paul Bakker21eb2802010-08-16 11:10:02 +0000112 f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000113
114 if( mpi_cmp_mpi( &ctx->P, &ctx->Q ) < 0 )
115 mpi_swap( &ctx->P, &ctx->Q );
116
117 if( mpi_cmp_mpi( &ctx->P, &ctx->Q ) == 0 )
118 continue;
119
120 MPI_CHK( mpi_mul_mpi( &ctx->N, &ctx->P, &ctx->Q ) );
121 if( mpi_msb( &ctx->N ) != nbits )
122 continue;
123
124 MPI_CHK( mpi_sub_int( &P1, &ctx->P, 1 ) );
125 MPI_CHK( mpi_sub_int( &Q1, &ctx->Q, 1 ) );
126 MPI_CHK( mpi_mul_mpi( &H, &P1, &Q1 ) );
127 MPI_CHK( mpi_gcd( &G, &ctx->E, &H ) );
128 }
129 while( mpi_cmp_int( &G, 1 ) != 0 );
130
131 /*
132 * D = E^-1 mod ((P-1)*(Q-1))
133 * DP = D mod (P - 1)
134 * DQ = D mod (Q - 1)
135 * QP = Q^-1 mod P
136 */
137 MPI_CHK( mpi_inv_mod( &ctx->D , &ctx->E, &H ) );
138 MPI_CHK( mpi_mod_mpi( &ctx->DP, &ctx->D, &P1 ) );
139 MPI_CHK( mpi_mod_mpi( &ctx->DQ, &ctx->D, &Q1 ) );
140 MPI_CHK( mpi_inv_mod( &ctx->QP, &ctx->Q, &ctx->P ) );
141
142 ctx->len = ( mpi_msb( &ctx->N ) + 7 ) >> 3;
143
144cleanup:
145
Paul Bakker6c591fa2011-05-05 11:49:20 +0000146 mpi_free( &P1 ); mpi_free( &Q1 ); mpi_free( &H ); mpi_free( &G );
Paul Bakker5121ce52009-01-03 21:22:43 +0000147
148 if( ret != 0 )
149 {
150 rsa_free( ctx );
Paul Bakker9d781402011-05-09 16:17:09 +0000151 return( POLARSSL_ERR_RSA_KEY_GEN_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000152 }
153
Paul Bakker48377d92013-08-30 12:06:24 +0200154 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000155}
156
Paul Bakker9af723c2014-05-01 13:03:14 +0200157#endif /* POLARSSL_GENPRIME */
Paul Bakker5121ce52009-01-03 21:22:43 +0000158
159/*
160 * Check a public RSA key
161 */
Paul Bakkerff60ee62010-03-16 21:09:09 +0000162int rsa_check_pubkey( const rsa_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +0000163{
Paul Bakker37940d9f2009-07-10 22:38:58 +0000164 if( !ctx->N.p || !ctx->E.p )
165 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
166
Paul Bakker48377d92013-08-30 12:06:24 +0200167 if( ( ctx->N.p[0] & 1 ) == 0 ||
Paul Bakker5121ce52009-01-03 21:22:43 +0000168 ( ctx->E.p[0] & 1 ) == 0 )
Paul Bakker40e46942009-01-03 21:51:57 +0000169 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000170
171 if( mpi_msb( &ctx->N ) < 128 ||
Paul Bakkerfe3256e2011-11-25 12:11:43 +0000172 mpi_msb( &ctx->N ) > POLARSSL_MPI_MAX_BITS )
Paul Bakker40e46942009-01-03 21:51:57 +0000173 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000174
175 if( mpi_msb( &ctx->E ) < 2 ||
Paul Bakker24f37cc2014-04-30 13:33:35 +0200176 mpi_cmp_mpi( &ctx->E, &ctx->N ) >= 0 )
Paul Bakker40e46942009-01-03 21:51:57 +0000177 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000178
179 return( 0 );
180}
181
182/*
183 * Check a private RSA key
184 */
Paul Bakkerff60ee62010-03-16 21:09:09 +0000185int rsa_check_privkey( const rsa_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +0000186{
187 int ret;
Paul Bakker321df6f2012-09-27 13:21:34 +0000188 mpi PQ, DE, P1, Q1, H, I, G, G2, L1, L2, DP, DQ, QP;
Paul Bakker5121ce52009-01-03 21:22:43 +0000189
190 if( ( ret = rsa_check_pubkey( ctx ) ) != 0 )
191 return( ret );
192
Paul Bakker37940d9f2009-07-10 22:38:58 +0000193 if( !ctx->P.p || !ctx->Q.p || !ctx->D.p )
194 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
195
Paul Bakker6c591fa2011-05-05 11:49:20 +0000196 mpi_init( &PQ ); mpi_init( &DE ); mpi_init( &P1 ); mpi_init( &Q1 );
197 mpi_init( &H ); mpi_init( &I ); mpi_init( &G ); mpi_init( &G2 );
Paul Bakker321df6f2012-09-27 13:21:34 +0000198 mpi_init( &L1 ); mpi_init( &L2 ); mpi_init( &DP ); mpi_init( &DQ );
199 mpi_init( &QP );
Paul Bakker5121ce52009-01-03 21:22:43 +0000200
201 MPI_CHK( mpi_mul_mpi( &PQ, &ctx->P, &ctx->Q ) );
202 MPI_CHK( mpi_mul_mpi( &DE, &ctx->D, &ctx->E ) );
203 MPI_CHK( mpi_sub_int( &P1, &ctx->P, 1 ) );
204 MPI_CHK( mpi_sub_int( &Q1, &ctx->Q, 1 ) );
205 MPI_CHK( mpi_mul_mpi( &H, &P1, &Q1 ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000206 MPI_CHK( mpi_gcd( &G, &ctx->E, &H ) );
207
Paul Bakkerb572adf2010-07-18 08:29:32 +0000208 MPI_CHK( mpi_gcd( &G2, &P1, &Q1 ) );
Paul Bakker48377d92013-08-30 12:06:24 +0200209 MPI_CHK( mpi_div_mpi( &L1, &L2, &H, &G2 ) );
Paul Bakkerb572adf2010-07-18 08:29:32 +0000210 MPI_CHK( mpi_mod_mpi( &I, &DE, &L1 ) );
211
Paul Bakker321df6f2012-09-27 13:21:34 +0000212 MPI_CHK( mpi_mod_mpi( &DP, &ctx->D, &P1 ) );
213 MPI_CHK( mpi_mod_mpi( &DQ, &ctx->D, &Q1 ) );
214 MPI_CHK( mpi_inv_mod( &QP, &ctx->Q, &ctx->P ) );
Paul Bakkerb572adf2010-07-18 08:29:32 +0000215 /*
216 * Check for a valid PKCS1v2 private key
217 */
Paul Bakker6c591fa2011-05-05 11:49:20 +0000218 if( mpi_cmp_mpi( &PQ, &ctx->N ) != 0 ||
Paul Bakker321df6f2012-09-27 13:21:34 +0000219 mpi_cmp_mpi( &DP, &ctx->DP ) != 0 ||
220 mpi_cmp_mpi( &DQ, &ctx->DQ ) != 0 ||
221 mpi_cmp_mpi( &QP, &ctx->QP ) != 0 ||
Paul Bakker6c591fa2011-05-05 11:49:20 +0000222 mpi_cmp_int( &L2, 0 ) != 0 ||
223 mpi_cmp_int( &I, 1 ) != 0 ||
224 mpi_cmp_int( &G, 1 ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000225 {
Paul Bakker6c591fa2011-05-05 11:49:20 +0000226 ret = POLARSSL_ERR_RSA_KEY_CHECK_FAILED;
Paul Bakker5121ce52009-01-03 21:22:43 +0000227 }
Paul Bakker48377d92013-08-30 12:06:24 +0200228
Paul Bakker5121ce52009-01-03 21:22:43 +0000229cleanup:
Paul Bakker6c591fa2011-05-05 11:49:20 +0000230 mpi_free( &PQ ); mpi_free( &DE ); mpi_free( &P1 ); mpi_free( &Q1 );
231 mpi_free( &H ); mpi_free( &I ); mpi_free( &G ); mpi_free( &G2 );
Paul Bakker321df6f2012-09-27 13:21:34 +0000232 mpi_free( &L1 ); mpi_free( &L2 ); mpi_free( &DP ); mpi_free( &DQ );
233 mpi_free( &QP );
Paul Bakker6c591fa2011-05-05 11:49:20 +0000234
Paul Bakker9d781402011-05-09 16:17:09 +0000235 if( ret == POLARSSL_ERR_RSA_KEY_CHECK_FAILED )
236 return( ret );
237
Paul Bakker6c591fa2011-05-05 11:49:20 +0000238 if( ret != 0 )
Paul Bakker9d781402011-05-09 16:17:09 +0000239 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED + ret );
Paul Bakker6c591fa2011-05-05 11:49:20 +0000240
241 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000242}
243
244/*
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100245 * Check if contexts holding a public and private key match
246 */
247int rsa_check_pub_priv( const rsa_context *pub, const rsa_context *prv )
248{
249 if( rsa_check_pubkey( pub ) != 0 ||
250 rsa_check_privkey( prv ) != 0 )
251 {
252 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
253 }
254
255 if( mpi_cmp_mpi( &pub->N, &prv->N ) != 0 ||
256 mpi_cmp_mpi( &pub->E, &prv->E ) != 0 )
257 {
258 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
259 }
260
261 return( 0 );
262}
263
264/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000265 * Do an RSA public key operation
266 */
267int rsa_public( rsa_context *ctx,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000268 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000269 unsigned char *output )
270{
Paul Bakker23986e52011-04-24 08:57:21 +0000271 int ret;
272 size_t olen;
Paul Bakker5121ce52009-01-03 21:22:43 +0000273 mpi T;
274
Paul Bakker6c591fa2011-05-05 11:49:20 +0000275 mpi_init( &T );
Paul Bakker5121ce52009-01-03 21:22:43 +0000276
277 MPI_CHK( mpi_read_binary( &T, input, ctx->len ) );
278
279 if( mpi_cmp_mpi( &T, &ctx->N ) >= 0 )
280 {
Paul Bakker6c591fa2011-05-05 11:49:20 +0000281 mpi_free( &T );
Paul Bakker40e46942009-01-03 21:51:57 +0000282 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000283 }
284
285 olen = ctx->len;
286 MPI_CHK( mpi_exp_mod( &T, &T, &ctx->E, &ctx->N, &ctx->RN ) );
287 MPI_CHK( mpi_write_binary( &T, output, olen ) );
288
289cleanup:
290
Paul Bakker6c591fa2011-05-05 11:49:20 +0000291 mpi_free( &T );
Paul Bakker5121ce52009-01-03 21:22:43 +0000292
293 if( ret != 0 )
Paul Bakker9d781402011-05-09 16:17:09 +0000294 return( POLARSSL_ERR_RSA_PUBLIC_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000295
296 return( 0 );
297}
298
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200299/*
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200300 * Generate or update blinding values, see section 10 of:
301 * KOCHER, Paul C. Timing attacks on implementations of Diffie-Hellman, RSA,
302 * DSS, and other systems. In : Advances in Cryptology—CRYPTO’96. Springer
303 * Berlin Heidelberg, 1996. p. 104-113.
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200304 */
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200305static int rsa_prepare_blinding( rsa_context *ctx, mpi *Vi, mpi *Vf,
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200306 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
307{
Manuel Pégourié-Gonnard4d89c7e2013-10-04 15:18:38 +0200308 int ret, count = 0;
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200309
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200310#if defined(POLARSSL_THREADING_C)
311 polarssl_mutex_lock( &ctx->mutex );
312#endif
313
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200314 if( ctx->Vf.p != NULL )
315 {
316 /* We already have blinding values, just update them by squaring */
317 MPI_CHK( mpi_mul_mpi( &ctx->Vi, &ctx->Vi, &ctx->Vi ) );
Manuel Pégourié-Gonnard735b8fc2013-09-13 12:57:23 +0200318 MPI_CHK( mpi_mod_mpi( &ctx->Vi, &ctx->Vi, &ctx->N ) );
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200319 MPI_CHK( mpi_mul_mpi( &ctx->Vf, &ctx->Vf, &ctx->Vf ) );
Manuel Pégourié-Gonnard735b8fc2013-09-13 12:57:23 +0200320 MPI_CHK( mpi_mod_mpi( &ctx->Vf, &ctx->Vf, &ctx->N ) );
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200321
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200322 goto done;
Manuel Pégourié-Gonnard8a109f12013-09-10 13:37:26 +0200323 }
324
Manuel Pégourié-Gonnard4d89c7e2013-10-04 15:18:38 +0200325 /* Unblinding value: Vf = random number, invertible mod N */
326 do {
327 if( count++ > 10 )
328 return( POLARSSL_ERR_RSA_RNG_FAILED );
329
330 MPI_CHK( mpi_fill_random( &ctx->Vf, ctx->len - 1, f_rng, p_rng ) );
331 MPI_CHK( mpi_gcd( &ctx->Vi, &ctx->Vf, &ctx->N ) );
332 } while( mpi_cmp_int( &ctx->Vi, 1 ) != 0 );
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200333
334 /* Blinding value: Vi = Vf^(-e) mod N */
335 MPI_CHK( mpi_inv_mod( &ctx->Vi, &ctx->Vf, &ctx->N ) );
336 MPI_CHK( mpi_exp_mod( &ctx->Vi, &ctx->Vi, &ctx->E, &ctx->N, &ctx->RN ) );
337
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200338done:
339 if( Vi != &ctx->Vi )
340 {
341 MPI_CHK( mpi_copy( Vi, &ctx->Vi ) );
342 MPI_CHK( mpi_copy( Vf, &ctx->Vf ) );
343 }
344
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200345cleanup:
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200346#if defined(POLARSSL_THREADING_C)
347 polarssl_mutex_unlock( &ctx->mutex );
348#endif
349
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200350 return( ret );
351}
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200352
Paul Bakker5121ce52009-01-03 21:22:43 +0000353/*
354 * Do an RSA private key operation
355 */
356int rsa_private( rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200357 int (*f_rng)(void *, unsigned char *, size_t),
358 void *p_rng,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000359 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000360 unsigned char *output )
361{
Paul Bakker23986e52011-04-24 08:57:21 +0000362 int ret;
363 size_t olen;
Paul Bakker5121ce52009-01-03 21:22:43 +0000364 mpi T, T1, T2;
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200365 mpi *Vi, *Vf;
366
367 /*
368 * When using the Chinese Remainder Theorem, we use blinding values.
369 * Without threading, we just read them directly from the context,
370 * otherwise we make a local copy in order to reduce locking contention.
371 */
372#if defined(POLARSSL_THREADING_C)
373 mpi Vi_copy, Vf_copy;
374
375 mpi_init( &Vi_copy ); mpi_init( &Vf_copy );
376 Vi = &Vi_copy;
377 Vf = &Vf_copy;
378#else
379 Vi = &ctx->Vi;
380 Vf = &ctx->Vf;
381#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000382
Paul Bakker6c591fa2011-05-05 11:49:20 +0000383 mpi_init( &T ); mpi_init( &T1 ); mpi_init( &T2 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000384
385 MPI_CHK( mpi_read_binary( &T, input, ctx->len ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000386 if( mpi_cmp_mpi( &T, &ctx->N ) >= 0 )
387 {
Paul Bakker6c591fa2011-05-05 11:49:20 +0000388 mpi_free( &T );
Paul Bakker40e46942009-01-03 21:51:57 +0000389 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000390 }
391
Paul Bakkerf451bac2013-08-30 15:37:02 +0200392 if( f_rng != NULL )
393 {
394 /*
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200395 * Blinding
396 * T = T * Vi mod N
Paul Bakkerf451bac2013-08-30 15:37:02 +0200397 */
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200398 MPI_CHK( rsa_prepare_blinding( ctx, Vi, Vf, f_rng, p_rng ) );
399 MPI_CHK( mpi_mul_mpi( &T, &T, Vi ) );
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200400 MPI_CHK( mpi_mod_mpi( &T, &T, &ctx->N ) );
Paul Bakkerf451bac2013-08-30 15:37:02 +0200401 }
Paul Bakkeraab30c12013-08-30 11:00:25 +0200402
Manuel Pégourié-Gonnarde10e06d2014-11-06 18:15:12 +0100403#if defined(POLARSSL_RSA_NO_CRT)
404 MPI_CHK( mpi_exp_mod( &T, &T, &ctx->D, &ctx->N, &ctx->RN ) );
405#else
Paul Bakkeraab30c12013-08-30 11:00:25 +0200406 /*
Paul Bakker5121ce52009-01-03 21:22:43 +0000407 * faster decryption using the CRT
408 *
409 * T1 = input ^ dP mod P
410 * T2 = input ^ dQ mod Q
411 */
412 MPI_CHK( mpi_exp_mod( &T1, &T, &ctx->DP, &ctx->P, &ctx->RP ) );
413 MPI_CHK( mpi_exp_mod( &T2, &T, &ctx->DQ, &ctx->Q, &ctx->RQ ) );
414
415 /*
416 * T = (T1 - T2) * (Q^-1 mod P) mod P
417 */
418 MPI_CHK( mpi_sub_mpi( &T, &T1, &T2 ) );
419 MPI_CHK( mpi_mul_mpi( &T1, &T, &ctx->QP ) );
420 MPI_CHK( mpi_mod_mpi( &T, &T1, &ctx->P ) );
421
422 /*
Paul Bakkerf451bac2013-08-30 15:37:02 +0200423 * T = T2 + T * Q
Paul Bakker5121ce52009-01-03 21:22:43 +0000424 */
425 MPI_CHK( mpi_mul_mpi( &T1, &T, &ctx->Q ) );
Paul Bakkerf451bac2013-08-30 15:37:02 +0200426 MPI_CHK( mpi_add_mpi( &T, &T2, &T1 ) );
Manuel Pégourié-Gonnarde10e06d2014-11-06 18:15:12 +0100427#endif /* POLARSSL_RSA_NO_CRT */
Paul Bakkeraab30c12013-08-30 11:00:25 +0200428
Paul Bakkerf451bac2013-08-30 15:37:02 +0200429 if( f_rng != NULL )
430 {
431 /*
432 * Unblind
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200433 * T = T * Vf mod N
Paul Bakkerf451bac2013-08-30 15:37:02 +0200434 */
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200435 MPI_CHK( mpi_mul_mpi( &T, &T, Vf ) );
Paul Bakkerf451bac2013-08-30 15:37:02 +0200436 MPI_CHK( mpi_mod_mpi( &T, &T, &ctx->N ) );
437 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000438
439 olen = ctx->len;
440 MPI_CHK( mpi_write_binary( &T, output, olen ) );
441
442cleanup:
Paul Bakker6c591fa2011-05-05 11:49:20 +0000443 mpi_free( &T ); mpi_free( &T1 ); mpi_free( &T2 );
Manuel Pégourié-Gonnarde10e06d2014-11-06 18:15:12 +0100444#if defined(POLARSSL_THREADING_C)
Manuel Pégourié-Gonnardae102992013-10-04 17:07:12 +0200445 mpi_free( &Vi_copy ); mpi_free( &Vf_copy );
446#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000447
448 if( ret != 0 )
Paul Bakker9d781402011-05-09 16:17:09 +0000449 return( POLARSSL_ERR_RSA_PRIVATE_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000450
451 return( 0 );
452}
453
Paul Bakker9dcc3222011-03-08 14:16:06 +0000454#if defined(POLARSSL_PKCS1_V21)
455/**
456 * Generate and apply the MGF1 operation (from PKCS#1 v2.1) to a buffer.
457 *
Paul Bakkerb125ed82011-11-10 13:33:51 +0000458 * \param dst buffer to mask
459 * \param dlen length of destination buffer
460 * \param src source of the mask generation
461 * \param slen length of the source buffer
462 * \param md_ctx message digest context to use
Paul Bakker9dcc3222011-03-08 14:16:06 +0000463 */
Paul Bakker48377d92013-08-30 12:06:24 +0200464static void mgf_mask( unsigned char *dst, size_t dlen, unsigned char *src,
465 size_t slen, md_context_t *md_ctx )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000466{
467 unsigned char mask[POLARSSL_MD_MAX_SIZE];
468 unsigned char counter[4];
469 unsigned char *p;
Paul Bakker23986e52011-04-24 08:57:21 +0000470 unsigned int hlen;
471 size_t i, use_len;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000472
473 memset( mask, 0, POLARSSL_MD_MAX_SIZE );
474 memset( counter, 0, 4 );
475
476 hlen = md_ctx->md_info->size;
477
478 // Generate and apply dbMask
479 //
480 p = dst;
481
482 while( dlen > 0 )
483 {
484 use_len = hlen;
485 if( dlen < hlen )
486 use_len = dlen;
487
488 md_starts( md_ctx );
489 md_update( md_ctx, src, slen );
490 md_update( md_ctx, counter, 4 );
491 md_finish( md_ctx, mask );
492
493 for( i = 0; i < use_len; ++i )
494 *p++ ^= mask[i];
495
496 counter[3]++;
497
498 dlen -= use_len;
499 }
500}
Paul Bakker9af723c2014-05-01 13:03:14 +0200501#endif /* POLARSSL_PKCS1_V21 */
Paul Bakker9dcc3222011-03-08 14:16:06 +0000502
Paul Bakkerb3869132013-02-28 17:21:01 +0100503#if defined(POLARSSL_PKCS1_V21)
504/*
505 * Implementation of the PKCS#1 v2.1 RSAES-OAEP-ENCRYPT function
506 */
507int rsa_rsaes_oaep_encrypt( rsa_context *ctx,
508 int (*f_rng)(void *, unsigned char *, size_t),
509 void *p_rng,
Paul Bakkera43231c2013-02-28 17:33:49 +0100510 int mode,
511 const unsigned char *label, size_t label_len,
512 size_t ilen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100513 const unsigned char *input,
514 unsigned char *output )
515{
516 size_t olen;
517 int ret;
518 unsigned char *p = output;
519 unsigned int hlen;
520 const md_info_t *md_info;
521 md_context_t md_ctx;
522
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200523 if( mode == RSA_PRIVATE && ctx->padding != RSA_PKCS_V21 )
524 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
525
526 if( f_rng == NULL )
Paul Bakkerb3869132013-02-28 17:21:01 +0100527 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
528
Manuel Pégourié-Gonnarda2733712015-02-10 17:32:14 +0100529 md_info = md_info_from_type( (md_type_t) ctx->hash_id );
Paul Bakkerb3869132013-02-28 17:21:01 +0100530 if( md_info == NULL )
531 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
532
533 olen = ctx->len;
534 hlen = md_get_size( md_info );
535
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200536 if( olen < ilen + 2 * hlen + 2 )
Paul Bakkerb3869132013-02-28 17:21:01 +0100537 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
538
539 memset( output, 0, olen );
540
541 *p++ = 0;
542
543 // Generate a random octet string seed
544 //
545 if( ( ret = f_rng( p_rng, p, hlen ) ) != 0 )
546 return( POLARSSL_ERR_RSA_RNG_FAILED + ret );
547
548 p += hlen;
549
550 // Construct DB
551 //
Paul Bakkera43231c2013-02-28 17:33:49 +0100552 md( md_info, label, label_len, p );
Paul Bakkerb3869132013-02-28 17:21:01 +0100553 p += hlen;
554 p += olen - 2 * hlen - 2 - ilen;
555 *p++ = 1;
556 memcpy( p, input, ilen );
557
Paul Bakker84bbeb52014-07-01 14:53:22 +0200558 md_init( &md_ctx );
Paul Bakkerb3869132013-02-28 17:21:01 +0100559 md_init_ctx( &md_ctx, md_info );
560
561 // maskedDB: Apply dbMask to DB
562 //
563 mgf_mask( output + hlen + 1, olen - hlen - 1, output + 1, hlen,
564 &md_ctx );
565
566 // maskedSeed: Apply seedMask to seed
567 //
568 mgf_mask( output + 1, hlen, output + hlen + 1, olen - hlen - 1,
569 &md_ctx );
570
Paul Bakker84bbeb52014-07-01 14:53:22 +0200571 md_free( &md_ctx );
Paul Bakkerb3869132013-02-28 17:21:01 +0100572
573 return( ( mode == RSA_PUBLIC )
574 ? rsa_public( ctx, output, output )
Paul Bakker548957d2013-08-30 10:30:02 +0200575 : rsa_private( ctx, f_rng, p_rng, output, output ) );
Paul Bakkerb3869132013-02-28 17:21:01 +0100576}
577#endif /* POLARSSL_PKCS1_V21 */
578
Paul Bakker48377d92013-08-30 12:06:24 +0200579#if defined(POLARSSL_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +0100580/*
581 * Implementation of the PKCS#1 v2.1 RSAES-PKCS1-V1_5-ENCRYPT function
582 */
583int rsa_rsaes_pkcs1_v15_encrypt( rsa_context *ctx,
584 int (*f_rng)(void *, unsigned char *, size_t),
585 void *p_rng,
586 int mode, size_t ilen,
587 const unsigned char *input,
588 unsigned char *output )
589{
590 size_t nb_pad, olen;
591 int ret;
592 unsigned char *p = output;
593
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200594 if( mode == RSA_PRIVATE && ctx->padding != RSA_PKCS_V15 )
595 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
596
597 if( f_rng == NULL )
Paul Bakkerb3869132013-02-28 17:21:01 +0100598 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
599
600 olen = ctx->len;
601
602 if( olen < ilen + 11 )
603 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
604
605 nb_pad = olen - 3 - ilen;
606
607 *p++ = 0;
608 if( mode == RSA_PUBLIC )
609 {
610 *p++ = RSA_CRYPT;
611
612 while( nb_pad-- > 0 )
613 {
614 int rng_dl = 100;
615
616 do {
617 ret = f_rng( p_rng, p, 1 );
618 } while( *p == 0 && --rng_dl && ret == 0 );
619
620 // Check if RNG failed to generate data
621 //
Paul Bakker66d5d072014-06-17 16:39:18 +0200622 if( rng_dl == 0 || ret != 0 )
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200623 return( POLARSSL_ERR_RSA_RNG_FAILED + ret );
Paul Bakkerb3869132013-02-28 17:21:01 +0100624
625 p++;
626 }
627 }
628 else
629 {
630 *p++ = RSA_SIGN;
631
632 while( nb_pad-- > 0 )
633 *p++ = 0xFF;
634 }
635
636 *p++ = 0;
637 memcpy( p, input, ilen );
638
639 return( ( mode == RSA_PUBLIC )
640 ? rsa_public( ctx, output, output )
Paul Bakker548957d2013-08-30 10:30:02 +0200641 : rsa_private( ctx, f_rng, p_rng, output, output ) );
Paul Bakkerb3869132013-02-28 17:21:01 +0100642}
Paul Bakker48377d92013-08-30 12:06:24 +0200643#endif /* POLARSSL_PKCS1_V15 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100644
Paul Bakker5121ce52009-01-03 21:22:43 +0000645/*
646 * Add the message padding, then do an RSA operation
647 */
648int rsa_pkcs1_encrypt( rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000649 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker21eb2802010-08-16 11:10:02 +0000650 void *p_rng,
Paul Bakker23986e52011-04-24 08:57:21 +0000651 int mode, size_t ilen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000652 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000653 unsigned char *output )
654{
Paul Bakker5121ce52009-01-03 21:22:43 +0000655 switch( ctx->padding )
656 {
Paul Bakker48377d92013-08-30 12:06:24 +0200657#if defined(POLARSSL_PKCS1_V15)
Paul Bakker5121ce52009-01-03 21:22:43 +0000658 case RSA_PKCS_V15:
Paul Bakkerb3869132013-02-28 17:21:01 +0100659 return rsa_rsaes_pkcs1_v15_encrypt( ctx, f_rng, p_rng, mode, ilen,
660 input, output );
Paul Bakker48377d92013-08-30 12:06:24 +0200661#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000662
Paul Bakker9dcc3222011-03-08 14:16:06 +0000663#if defined(POLARSSL_PKCS1_V21)
664 case RSA_PKCS_V21:
Paul Bakkerb3869132013-02-28 17:21:01 +0100665 return rsa_rsaes_oaep_encrypt( ctx, f_rng, p_rng, mode, NULL, 0,
666 ilen, input, output );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000667#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000668
669 default:
Paul Bakker40e46942009-01-03 21:51:57 +0000670 return( POLARSSL_ERR_RSA_INVALID_PADDING );
Paul Bakker5121ce52009-01-03 21:22:43 +0000671 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000672}
673
Paul Bakkerb3869132013-02-28 17:21:01 +0100674#if defined(POLARSSL_PKCS1_V21)
Paul Bakker5121ce52009-01-03 21:22:43 +0000675/*
Paul Bakkerb3869132013-02-28 17:21:01 +0100676 * Implementation of the PKCS#1 v2.1 RSAES-OAEP-DECRYPT function
Paul Bakker5121ce52009-01-03 21:22:43 +0000677 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100678int rsa_rsaes_oaep_decrypt( rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200679 int (*f_rng)(void *, unsigned char *, size_t),
680 void *p_rng,
681 int mode,
Paul Bakkera43231c2013-02-28 17:33:49 +0100682 const unsigned char *label, size_t label_len,
683 size_t *olen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100684 const unsigned char *input,
685 unsigned char *output,
686 size_t output_max_len )
Paul Bakker5121ce52009-01-03 21:22:43 +0000687{
Paul Bakker23986e52011-04-24 08:57:21 +0000688 int ret;
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100689 size_t ilen, i, pad_len;
690 unsigned char *p, bad, pad_done;
Paul Bakker0be82f22012-10-03 20:36:33 +0000691 unsigned char buf[POLARSSL_MPI_MAX_SIZE];
Paul Bakker9dcc3222011-03-08 14:16:06 +0000692 unsigned char lhash[POLARSSL_MD_MAX_SIZE];
Paul Bakker23986e52011-04-24 08:57:21 +0000693 unsigned int hlen;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000694 const md_info_t *md_info;
695 md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +0100696
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100697 /*
698 * Parameters sanity checks
699 */
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200700 if( mode == RSA_PRIVATE && ctx->padding != RSA_PKCS_V21 )
Paul Bakkerb3869132013-02-28 17:21:01 +0100701 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000702
703 ilen = ctx->len;
704
Paul Bakker27fdf462011-06-09 13:55:13 +0000705 if( ilen < 16 || ilen > sizeof( buf ) )
Paul Bakker40e46942009-01-03 21:51:57 +0000706 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000707
Manuel Pégourié-Gonnarda2733712015-02-10 17:32:14 +0100708 md_info = md_info_from_type( (md_type_t) ctx->hash_id );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100709 if( md_info == NULL )
710 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
711
712 /*
713 * RSA operation
714 */
Paul Bakker5121ce52009-01-03 21:22:43 +0000715 ret = ( mode == RSA_PUBLIC )
716 ? rsa_public( ctx, input, buf )
Paul Bakker548957d2013-08-30 10:30:02 +0200717 : rsa_private( ctx, f_rng, p_rng, input, buf );
Paul Bakker5121ce52009-01-03 21:22:43 +0000718
719 if( ret != 0 )
720 return( ret );
721
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100722 /*
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100723 * Unmask data and generate lHash
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100724 */
725 hlen = md_get_size( md_info );
726
Paul Bakker84bbeb52014-07-01 14:53:22 +0200727 md_init( &md_ctx );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100728 md_init_ctx( &md_ctx, md_info );
729
730 /* Generate lHash */
731 md( md_info, label, label_len, lhash );
732
733 /* seed: Apply seedMask to maskedSeed */
734 mgf_mask( buf + 1, hlen, buf + hlen + 1, ilen - hlen - 1,
735 &md_ctx );
736
737 /* DB: Apply dbMask to maskedDB */
738 mgf_mask( buf + hlen + 1, ilen - hlen - 1, buf + 1, hlen,
739 &md_ctx );
740
Paul Bakker84bbeb52014-07-01 14:53:22 +0200741 md_free( &md_ctx );
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100742
743 /*
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100744 * Check contents, in "constant-time"
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100745 */
Paul Bakker5121ce52009-01-03 21:22:43 +0000746 p = buf;
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100747 bad = 0;
Paul Bakker5121ce52009-01-03 21:22:43 +0000748
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100749 bad |= *p++; /* First byte must be 0 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100750
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100751 p += hlen; /* Skip seed */
Paul Bakkerb3869132013-02-28 17:21:01 +0100752
Manuel Pégourié-Gonnarda5cfc352013-11-28 15:57:52 +0100753 /* Check lHash */
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100754 for( i = 0; i < hlen; i++ )
755 bad |= lhash[i] ^ *p++;
Paul Bakkerb3869132013-02-28 17:21:01 +0100756
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100757 /* Get zero-padding len, but always read till end of buffer
758 * (minus one, for the 01 byte) */
759 pad_len = 0;
760 pad_done = 0;
761 for( i = 0; i < ilen - 2 * hlen - 2; i++ )
762 {
763 pad_done |= p[i];
764 pad_len += ( pad_done == 0 );
765 }
Paul Bakkerb3869132013-02-28 17:21:01 +0100766
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100767 p += pad_len;
768 bad |= *p++ ^ 0x01;
Paul Bakkerb3869132013-02-28 17:21:01 +0100769
Manuel Pégourié-Gonnardab44d7e2013-11-29 12:49:44 +0100770 /*
771 * The only information "leaked" is whether the padding was correct or not
772 * (eg, no data is copied if it was not correct). This meets the
773 * recommendations in PKCS#1 v2.2: an opponent cannot distinguish between
774 * the different error conditions.
775 */
776 if( bad != 0 )
Paul Bakkerb3869132013-02-28 17:21:01 +0100777 return( POLARSSL_ERR_RSA_INVALID_PADDING );
778
Paul Bakker66d5d072014-06-17 16:39:18 +0200779 if( ilen - ( p - buf ) > output_max_len )
Paul Bakkerb3869132013-02-28 17:21:01 +0100780 return( POLARSSL_ERR_RSA_OUTPUT_TOO_LARGE );
781
782 *olen = ilen - (p - buf);
783 memcpy( output, p, *olen );
784
785 return( 0 );
786}
787#endif /* POLARSSL_PKCS1_V21 */
788
Paul Bakker48377d92013-08-30 12:06:24 +0200789#if defined(POLARSSL_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +0100790/*
791 * Implementation of the PKCS#1 v2.1 RSAES-PKCS1-V1_5-DECRYPT function
792 */
793int rsa_rsaes_pkcs1_v15_decrypt( rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200794 int (*f_rng)(void *, unsigned char *, size_t),
795 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +0100796 int mode, size_t *olen,
797 const unsigned char *input,
798 unsigned char *output,
799 size_t output_max_len)
800{
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100801 int ret;
802 size_t ilen, pad_count = 0, i;
803 unsigned char *p, bad, pad_done = 0;
Paul Bakkerb3869132013-02-28 17:21:01 +0100804 unsigned char buf[POLARSSL_MPI_MAX_SIZE];
805
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200806 if( mode == RSA_PRIVATE && ctx->padding != RSA_PKCS_V15 )
Paul Bakkerb3869132013-02-28 17:21:01 +0100807 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
808
809 ilen = ctx->len;
810
811 if( ilen < 16 || ilen > sizeof( buf ) )
812 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
813
814 ret = ( mode == RSA_PUBLIC )
815 ? rsa_public( ctx, input, buf )
Paul Bakker548957d2013-08-30 10:30:02 +0200816 : rsa_private( ctx, f_rng, p_rng, input, buf );
Paul Bakkerb3869132013-02-28 17:21:01 +0100817
818 if( ret != 0 )
819 return( ret );
820
821 p = buf;
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100822 bad = 0;
Paul Bakkerb3869132013-02-28 17:21:01 +0100823
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100824 /*
825 * Check and get padding len in "constant-time"
826 */
827 bad |= *p++; /* First byte must be 0 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100828
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100829 /* This test does not depend on secret data */
830 if( mode == RSA_PRIVATE )
Paul Bakker5121ce52009-01-03 21:22:43 +0000831 {
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100832 bad |= *p++ ^ RSA_CRYPT;
Paul Bakker5121ce52009-01-03 21:22:43 +0000833
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100834 /* Get padding len, but always read till end of buffer
835 * (minus one, for the 00 byte) */
836 for( i = 0; i < ilen - 3; i++ )
837 {
838 pad_done |= ( p[i] == 0 );
839 pad_count += ( pad_done == 0 );
840 }
Paul Bakkere6ee41f2012-05-19 08:43:48 +0000841
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100842 p += pad_count;
843 bad |= *p++; /* Must be zero */
Paul Bakkerb3869132013-02-28 17:21:01 +0100844 }
845 else
846 {
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100847 bad |= *p++ ^ RSA_SIGN;
Paul Bakkerb3869132013-02-28 17:21:01 +0100848
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100849 /* Get padding len, but always read till end of buffer
850 * (minus one, for the 00 byte) */
851 for( i = 0; i < ilen - 3; i++ )
852 {
Manuel Pégourié-Gonnardfbf09152014-02-03 11:58:55 +0100853 pad_done |= ( p[i] != 0xFF );
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100854 pad_count += ( pad_done == 0 );
855 }
Paul Bakkerb3869132013-02-28 17:21:01 +0100856
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100857 p += pad_count;
858 bad |= *p++; /* Must be zero */
Paul Bakker5121ce52009-01-03 21:22:43 +0000859 }
860
Manuel Pégourié-Gonnard27290da2013-11-30 13:36:53 +0100861 if( bad )
Paul Bakker8804f692013-02-28 18:06:26 +0100862 return( POLARSSL_ERR_RSA_INVALID_PADDING );
863
Paul Bakker66d5d072014-06-17 16:39:18 +0200864 if( ilen - ( p - buf ) > output_max_len )
Paul Bakker23986e52011-04-24 08:57:21 +0000865 return( POLARSSL_ERR_RSA_OUTPUT_TOO_LARGE );
Paul Bakker060c5682009-01-12 21:48:39 +0000866
Paul Bakker27fdf462011-06-09 13:55:13 +0000867 *olen = ilen - (p - buf);
Paul Bakker5121ce52009-01-03 21:22:43 +0000868 memcpy( output, p, *olen );
869
870 return( 0 );
871}
Paul Bakker48377d92013-08-30 12:06:24 +0200872#endif /* POLARSSL_PKCS1_V15 */
Paul Bakker5121ce52009-01-03 21:22:43 +0000873
874/*
Paul Bakkerb3869132013-02-28 17:21:01 +0100875 * Do an RSA operation, then remove the message padding
876 */
877int rsa_pkcs1_decrypt( rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200878 int (*f_rng)(void *, unsigned char *, size_t),
879 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +0100880 int mode, size_t *olen,
881 const unsigned char *input,
882 unsigned char *output,
883 size_t output_max_len)
884{
885 switch( ctx->padding )
886 {
Paul Bakker48377d92013-08-30 12:06:24 +0200887#if defined(POLARSSL_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +0100888 case RSA_PKCS_V15:
Paul Bakker548957d2013-08-30 10:30:02 +0200889 return rsa_rsaes_pkcs1_v15_decrypt( ctx, f_rng, p_rng, mode, olen,
890 input, output, output_max_len );
Paul Bakker48377d92013-08-30 12:06:24 +0200891#endif
Paul Bakkerb3869132013-02-28 17:21:01 +0100892
893#if defined(POLARSSL_PKCS1_V21)
894 case RSA_PKCS_V21:
Paul Bakker548957d2013-08-30 10:30:02 +0200895 return rsa_rsaes_oaep_decrypt( ctx, f_rng, p_rng, mode, NULL, 0,
896 olen, input, output,
897 output_max_len );
Paul Bakkerb3869132013-02-28 17:21:01 +0100898#endif
899
900 default:
901 return( POLARSSL_ERR_RSA_INVALID_PADDING );
902 }
903}
904
905#if defined(POLARSSL_PKCS1_V21)
906/*
907 * Implementation of the PKCS#1 v2.1 RSASSA-PSS-SIGN function
908 */
909int rsa_rsassa_pss_sign( rsa_context *ctx,
910 int (*f_rng)(void *, unsigned char *, size_t),
911 void *p_rng,
912 int mode,
Paul Bakkerc70b9822013-04-07 22:00:46 +0200913 md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +0100914 unsigned int hashlen,
915 const unsigned char *hash,
916 unsigned char *sig )
917{
918 size_t olen;
919 unsigned char *p = sig;
920 unsigned char salt[POLARSSL_MD_MAX_SIZE];
921 unsigned int slen, hlen, offset = 0;
922 int ret;
923 size_t msb;
924 const md_info_t *md_info;
925 md_context_t md_ctx;
926
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200927 if( mode == RSA_PRIVATE && ctx->padding != RSA_PKCS_V21 )
928 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
929
930 if( f_rng == NULL )
Paul Bakkerb3869132013-02-28 17:21:01 +0100931 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
932
933 olen = ctx->len;
934
Paul Bakkerc70b9822013-04-07 22:00:46 +0200935 if( md_alg != POLARSSL_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +0100936 {
Paul Bakkerc70b9822013-04-07 22:00:46 +0200937 // Gather length of hash to sign
938 //
939 md_info = md_info_from_type( md_alg );
940 if( md_info == NULL )
Paul Bakkerb3869132013-02-28 17:21:01 +0100941 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +0200942
943 hashlen = md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +0100944 }
945
Manuel Pégourié-Gonnarda2733712015-02-10 17:32:14 +0100946 md_info = md_info_from_type( (md_type_t) ctx->hash_id );
Paul Bakkerb3869132013-02-28 17:21:01 +0100947 if( md_info == NULL )
948 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
949
950 hlen = md_get_size( md_info );
951 slen = hlen;
952
953 if( olen < hlen + slen + 2 )
954 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
955
956 memset( sig, 0, olen );
957
Paul Bakkerb3869132013-02-28 17:21:01 +0100958 // Generate salt of length slen
959 //
960 if( ( ret = f_rng( p_rng, salt, slen ) ) != 0 )
961 return( POLARSSL_ERR_RSA_RNG_FAILED + ret );
962
963 // Note: EMSA-PSS encoding is over the length of N - 1 bits
964 //
965 msb = mpi_msb( &ctx->N ) - 1;
966 p += olen - hlen * 2 - 2;
967 *p++ = 0x01;
968 memcpy( p, salt, slen );
969 p += slen;
970
Paul Bakker84bbeb52014-07-01 14:53:22 +0200971 md_init( &md_ctx );
Paul Bakkerb3869132013-02-28 17:21:01 +0100972 md_init_ctx( &md_ctx, md_info );
973
974 // Generate H = Hash( M' )
975 //
976 md_starts( &md_ctx );
977 md_update( &md_ctx, p, 8 );
978 md_update( &md_ctx, hash, hashlen );
979 md_update( &md_ctx, salt, slen );
980 md_finish( &md_ctx, p );
981
982 // Compensate for boundary condition when applying mask
983 //
984 if( msb % 8 == 0 )
985 offset = 1;
986
987 // maskedDB: Apply dbMask to DB
988 //
989 mgf_mask( sig + offset, olen - hlen - 1 - offset, p, hlen, &md_ctx );
990
Paul Bakker84bbeb52014-07-01 14:53:22 +0200991 md_free( &md_ctx );
Paul Bakkerb3869132013-02-28 17:21:01 +0100992
993 msb = mpi_msb( &ctx->N ) - 1;
994 sig[0] &= 0xFF >> ( olen * 8 - msb );
995
996 p += hlen;
997 *p++ = 0xBC;
998
999 return( ( mode == RSA_PUBLIC )
1000 ? rsa_public( ctx, sig, sig )
Paul Bakker548957d2013-08-30 10:30:02 +02001001 : rsa_private( ctx, f_rng, p_rng, sig, sig ) );
Paul Bakkerb3869132013-02-28 17:21:01 +01001002}
1003#endif /* POLARSSL_PKCS1_V21 */
1004
Paul Bakker48377d92013-08-30 12:06:24 +02001005#if defined(POLARSSL_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +01001006/*
1007 * Implementation of the PKCS#1 v2.1 RSASSA-PKCS1-V1_5-SIGN function
1008 */
1009/*
1010 * Do an RSA operation to sign the message digest
1011 */
1012int rsa_rsassa_pkcs1_v15_sign( rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001013 int (*f_rng)(void *, unsigned char *, size_t),
1014 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001015 int mode,
Paul Bakkerc70b9822013-04-07 22:00:46 +02001016 md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001017 unsigned int hashlen,
1018 const unsigned char *hash,
1019 unsigned char *sig )
1020{
Paul Bakkerc70b9822013-04-07 22:00:46 +02001021 size_t nb_pad, olen, oid_size = 0;
Paul Bakkerb3869132013-02-28 17:21:01 +01001022 unsigned char *p = sig;
Paul Bakker21e081b2014-07-24 10:38:01 +02001023 const char *oid = NULL;
Paul Bakkerb3869132013-02-28 17:21:01 +01001024
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +02001025 if( mode == RSA_PRIVATE && ctx->padding != RSA_PKCS_V15 )
Paul Bakkerb3869132013-02-28 17:21:01 +01001026 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1027
1028 olen = ctx->len;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001029 nb_pad = olen - 3;
Paul Bakkerb3869132013-02-28 17:21:01 +01001030
Paul Bakkerc70b9822013-04-07 22:00:46 +02001031 if( md_alg != POLARSSL_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001032 {
Paul Bakkerc70b9822013-04-07 22:00:46 +02001033 const md_info_t *md_info = md_info_from_type( md_alg );
1034 if( md_info == NULL )
Paul Bakkerb3869132013-02-28 17:21:01 +01001035 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001036
Paul Bakker1c3853b2013-09-10 11:43:44 +02001037 if( oid_get_oid_by_md( md_alg, &oid, &oid_size ) != 0 )
Paul Bakkerc70b9822013-04-07 22:00:46 +02001038 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1039
Paul Bakkerc70b9822013-04-07 22:00:46 +02001040 nb_pad -= 10 + oid_size;
1041
1042 hashlen = md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +01001043 }
1044
Paul Bakkerc70b9822013-04-07 22:00:46 +02001045 nb_pad -= hashlen;
1046
Paul Bakkerb3869132013-02-28 17:21:01 +01001047 if( ( nb_pad < 8 ) || ( nb_pad > olen ) )
1048 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1049
1050 *p++ = 0;
1051 *p++ = RSA_SIGN;
1052 memset( p, 0xFF, nb_pad );
1053 p += nb_pad;
1054 *p++ = 0;
1055
Paul Bakkerc70b9822013-04-07 22:00:46 +02001056 if( md_alg == POLARSSL_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001057 {
Paul Bakkerc70b9822013-04-07 22:00:46 +02001058 memcpy( p, hash, hashlen );
1059 }
1060 else
1061 {
1062 /*
1063 * DigestInfo ::= SEQUENCE {
1064 * digestAlgorithm DigestAlgorithmIdentifier,
1065 * digest Digest }
1066 *
1067 * DigestAlgorithmIdentifier ::= AlgorithmIdentifier
1068 *
1069 * Digest ::= OCTET STRING
1070 */
1071 *p++ = ASN1_SEQUENCE | ASN1_CONSTRUCTED;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001072 *p++ = (unsigned char) ( 0x08 + oid_size + hashlen );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001073 *p++ = ASN1_SEQUENCE | ASN1_CONSTRUCTED;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001074 *p++ = (unsigned char) ( 0x04 + oid_size );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001075 *p++ = ASN1_OID;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001076 *p++ = oid_size & 0xFF;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001077 memcpy( p, oid, oid_size );
1078 p += oid_size;
1079 *p++ = ASN1_NULL;
1080 *p++ = 0x00;
1081 *p++ = ASN1_OCTET_STRING;
1082 *p++ = hashlen;
1083 memcpy( p, hash, hashlen );
Paul Bakkerb3869132013-02-28 17:21:01 +01001084 }
1085
1086 return( ( mode == RSA_PUBLIC )
1087 ? rsa_public( ctx, sig, sig )
Paul Bakker548957d2013-08-30 10:30:02 +02001088 : rsa_private( ctx, f_rng, p_rng, sig, sig ) );
Paul Bakkerb3869132013-02-28 17:21:01 +01001089}
Paul Bakker48377d92013-08-30 12:06:24 +02001090#endif /* POLARSSL_PKCS1_V15 */
Paul Bakkerb3869132013-02-28 17:21:01 +01001091
1092/*
Paul Bakker5121ce52009-01-03 21:22:43 +00001093 * Do an RSA operation to sign the message digest
1094 */
1095int rsa_pkcs1_sign( rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +00001096 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker9dcc3222011-03-08 14:16:06 +00001097 void *p_rng,
Paul Bakker5121ce52009-01-03 21:22:43 +00001098 int mode,
Paul Bakkerc70b9822013-04-07 22:00:46 +02001099 md_type_t md_alg,
Paul Bakker23986e52011-04-24 08:57:21 +00001100 unsigned int hashlen,
Paul Bakkerff60ee62010-03-16 21:09:09 +00001101 const unsigned char *hash,
Paul Bakker5121ce52009-01-03 21:22:43 +00001102 unsigned char *sig )
1103{
Paul Bakker5121ce52009-01-03 21:22:43 +00001104 switch( ctx->padding )
1105 {
Paul Bakker48377d92013-08-30 12:06:24 +02001106#if defined(POLARSSL_PKCS1_V15)
Paul Bakker5121ce52009-01-03 21:22:43 +00001107 case RSA_PKCS_V15:
Paul Bakker548957d2013-08-30 10:30:02 +02001108 return rsa_rsassa_pkcs1_v15_sign( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001109 hashlen, hash, sig );
Paul Bakker48377d92013-08-30 12:06:24 +02001110#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001111
Paul Bakker9dcc3222011-03-08 14:16:06 +00001112#if defined(POLARSSL_PKCS1_V21)
1113 case RSA_PKCS_V21:
Paul Bakkerc70b9822013-04-07 22:00:46 +02001114 return rsa_rsassa_pss_sign( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001115 hashlen, hash, sig );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001116#endif
1117
Paul Bakker5121ce52009-01-03 21:22:43 +00001118 default:
Paul Bakker40e46942009-01-03 21:51:57 +00001119 return( POLARSSL_ERR_RSA_INVALID_PADDING );
Paul Bakker5121ce52009-01-03 21:22:43 +00001120 }
Paul Bakker5121ce52009-01-03 21:22:43 +00001121}
1122
Paul Bakkerb3869132013-02-28 17:21:01 +01001123#if defined(POLARSSL_PKCS1_V21)
Paul Bakker5121ce52009-01-03 21:22:43 +00001124/*
Paul Bakkerb3869132013-02-28 17:21:01 +01001125 * Implementation of the PKCS#1 v2.1 RSASSA-PSS-VERIFY function
Paul Bakker5121ce52009-01-03 21:22:43 +00001126 */
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001127int rsa_rsassa_pss_verify_ext( rsa_context *ctx,
1128 int (*f_rng)(void *, unsigned char *, size_t),
1129 void *p_rng,
1130 int mode,
1131 md_type_t md_alg,
1132 unsigned int hashlen,
1133 const unsigned char *hash,
1134 md_type_t mgf1_hash_id,
1135 int expected_salt_len,
1136 const unsigned char *sig )
Paul Bakker5121ce52009-01-03 21:22:43 +00001137{
Paul Bakker23986e52011-04-24 08:57:21 +00001138 int ret;
Paul Bakkerb3869132013-02-28 17:21:01 +01001139 size_t siglen;
1140 unsigned char *p;
Paul Bakker0be82f22012-10-03 20:36:33 +00001141 unsigned char buf[POLARSSL_MPI_MAX_SIZE];
Paul Bakker1fe7d9b2011-11-15 15:26:03 +00001142 unsigned char result[POLARSSL_MD_MAX_SIZE];
Paul Bakker9dcc3222011-03-08 14:16:06 +00001143 unsigned char zeros[8];
Paul Bakker23986e52011-04-24 08:57:21 +00001144 unsigned int hlen;
1145 size_t slen, msb;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001146 const md_info_t *md_info;
1147 md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +01001148
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +02001149 if( mode == RSA_PRIVATE && ctx->padding != RSA_PKCS_V21 )
Paul Bakkerb3869132013-02-28 17:21:01 +01001150 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1151
Paul Bakker5121ce52009-01-03 21:22:43 +00001152 siglen = ctx->len;
1153
Paul Bakker27fdf462011-06-09 13:55:13 +00001154 if( siglen < 16 || siglen > sizeof( buf ) )
Paul Bakker40e46942009-01-03 21:51:57 +00001155 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +00001156
1157 ret = ( mode == RSA_PUBLIC )
1158 ? rsa_public( ctx, sig, buf )
Paul Bakker548957d2013-08-30 10:30:02 +02001159 : rsa_private( ctx, f_rng, p_rng, sig, buf );
Paul Bakker5121ce52009-01-03 21:22:43 +00001160
1161 if( ret != 0 )
1162 return( ret );
1163
1164 p = buf;
1165
Paul Bakkerb3869132013-02-28 17:21:01 +01001166 if( buf[siglen - 1] != 0xBC )
1167 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1168
Paul Bakkerc70b9822013-04-07 22:00:46 +02001169 if( md_alg != POLARSSL_MD_NONE )
Paul Bakker5121ce52009-01-03 21:22:43 +00001170 {
Paul Bakkerc70b9822013-04-07 22:00:46 +02001171 // Gather length of hash to sign
1172 //
1173 md_info = md_info_from_type( md_alg );
1174 if( md_info == NULL )
Paul Bakkerb3869132013-02-28 17:21:01 +01001175 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakkerc70b9822013-04-07 22:00:46 +02001176
1177 hashlen = md_get_size( md_info );
Paul Bakkerb3869132013-02-28 17:21:01 +01001178 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001179
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001180 md_info = md_info_from_type( mgf1_hash_id );
Paul Bakkerb3869132013-02-28 17:21:01 +01001181 if( md_info == NULL )
1182 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001183
Paul Bakkerb3869132013-02-28 17:21:01 +01001184 hlen = md_get_size( md_info );
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001185 slen = siglen - hlen - 1; /* Currently length of salt + padding */
Paul Bakker9dcc3222011-03-08 14:16:06 +00001186
Paul Bakkerb3869132013-02-28 17:21:01 +01001187 memset( zeros, 0, 8 );
Paul Bakker53019ae2011-03-25 13:58:48 +00001188
Paul Bakkerb3869132013-02-28 17:21:01 +01001189 // Note: EMSA-PSS verification is over the length of N - 1 bits
1190 //
1191 msb = mpi_msb( &ctx->N ) - 1;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001192
Paul Bakkerb3869132013-02-28 17:21:01 +01001193 // Compensate for boundary condition when applying mask
1194 //
1195 if( msb % 8 == 0 )
1196 {
1197 p++;
1198 siglen -= 1;
1199 }
1200 if( buf[0] >> ( 8 - siglen * 8 + msb ) )
1201 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001202
Paul Bakker84bbeb52014-07-01 14:53:22 +02001203 md_init( &md_ctx );
Paul Bakkerb3869132013-02-28 17:21:01 +01001204 md_init_ctx( &md_ctx, md_info );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001205
Paul Bakkerb3869132013-02-28 17:21:01 +01001206 mgf_mask( p, siglen - hlen - 1, p + siglen - hlen - 1, hlen, &md_ctx );
Paul Bakker02303e82013-01-03 11:08:31 +01001207
Paul Bakkerb3869132013-02-28 17:21:01 +01001208 buf[0] &= 0xFF >> ( siglen * 8 - msb );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001209
Paul Bakker4de44aa2013-12-31 11:43:01 +01001210 while( p < buf + siglen && *p == 0 )
Paul Bakkerb3869132013-02-28 17:21:01 +01001211 p++;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001212
Paul Bakkerb3869132013-02-28 17:21:01 +01001213 if( p == buf + siglen ||
1214 *p++ != 0x01 )
1215 {
Paul Bakker84bbeb52014-07-01 14:53:22 +02001216 md_free( &md_ctx );
Paul Bakkerb3869132013-02-28 17:21:01 +01001217 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1218 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001219
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001220 /* Actual salt len */
Paul Bakkerb3869132013-02-28 17:21:01 +01001221 slen -= p - buf;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001222
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001223 if( expected_salt_len != RSA_SALT_LEN_ANY &&
1224 slen != (size_t) expected_salt_len )
1225 {
Paul Bakker84bbeb52014-07-01 14:53:22 +02001226 md_free( &md_ctx );
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001227 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1228 }
1229
Paul Bakkerb3869132013-02-28 17:21:01 +01001230 // Generate H = Hash( M' )
1231 //
1232 md_starts( &md_ctx );
1233 md_update( &md_ctx, zeros, 8 );
1234 md_update( &md_ctx, hash, hashlen );
1235 md_update( &md_ctx, p, slen );
1236 md_finish( &md_ctx, result );
Paul Bakker53019ae2011-03-25 13:58:48 +00001237
Paul Bakker84bbeb52014-07-01 14:53:22 +02001238 md_free( &md_ctx );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001239
Paul Bakkerb3869132013-02-28 17:21:01 +01001240 if( memcmp( p + slen, result, hlen ) == 0 )
1241 return( 0 );
1242 else
1243 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1244}
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001245
1246/*
1247 * Simplified PKCS#1 v2.1 RSASSA-PSS-VERIFY function
1248 */
1249int rsa_rsassa_pss_verify( rsa_context *ctx,
1250 int (*f_rng)(void *, unsigned char *, size_t),
1251 void *p_rng,
1252 int mode,
1253 md_type_t md_alg,
1254 unsigned int hashlen,
1255 const unsigned char *hash,
1256 const unsigned char *sig )
1257{
1258 md_type_t mgf1_hash_id = ( ctx->hash_id != POLARSSL_MD_NONE )
Manuel Pégourié-Gonnard0eaa8be2014-06-05 18:07:20 +02001259 ? (md_type_t) ctx->hash_id
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001260 : md_alg;
1261
1262 return( rsa_rsassa_pss_verify_ext( ctx, f_rng, p_rng, mode,
1263 md_alg, hashlen, hash,
1264 mgf1_hash_id, RSA_SALT_LEN_ANY,
1265 sig ) );
1266
1267}
Paul Bakkerb3869132013-02-28 17:21:01 +01001268#endif /* POLARSSL_PKCS1_V21 */
Paul Bakker40628ba2013-01-03 10:50:31 +01001269
Paul Bakker48377d92013-08-30 12:06:24 +02001270#if defined(POLARSSL_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +01001271/*
1272 * Implementation of the PKCS#1 v2.1 RSASSA-PKCS1-v1_5-VERIFY function
1273 */
1274int rsa_rsassa_pkcs1_v15_verify( rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001275 int (*f_rng)(void *, unsigned char *, size_t),
1276 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001277 int mode,
Paul Bakkerc70b9822013-04-07 22:00:46 +02001278 md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001279 unsigned int hashlen,
1280 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +02001281 const unsigned char *sig )
Paul Bakkerb3869132013-02-28 17:21:01 +01001282{
1283 int ret;
Paul Bakkerc70b9822013-04-07 22:00:46 +02001284 size_t len, siglen, asn1_len;
1285 unsigned char *p, *end;
Paul Bakkerb3869132013-02-28 17:21:01 +01001286 unsigned char buf[POLARSSL_MPI_MAX_SIZE];
Paul Bakkerc70b9822013-04-07 22:00:46 +02001287 md_type_t msg_md_alg;
1288 const md_info_t *md_info;
1289 asn1_buf oid;
Paul Bakkerb3869132013-02-28 17:21:01 +01001290
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +02001291 if( mode == RSA_PRIVATE && ctx->padding != RSA_PKCS_V15 )
Paul Bakkerb3869132013-02-28 17:21:01 +01001292 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1293
1294 siglen = ctx->len;
1295
1296 if( siglen < 16 || siglen > sizeof( buf ) )
1297 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1298
1299 ret = ( mode == RSA_PUBLIC )
1300 ? rsa_public( ctx, sig, buf )
Paul Bakker548957d2013-08-30 10:30:02 +02001301 : rsa_private( ctx, f_rng, p_rng, sig, buf );
Paul Bakkerb3869132013-02-28 17:21:01 +01001302
1303 if( ret != 0 )
1304 return( ret );
1305
1306 p = buf;
1307
1308 if( *p++ != 0 || *p++ != RSA_SIGN )
1309 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1310
1311 while( *p != 0 )
1312 {
1313 if( p >= buf + siglen - 1 || *p != 0xFF )
1314 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1315 p++;
1316 }
1317 p++;
1318
1319 len = siglen - ( p - buf );
1320
Paul Bakkerc70b9822013-04-07 22:00:46 +02001321 if( len == hashlen && md_alg == POLARSSL_MD_NONE )
Paul Bakkerb3869132013-02-28 17:21:01 +01001322 {
1323 if( memcmp( p, hash, hashlen ) == 0 )
1324 return( 0 );
1325 else
1326 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +00001327 }
1328
Paul Bakkerc70b9822013-04-07 22:00:46 +02001329 md_info = md_info_from_type( md_alg );
1330 if( md_info == NULL )
1331 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1332 hashlen = md_get_size( md_info );
1333
1334 end = p + len;
1335
1336 // Parse the ASN.1 structure inside the PKCS#1 v1.5 structure
1337 //
1338 if( ( ret = asn1_get_tag( &p, end, &asn1_len,
1339 ASN1_CONSTRUCTED | ASN1_SEQUENCE ) ) != 0 )
1340 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1341
1342 if( asn1_len + 2 != len )
1343 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1344
1345 if( ( ret = asn1_get_tag( &p, end, &asn1_len,
1346 ASN1_CONSTRUCTED | ASN1_SEQUENCE ) ) != 0 )
1347 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1348
1349 if( asn1_len + 6 + hashlen != len )
1350 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1351
1352 if( ( ret = asn1_get_tag( &p, end, &oid.len, ASN1_OID ) ) != 0 )
1353 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1354
1355 oid.p = p;
1356 p += oid.len;
1357
1358 if( oid_get_md_alg( &oid, &msg_md_alg ) != 0 )
1359 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1360
1361 if( md_alg != msg_md_alg )
1362 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1363
1364 /*
1365 * assume the algorithm parameters must be NULL
1366 */
1367 if( ( ret = asn1_get_tag( &p, end, &asn1_len, ASN1_NULL ) ) != 0 )
1368 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1369
1370 if( ( ret = asn1_get_tag( &p, end, &asn1_len, ASN1_OCTET_STRING ) ) != 0 )
1371 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1372
1373 if( asn1_len != hashlen )
1374 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1375
1376 if( memcmp( p, hash, hashlen ) != 0 )
1377 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1378
1379 p += hashlen;
1380
1381 if( p != end )
1382 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1383
1384 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +00001385}
Paul Bakker48377d92013-08-30 12:06:24 +02001386#endif /* POLARSSL_PKCS1_V15 */
Paul Bakker5121ce52009-01-03 21:22:43 +00001387
1388/*
Paul Bakkerb3869132013-02-28 17:21:01 +01001389 * Do an RSA operation and check the message digest
1390 */
1391int rsa_pkcs1_verify( rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +02001392 int (*f_rng)(void *, unsigned char *, size_t),
1393 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +01001394 int mode,
Paul Bakkerc70b9822013-04-07 22:00:46 +02001395 md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001396 unsigned int hashlen,
1397 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +02001398 const unsigned char *sig )
Paul Bakkerb3869132013-02-28 17:21:01 +01001399{
1400 switch( ctx->padding )
1401 {
Paul Bakker48377d92013-08-30 12:06:24 +02001402#if defined(POLARSSL_PKCS1_V15)
Paul Bakkerb3869132013-02-28 17:21:01 +01001403 case RSA_PKCS_V15:
Paul Bakker548957d2013-08-30 10:30:02 +02001404 return rsa_rsassa_pkcs1_v15_verify( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001405 hashlen, hash, sig );
Paul Bakker48377d92013-08-30 12:06:24 +02001406#endif
Paul Bakkerb3869132013-02-28 17:21:01 +01001407
1408#if defined(POLARSSL_PKCS1_V21)
1409 case RSA_PKCS_V21:
Paul Bakker548957d2013-08-30 10:30:02 +02001410 return rsa_rsassa_pss_verify( ctx, f_rng, p_rng, mode, md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001411 hashlen, hash, sig );
1412#endif
1413
1414 default:
1415 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1416 }
1417}
1418
1419/*
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001420 * Copy the components of an RSA key
1421 */
1422int rsa_copy( rsa_context *dst, const rsa_context *src )
1423{
1424 int ret;
1425
1426 dst->ver = src->ver;
1427 dst->len = src->len;
1428
1429 MPI_CHK( mpi_copy( &dst->N, &src->N ) );
1430 MPI_CHK( mpi_copy( &dst->E, &src->E ) );
1431
1432 MPI_CHK( mpi_copy( &dst->D, &src->D ) );
1433 MPI_CHK( mpi_copy( &dst->P, &src->P ) );
1434 MPI_CHK( mpi_copy( &dst->Q, &src->Q ) );
1435 MPI_CHK( mpi_copy( &dst->DP, &src->DP ) );
1436 MPI_CHK( mpi_copy( &dst->DQ, &src->DQ ) );
1437 MPI_CHK( mpi_copy( &dst->QP, &src->QP ) );
1438
1439 MPI_CHK( mpi_copy( &dst->RN, &src->RN ) );
1440 MPI_CHK( mpi_copy( &dst->RP, &src->RP ) );
1441 MPI_CHK( mpi_copy( &dst->RQ, &src->RQ ) );
1442
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +02001443 MPI_CHK( mpi_copy( &dst->Vi, &src->Vi ) );
1444 MPI_CHK( mpi_copy( &dst->Vf, &src->Vf ) );
1445
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001446 dst->padding = src->padding;
Manuel Pégourié-Gonnardfdddac92014-03-25 15:58:35 +01001447 dst->hash_id = src->hash_id;
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001448
1449cleanup:
1450 if( ret != 0 )
1451 rsa_free( dst );
1452
1453 return( ret );
1454}
1455
1456/*
Paul Bakker5121ce52009-01-03 21:22:43 +00001457 * Free the components of an RSA key
1458 */
1459void rsa_free( rsa_context *ctx )
1460{
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +02001461 mpi_free( &ctx->Vi ); mpi_free( &ctx->Vf );
Paul Bakker6c591fa2011-05-05 11:49:20 +00001462 mpi_free( &ctx->RQ ); mpi_free( &ctx->RP ); mpi_free( &ctx->RN );
1463 mpi_free( &ctx->QP ); mpi_free( &ctx->DQ ); mpi_free( &ctx->DP );
1464 mpi_free( &ctx->Q ); mpi_free( &ctx->P ); mpi_free( &ctx->D );
1465 mpi_free( &ctx->E ); mpi_free( &ctx->N );
Paul Bakkerc9965dc2013-09-29 14:58:17 +02001466
1467#if defined(POLARSSL_THREADING_C)
1468 polarssl_mutex_free( &ctx->mutex );
1469#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001470}
1471
Paul Bakker40e46942009-01-03 21:51:57 +00001472#if defined(POLARSSL_SELF_TEST)
Paul Bakker5121ce52009-01-03 21:22:43 +00001473
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00001474#include "mbedtls/sha1.h"
Paul Bakker5121ce52009-01-03 21:22:43 +00001475
1476/*
1477 * Example RSA-1024 keypair, for test purposes
1478 */
1479#define KEY_LEN 128
1480
1481#define RSA_N "9292758453063D803DD603D5E777D788" \
1482 "8ED1D5BF35786190FA2F23EBC0848AEA" \
1483 "DDA92CA6C3D80B32C4D109BE0F36D6AE" \
1484 "7130B9CED7ACDF54CFC7555AC14EEBAB" \
1485 "93A89813FBF3C4F8066D2D800F7C38A8" \
1486 "1AE31942917403FF4946B0A83D3D3E05" \
1487 "EE57C6F5F5606FB5D4BC6CD34EE0801A" \
1488 "5E94BB77B07507233A0BC7BAC8F90F79"
1489
1490#define RSA_E "10001"
1491
1492#define RSA_D "24BF6185468786FDD303083D25E64EFC" \
1493 "66CA472BC44D253102F8B4A9D3BFA750" \
1494 "91386C0077937FE33FA3252D28855837" \
1495 "AE1B484A8A9A45F7EE8C0C634F99E8CD" \
1496 "DF79C5CE07EE72C7F123142198164234" \
1497 "CABB724CF78B8173B9F880FC86322407" \
1498 "AF1FEDFDDE2BEB674CA15F3E81A1521E" \
1499 "071513A1E85B5DFA031F21ECAE91A34D"
1500
1501#define RSA_P "C36D0EB7FCD285223CFB5AABA5BDA3D8" \
1502 "2C01CAD19EA484A87EA4377637E75500" \
1503 "FCB2005C5C7DD6EC4AC023CDA285D796" \
1504 "C3D9E75E1EFC42488BB4F1D13AC30A57"
1505
1506#define RSA_Q "C000DF51A7C77AE8D7C7370C1FF55B69" \
1507 "E211C2B9E5DB1ED0BF61D0D9899620F4" \
1508 "910E4168387E3C30AA1E00C339A79508" \
1509 "8452DD96A9A5EA5D9DCA68DA636032AF"
1510
1511#define RSA_DP "C1ACF567564274FB07A0BBAD5D26E298" \
1512 "3C94D22288ACD763FD8E5600ED4A702D" \
1513 "F84198A5F06C2E72236AE490C93F07F8" \
1514 "3CC559CD27BC2D1CA488811730BB5725"
1515
1516#define RSA_DQ "4959CBF6F8FEF750AEE6977C155579C7" \
1517 "D8AAEA56749EA28623272E4F7D0592AF" \
1518 "7C1F1313CAC9471B5C523BFE592F517B" \
1519 "407A1BD76C164B93DA2D32A383E58357"
1520
1521#define RSA_QP "9AE7FBC99546432DF71896FC239EADAE" \
1522 "F38D18D2B2F0E2DD275AA977E2BF4411" \
1523 "F5A3B2A5D33605AEBBCCBA7FEB9F2D2F" \
1524 "A74206CEC169D74BF5A8C50D6F48EA08"
1525
1526#define PT_LEN 24
1527#define RSA_PT "\xAA\xBB\xCC\x03\x02\x01\x00\xFF\xFF\xFF\xFF\xFF" \
1528 "\x11\x22\x33\x0A\x0B\x0C\xCC\xDD\xDD\xDD\xDD\xDD"
1529
Paul Bakkerfef3c5a2013-12-11 13:36:30 +01001530#if defined(POLARSSL_PKCS1_V15)
Paul Bakkera3d195c2011-11-27 21:07:34 +00001531static int myrand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker545570e2010-07-18 09:00:25 +00001532{
Paul Bakkerf96f7b62014-04-30 16:02:38 +02001533#if !defined(__OpenBSD__)
Paul Bakkera3d195c2011-11-27 21:07:34 +00001534 size_t i;
1535
Paul Bakker545570e2010-07-18 09:00:25 +00001536 if( rng_state != NULL )
1537 rng_state = NULL;
1538
Paul Bakkera3d195c2011-11-27 21:07:34 +00001539 for( i = 0; i < len; ++i )
1540 output[i] = rand();
Paul Bakkerf96f7b62014-04-30 16:02:38 +02001541#else
1542 if( rng_state != NULL )
1543 rng_state = NULL;
1544
1545 arc4random_buf( output, len );
1546#endif /* !OpenBSD */
Paul Bakker48377d92013-08-30 12:06:24 +02001547
Paul Bakkera3d195c2011-11-27 21:07:34 +00001548 return( 0 );
Paul Bakker545570e2010-07-18 09:00:25 +00001549}
Paul Bakker9af723c2014-05-01 13:03:14 +02001550#endif /* POLARSSL_PKCS1_V15 */
Paul Bakker545570e2010-07-18 09:00:25 +00001551
Paul Bakker5121ce52009-01-03 21:22:43 +00001552/*
1553 * Checkup routine
1554 */
1555int rsa_self_test( int verbose )
1556{
Paul Bakker3d8fb632014-04-17 12:42:41 +02001557 int ret = 0;
Paul Bakkerfef3c5a2013-12-11 13:36:30 +01001558#if defined(POLARSSL_PKCS1_V15)
Paul Bakker23986e52011-04-24 08:57:21 +00001559 size_t len;
Paul Bakker5121ce52009-01-03 21:22:43 +00001560 rsa_context rsa;
Paul Bakker5121ce52009-01-03 21:22:43 +00001561 unsigned char rsa_plaintext[PT_LEN];
1562 unsigned char rsa_decrypted[PT_LEN];
1563 unsigned char rsa_ciphertext[KEY_LEN];
Paul Bakker5690efc2011-05-26 13:16:06 +00001564#if defined(POLARSSL_SHA1_C)
1565 unsigned char sha1sum[20];
1566#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001567
Paul Bakker21eb2802010-08-16 11:10:02 +00001568 rsa_init( &rsa, RSA_PKCS_V15, 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +00001569
1570 rsa.len = KEY_LEN;
Paul Bakker3d8fb632014-04-17 12:42:41 +02001571 MPI_CHK( mpi_read_string( &rsa.N , 16, RSA_N ) );
1572 MPI_CHK( mpi_read_string( &rsa.E , 16, RSA_E ) );
1573 MPI_CHK( mpi_read_string( &rsa.D , 16, RSA_D ) );
1574 MPI_CHK( mpi_read_string( &rsa.P , 16, RSA_P ) );
1575 MPI_CHK( mpi_read_string( &rsa.Q , 16, RSA_Q ) );
1576 MPI_CHK( mpi_read_string( &rsa.DP, 16, RSA_DP ) );
1577 MPI_CHK( mpi_read_string( &rsa.DQ, 16, RSA_DQ ) );
1578 MPI_CHK( mpi_read_string( &rsa.QP, 16, RSA_QP ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00001579
1580 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001581 polarssl_printf( " RSA key validation: " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001582
1583 if( rsa_check_pubkey( &rsa ) != 0 ||
1584 rsa_check_privkey( &rsa ) != 0 )
1585 {
1586 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001587 polarssl_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001588
1589 return( 1 );
1590 }
1591
1592 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001593 polarssl_printf( "passed\n PKCS#1 encryption : " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001594
1595 memcpy( rsa_plaintext, RSA_PT, PT_LEN );
1596
Paul Bakker548957d2013-08-30 10:30:02 +02001597 if( rsa_pkcs1_encrypt( &rsa, myrand, NULL, RSA_PUBLIC, PT_LEN,
Paul Bakker5121ce52009-01-03 21:22:43 +00001598 rsa_plaintext, rsa_ciphertext ) != 0 )
1599 {
1600 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001601 polarssl_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001602
1603 return( 1 );
1604 }
1605
1606 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001607 polarssl_printf( "passed\n PKCS#1 decryption : " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001608
Paul Bakker548957d2013-08-30 10:30:02 +02001609 if( rsa_pkcs1_decrypt( &rsa, myrand, NULL, RSA_PRIVATE, &len,
Paul Bakker060c5682009-01-12 21:48:39 +00001610 rsa_ciphertext, rsa_decrypted,
Paul Bakker23986e52011-04-24 08:57:21 +00001611 sizeof(rsa_decrypted) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001612 {
1613 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001614 polarssl_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001615
1616 return( 1 );
1617 }
1618
1619 if( memcmp( rsa_decrypted, rsa_plaintext, len ) != 0 )
1620 {
1621 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001622 polarssl_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001623
1624 return( 1 );
1625 }
1626
Paul Bakker5690efc2011-05-26 13:16:06 +00001627#if defined(POLARSSL_SHA1_C)
Paul Bakker5121ce52009-01-03 21:22:43 +00001628 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001629 polarssl_printf( "passed\n PKCS#1 data sign : " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001630
1631 sha1( rsa_plaintext, PT_LEN, sha1sum );
1632
Paul Bakkeraab30c12013-08-30 11:00:25 +02001633 if( rsa_pkcs1_sign( &rsa, myrand, NULL, RSA_PRIVATE, POLARSSL_MD_SHA1, 0,
Paul Bakker5121ce52009-01-03 21:22:43 +00001634 sha1sum, rsa_ciphertext ) != 0 )
1635 {
1636 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001637 polarssl_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001638
1639 return( 1 );
1640 }
1641
1642 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001643 polarssl_printf( "passed\n PKCS#1 sig. verify: " );
Paul Bakker5121ce52009-01-03 21:22:43 +00001644
Paul Bakker548957d2013-08-30 10:30:02 +02001645 if( rsa_pkcs1_verify( &rsa, NULL, NULL, RSA_PUBLIC, POLARSSL_MD_SHA1, 0,
Paul Bakker5121ce52009-01-03 21:22:43 +00001646 sha1sum, rsa_ciphertext ) != 0 )
1647 {
1648 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001649 polarssl_printf( "failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +00001650
1651 return( 1 );
1652 }
1653
1654 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001655 polarssl_printf( "passed\n\n" );
Paul Bakker5690efc2011-05-26 13:16:06 +00001656#endif /* POLARSSL_SHA1_C */
Paul Bakker5121ce52009-01-03 21:22:43 +00001657
Paul Bakker3d8fb632014-04-17 12:42:41 +02001658cleanup:
Paul Bakker5121ce52009-01-03 21:22:43 +00001659 rsa_free( &rsa );
Paul Bakker48377d92013-08-30 12:06:24 +02001660#else /* POLARSSL_PKCS1_V15 */
Paul Bakker3e41fe82013-09-15 17:42:50 +02001661 ((void) verbose);
Paul Bakker48377d92013-08-30 12:06:24 +02001662#endif /* POLARSSL_PKCS1_V15 */
Paul Bakker3d8fb632014-04-17 12:42:41 +02001663 return( ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00001664}
1665
Paul Bakker9af723c2014-05-01 13:03:14 +02001666#endif /* POLARSSL_SELF_TEST */
Paul Bakker5121ce52009-01-03 21:22:43 +00001667
Paul Bakker9af723c2014-05-01 13:03:14 +02001668#endif /* POLARSSL_RSA_C */