blob: d41928fae65e307dd5939c7eb3b0f29d946d07be [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * The RSA public-key cryptosystem
3 *
Paul Bakkerb125ed82011-11-10 13:33:51 +00004 * Copyright (C) 2006-2011, Brainspark B.V.
Paul Bakkerb96f1542010-07-18 20:36:00 +00005 *
6 * This file is part of PolarSSL (http://www.polarssl.org)
Paul Bakker84f12b72010-07-18 10:13:04 +00007 * Lead Maintainer: Paul Bakker <polarssl_maintainer at polarssl.org>
Paul Bakkerb96f1542010-07-18 20:36:00 +00008 *
Paul Bakker77b385e2009-07-28 17:23:11 +00009 * All rights reserved.
Paul Bakkere0ccd0a2009-01-04 16:27:10 +000010 *
Paul Bakker5121ce52009-01-03 21:22:43 +000011 * This program is free software; you can redistribute it and/or modify
12 * it under the terms of the GNU General Public License as published by
13 * the Free Software Foundation; either version 2 of the License, or
14 * (at your option) any later version.
15 *
16 * This program is distributed in the hope that it will be useful,
17 * but WITHOUT ANY WARRANTY; without even the implied warranty of
18 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 * GNU General Public License for more details.
20 *
21 * You should have received a copy of the GNU General Public License along
22 * with this program; if not, write to the Free Software Foundation, Inc.,
23 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
24 */
25/*
26 * RSA was designed by Ron Rivest, Adi Shamir and Len Adleman.
27 *
28 * http://theory.lcs.mit.edu/~rivest/rsapaper.pdf
29 * http://www.cacr.math.uwaterloo.ca/hac/about/chap8.pdf
30 */
31
Paul Bakker40e46942009-01-03 21:51:57 +000032#include "polarssl/config.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000033
Paul Bakker40e46942009-01-03 21:51:57 +000034#if defined(POLARSSL_RSA_C)
Paul Bakker5121ce52009-01-03 21:22:43 +000035
Paul Bakker40e46942009-01-03 21:51:57 +000036#include "polarssl/rsa.h"
Paul Bakkerbb51f0c2012-08-23 07:46:58 +000037
38#if defined(POLARSSL_PKCS1_V21)
Paul Bakker9dcc3222011-03-08 14:16:06 +000039#include "polarssl/md.h"
Paul Bakkerbb51f0c2012-08-23 07:46:58 +000040#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000041
42#include <stdlib.h>
Paul Bakker5121ce52009-01-03 21:22:43 +000043#include <stdio.h>
44
45/*
46 * Initialize an RSA context
47 */
48void rsa_init( rsa_context *ctx,
49 int padding,
Paul Bakker21eb2802010-08-16 11:10:02 +000050 int hash_id )
Paul Bakker5121ce52009-01-03 21:22:43 +000051{
52 memset( ctx, 0, sizeof( rsa_context ) );
53
54 ctx->padding = padding;
55 ctx->hash_id = hash_id;
Paul Bakker5121ce52009-01-03 21:22:43 +000056}
57
Paul Bakker40e46942009-01-03 21:51:57 +000058#if defined(POLARSSL_GENPRIME)
Paul Bakker5121ce52009-01-03 21:22:43 +000059
60/*
61 * Generate an RSA keypair
62 */
Paul Bakker21eb2802010-08-16 11:10:02 +000063int rsa_gen_key( rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +000064 int (*f_rng)(void *, unsigned char *, size_t),
65 void *p_rng,
66 unsigned int nbits, int exponent )
Paul Bakker5121ce52009-01-03 21:22:43 +000067{
68 int ret;
69 mpi P1, Q1, H, G;
70
Paul Bakker21eb2802010-08-16 11:10:02 +000071 if( f_rng == NULL || nbits < 128 || exponent < 3 )
Paul Bakker40e46942009-01-03 21:51:57 +000072 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +000073
Paul Bakker6c591fa2011-05-05 11:49:20 +000074 mpi_init( &P1 ); mpi_init( &Q1 ); mpi_init( &H ); mpi_init( &G );
Paul Bakker5121ce52009-01-03 21:22:43 +000075
76 /*
77 * find primes P and Q with Q < P so that:
78 * GCD( E, (P-1)*(Q-1) ) == 1
79 */
80 MPI_CHK( mpi_lset( &ctx->E, exponent ) );
81
82 do
83 {
84 MPI_CHK( mpi_gen_prime( &ctx->P, ( nbits + 1 ) >> 1, 0,
Paul Bakker21eb2802010-08-16 11:10:02 +000085 f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +000086
87 MPI_CHK( mpi_gen_prime( &ctx->Q, ( nbits + 1 ) >> 1, 0,
Paul Bakker21eb2802010-08-16 11:10:02 +000088 f_rng, p_rng ) );
Paul Bakker5121ce52009-01-03 21:22:43 +000089
90 if( mpi_cmp_mpi( &ctx->P, &ctx->Q ) < 0 )
91 mpi_swap( &ctx->P, &ctx->Q );
92
93 if( mpi_cmp_mpi( &ctx->P, &ctx->Q ) == 0 )
94 continue;
95
96 MPI_CHK( mpi_mul_mpi( &ctx->N, &ctx->P, &ctx->Q ) );
97 if( mpi_msb( &ctx->N ) != nbits )
98 continue;
99
100 MPI_CHK( mpi_sub_int( &P1, &ctx->P, 1 ) );
101 MPI_CHK( mpi_sub_int( &Q1, &ctx->Q, 1 ) );
102 MPI_CHK( mpi_mul_mpi( &H, &P1, &Q1 ) );
103 MPI_CHK( mpi_gcd( &G, &ctx->E, &H ) );
104 }
105 while( mpi_cmp_int( &G, 1 ) != 0 );
106
107 /*
108 * D = E^-1 mod ((P-1)*(Q-1))
109 * DP = D mod (P - 1)
110 * DQ = D mod (Q - 1)
111 * QP = Q^-1 mod P
112 */
113 MPI_CHK( mpi_inv_mod( &ctx->D , &ctx->E, &H ) );
114 MPI_CHK( mpi_mod_mpi( &ctx->DP, &ctx->D, &P1 ) );
115 MPI_CHK( mpi_mod_mpi( &ctx->DQ, &ctx->D, &Q1 ) );
116 MPI_CHK( mpi_inv_mod( &ctx->QP, &ctx->Q, &ctx->P ) );
117
118 ctx->len = ( mpi_msb( &ctx->N ) + 7 ) >> 3;
119
120cleanup:
121
Paul Bakker6c591fa2011-05-05 11:49:20 +0000122 mpi_free( &P1 ); mpi_free( &Q1 ); mpi_free( &H ); mpi_free( &G );
Paul Bakker5121ce52009-01-03 21:22:43 +0000123
124 if( ret != 0 )
125 {
126 rsa_free( ctx );
Paul Bakker9d781402011-05-09 16:17:09 +0000127 return( POLARSSL_ERR_RSA_KEY_GEN_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000128 }
129
130 return( 0 );
131}
132
133#endif
134
135/*
136 * Check a public RSA key
137 */
Paul Bakkerff60ee62010-03-16 21:09:09 +0000138int rsa_check_pubkey( const rsa_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +0000139{
Paul Bakker37940d9f2009-07-10 22:38:58 +0000140 if( !ctx->N.p || !ctx->E.p )
141 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
142
Paul Bakker5121ce52009-01-03 21:22:43 +0000143 if( ( ctx->N.p[0] & 1 ) == 0 ||
144 ( ctx->E.p[0] & 1 ) == 0 )
Paul Bakker40e46942009-01-03 21:51:57 +0000145 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000146
147 if( mpi_msb( &ctx->N ) < 128 ||
Paul Bakkerfe3256e2011-11-25 12:11:43 +0000148 mpi_msb( &ctx->N ) > POLARSSL_MPI_MAX_BITS )
Paul Bakker40e46942009-01-03 21:51:57 +0000149 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000150
151 if( mpi_msb( &ctx->E ) < 2 ||
152 mpi_msb( &ctx->E ) > 64 )
Paul Bakker40e46942009-01-03 21:51:57 +0000153 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +0000154
155 return( 0 );
156}
157
158/*
159 * Check a private RSA key
160 */
Paul Bakkerff60ee62010-03-16 21:09:09 +0000161int rsa_check_privkey( const rsa_context *ctx )
Paul Bakker5121ce52009-01-03 21:22:43 +0000162{
163 int ret;
Paul Bakker321df6f2012-09-27 13:21:34 +0000164 mpi PQ, DE, P1, Q1, H, I, G, G2, L1, L2, DP, DQ, QP;
Paul Bakker5121ce52009-01-03 21:22:43 +0000165
166 if( ( ret = rsa_check_pubkey( ctx ) ) != 0 )
167 return( ret );
168
Paul Bakker37940d9f2009-07-10 22:38:58 +0000169 if( !ctx->P.p || !ctx->Q.p || !ctx->D.p )
170 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED );
171
Paul Bakker6c591fa2011-05-05 11:49:20 +0000172 mpi_init( &PQ ); mpi_init( &DE ); mpi_init( &P1 ); mpi_init( &Q1 );
173 mpi_init( &H ); mpi_init( &I ); mpi_init( &G ); mpi_init( &G2 );
Paul Bakker321df6f2012-09-27 13:21:34 +0000174 mpi_init( &L1 ); mpi_init( &L2 ); mpi_init( &DP ); mpi_init( &DQ );
175 mpi_init( &QP );
Paul Bakker5121ce52009-01-03 21:22:43 +0000176
177 MPI_CHK( mpi_mul_mpi( &PQ, &ctx->P, &ctx->Q ) );
178 MPI_CHK( mpi_mul_mpi( &DE, &ctx->D, &ctx->E ) );
179 MPI_CHK( mpi_sub_int( &P1, &ctx->P, 1 ) );
180 MPI_CHK( mpi_sub_int( &Q1, &ctx->Q, 1 ) );
181 MPI_CHK( mpi_mul_mpi( &H, &P1, &Q1 ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000182 MPI_CHK( mpi_gcd( &G, &ctx->E, &H ) );
183
Paul Bakkerb572adf2010-07-18 08:29:32 +0000184 MPI_CHK( mpi_gcd( &G2, &P1, &Q1 ) );
185 MPI_CHK( mpi_div_mpi( &L1, &L2, &H, &G2 ) );
186 MPI_CHK( mpi_mod_mpi( &I, &DE, &L1 ) );
187
Paul Bakker321df6f2012-09-27 13:21:34 +0000188 MPI_CHK( mpi_mod_mpi( &DP, &ctx->D, &P1 ) );
189 MPI_CHK( mpi_mod_mpi( &DQ, &ctx->D, &Q1 ) );
190 MPI_CHK( mpi_inv_mod( &QP, &ctx->Q, &ctx->P ) );
Paul Bakkerb572adf2010-07-18 08:29:32 +0000191 /*
192 * Check for a valid PKCS1v2 private key
193 */
Paul Bakker6c591fa2011-05-05 11:49:20 +0000194 if( mpi_cmp_mpi( &PQ, &ctx->N ) != 0 ||
Paul Bakker321df6f2012-09-27 13:21:34 +0000195 mpi_cmp_mpi( &DP, &ctx->DP ) != 0 ||
196 mpi_cmp_mpi( &DQ, &ctx->DQ ) != 0 ||
197 mpi_cmp_mpi( &QP, &ctx->QP ) != 0 ||
Paul Bakker6c591fa2011-05-05 11:49:20 +0000198 mpi_cmp_int( &L2, 0 ) != 0 ||
199 mpi_cmp_int( &I, 1 ) != 0 ||
200 mpi_cmp_int( &G, 1 ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000201 {
Paul Bakker6c591fa2011-05-05 11:49:20 +0000202 ret = POLARSSL_ERR_RSA_KEY_CHECK_FAILED;
Paul Bakker5121ce52009-01-03 21:22:43 +0000203 }
Paul Bakkerb572adf2010-07-18 08:29:32 +0000204
Paul Bakker5121ce52009-01-03 21:22:43 +0000205cleanup:
Paul Bakker6c591fa2011-05-05 11:49:20 +0000206 mpi_free( &PQ ); mpi_free( &DE ); mpi_free( &P1 ); mpi_free( &Q1 );
207 mpi_free( &H ); mpi_free( &I ); mpi_free( &G ); mpi_free( &G2 );
Paul Bakker321df6f2012-09-27 13:21:34 +0000208 mpi_free( &L1 ); mpi_free( &L2 ); mpi_free( &DP ); mpi_free( &DQ );
209 mpi_free( &QP );
Paul Bakker6c591fa2011-05-05 11:49:20 +0000210
Paul Bakker9d781402011-05-09 16:17:09 +0000211 if( ret == POLARSSL_ERR_RSA_KEY_CHECK_FAILED )
212 return( ret );
213
Paul Bakker6c591fa2011-05-05 11:49:20 +0000214 if( ret != 0 )
Paul Bakker9d781402011-05-09 16:17:09 +0000215 return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED + ret );
Paul Bakker6c591fa2011-05-05 11:49:20 +0000216
217 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000218}
219
220/*
221 * Do an RSA public key operation
222 */
223int rsa_public( rsa_context *ctx,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000224 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000225 unsigned char *output )
226{
Paul Bakker23986e52011-04-24 08:57:21 +0000227 int ret;
228 size_t olen;
Paul Bakker5121ce52009-01-03 21:22:43 +0000229 mpi T;
230
Paul Bakker6c591fa2011-05-05 11:49:20 +0000231 mpi_init( &T );
Paul Bakker5121ce52009-01-03 21:22:43 +0000232
233 MPI_CHK( mpi_read_binary( &T, input, ctx->len ) );
234
235 if( mpi_cmp_mpi( &T, &ctx->N ) >= 0 )
236 {
Paul Bakker6c591fa2011-05-05 11:49:20 +0000237 mpi_free( &T );
Paul Bakker40e46942009-01-03 21:51:57 +0000238 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000239 }
240
241 olen = ctx->len;
242 MPI_CHK( mpi_exp_mod( &T, &T, &ctx->E, &ctx->N, &ctx->RN ) );
243 MPI_CHK( mpi_write_binary( &T, output, olen ) );
244
245cleanup:
246
Paul Bakker6c591fa2011-05-05 11:49:20 +0000247 mpi_free( &T );
Paul Bakker5121ce52009-01-03 21:22:43 +0000248
249 if( ret != 0 )
Paul Bakker9d781402011-05-09 16:17:09 +0000250 return( POLARSSL_ERR_RSA_PUBLIC_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000251
252 return( 0 );
253}
254
255/*
256 * Do an RSA private key operation
257 */
258int rsa_private( rsa_context *ctx,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000259 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000260 unsigned char *output )
261{
Paul Bakker23986e52011-04-24 08:57:21 +0000262 int ret;
263 size_t olen;
Paul Bakker5121ce52009-01-03 21:22:43 +0000264 mpi T, T1, T2;
265
Paul Bakker6c591fa2011-05-05 11:49:20 +0000266 mpi_init( &T ); mpi_init( &T1 ); mpi_init( &T2 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000267
268 MPI_CHK( mpi_read_binary( &T, input, ctx->len ) );
269
270 if( mpi_cmp_mpi( &T, &ctx->N ) >= 0 )
271 {
Paul Bakker6c591fa2011-05-05 11:49:20 +0000272 mpi_free( &T );
Paul Bakker40e46942009-01-03 21:51:57 +0000273 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000274 }
275
Paul Bakker0216cc12011-03-26 13:40:23 +0000276#if defined(POLARSSL_RSA_NO_CRT)
Paul Bakker5121ce52009-01-03 21:22:43 +0000277 MPI_CHK( mpi_exp_mod( &T, &T, &ctx->D, &ctx->N, &ctx->RN ) );
278#else
279 /*
280 * faster decryption using the CRT
281 *
282 * T1 = input ^ dP mod P
283 * T2 = input ^ dQ mod Q
284 */
285 MPI_CHK( mpi_exp_mod( &T1, &T, &ctx->DP, &ctx->P, &ctx->RP ) );
286 MPI_CHK( mpi_exp_mod( &T2, &T, &ctx->DQ, &ctx->Q, &ctx->RQ ) );
287
288 /*
289 * T = (T1 - T2) * (Q^-1 mod P) mod P
290 */
291 MPI_CHK( mpi_sub_mpi( &T, &T1, &T2 ) );
292 MPI_CHK( mpi_mul_mpi( &T1, &T, &ctx->QP ) );
293 MPI_CHK( mpi_mod_mpi( &T, &T1, &ctx->P ) );
294
295 /*
296 * output = T2 + T * Q
297 */
298 MPI_CHK( mpi_mul_mpi( &T1, &T, &ctx->Q ) );
299 MPI_CHK( mpi_add_mpi( &T, &T2, &T1 ) );
300#endif
301
302 olen = ctx->len;
303 MPI_CHK( mpi_write_binary( &T, output, olen ) );
304
305cleanup:
306
Paul Bakker6c591fa2011-05-05 11:49:20 +0000307 mpi_free( &T ); mpi_free( &T1 ); mpi_free( &T2 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000308
309 if( ret != 0 )
Paul Bakker9d781402011-05-09 16:17:09 +0000310 return( POLARSSL_ERR_RSA_PRIVATE_FAILED + ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000311
312 return( 0 );
313}
314
Paul Bakker9dcc3222011-03-08 14:16:06 +0000315#if defined(POLARSSL_PKCS1_V21)
316/**
317 * Generate and apply the MGF1 operation (from PKCS#1 v2.1) to a buffer.
318 *
Paul Bakkerb125ed82011-11-10 13:33:51 +0000319 * \param dst buffer to mask
320 * \param dlen length of destination buffer
321 * \param src source of the mask generation
322 * \param slen length of the source buffer
323 * \param md_ctx message digest context to use
Paul Bakker9dcc3222011-03-08 14:16:06 +0000324 */
Paul Bakker23986e52011-04-24 08:57:21 +0000325static void mgf_mask( unsigned char *dst, size_t dlen, unsigned char *src, size_t slen,
Paul Bakker9dcc3222011-03-08 14:16:06 +0000326 md_context_t *md_ctx )
327{
328 unsigned char mask[POLARSSL_MD_MAX_SIZE];
329 unsigned char counter[4];
330 unsigned char *p;
Paul Bakker23986e52011-04-24 08:57:21 +0000331 unsigned int hlen;
332 size_t i, use_len;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000333
334 memset( mask, 0, POLARSSL_MD_MAX_SIZE );
335 memset( counter, 0, 4 );
336
337 hlen = md_ctx->md_info->size;
338
339 // Generate and apply dbMask
340 //
341 p = dst;
342
343 while( dlen > 0 )
344 {
345 use_len = hlen;
346 if( dlen < hlen )
347 use_len = dlen;
348
349 md_starts( md_ctx );
350 md_update( md_ctx, src, slen );
351 md_update( md_ctx, counter, 4 );
352 md_finish( md_ctx, mask );
353
354 for( i = 0; i < use_len; ++i )
355 *p++ ^= mask[i];
356
357 counter[3]++;
358
359 dlen -= use_len;
360 }
361}
362#endif
363
Paul Bakkerb3869132013-02-28 17:21:01 +0100364#if defined(POLARSSL_PKCS1_V21)
365/*
366 * Implementation of the PKCS#1 v2.1 RSAES-OAEP-ENCRYPT function
367 */
368int rsa_rsaes_oaep_encrypt( rsa_context *ctx,
369 int (*f_rng)(void *, unsigned char *, size_t),
370 void *p_rng,
371 int mode, size_t ilen,
372 const unsigned char *input,
373 unsigned char *output )
374{
375 size_t olen;
376 int ret;
377 unsigned char *p = output;
378 unsigned int hlen;
379 const md_info_t *md_info;
380 md_context_t md_ctx;
381
382 if( ctx->padding != RSA_PKCS_V21 || f_rng == NULL )
383 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
384
385 md_info = md_info_from_type( ctx->hash_id );
386
387 if( md_info == NULL )
388 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
389
390 olen = ctx->len;
391 hlen = md_get_size( md_info );
392
393 if( olen < ilen + 2 * hlen + 2 || f_rng == NULL )
394 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
395
396 memset( output, 0, olen );
397
398 *p++ = 0;
399
400 // Generate a random octet string seed
401 //
402 if( ( ret = f_rng( p_rng, p, hlen ) ) != 0 )
403 return( POLARSSL_ERR_RSA_RNG_FAILED + ret );
404
405 p += hlen;
406
407 // Construct DB
408 //
409 md( md_info, p, 0, p );
410 p += hlen;
411 p += olen - 2 * hlen - 2 - ilen;
412 *p++ = 1;
413 memcpy( p, input, ilen );
414
415 md_init_ctx( &md_ctx, md_info );
416
417 // maskedDB: Apply dbMask to DB
418 //
419 mgf_mask( output + hlen + 1, olen - hlen - 1, output + 1, hlen,
420 &md_ctx );
421
422 // maskedSeed: Apply seedMask to seed
423 //
424 mgf_mask( output + 1, hlen, output + hlen + 1, olen - hlen - 1,
425 &md_ctx );
426
427 md_free_ctx( &md_ctx );
428
429 return( ( mode == RSA_PUBLIC )
430 ? rsa_public( ctx, output, output )
431 : rsa_private( ctx, output, output ) );
432}
433#endif /* POLARSSL_PKCS1_V21 */
434
435/*
436 * Implementation of the PKCS#1 v2.1 RSAES-PKCS1-V1_5-ENCRYPT function
437 */
438int rsa_rsaes_pkcs1_v15_encrypt( rsa_context *ctx,
439 int (*f_rng)(void *, unsigned char *, size_t),
440 void *p_rng,
441 int mode, size_t ilen,
442 const unsigned char *input,
443 unsigned char *output )
444{
445 size_t nb_pad, olen;
446 int ret;
447 unsigned char *p = output;
448
449 if( ctx->padding != RSA_PKCS_V15 || f_rng == NULL )
450 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
451
452 olen = ctx->len;
453
454 if( olen < ilen + 11 )
455 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
456
457 nb_pad = olen - 3 - ilen;
458
459 *p++ = 0;
460 if( mode == RSA_PUBLIC )
461 {
462 *p++ = RSA_CRYPT;
463
464 while( nb_pad-- > 0 )
465 {
466 int rng_dl = 100;
467
468 do {
469 ret = f_rng( p_rng, p, 1 );
470 } while( *p == 0 && --rng_dl && ret == 0 );
471
472 // Check if RNG failed to generate data
473 //
474 if( rng_dl == 0 || ret != 0)
475 return POLARSSL_ERR_RSA_RNG_FAILED + ret;
476
477 p++;
478 }
479 }
480 else
481 {
482 *p++ = RSA_SIGN;
483
484 while( nb_pad-- > 0 )
485 *p++ = 0xFF;
486 }
487
488 *p++ = 0;
489 memcpy( p, input, ilen );
490
491 return( ( mode == RSA_PUBLIC )
492 ? rsa_public( ctx, output, output )
493 : rsa_private( ctx, output, output ) );
494}
495
Paul Bakker5121ce52009-01-03 21:22:43 +0000496/*
497 * Add the message padding, then do an RSA operation
498 */
499int rsa_pkcs1_encrypt( rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000500 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker21eb2802010-08-16 11:10:02 +0000501 void *p_rng,
Paul Bakker23986e52011-04-24 08:57:21 +0000502 int mode, size_t ilen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000503 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000504 unsigned char *output )
505{
Paul Bakker5121ce52009-01-03 21:22:43 +0000506 switch( ctx->padding )
507 {
508 case RSA_PKCS_V15:
Paul Bakkerb3869132013-02-28 17:21:01 +0100509 return rsa_rsaes_pkcs1_v15_encrypt( ctx, f_rng, p_rng, mode, ilen,
510 input, output );
Paul Bakker5121ce52009-01-03 21:22:43 +0000511
Paul Bakker9dcc3222011-03-08 14:16:06 +0000512#if defined(POLARSSL_PKCS1_V21)
513 case RSA_PKCS_V21:
Paul Bakkerb3869132013-02-28 17:21:01 +0100514 return rsa_rsaes_oaep_encrypt( ctx, f_rng, p_rng, mode, NULL, 0,
515 ilen, input, output );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000516#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000517
518 default:
Paul Bakker40e46942009-01-03 21:51:57 +0000519 return( POLARSSL_ERR_RSA_INVALID_PADDING );
Paul Bakker5121ce52009-01-03 21:22:43 +0000520 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000521}
522
Paul Bakkerb3869132013-02-28 17:21:01 +0100523#if defined(POLARSSL_PKCS1_V21)
Paul Bakker5121ce52009-01-03 21:22:43 +0000524/*
Paul Bakkerb3869132013-02-28 17:21:01 +0100525 * Implementation of the PKCS#1 v2.1 RSAES-OAEP-DECRYPT function
Paul Bakker5121ce52009-01-03 21:22:43 +0000526 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100527int rsa_rsaes_oaep_decrypt( rsa_context *ctx,
528 int mode, size_t *olen,
529 const unsigned char *input,
530 unsigned char *output,
531 size_t output_max_len )
Paul Bakker5121ce52009-01-03 21:22:43 +0000532{
Paul Bakker23986e52011-04-24 08:57:21 +0000533 int ret;
534 size_t ilen;
Paul Bakker5121ce52009-01-03 21:22:43 +0000535 unsigned char *p;
Paul Bakker0be82f22012-10-03 20:36:33 +0000536 unsigned char buf[POLARSSL_MPI_MAX_SIZE];
Paul Bakker9dcc3222011-03-08 14:16:06 +0000537 unsigned char lhash[POLARSSL_MD_MAX_SIZE];
Paul Bakker23986e52011-04-24 08:57:21 +0000538 unsigned int hlen;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000539 const md_info_t *md_info;
540 md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +0100541
542 if( ctx->padding != RSA_PKCS_V21 )
543 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000544
545 ilen = ctx->len;
546
Paul Bakker27fdf462011-06-09 13:55:13 +0000547 if( ilen < 16 || ilen > sizeof( buf ) )
Paul Bakker40e46942009-01-03 21:51:57 +0000548 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +0000549
550 ret = ( mode == RSA_PUBLIC )
551 ? rsa_public( ctx, input, buf )
552 : rsa_private( ctx, input, buf );
553
554 if( ret != 0 )
555 return( ret );
556
557 p = buf;
558
Paul Bakkerb3869132013-02-28 17:21:01 +0100559 if( *p++ != 0 )
560 return( POLARSSL_ERR_RSA_INVALID_PADDING );
561
562 md_info = md_info_from_type( ctx->hash_id );
563 if( md_info == NULL )
564 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
565
566 hlen = md_get_size( md_info );
567
568 md_init_ctx( &md_ctx, md_info );
569
570 // Generate lHash
571 //
572 md( md_info, lhash, 0, lhash );
573
574 // seed: Apply seedMask to maskedSeed
575 //
576 mgf_mask( buf + 1, hlen, buf + hlen + 1, ilen - hlen - 1,
577 &md_ctx );
578
579 // DB: Apply dbMask to maskedDB
580 //
581 mgf_mask( buf + hlen + 1, ilen - hlen - 1, buf + 1, hlen,
582 &md_ctx );
583
584 p += hlen;
585 md_free_ctx( &md_ctx );
586
587 // Check validity
588 //
589 if( memcmp( lhash, p, hlen ) != 0 )
590 return( POLARSSL_ERR_RSA_INVALID_PADDING );
591
592 p += hlen;
593
594 while( *p == 0 && p < buf + ilen )
595 p++;
596
597 if( p == buf + ilen )
598 return( POLARSSL_ERR_RSA_INVALID_PADDING );
599
600 if( *p++ != 0x01 )
601 return( POLARSSL_ERR_RSA_INVALID_PADDING );
602
603 if (ilen - (p - buf) > output_max_len)
604 return( POLARSSL_ERR_RSA_OUTPUT_TOO_LARGE );
605
606 *olen = ilen - (p - buf);
607 memcpy( output, p, *olen );
608
609 return( 0 );
610}
611#endif /* POLARSSL_PKCS1_V21 */
612
613/*
614 * Implementation of the PKCS#1 v2.1 RSAES-PKCS1-V1_5-DECRYPT function
615 */
616int rsa_rsaes_pkcs1_v15_decrypt( rsa_context *ctx,
617 int mode, size_t *olen,
618 const unsigned char *input,
619 unsigned char *output,
620 size_t output_max_len)
621{
622 int ret;
623 size_t ilen;
624 unsigned char *p;
625 unsigned char bt;
626 unsigned char buf[POLARSSL_MPI_MAX_SIZE];
627
628 if( ctx->padding != RSA_PKCS_V15 )
629 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
630
631 ilen = ctx->len;
632
633 if( ilen < 16 || ilen > sizeof( buf ) )
634 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
635
636 ret = ( mode == RSA_PUBLIC )
637 ? rsa_public( ctx, input, buf )
638 : rsa_private( ctx, input, buf );
639
640 if( ret != 0 )
641 return( ret );
642
643 p = buf;
644
645 if( *p++ != 0 )
646 return( POLARSSL_ERR_RSA_INVALID_PADDING );
647
648 bt = *p++;
649 if( ( bt != RSA_CRYPT && mode == RSA_PRIVATE ) ||
650 ( bt != RSA_SIGN && mode == RSA_PUBLIC ) )
Paul Bakker5121ce52009-01-03 21:22:43 +0000651 {
Paul Bakkerb3869132013-02-28 17:21:01 +0100652 return( POLARSSL_ERR_RSA_INVALID_PADDING );
653 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000654
Paul Bakkerb3869132013-02-28 17:21:01 +0100655 if( bt == RSA_CRYPT )
656 {
657 while( *p != 0 && p < buf + ilen - 1 )
658 p++;
Paul Bakkere6ee41f2012-05-19 08:43:48 +0000659
Paul Bakkerb3869132013-02-28 17:21:01 +0100660 if( *p != 0 || p >= buf + ilen - 1 )
Paul Bakker40e46942009-01-03 21:51:57 +0000661 return( POLARSSL_ERR_RSA_INVALID_PADDING );
Paul Bakkerb3869132013-02-28 17:21:01 +0100662
663 p++;
664 }
665 else
666 {
667 while( *p == 0xFF && p < buf + ilen - 1 )
668 p++;
669
670 if( *p != 0 || p >= buf + ilen - 1 )
671 return( POLARSSL_ERR_RSA_INVALID_PADDING );
672
673 p++;
Paul Bakker5121ce52009-01-03 21:22:43 +0000674 }
675
Paul Bakker27fdf462011-06-09 13:55:13 +0000676 if (ilen - (p - buf) > output_max_len)
Paul Bakker23986e52011-04-24 08:57:21 +0000677 return( POLARSSL_ERR_RSA_OUTPUT_TOO_LARGE );
Paul Bakker060c5682009-01-12 21:48:39 +0000678
Paul Bakker27fdf462011-06-09 13:55:13 +0000679 *olen = ilen - (p - buf);
Paul Bakker5121ce52009-01-03 21:22:43 +0000680 memcpy( output, p, *olen );
681
682 return( 0 );
683}
684
685/*
Paul Bakkerb3869132013-02-28 17:21:01 +0100686 * Do an RSA operation, then remove the message padding
687 */
688int rsa_pkcs1_decrypt( rsa_context *ctx,
689 int mode, size_t *olen,
690 const unsigned char *input,
691 unsigned char *output,
692 size_t output_max_len)
693{
694 switch( ctx->padding )
695 {
696 case RSA_PKCS_V15:
697 return rsa_rsaes_pkcs1_v15_decrypt( ctx, mode, olen, input, output,
698 output_max_len );
699
700#if defined(POLARSSL_PKCS1_V21)
701 case RSA_PKCS_V21:
702 return rsa_rsaes_oaep_decrypt( ctx, mode, NULL, 0, olen, input,
703 output, output_max_len );
704#endif
705
706 default:
707 return( POLARSSL_ERR_RSA_INVALID_PADDING );
708 }
709}
710
711#if defined(POLARSSL_PKCS1_V21)
712/*
713 * Implementation of the PKCS#1 v2.1 RSASSA-PSS-SIGN function
714 */
715int rsa_rsassa_pss_sign( rsa_context *ctx,
716 int (*f_rng)(void *, unsigned char *, size_t),
717 void *p_rng,
718 int mode,
719 int hash_id,
720 unsigned int hashlen,
721 const unsigned char *hash,
722 unsigned char *sig )
723{
724 size_t olen;
725 unsigned char *p = sig;
726 unsigned char salt[POLARSSL_MD_MAX_SIZE];
727 unsigned int slen, hlen, offset = 0;
728 int ret;
729 size_t msb;
730 const md_info_t *md_info;
731 md_context_t md_ctx;
732
733 if( ctx->padding != RSA_PKCS_V21 || f_rng == NULL )
734 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
735
736 olen = ctx->len;
737
738 switch( hash_id )
739 {
740 case SIG_RSA_MD2:
741 case SIG_RSA_MD4:
742 case SIG_RSA_MD5:
743 hashlen = 16;
744 break;
745
746 case SIG_RSA_SHA1:
747 hashlen = 20;
748 break;
749
750 case SIG_RSA_SHA224:
751 hashlen = 28;
752 break;
753
754 case SIG_RSA_SHA256:
755 hashlen = 32;
756 break;
757
758 case SIG_RSA_SHA384:
759 hashlen = 48;
760 break;
761
762 case SIG_RSA_SHA512:
763 hashlen = 64;
764 break;
765
766 default:
767 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
768 }
769
770 md_info = md_info_from_type( ctx->hash_id );
771 if( md_info == NULL )
772 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
773
774 hlen = md_get_size( md_info );
775 slen = hlen;
776
777 if( olen < hlen + slen + 2 )
778 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
779
780 memset( sig, 0, olen );
781
782 msb = mpi_msb( &ctx->N ) - 1;
783
784 // Generate salt of length slen
785 //
786 if( ( ret = f_rng( p_rng, salt, slen ) ) != 0 )
787 return( POLARSSL_ERR_RSA_RNG_FAILED + ret );
788
789 // Note: EMSA-PSS encoding is over the length of N - 1 bits
790 //
791 msb = mpi_msb( &ctx->N ) - 1;
792 p += olen - hlen * 2 - 2;
793 *p++ = 0x01;
794 memcpy( p, salt, slen );
795 p += slen;
796
797 md_init_ctx( &md_ctx, md_info );
798
799 // Generate H = Hash( M' )
800 //
801 md_starts( &md_ctx );
802 md_update( &md_ctx, p, 8 );
803 md_update( &md_ctx, hash, hashlen );
804 md_update( &md_ctx, salt, slen );
805 md_finish( &md_ctx, p );
806
807 // Compensate for boundary condition when applying mask
808 //
809 if( msb % 8 == 0 )
810 offset = 1;
811
812 // maskedDB: Apply dbMask to DB
813 //
814 mgf_mask( sig + offset, olen - hlen - 1 - offset, p, hlen, &md_ctx );
815
816 md_free_ctx( &md_ctx );
817
818 msb = mpi_msb( &ctx->N ) - 1;
819 sig[0] &= 0xFF >> ( olen * 8 - msb );
820
821 p += hlen;
822 *p++ = 0xBC;
823
824 return( ( mode == RSA_PUBLIC )
825 ? rsa_public( ctx, sig, sig )
826 : rsa_private( ctx, sig, sig ) );
827}
828#endif /* POLARSSL_PKCS1_V21 */
829
830/*
831 * Implementation of the PKCS#1 v2.1 RSASSA-PKCS1-V1_5-SIGN function
832 */
833/*
834 * Do an RSA operation to sign the message digest
835 */
836int rsa_rsassa_pkcs1_v15_sign( rsa_context *ctx,
837 int mode,
838 int hash_id,
839 unsigned int hashlen,
840 const unsigned char *hash,
841 unsigned char *sig )
842{
843 size_t nb_pad, olen;
844 unsigned char *p = sig;
845
846 if( ctx->padding != RSA_PKCS_V15 )
847 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
848
849 olen = ctx->len;
850
851 switch( hash_id )
852 {
853 case SIG_RSA_RAW:
854 nb_pad = olen - 3 - hashlen;
855 break;
856
857 case SIG_RSA_MD2:
858 case SIG_RSA_MD4:
859 case SIG_RSA_MD5:
860 nb_pad = olen - 3 - 34;
861 break;
862
863 case SIG_RSA_SHA1:
864 nb_pad = olen - 3 - 35;
865 break;
866
867 case SIG_RSA_SHA224:
868 nb_pad = olen - 3 - 47;
869 break;
870
871 case SIG_RSA_SHA256:
872 nb_pad = olen - 3 - 51;
873 break;
874
875 case SIG_RSA_SHA384:
876 nb_pad = olen - 3 - 67;
877 break;
878
879 case SIG_RSA_SHA512:
880 nb_pad = olen - 3 - 83;
881 break;
882
883
884 default:
885 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
886 }
887
888 if( ( nb_pad < 8 ) || ( nb_pad > olen ) )
889 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
890
891 *p++ = 0;
892 *p++ = RSA_SIGN;
893 memset( p, 0xFF, nb_pad );
894 p += nb_pad;
895 *p++ = 0;
896
897 switch( hash_id )
898 {
899 case SIG_RSA_RAW:
900 memcpy( p, hash, hashlen );
901 break;
902
903 case SIG_RSA_MD2:
904 memcpy( p, ASN1_HASH_MDX, 18 );
905 memcpy( p + 18, hash, 16 );
906 p[13] = 2; break;
907
908 case SIG_RSA_MD4:
909 memcpy( p, ASN1_HASH_MDX, 18 );
910 memcpy( p + 18, hash, 16 );
911 p[13] = 4; break;
912
913 case SIG_RSA_MD5:
914 memcpy( p, ASN1_HASH_MDX, 18 );
915 memcpy( p + 18, hash, 16 );
916 p[13] = 5; break;
917
918 case SIG_RSA_SHA1:
919 memcpy( p, ASN1_HASH_SHA1, 15 );
920 memcpy( p + 15, hash, 20 );
921 break;
922
923 case SIG_RSA_SHA224:
924 memcpy( p, ASN1_HASH_SHA2X, 19 );
925 memcpy( p + 19, hash, 28 );
926 p[1] += 28; p[14] = 4; p[18] += 28; break;
927
928 case SIG_RSA_SHA256:
929 memcpy( p, ASN1_HASH_SHA2X, 19 );
930 memcpy( p + 19, hash, 32 );
931 p[1] += 32; p[14] = 1; p[18] += 32; break;
932
933 case SIG_RSA_SHA384:
934 memcpy( p, ASN1_HASH_SHA2X, 19 );
935 memcpy( p + 19, hash, 48 );
936 p[1] += 48; p[14] = 2; p[18] += 48; break;
937
938 case SIG_RSA_SHA512:
939 memcpy( p, ASN1_HASH_SHA2X, 19 );
940 memcpy( p + 19, hash, 64 );
941 p[1] += 64; p[14] = 3; p[18] += 64; break;
942
943 default:
944 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
945 }
946
947 return( ( mode == RSA_PUBLIC )
948 ? rsa_public( ctx, sig, sig )
949 : rsa_private( ctx, sig, sig ) );
950}
951
952/*
Paul Bakker5121ce52009-01-03 21:22:43 +0000953 * Do an RSA operation to sign the message digest
954 */
955int rsa_pkcs1_sign( rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000956 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker9dcc3222011-03-08 14:16:06 +0000957 void *p_rng,
Paul Bakker5121ce52009-01-03 21:22:43 +0000958 int mode,
959 int hash_id,
Paul Bakker23986e52011-04-24 08:57:21 +0000960 unsigned int hashlen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000961 const unsigned char *hash,
Paul Bakker5121ce52009-01-03 21:22:43 +0000962 unsigned char *sig )
963{
Paul Bakker5121ce52009-01-03 21:22:43 +0000964 switch( ctx->padding )
965 {
966 case RSA_PKCS_V15:
Paul Bakkerb3869132013-02-28 17:21:01 +0100967 return rsa_rsassa_pkcs1_v15_sign( ctx, mode, hash_id,
968 hashlen, hash, sig );
Paul Bakker5121ce52009-01-03 21:22:43 +0000969
Paul Bakker9dcc3222011-03-08 14:16:06 +0000970#if defined(POLARSSL_PKCS1_V21)
971 case RSA_PKCS_V21:
Paul Bakkerb3869132013-02-28 17:21:01 +0100972 return rsa_rsassa_pss_sign( ctx, f_rng, p_rng, mode, hash_id,
973 hashlen, hash, sig );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000974#endif
975
Paul Bakker5121ce52009-01-03 21:22:43 +0000976 default:
Paul Bakker40e46942009-01-03 21:51:57 +0000977 return( POLARSSL_ERR_RSA_INVALID_PADDING );
Paul Bakker5121ce52009-01-03 21:22:43 +0000978 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000979}
980
Paul Bakkerb3869132013-02-28 17:21:01 +0100981#if defined(POLARSSL_PKCS1_V21)
Paul Bakker5121ce52009-01-03 21:22:43 +0000982/*
Paul Bakkerb3869132013-02-28 17:21:01 +0100983 * Implementation of the PKCS#1 v2.1 RSASSA-PSS-VERIFY function
Paul Bakker5121ce52009-01-03 21:22:43 +0000984 */
Paul Bakkerb3869132013-02-28 17:21:01 +0100985int rsa_rsassa_pss_verify( rsa_context *ctx,
986 int mode,
987 int hash_id,
988 unsigned int hashlen,
989 const unsigned char *hash,
990 unsigned char *sig )
Paul Bakker5121ce52009-01-03 21:22:43 +0000991{
Paul Bakker23986e52011-04-24 08:57:21 +0000992 int ret;
Paul Bakkerb3869132013-02-28 17:21:01 +0100993 size_t siglen;
994 unsigned char *p;
Paul Bakker0be82f22012-10-03 20:36:33 +0000995 unsigned char buf[POLARSSL_MPI_MAX_SIZE];
Paul Bakker1fe7d9b2011-11-15 15:26:03 +0000996 unsigned char result[POLARSSL_MD_MAX_SIZE];
Paul Bakker9dcc3222011-03-08 14:16:06 +0000997 unsigned char zeros[8];
Paul Bakker23986e52011-04-24 08:57:21 +0000998 unsigned int hlen;
999 size_t slen, msb;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001000 const md_info_t *md_info;
1001 md_context_t md_ctx;
Paul Bakkerb3869132013-02-28 17:21:01 +01001002
1003 if( ctx->padding != RSA_PKCS_V21 )
1004 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1005
Paul Bakker5121ce52009-01-03 21:22:43 +00001006 siglen = ctx->len;
1007
Paul Bakker27fdf462011-06-09 13:55:13 +00001008 if( siglen < 16 || siglen > sizeof( buf ) )
Paul Bakker40e46942009-01-03 21:51:57 +00001009 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +00001010
1011 ret = ( mode == RSA_PUBLIC )
1012 ? rsa_public( ctx, sig, buf )
1013 : rsa_private( ctx, sig, buf );
1014
1015 if( ret != 0 )
1016 return( ret );
1017
1018 p = buf;
1019
Paul Bakkerb3869132013-02-28 17:21:01 +01001020 if( buf[siglen - 1] != 0xBC )
1021 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1022
1023 switch( hash_id )
Paul Bakker5121ce52009-01-03 21:22:43 +00001024 {
Paul Bakkerb3869132013-02-28 17:21:01 +01001025 case SIG_RSA_MD2:
1026 case SIG_RSA_MD4:
1027 case SIG_RSA_MD5:
1028 hashlen = 16;
Paul Bakker5121ce52009-01-03 21:22:43 +00001029 break;
1030
Paul Bakkerb3869132013-02-28 17:21:01 +01001031 case SIG_RSA_SHA1:
1032 hashlen = 20;
1033 break;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001034
Paul Bakkerb3869132013-02-28 17:21:01 +01001035 case SIG_RSA_SHA224:
1036 hashlen = 28;
1037 break;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001038
Paul Bakkerb3869132013-02-28 17:21:01 +01001039 case SIG_RSA_SHA256:
1040 hashlen = 32;
1041 break;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001042
Paul Bakkerb3869132013-02-28 17:21:01 +01001043 case SIG_RSA_SHA384:
1044 hashlen = 48;
1045 break;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001046
Paul Bakkerb3869132013-02-28 17:21:01 +01001047 case SIG_RSA_SHA512:
1048 hashlen = 64;
1049 break;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001050
Paul Bakkerb3869132013-02-28 17:21:01 +01001051 default:
1052 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1053 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001054
Paul Bakkerb3869132013-02-28 17:21:01 +01001055 md_info = md_info_from_type( ctx->hash_id );
1056 if( md_info == NULL )
1057 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001058
Paul Bakkerb3869132013-02-28 17:21:01 +01001059 hlen = md_get_size( md_info );
1060 slen = siglen - hlen - 1;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001061
Paul Bakkerb3869132013-02-28 17:21:01 +01001062 memset( zeros, 0, 8 );
Paul Bakker53019ae2011-03-25 13:58:48 +00001063
Paul Bakkerb3869132013-02-28 17:21:01 +01001064 // Note: EMSA-PSS verification is over the length of N - 1 bits
1065 //
1066 msb = mpi_msb( &ctx->N ) - 1;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001067
Paul Bakkerb3869132013-02-28 17:21:01 +01001068 // Compensate for boundary condition when applying mask
1069 //
1070 if( msb % 8 == 0 )
1071 {
1072 p++;
1073 siglen -= 1;
1074 }
1075 if( buf[0] >> ( 8 - siglen * 8 + msb ) )
1076 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001077
Paul Bakkerb3869132013-02-28 17:21:01 +01001078 md_init_ctx( &md_ctx, md_info );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001079
Paul Bakkerb3869132013-02-28 17:21:01 +01001080 mgf_mask( p, siglen - hlen - 1, p + siglen - hlen - 1, hlen, &md_ctx );
Paul Bakker02303e82013-01-03 11:08:31 +01001081
Paul Bakkerb3869132013-02-28 17:21:01 +01001082 buf[0] &= 0xFF >> ( siglen * 8 - msb );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001083
Paul Bakkerb3869132013-02-28 17:21:01 +01001084 while( *p == 0 && p < buf + siglen )
1085 p++;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001086
Paul Bakkerb3869132013-02-28 17:21:01 +01001087 if( p == buf + siglen ||
1088 *p++ != 0x01 )
1089 {
1090 md_free_ctx( &md_ctx );
1091 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1092 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001093
Paul Bakkerb3869132013-02-28 17:21:01 +01001094 slen -= p - buf;
Paul Bakker9dcc3222011-03-08 14:16:06 +00001095
Paul Bakkerb3869132013-02-28 17:21:01 +01001096 // Generate H = Hash( M' )
1097 //
1098 md_starts( &md_ctx );
1099 md_update( &md_ctx, zeros, 8 );
1100 md_update( &md_ctx, hash, hashlen );
1101 md_update( &md_ctx, p, slen );
1102 md_finish( &md_ctx, result );
Paul Bakker53019ae2011-03-25 13:58:48 +00001103
Paul Bakkerb3869132013-02-28 17:21:01 +01001104 md_free_ctx( &md_ctx );
Paul Bakker9dcc3222011-03-08 14:16:06 +00001105
Paul Bakkerb3869132013-02-28 17:21:01 +01001106 if( memcmp( p + slen, result, hlen ) == 0 )
1107 return( 0 );
1108 else
1109 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1110}
1111#endif /* POLARSSL_PKCS1_V21 */
Paul Bakker40628ba2013-01-03 10:50:31 +01001112
Paul Bakkerb3869132013-02-28 17:21:01 +01001113/*
1114 * Implementation of the PKCS#1 v2.1 RSASSA-PKCS1-v1_5-VERIFY function
1115 */
1116int rsa_rsassa_pkcs1_v15_verify( rsa_context *ctx,
1117 int mode,
1118 int hash_id,
1119 unsigned int hashlen,
1120 const unsigned char *hash,
1121 unsigned char *sig )
1122{
1123 int ret;
1124 size_t len, siglen;
1125 unsigned char *p, c;
1126 unsigned char buf[POLARSSL_MPI_MAX_SIZE];
1127
1128 if( ctx->padding != RSA_PKCS_V15 )
1129 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1130
1131 siglen = ctx->len;
1132
1133 if( siglen < 16 || siglen > sizeof( buf ) )
1134 return( POLARSSL_ERR_RSA_BAD_INPUT_DATA );
1135
1136 ret = ( mode == RSA_PUBLIC )
1137 ? rsa_public( ctx, sig, buf )
1138 : rsa_private( ctx, sig, buf );
1139
1140 if( ret != 0 )
1141 return( ret );
1142
1143 p = buf;
1144
1145 if( *p++ != 0 || *p++ != RSA_SIGN )
1146 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1147
1148 while( *p != 0 )
1149 {
1150 if( p >= buf + siglen - 1 || *p != 0xFF )
1151 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1152 p++;
1153 }
1154 p++;
1155
1156 len = siglen - ( p - buf );
1157
1158 if( len == 33 && hash_id == SIG_RSA_SHA1 )
1159 {
1160 if( memcmp( p, ASN1_HASH_SHA1_ALT, 13 ) == 0 &&
1161 memcmp( p + 13, hash, 20 ) == 0 )
1162 return( 0 );
1163 else
1164 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1165 }
1166 if( len == 34 )
1167 {
1168 c = p[13];
1169 p[13] = 0;
1170
1171 if( memcmp( p, ASN1_HASH_MDX, 18 ) != 0 )
1172 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1173
1174 if( ( c == 2 && hash_id == SIG_RSA_MD2 ) ||
1175 ( c == 4 && hash_id == SIG_RSA_MD4 ) ||
1176 ( c == 5 && hash_id == SIG_RSA_MD5 ) )
1177 {
1178 if( memcmp( p + 18, hash, 16 ) == 0 )
Paul Bakker9dcc3222011-03-08 14:16:06 +00001179 return( 0 );
1180 else
1181 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
Paul Bakkerb3869132013-02-28 17:21:01 +01001182 }
1183 }
Paul Bakker9dcc3222011-03-08 14:16:06 +00001184
Paul Bakkerb3869132013-02-28 17:21:01 +01001185 if( len == 35 && hash_id == SIG_RSA_SHA1 )
1186 {
1187 if( memcmp( p, ASN1_HASH_SHA1, 15 ) == 0 &&
1188 memcmp( p + 15, hash, 20 ) == 0 )
1189 return( 0 );
1190 else
1191 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1192 }
1193 if( ( len == 19 + 28 && p[14] == 4 && hash_id == SIG_RSA_SHA224 ) ||
1194 ( len == 19 + 32 && p[14] == 1 && hash_id == SIG_RSA_SHA256 ) ||
1195 ( len == 19 + 48 && p[14] == 2 && hash_id == SIG_RSA_SHA384 ) ||
1196 ( len == 19 + 64 && p[14] == 3 && hash_id == SIG_RSA_SHA512 ) )
1197 {
1198 c = p[1] - 17;
1199 p[1] = 17;
1200 p[14] = 0;
Paul Bakker5121ce52009-01-03 21:22:43 +00001201
Paul Bakkerb3869132013-02-28 17:21:01 +01001202 if( p[18] == c &&
1203 memcmp( p, ASN1_HASH_SHA2X, 18 ) == 0 &&
1204 memcmp( p + 19, hash, c ) == 0 )
1205 return( 0 );
1206 else
1207 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
1208 }
1209
1210 if( len == hashlen && hash_id == SIG_RSA_RAW )
1211 {
1212 if( memcmp( p, hash, hashlen ) == 0 )
1213 return( 0 );
1214 else
1215 return( POLARSSL_ERR_RSA_VERIFY_FAILED );
Paul Bakker5121ce52009-01-03 21:22:43 +00001216 }
1217
Paul Bakker40e46942009-01-03 21:51:57 +00001218 return( POLARSSL_ERR_RSA_INVALID_PADDING );
Paul Bakker5121ce52009-01-03 21:22:43 +00001219}
1220
1221/*
Paul Bakkerb3869132013-02-28 17:21:01 +01001222 * Do an RSA operation and check the message digest
1223 */
1224int rsa_pkcs1_verify( rsa_context *ctx,
1225 int mode,
1226 int hash_id,
1227 unsigned int hashlen,
1228 const unsigned char *hash,
1229 unsigned char *sig )
1230{
1231 switch( ctx->padding )
1232 {
1233 case RSA_PKCS_V15:
1234 return rsa_rsassa_pkcs1_v15_verify( ctx, mode, hash_id,
1235 hashlen, hash, sig );
1236
1237#if defined(POLARSSL_PKCS1_V21)
1238 case RSA_PKCS_V21:
1239 return rsa_rsassa_pss_verify( ctx, mode, hash_id,
1240 hashlen, hash, sig );
1241#endif
1242
1243 default:
1244 return( POLARSSL_ERR_RSA_INVALID_PADDING );
1245 }
1246}
1247
1248/*
Paul Bakker5121ce52009-01-03 21:22:43 +00001249 * Free the components of an RSA key
1250 */
1251void rsa_free( rsa_context *ctx )
1252{
Paul Bakker6c591fa2011-05-05 11:49:20 +00001253 mpi_free( &ctx->RQ ); mpi_free( &ctx->RP ); mpi_free( &ctx->RN );
1254 mpi_free( &ctx->QP ); mpi_free( &ctx->DQ ); mpi_free( &ctx->DP );
1255 mpi_free( &ctx->Q ); mpi_free( &ctx->P ); mpi_free( &ctx->D );
1256 mpi_free( &ctx->E ); mpi_free( &ctx->N );
Paul Bakker5121ce52009-01-03 21:22:43 +00001257}
1258
Paul Bakker40e46942009-01-03 21:51:57 +00001259#if defined(POLARSSL_SELF_TEST)
Paul Bakker5121ce52009-01-03 21:22:43 +00001260
Paul Bakker40e46942009-01-03 21:51:57 +00001261#include "polarssl/sha1.h"
Paul Bakker5121ce52009-01-03 21:22:43 +00001262
1263/*
1264 * Example RSA-1024 keypair, for test purposes
1265 */
1266#define KEY_LEN 128
1267
1268#define RSA_N "9292758453063D803DD603D5E777D788" \
1269 "8ED1D5BF35786190FA2F23EBC0848AEA" \
1270 "DDA92CA6C3D80B32C4D109BE0F36D6AE" \
1271 "7130B9CED7ACDF54CFC7555AC14EEBAB" \
1272 "93A89813FBF3C4F8066D2D800F7C38A8" \
1273 "1AE31942917403FF4946B0A83D3D3E05" \
1274 "EE57C6F5F5606FB5D4BC6CD34EE0801A" \
1275 "5E94BB77B07507233A0BC7BAC8F90F79"
1276
1277#define RSA_E "10001"
1278
1279#define RSA_D "24BF6185468786FDD303083D25E64EFC" \
1280 "66CA472BC44D253102F8B4A9D3BFA750" \
1281 "91386C0077937FE33FA3252D28855837" \
1282 "AE1B484A8A9A45F7EE8C0C634F99E8CD" \
1283 "DF79C5CE07EE72C7F123142198164234" \
1284 "CABB724CF78B8173B9F880FC86322407" \
1285 "AF1FEDFDDE2BEB674CA15F3E81A1521E" \
1286 "071513A1E85B5DFA031F21ECAE91A34D"
1287
1288#define RSA_P "C36D0EB7FCD285223CFB5AABA5BDA3D8" \
1289 "2C01CAD19EA484A87EA4377637E75500" \
1290 "FCB2005C5C7DD6EC4AC023CDA285D796" \
1291 "C3D9E75E1EFC42488BB4F1D13AC30A57"
1292
1293#define RSA_Q "C000DF51A7C77AE8D7C7370C1FF55B69" \
1294 "E211C2B9E5DB1ED0BF61D0D9899620F4" \
1295 "910E4168387E3C30AA1E00C339A79508" \
1296 "8452DD96A9A5EA5D9DCA68DA636032AF"
1297
1298#define RSA_DP "C1ACF567564274FB07A0BBAD5D26E298" \
1299 "3C94D22288ACD763FD8E5600ED4A702D" \
1300 "F84198A5F06C2E72236AE490C93F07F8" \
1301 "3CC559CD27BC2D1CA488811730BB5725"
1302
1303#define RSA_DQ "4959CBF6F8FEF750AEE6977C155579C7" \
1304 "D8AAEA56749EA28623272E4F7D0592AF" \
1305 "7C1F1313CAC9471B5C523BFE592F517B" \
1306 "407A1BD76C164B93DA2D32A383E58357"
1307
1308#define RSA_QP "9AE7FBC99546432DF71896FC239EADAE" \
1309 "F38D18D2B2F0E2DD275AA977E2BF4411" \
1310 "F5A3B2A5D33605AEBBCCBA7FEB9F2D2F" \
1311 "A74206CEC169D74BF5A8C50D6F48EA08"
1312
1313#define PT_LEN 24
1314#define RSA_PT "\xAA\xBB\xCC\x03\x02\x01\x00\xFF\xFF\xFF\xFF\xFF" \
1315 "\x11\x22\x33\x0A\x0B\x0C\xCC\xDD\xDD\xDD\xDD\xDD"
1316
Paul Bakkera3d195c2011-11-27 21:07:34 +00001317static int myrand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker545570e2010-07-18 09:00:25 +00001318{
Paul Bakkera3d195c2011-11-27 21:07:34 +00001319 size_t i;
1320
Paul Bakker545570e2010-07-18 09:00:25 +00001321 if( rng_state != NULL )
1322 rng_state = NULL;
1323
Paul Bakkera3d195c2011-11-27 21:07:34 +00001324 for( i = 0; i < len; ++i )
1325 output[i] = rand();
1326
1327 return( 0 );
Paul Bakker545570e2010-07-18 09:00:25 +00001328}
1329
Paul Bakker5121ce52009-01-03 21:22:43 +00001330/*
1331 * Checkup routine
1332 */
1333int rsa_self_test( int verbose )
1334{
Paul Bakker23986e52011-04-24 08:57:21 +00001335 size_t len;
Paul Bakker5121ce52009-01-03 21:22:43 +00001336 rsa_context rsa;
Paul Bakker5121ce52009-01-03 21:22:43 +00001337 unsigned char rsa_plaintext[PT_LEN];
1338 unsigned char rsa_decrypted[PT_LEN];
1339 unsigned char rsa_ciphertext[KEY_LEN];
Paul Bakker5690efc2011-05-26 13:16:06 +00001340#if defined(POLARSSL_SHA1_C)
1341 unsigned char sha1sum[20];
1342#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001343
Paul Bakker21eb2802010-08-16 11:10:02 +00001344 rsa_init( &rsa, RSA_PKCS_V15, 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +00001345
1346 rsa.len = KEY_LEN;
1347 mpi_read_string( &rsa.N , 16, RSA_N );
1348 mpi_read_string( &rsa.E , 16, RSA_E );
1349 mpi_read_string( &rsa.D , 16, RSA_D );
1350 mpi_read_string( &rsa.P , 16, RSA_P );
1351 mpi_read_string( &rsa.Q , 16, RSA_Q );
1352 mpi_read_string( &rsa.DP, 16, RSA_DP );
1353 mpi_read_string( &rsa.DQ, 16, RSA_DQ );
1354 mpi_read_string( &rsa.QP, 16, RSA_QP );
1355
1356 if( verbose != 0 )
1357 printf( " RSA key validation: " );
1358
1359 if( rsa_check_pubkey( &rsa ) != 0 ||
1360 rsa_check_privkey( &rsa ) != 0 )
1361 {
1362 if( verbose != 0 )
1363 printf( "failed\n" );
1364
1365 return( 1 );
1366 }
1367
1368 if( verbose != 0 )
1369 printf( "passed\n PKCS#1 encryption : " );
1370
1371 memcpy( rsa_plaintext, RSA_PT, PT_LEN );
1372
Paul Bakker21eb2802010-08-16 11:10:02 +00001373 if( rsa_pkcs1_encrypt( &rsa, &myrand, NULL, RSA_PUBLIC, PT_LEN,
Paul Bakker5121ce52009-01-03 21:22:43 +00001374 rsa_plaintext, rsa_ciphertext ) != 0 )
1375 {
1376 if( verbose != 0 )
1377 printf( "failed\n" );
1378
1379 return( 1 );
1380 }
1381
1382 if( verbose != 0 )
1383 printf( "passed\n PKCS#1 decryption : " );
1384
1385 if( rsa_pkcs1_decrypt( &rsa, RSA_PRIVATE, &len,
Paul Bakker060c5682009-01-12 21:48:39 +00001386 rsa_ciphertext, rsa_decrypted,
Paul Bakker23986e52011-04-24 08:57:21 +00001387 sizeof(rsa_decrypted) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001388 {
1389 if( verbose != 0 )
1390 printf( "failed\n" );
1391
1392 return( 1 );
1393 }
1394
1395 if( memcmp( rsa_decrypted, rsa_plaintext, len ) != 0 )
1396 {
1397 if( verbose != 0 )
1398 printf( "failed\n" );
1399
1400 return( 1 );
1401 }
1402
Paul Bakker5690efc2011-05-26 13:16:06 +00001403#if defined(POLARSSL_SHA1_C)
Paul Bakker5121ce52009-01-03 21:22:43 +00001404 if( verbose != 0 )
1405 printf( "passed\n PKCS#1 data sign : " );
1406
1407 sha1( rsa_plaintext, PT_LEN, sha1sum );
1408
Paul Bakker9dcc3222011-03-08 14:16:06 +00001409 if( rsa_pkcs1_sign( &rsa, NULL, NULL, RSA_PRIVATE, SIG_RSA_SHA1, 20,
Paul Bakker5121ce52009-01-03 21:22:43 +00001410 sha1sum, rsa_ciphertext ) != 0 )
1411 {
1412 if( verbose != 0 )
1413 printf( "failed\n" );
1414
1415 return( 1 );
1416 }
1417
1418 if( verbose != 0 )
1419 printf( "passed\n PKCS#1 sig. verify: " );
1420
Paul Bakker4593aea2009-02-09 22:32:35 +00001421 if( rsa_pkcs1_verify( &rsa, RSA_PUBLIC, SIG_RSA_SHA1, 20,
Paul Bakker5121ce52009-01-03 21:22:43 +00001422 sha1sum, rsa_ciphertext ) != 0 )
1423 {
1424 if( verbose != 0 )
1425 printf( "failed\n" );
1426
1427 return( 1 );
1428 }
1429
1430 if( verbose != 0 )
1431 printf( "passed\n\n" );
Paul Bakker5690efc2011-05-26 13:16:06 +00001432#endif /* POLARSSL_SHA1_C */
Paul Bakker5121ce52009-01-03 21:22:43 +00001433
1434 rsa_free( &rsa );
1435
1436 return( 0 );
1437}
1438
1439#endif
1440
1441#endif