| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1 | /* | 
|  | 2 | *  The RSA public-key cryptosystem | 
|  | 3 | * | 
| Paul Bakker | b125ed8 | 2011-11-10 13:33:51 +0000 | [diff] [blame] | 4 | *  Copyright (C) 2006-2011, Brainspark B.V. | 
| Paul Bakker | b96f154 | 2010-07-18 20:36:00 +0000 | [diff] [blame] | 5 | * | 
|  | 6 | *  This file is part of PolarSSL (http://www.polarssl.org) | 
| Paul Bakker | 84f12b7 | 2010-07-18 10:13:04 +0000 | [diff] [blame] | 7 | *  Lead Maintainer: Paul Bakker <polarssl_maintainer at polarssl.org> | 
| Paul Bakker | b96f154 | 2010-07-18 20:36:00 +0000 | [diff] [blame] | 8 | * | 
| Paul Bakker | 77b385e | 2009-07-28 17:23:11 +0000 | [diff] [blame] | 9 | *  All rights reserved. | 
| Paul Bakker | e0ccd0a | 2009-01-04 16:27:10 +0000 | [diff] [blame] | 10 | * | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 11 | *  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 Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 32 | #include "polarssl/config.h" | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 33 |  | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 34 | #if defined(POLARSSL_RSA_C) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 35 |  | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 36 | #include "polarssl/rsa.h" | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 37 | #include "polarssl/oid.h" | 
| Paul Bakker | bb51f0c | 2012-08-23 07:46:58 +0000 | [diff] [blame] | 38 |  | 
|  | 39 | #if defined(POLARSSL_PKCS1_V21) | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 40 | #include "polarssl/md.h" | 
| Paul Bakker | bb51f0c | 2012-08-23 07:46:58 +0000 | [diff] [blame] | 41 | #endif | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 42 |  | 
|  | 43 | #include <stdlib.h> | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 44 | #include <stdio.h> | 
|  | 45 |  | 
|  | 46 | /* | 
|  | 47 | * Initialize an RSA context | 
|  | 48 | */ | 
|  | 49 | void rsa_init( rsa_context *ctx, | 
|  | 50 | int padding, | 
| Paul Bakker | 21eb280 | 2010-08-16 11:10:02 +0000 | [diff] [blame] | 51 | int hash_id ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 52 | { | 
|  | 53 | memset( ctx, 0, sizeof( rsa_context ) ); | 
|  | 54 |  | 
|  | 55 | ctx->padding = padding; | 
|  | 56 | ctx->hash_id = hash_id; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 57 | } | 
|  | 58 |  | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 59 | #if defined(POLARSSL_GENPRIME) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 60 |  | 
|  | 61 | /* | 
|  | 62 | * Generate an RSA keypair | 
|  | 63 | */ | 
| Paul Bakker | 21eb280 | 2010-08-16 11:10:02 +0000 | [diff] [blame] | 64 | int rsa_gen_key( rsa_context *ctx, | 
| Paul Bakker | a3d195c | 2011-11-27 21:07:34 +0000 | [diff] [blame] | 65 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 66 | void *p_rng, | 
|  | 67 | unsigned int nbits, int exponent ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 68 | { | 
|  | 69 | int ret; | 
|  | 70 | mpi P1, Q1, H, G; | 
|  | 71 |  | 
| Paul Bakker | 21eb280 | 2010-08-16 11:10:02 +0000 | [diff] [blame] | 72 | if( f_rng == NULL || nbits < 128 || exponent < 3 ) | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 73 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 74 |  | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 75 | mpi_init( &P1 ); mpi_init( &Q1 ); mpi_init( &H ); mpi_init( &G ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 76 |  | 
|  | 77 | /* | 
|  | 78 | * find primes P and Q with Q < P so that: | 
|  | 79 | * GCD( E, (P-1)*(Q-1) ) == 1 | 
|  | 80 | */ | 
|  | 81 | MPI_CHK( mpi_lset( &ctx->E, exponent ) ); | 
|  | 82 |  | 
|  | 83 | do | 
|  | 84 | { | 
|  | 85 | MPI_CHK( mpi_gen_prime( &ctx->P, ( nbits + 1 ) >> 1, 0, | 
| Paul Bakker | 21eb280 | 2010-08-16 11:10:02 +0000 | [diff] [blame] | 86 | f_rng, p_rng ) ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 87 |  | 
|  | 88 | MPI_CHK( mpi_gen_prime( &ctx->Q, ( nbits + 1 ) >> 1, 0, | 
| Paul Bakker | 21eb280 | 2010-08-16 11:10:02 +0000 | [diff] [blame] | 89 | f_rng, p_rng ) ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 90 |  | 
|  | 91 | if( mpi_cmp_mpi( &ctx->P, &ctx->Q ) < 0 ) | 
|  | 92 | mpi_swap( &ctx->P, &ctx->Q ); | 
|  | 93 |  | 
|  | 94 | if( mpi_cmp_mpi( &ctx->P, &ctx->Q ) == 0 ) | 
|  | 95 | continue; | 
|  | 96 |  | 
|  | 97 | MPI_CHK( mpi_mul_mpi( &ctx->N, &ctx->P, &ctx->Q ) ); | 
|  | 98 | if( mpi_msb( &ctx->N ) != nbits ) | 
|  | 99 | continue; | 
|  | 100 |  | 
|  | 101 | MPI_CHK( mpi_sub_int( &P1, &ctx->P, 1 ) ); | 
|  | 102 | MPI_CHK( mpi_sub_int( &Q1, &ctx->Q, 1 ) ); | 
|  | 103 | MPI_CHK( mpi_mul_mpi( &H, &P1, &Q1 ) ); | 
|  | 104 | MPI_CHK( mpi_gcd( &G, &ctx->E, &H  ) ); | 
|  | 105 | } | 
|  | 106 | while( mpi_cmp_int( &G, 1 ) != 0 ); | 
|  | 107 |  | 
|  | 108 | /* | 
|  | 109 | * D  = E^-1 mod ((P-1)*(Q-1)) | 
|  | 110 | * DP = D mod (P - 1) | 
|  | 111 | * DQ = D mod (Q - 1) | 
|  | 112 | * QP = Q^-1 mod P | 
|  | 113 | */ | 
|  | 114 | MPI_CHK( mpi_inv_mod( &ctx->D , &ctx->E, &H  ) ); | 
|  | 115 | MPI_CHK( mpi_mod_mpi( &ctx->DP, &ctx->D, &P1 ) ); | 
|  | 116 | MPI_CHK( mpi_mod_mpi( &ctx->DQ, &ctx->D, &Q1 ) ); | 
|  | 117 | MPI_CHK( mpi_inv_mod( &ctx->QP, &ctx->Q, &ctx->P ) ); | 
|  | 118 |  | 
|  | 119 | ctx->len = ( mpi_msb( &ctx->N ) + 7 ) >> 3; | 
|  | 120 |  | 
|  | 121 | cleanup: | 
|  | 122 |  | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 123 | mpi_free( &P1 ); mpi_free( &Q1 ); mpi_free( &H ); mpi_free( &G ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 124 |  | 
|  | 125 | if( ret != 0 ) | 
|  | 126 | { | 
|  | 127 | rsa_free( ctx ); | 
| Paul Bakker | 9d78140 | 2011-05-09 16:17:09 +0000 | [diff] [blame] | 128 | return( POLARSSL_ERR_RSA_KEY_GEN_FAILED + ret ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 129 | } | 
|  | 130 |  | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 131 | return( 0 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 132 | } | 
|  | 133 |  | 
|  | 134 | #endif | 
|  | 135 |  | 
|  | 136 | /* | 
|  | 137 | * Check a public RSA key | 
|  | 138 | */ | 
| Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 139 | int rsa_check_pubkey( const rsa_context *ctx ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 140 | { | 
| Paul Bakker | 37940d9f | 2009-07-10 22:38:58 +0000 | [diff] [blame] | 141 | if( !ctx->N.p || !ctx->E.p ) | 
|  | 142 | return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED ); | 
|  | 143 |  | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 144 | if( ( ctx->N.p[0] & 1 ) == 0 || | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 145 | ( ctx->E.p[0] & 1 ) == 0 ) | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 146 | return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 147 |  | 
|  | 148 | if( mpi_msb( &ctx->N ) < 128 || | 
| Paul Bakker | fe3256e | 2011-11-25 12:11:43 +0000 | [diff] [blame] | 149 | mpi_msb( &ctx->N ) > POLARSSL_MPI_MAX_BITS ) | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 150 | return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 151 |  | 
|  | 152 | if( mpi_msb( &ctx->E ) < 2 || | 
|  | 153 | mpi_msb( &ctx->E ) > 64 ) | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 154 | return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 155 |  | 
|  | 156 | return( 0 ); | 
|  | 157 | } | 
|  | 158 |  | 
|  | 159 | /* | 
|  | 160 | * Check a private RSA key | 
|  | 161 | */ | 
| Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 162 | int rsa_check_privkey( const rsa_context *ctx ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 163 | { | 
|  | 164 | int ret; | 
| Paul Bakker | 321df6f | 2012-09-27 13:21:34 +0000 | [diff] [blame] | 165 | mpi PQ, DE, P1, Q1, H, I, G, G2, L1, L2, DP, DQ, QP; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 166 |  | 
|  | 167 | if( ( ret = rsa_check_pubkey( ctx ) ) != 0 ) | 
|  | 168 | return( ret ); | 
|  | 169 |  | 
| Paul Bakker | 37940d9f | 2009-07-10 22:38:58 +0000 | [diff] [blame] | 170 | if( !ctx->P.p || !ctx->Q.p || !ctx->D.p ) | 
|  | 171 | return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED ); | 
|  | 172 |  | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 173 | mpi_init( &PQ ); mpi_init( &DE ); mpi_init( &P1 ); mpi_init( &Q1 ); | 
|  | 174 | mpi_init( &H  ); mpi_init( &I  ); mpi_init( &G  ); mpi_init( &G2 ); | 
| Paul Bakker | 321df6f | 2012-09-27 13:21:34 +0000 | [diff] [blame] | 175 | mpi_init( &L1 ); mpi_init( &L2 ); mpi_init( &DP ); mpi_init( &DQ ); | 
|  | 176 | mpi_init( &QP ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 177 |  | 
|  | 178 | MPI_CHK( mpi_mul_mpi( &PQ, &ctx->P, &ctx->Q ) ); | 
|  | 179 | MPI_CHK( mpi_mul_mpi( &DE, &ctx->D, &ctx->E ) ); | 
|  | 180 | MPI_CHK( mpi_sub_int( &P1, &ctx->P, 1 ) ); | 
|  | 181 | MPI_CHK( mpi_sub_int( &Q1, &ctx->Q, 1 ) ); | 
|  | 182 | MPI_CHK( mpi_mul_mpi( &H, &P1, &Q1 ) ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 183 | MPI_CHK( mpi_gcd( &G, &ctx->E, &H  ) ); | 
|  | 184 |  | 
| Paul Bakker | b572adf | 2010-07-18 08:29:32 +0000 | [diff] [blame] | 185 | MPI_CHK( mpi_gcd( &G2, &P1, &Q1 ) ); | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 186 | MPI_CHK( mpi_div_mpi( &L1, &L2, &H, &G2 ) ); | 
| Paul Bakker | b572adf | 2010-07-18 08:29:32 +0000 | [diff] [blame] | 187 | MPI_CHK( mpi_mod_mpi( &I, &DE, &L1  ) ); | 
|  | 188 |  | 
| Paul Bakker | 321df6f | 2012-09-27 13:21:34 +0000 | [diff] [blame] | 189 | MPI_CHK( mpi_mod_mpi( &DP, &ctx->D, &P1 ) ); | 
|  | 190 | MPI_CHK( mpi_mod_mpi( &DQ, &ctx->D, &Q1 ) ); | 
|  | 191 | MPI_CHK( mpi_inv_mod( &QP, &ctx->Q, &ctx->P ) ); | 
| Paul Bakker | b572adf | 2010-07-18 08:29:32 +0000 | [diff] [blame] | 192 | /* | 
|  | 193 | * Check for a valid PKCS1v2 private key | 
|  | 194 | */ | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 195 | if( mpi_cmp_mpi( &PQ, &ctx->N ) != 0 || | 
| Paul Bakker | 321df6f | 2012-09-27 13:21:34 +0000 | [diff] [blame] | 196 | mpi_cmp_mpi( &DP, &ctx->DP ) != 0 || | 
|  | 197 | mpi_cmp_mpi( &DQ, &ctx->DQ ) != 0 || | 
|  | 198 | mpi_cmp_mpi( &QP, &ctx->QP ) != 0 || | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 199 | mpi_cmp_int( &L2, 0 ) != 0 || | 
|  | 200 | mpi_cmp_int( &I, 1 ) != 0 || | 
|  | 201 | mpi_cmp_int( &G, 1 ) != 0 ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 202 | { | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 203 | ret = POLARSSL_ERR_RSA_KEY_CHECK_FAILED; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 204 | } | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 205 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 206 | cleanup: | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 207 | mpi_free( &PQ ); mpi_free( &DE ); mpi_free( &P1 ); mpi_free( &Q1 ); | 
|  | 208 | mpi_free( &H  ); mpi_free( &I  ); mpi_free( &G  ); mpi_free( &G2 ); | 
| Paul Bakker | 321df6f | 2012-09-27 13:21:34 +0000 | [diff] [blame] | 209 | mpi_free( &L1 ); mpi_free( &L2 ); mpi_free( &DP ); mpi_free( &DQ ); | 
|  | 210 | mpi_free( &QP ); | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 211 |  | 
| Paul Bakker | 9d78140 | 2011-05-09 16:17:09 +0000 | [diff] [blame] | 212 | if( ret == POLARSSL_ERR_RSA_KEY_CHECK_FAILED ) | 
|  | 213 | return( ret ); | 
|  | 214 |  | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 215 | if( ret != 0 ) | 
| Paul Bakker | 9d78140 | 2011-05-09 16:17:09 +0000 | [diff] [blame] | 216 | return( POLARSSL_ERR_RSA_KEY_CHECK_FAILED + ret ); | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 217 |  | 
|  | 218 | return( 0 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 219 | } | 
|  | 220 |  | 
|  | 221 | /* | 
|  | 222 | * Do an RSA public key operation | 
|  | 223 | */ | 
|  | 224 | int rsa_public( rsa_context *ctx, | 
| Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 225 | const unsigned char *input, | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 226 | unsigned char *output ) | 
|  | 227 | { | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 228 | int ret; | 
|  | 229 | size_t olen; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 230 | mpi T; | 
|  | 231 |  | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 232 | mpi_init( &T ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 233 |  | 
|  | 234 | MPI_CHK( mpi_read_binary( &T, input, ctx->len ) ); | 
|  | 235 |  | 
|  | 236 | if( mpi_cmp_mpi( &T, &ctx->N ) >= 0 ) | 
|  | 237 | { | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 238 | mpi_free( &T ); | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 239 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 240 | } | 
|  | 241 |  | 
|  | 242 | olen = ctx->len; | 
|  | 243 | MPI_CHK( mpi_exp_mod( &T, &T, &ctx->E, &ctx->N, &ctx->RN ) ); | 
|  | 244 | MPI_CHK( mpi_write_binary( &T, output, olen ) ); | 
|  | 245 |  | 
|  | 246 | cleanup: | 
|  | 247 |  | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 248 | mpi_free( &T ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 249 |  | 
|  | 250 | if( ret != 0 ) | 
| Paul Bakker | 9d78140 | 2011-05-09 16:17:09 +0000 | [diff] [blame] | 251 | return( POLARSSL_ERR_RSA_PUBLIC_FAILED + ret ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 252 |  | 
|  | 253 | return( 0 ); | 
|  | 254 | } | 
|  | 255 |  | 
|  | 256 | /* | 
|  | 257 | * Do an RSA private key operation | 
|  | 258 | */ | 
|  | 259 | int rsa_private( rsa_context *ctx, | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 260 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 261 | void *p_rng, | 
| Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 262 | const unsigned char *input, | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 263 | unsigned char *output ) | 
|  | 264 | { | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 265 | int ret; | 
|  | 266 | size_t olen; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 267 | mpi T, T1, T2; | 
| Paul Bakker | aab30c1 | 2013-08-30 11:00:25 +0200 | [diff] [blame] | 268 | mpi A, X; | 
|  | 269 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 270 |  | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 271 | mpi_init( &T ); mpi_init( &T1 ); mpi_init( &T2 ); | 
| Paul Bakker | aab30c1 | 2013-08-30 11:00:25 +0200 | [diff] [blame] | 272 | mpi_init( &A ); mpi_init( &X ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 273 |  | 
|  | 274 | MPI_CHK( mpi_read_binary( &T, input, ctx->len ) ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 275 | if( mpi_cmp_mpi( &T, &ctx->N ) >= 0 ) | 
|  | 276 | { | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 277 | mpi_free( &T ); | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 278 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 279 | } | 
|  | 280 |  | 
| Paul Bakker | 0216cc1 | 2011-03-26 13:40:23 +0000 | [diff] [blame] | 281 | #if defined(POLARSSL_RSA_NO_CRT) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 282 | MPI_CHK( mpi_exp_mod( &T, &T, &ctx->D, &ctx->N, &ctx->RN ) ); | 
|  | 283 | #else | 
| Paul Bakker | f451bac | 2013-08-30 15:37:02 +0200 | [diff] [blame] | 284 | if( f_rng != NULL ) | 
|  | 285 | { | 
|  | 286 | /* | 
|  | 287 | * RSA Blinding | 
|  | 288 | * A = rnd MPI | 
|  | 289 | * T = A^E * T mod N | 
|  | 290 | */ | 
|  | 291 | MPI_CHK( mpi_fill_random( &A, ctx->len - 1, f_rng, p_rng ) ); | 
|  | 292 | MPI_CHK( mpi_exp_mod( &X, &A, &ctx->E, &ctx->N, NULL ) ); | 
|  | 293 | MPI_CHK( mpi_mul_mpi( &X, &X, &T ) ); | 
|  | 294 | MPI_CHK( mpi_mod_mpi( &T, &X, &ctx->N ) ); | 
|  | 295 | } | 
| Paul Bakker | aab30c1 | 2013-08-30 11:00:25 +0200 | [diff] [blame] | 296 |  | 
|  | 297 | /* | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 298 | * faster decryption using the CRT | 
|  | 299 | * | 
|  | 300 | * T1 = input ^ dP mod P | 
|  | 301 | * T2 = input ^ dQ mod Q | 
|  | 302 | */ | 
|  | 303 | MPI_CHK( mpi_exp_mod( &T1, &T, &ctx->DP, &ctx->P, &ctx->RP ) ); | 
|  | 304 | MPI_CHK( mpi_exp_mod( &T2, &T, &ctx->DQ, &ctx->Q, &ctx->RQ ) ); | 
|  | 305 |  | 
|  | 306 | /* | 
|  | 307 | * T = (T1 - T2) * (Q^-1 mod P) mod P | 
|  | 308 | */ | 
|  | 309 | MPI_CHK( mpi_sub_mpi( &T, &T1, &T2 ) ); | 
|  | 310 | MPI_CHK( mpi_mul_mpi( &T1, &T, &ctx->QP ) ); | 
|  | 311 | MPI_CHK( mpi_mod_mpi( &T, &T1, &ctx->P ) ); | 
|  | 312 |  | 
|  | 313 | /* | 
| Paul Bakker | f451bac | 2013-08-30 15:37:02 +0200 | [diff] [blame] | 314 | * T = T2 + T * Q | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 315 | */ | 
|  | 316 | MPI_CHK( mpi_mul_mpi( &T1, &T, &ctx->Q ) ); | 
| Paul Bakker | f451bac | 2013-08-30 15:37:02 +0200 | [diff] [blame] | 317 | MPI_CHK( mpi_add_mpi( &T, &T2, &T1 ) ); | 
| Paul Bakker | aab30c1 | 2013-08-30 11:00:25 +0200 | [diff] [blame] | 318 |  | 
| Paul Bakker | f451bac | 2013-08-30 15:37:02 +0200 | [diff] [blame] | 319 | if( f_rng != NULL ) | 
|  | 320 | { | 
|  | 321 | /* | 
|  | 322 | * Unblind | 
|  | 323 | * T = T / A mod N | 
|  | 324 | */ | 
|  | 325 | MPI_CHK( mpi_inv_mod( &A, &A, &ctx->N ) ); | 
|  | 326 | MPI_CHK( mpi_mul_mpi( &T, &T, &A ) ); | 
|  | 327 | MPI_CHK( mpi_mod_mpi( &T, &T, &ctx->N ) ); | 
|  | 328 | } | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 329 | #endif | 
|  | 330 |  | 
|  | 331 | olen = ctx->len; | 
|  | 332 | MPI_CHK( mpi_write_binary( &T, output, olen ) ); | 
|  | 333 |  | 
|  | 334 | cleanup: | 
|  | 335 |  | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 336 | mpi_free( &T ); mpi_free( &T1 ); mpi_free( &T2 ); | 
| Paul Bakker | aab30c1 | 2013-08-30 11:00:25 +0200 | [diff] [blame] | 337 | mpi_free( &A ); mpi_free( &X ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 338 |  | 
|  | 339 | if( ret != 0 ) | 
| Paul Bakker | 9d78140 | 2011-05-09 16:17:09 +0000 | [diff] [blame] | 340 | return( POLARSSL_ERR_RSA_PRIVATE_FAILED + ret ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 341 |  | 
|  | 342 | return( 0 ); | 
|  | 343 | } | 
|  | 344 |  | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 345 | #if defined(POLARSSL_PKCS1_V21) | 
|  | 346 | /** | 
|  | 347 | * Generate and apply the MGF1 operation (from PKCS#1 v2.1) to a buffer. | 
|  | 348 | * | 
| Paul Bakker | b125ed8 | 2011-11-10 13:33:51 +0000 | [diff] [blame] | 349 | * \param dst       buffer to mask | 
|  | 350 | * \param dlen      length of destination buffer | 
|  | 351 | * \param src       source of the mask generation | 
|  | 352 | * \param slen      length of the source buffer | 
|  | 353 | * \param md_ctx    message digest context to use | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 354 | */ | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 355 | static void mgf_mask( unsigned char *dst, size_t dlen, unsigned char *src, | 
|  | 356 | size_t slen, md_context_t *md_ctx ) | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 357 | { | 
|  | 358 | unsigned char mask[POLARSSL_MD_MAX_SIZE]; | 
|  | 359 | unsigned char counter[4]; | 
|  | 360 | unsigned char *p; | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 361 | unsigned int hlen; | 
|  | 362 | size_t i, use_len; | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 363 |  | 
|  | 364 | memset( mask, 0, POLARSSL_MD_MAX_SIZE ); | 
|  | 365 | memset( counter, 0, 4 ); | 
|  | 366 |  | 
|  | 367 | hlen = md_ctx->md_info->size; | 
|  | 368 |  | 
|  | 369 | // Generate and apply dbMask | 
|  | 370 | // | 
|  | 371 | p = dst; | 
|  | 372 |  | 
|  | 373 | while( dlen > 0 ) | 
|  | 374 | { | 
|  | 375 | use_len = hlen; | 
|  | 376 | if( dlen < hlen ) | 
|  | 377 | use_len = dlen; | 
|  | 378 |  | 
|  | 379 | md_starts( md_ctx ); | 
|  | 380 | md_update( md_ctx, src, slen ); | 
|  | 381 | md_update( md_ctx, counter, 4 ); | 
|  | 382 | md_finish( md_ctx, mask ); | 
|  | 383 |  | 
|  | 384 | for( i = 0; i < use_len; ++i ) | 
|  | 385 | *p++ ^= mask[i]; | 
|  | 386 |  | 
|  | 387 | counter[3]++; | 
|  | 388 |  | 
|  | 389 | dlen -= use_len; | 
|  | 390 | } | 
|  | 391 | } | 
|  | 392 | #endif | 
|  | 393 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 394 | #if defined(POLARSSL_PKCS1_V21) | 
|  | 395 | /* | 
|  | 396 | * Implementation of the PKCS#1 v2.1 RSAES-OAEP-ENCRYPT function | 
|  | 397 | */ | 
|  | 398 | int rsa_rsaes_oaep_encrypt( rsa_context *ctx, | 
|  | 399 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 400 | void *p_rng, | 
| Paul Bakker | a43231c | 2013-02-28 17:33:49 +0100 | [diff] [blame] | 401 | int mode, | 
|  | 402 | const unsigned char *label, size_t label_len, | 
|  | 403 | size_t ilen, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 404 | const unsigned char *input, | 
|  | 405 | unsigned char *output ) | 
|  | 406 | { | 
|  | 407 | size_t olen; | 
|  | 408 | int ret; | 
|  | 409 | unsigned char *p = output; | 
|  | 410 | unsigned int hlen; | 
|  | 411 | const md_info_t *md_info; | 
|  | 412 | md_context_t md_ctx; | 
|  | 413 |  | 
|  | 414 | if( ctx->padding != RSA_PKCS_V21 || f_rng == NULL ) | 
|  | 415 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 416 |  | 
|  | 417 | md_info = md_info_from_type( ctx->hash_id ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 418 | if( md_info == NULL ) | 
|  | 419 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 420 |  | 
|  | 421 | olen = ctx->len; | 
|  | 422 | hlen = md_get_size( md_info ); | 
|  | 423 |  | 
|  | 424 | if( olen < ilen + 2 * hlen + 2 || f_rng == NULL ) | 
|  | 425 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 426 |  | 
|  | 427 | memset( output, 0, olen ); | 
|  | 428 |  | 
|  | 429 | *p++ = 0; | 
|  | 430 |  | 
|  | 431 | // Generate a random octet string seed | 
|  | 432 | // | 
|  | 433 | if( ( ret = f_rng( p_rng, p, hlen ) ) != 0 ) | 
|  | 434 | return( POLARSSL_ERR_RSA_RNG_FAILED + ret ); | 
|  | 435 |  | 
|  | 436 | p += hlen; | 
|  | 437 |  | 
|  | 438 | // Construct DB | 
|  | 439 | // | 
| Paul Bakker | a43231c | 2013-02-28 17:33:49 +0100 | [diff] [blame] | 440 | md( md_info, label, label_len, p ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 441 | p += hlen; | 
|  | 442 | p += olen - 2 * hlen - 2 - ilen; | 
|  | 443 | *p++ = 1; | 
|  | 444 | memcpy( p, input, ilen ); | 
|  | 445 |  | 
|  | 446 | md_init_ctx( &md_ctx, md_info ); | 
|  | 447 |  | 
|  | 448 | // maskedDB: Apply dbMask to DB | 
|  | 449 | // | 
|  | 450 | mgf_mask( output + hlen + 1, olen - hlen - 1, output + 1, hlen, | 
|  | 451 | &md_ctx ); | 
|  | 452 |  | 
|  | 453 | // maskedSeed: Apply seedMask to seed | 
|  | 454 | // | 
|  | 455 | mgf_mask( output + 1, hlen, output + hlen + 1, olen - hlen - 1, | 
|  | 456 | &md_ctx ); | 
|  | 457 |  | 
|  | 458 | md_free_ctx( &md_ctx ); | 
|  | 459 |  | 
|  | 460 | return( ( mode == RSA_PUBLIC ) | 
|  | 461 | ? rsa_public(  ctx, output, output ) | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 462 | : rsa_private( ctx, f_rng, p_rng, output, output ) ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 463 | } | 
|  | 464 | #endif /* POLARSSL_PKCS1_V21 */ | 
|  | 465 |  | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 466 | #if defined(POLARSSL_PKCS1_V15) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 467 | /* | 
|  | 468 | * Implementation of the PKCS#1 v2.1 RSAES-PKCS1-V1_5-ENCRYPT function | 
|  | 469 | */ | 
|  | 470 | int rsa_rsaes_pkcs1_v15_encrypt( rsa_context *ctx, | 
|  | 471 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 472 | void *p_rng, | 
|  | 473 | int mode, size_t ilen, | 
|  | 474 | const unsigned char *input, | 
|  | 475 | unsigned char *output ) | 
|  | 476 | { | 
|  | 477 | size_t nb_pad, olen; | 
|  | 478 | int ret; | 
|  | 479 | unsigned char *p = output; | 
|  | 480 |  | 
|  | 481 | if( ctx->padding != RSA_PKCS_V15 || f_rng == NULL ) | 
|  | 482 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 483 |  | 
|  | 484 | olen = ctx->len; | 
|  | 485 |  | 
|  | 486 | if( olen < ilen + 11 ) | 
|  | 487 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 488 |  | 
|  | 489 | nb_pad = olen - 3 - ilen; | 
|  | 490 |  | 
|  | 491 | *p++ = 0; | 
|  | 492 | if( mode == RSA_PUBLIC ) | 
|  | 493 | { | 
|  | 494 | *p++ = RSA_CRYPT; | 
|  | 495 |  | 
|  | 496 | while( nb_pad-- > 0 ) | 
|  | 497 | { | 
|  | 498 | int rng_dl = 100; | 
|  | 499 |  | 
|  | 500 | do { | 
|  | 501 | ret = f_rng( p_rng, p, 1 ); | 
|  | 502 | } while( *p == 0 && --rng_dl && ret == 0 ); | 
|  | 503 |  | 
|  | 504 | // Check if RNG failed to generate data | 
|  | 505 | // | 
|  | 506 | if( rng_dl == 0 || ret != 0) | 
|  | 507 | return POLARSSL_ERR_RSA_RNG_FAILED + ret; | 
|  | 508 |  | 
|  | 509 | p++; | 
|  | 510 | } | 
|  | 511 | } | 
|  | 512 | else | 
|  | 513 | { | 
|  | 514 | *p++ = RSA_SIGN; | 
|  | 515 |  | 
|  | 516 | while( nb_pad-- > 0 ) | 
|  | 517 | *p++ = 0xFF; | 
|  | 518 | } | 
|  | 519 |  | 
|  | 520 | *p++ = 0; | 
|  | 521 | memcpy( p, input, ilen ); | 
|  | 522 |  | 
|  | 523 | return( ( mode == RSA_PUBLIC ) | 
|  | 524 | ? rsa_public(  ctx, output, output ) | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 525 | : rsa_private( ctx, f_rng, p_rng, output, output ) ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 526 | } | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 527 | #endif /* POLARSSL_PKCS1_V15 */ | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 528 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 529 | /* | 
|  | 530 | * Add the message padding, then do an RSA operation | 
|  | 531 | */ | 
|  | 532 | int rsa_pkcs1_encrypt( rsa_context *ctx, | 
| Paul Bakker | a3d195c | 2011-11-27 21:07:34 +0000 | [diff] [blame] | 533 | int (*f_rng)(void *, unsigned char *, size_t), | 
| Paul Bakker | 21eb280 | 2010-08-16 11:10:02 +0000 | [diff] [blame] | 534 | void *p_rng, | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 535 | int mode, size_t ilen, | 
| Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 536 | const unsigned char *input, | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 537 | unsigned char *output ) | 
|  | 538 | { | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 539 | switch( ctx->padding ) | 
|  | 540 | { | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 541 | #if defined(POLARSSL_PKCS1_V15) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 542 | case RSA_PKCS_V15: | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 543 | return rsa_rsaes_pkcs1_v15_encrypt( ctx, f_rng, p_rng, mode, ilen, | 
|  | 544 | input, output ); | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 545 | #endif | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 546 |  | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 547 | #if defined(POLARSSL_PKCS1_V21) | 
|  | 548 | case RSA_PKCS_V21: | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 549 | return rsa_rsaes_oaep_encrypt( ctx, f_rng, p_rng, mode, NULL, 0, | 
|  | 550 | ilen, input, output ); | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 551 | #endif | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 552 |  | 
|  | 553 | default: | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 554 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 555 | } | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 556 | } | 
|  | 557 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 558 | #if defined(POLARSSL_PKCS1_V21) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 559 | /* | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 560 | * Implementation of the PKCS#1 v2.1 RSAES-OAEP-DECRYPT function | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 561 | */ | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 562 | int rsa_rsaes_oaep_decrypt( rsa_context *ctx, | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 563 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 564 | void *p_rng, | 
|  | 565 | int mode, | 
| Paul Bakker | a43231c | 2013-02-28 17:33:49 +0100 | [diff] [blame] | 566 | const unsigned char *label, size_t label_len, | 
|  | 567 | size_t *olen, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 568 | const unsigned char *input, | 
|  | 569 | unsigned char *output, | 
|  | 570 | size_t output_max_len ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 571 | { | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 572 | int ret; | 
|  | 573 | size_t ilen; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 574 | unsigned char *p; | 
| Paul Bakker | 0be82f2 | 2012-10-03 20:36:33 +0000 | [diff] [blame] | 575 | unsigned char buf[POLARSSL_MPI_MAX_SIZE]; | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 576 | unsigned char lhash[POLARSSL_MD_MAX_SIZE]; | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 577 | unsigned int hlen; | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 578 | const md_info_t *md_info; | 
|  | 579 | md_context_t md_ctx; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 580 |  | 
|  | 581 | if( ctx->padding != RSA_PKCS_V21 ) | 
|  | 582 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 583 |  | 
|  | 584 | ilen = ctx->len; | 
|  | 585 |  | 
| Paul Bakker | 27fdf46 | 2011-06-09 13:55:13 +0000 | [diff] [blame] | 586 | if( ilen < 16 || ilen > sizeof( buf ) ) | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 587 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 588 |  | 
|  | 589 | ret = ( mode == RSA_PUBLIC ) | 
|  | 590 | ? rsa_public(  ctx, input, buf ) | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 591 | : rsa_private( ctx, f_rng, p_rng, input, buf ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 592 |  | 
|  | 593 | if( ret != 0 ) | 
|  | 594 | return( ret ); | 
|  | 595 |  | 
|  | 596 | p = buf; | 
|  | 597 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 598 | if( *p++ != 0 ) | 
|  | 599 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 600 |  | 
|  | 601 | md_info = md_info_from_type( ctx->hash_id ); | 
|  | 602 | if( md_info == NULL ) | 
|  | 603 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 604 |  | 
|  | 605 | hlen = md_get_size( md_info ); | 
|  | 606 |  | 
|  | 607 | md_init_ctx( &md_ctx, md_info ); | 
|  | 608 |  | 
|  | 609 | // Generate lHash | 
|  | 610 | // | 
| Paul Bakker | a43231c | 2013-02-28 17:33:49 +0100 | [diff] [blame] | 611 | md( md_info, label, label_len, lhash ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 612 |  | 
|  | 613 | // seed: Apply seedMask to maskedSeed | 
|  | 614 | // | 
|  | 615 | mgf_mask( buf + 1, hlen, buf + hlen + 1, ilen - hlen - 1, | 
|  | 616 | &md_ctx ); | 
|  | 617 |  | 
|  | 618 | // DB: Apply dbMask to maskedDB | 
|  | 619 | // | 
|  | 620 | mgf_mask( buf + hlen + 1, ilen - hlen - 1, buf + 1, hlen, | 
|  | 621 | &md_ctx ); | 
|  | 622 |  | 
|  | 623 | p += hlen; | 
|  | 624 | md_free_ctx( &md_ctx ); | 
|  | 625 |  | 
|  | 626 | // Check validity | 
|  | 627 | // | 
|  | 628 | if( memcmp( lhash, p, hlen ) != 0 ) | 
|  | 629 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 630 |  | 
|  | 631 | p += hlen; | 
|  | 632 |  | 
|  | 633 | while( *p == 0 && p < buf + ilen ) | 
|  | 634 | p++; | 
|  | 635 |  | 
|  | 636 | if( p == buf + ilen ) | 
|  | 637 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 638 |  | 
|  | 639 | if( *p++ != 0x01 ) | 
|  | 640 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 641 |  | 
|  | 642 | if (ilen - (p - buf) > output_max_len) | 
|  | 643 | return( POLARSSL_ERR_RSA_OUTPUT_TOO_LARGE ); | 
|  | 644 |  | 
|  | 645 | *olen = ilen - (p - buf); | 
|  | 646 | memcpy( output, p, *olen ); | 
|  | 647 |  | 
|  | 648 | return( 0 ); | 
|  | 649 | } | 
|  | 650 | #endif /* POLARSSL_PKCS1_V21 */ | 
|  | 651 |  | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 652 | #if defined(POLARSSL_PKCS1_V15) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 653 | /* | 
|  | 654 | * Implementation of the PKCS#1 v2.1 RSAES-PKCS1-V1_5-DECRYPT function | 
|  | 655 | */ | 
|  | 656 | int rsa_rsaes_pkcs1_v15_decrypt( rsa_context *ctx, | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 657 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 658 | void *p_rng, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 659 | int mode, size_t *olen, | 
|  | 660 | const unsigned char *input, | 
|  | 661 | unsigned char *output, | 
|  | 662 | size_t output_max_len) | 
|  | 663 | { | 
| Paul Bakker | 8804f69 | 2013-02-28 18:06:26 +0100 | [diff] [blame] | 664 | int ret, correct = 1; | 
|  | 665 | size_t ilen, pad_count = 0; | 
|  | 666 | unsigned char *p, *q; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 667 | unsigned char bt; | 
|  | 668 | unsigned char buf[POLARSSL_MPI_MAX_SIZE]; | 
|  | 669 |  | 
|  | 670 | if( ctx->padding != RSA_PKCS_V15 ) | 
|  | 671 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 672 |  | 
|  | 673 | ilen = ctx->len; | 
|  | 674 |  | 
|  | 675 | if( ilen < 16 || ilen > sizeof( buf ) ) | 
|  | 676 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 677 |  | 
|  | 678 | ret = ( mode == RSA_PUBLIC ) | 
|  | 679 | ? rsa_public(  ctx, input, buf ) | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 680 | : rsa_private( ctx, f_rng, p_rng, input, buf ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 681 |  | 
|  | 682 | if( ret != 0 ) | 
|  | 683 | return( ret ); | 
|  | 684 |  | 
|  | 685 | p = buf; | 
|  | 686 |  | 
|  | 687 | if( *p++ != 0 ) | 
| Paul Bakker | 8804f69 | 2013-02-28 18:06:26 +0100 | [diff] [blame] | 688 | correct = 0; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 689 |  | 
|  | 690 | bt = *p++; | 
|  | 691 | if( ( bt != RSA_CRYPT && mode == RSA_PRIVATE ) || | 
|  | 692 | ( bt != RSA_SIGN && mode == RSA_PUBLIC ) ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 693 | { | 
| Paul Bakker | 8804f69 | 2013-02-28 18:06:26 +0100 | [diff] [blame] | 694 | correct = 0; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 695 | } | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 696 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 697 | if( bt == RSA_CRYPT ) | 
|  | 698 | { | 
|  | 699 | while( *p != 0 && p < buf + ilen - 1 ) | 
| Paul Bakker | 8804f69 | 2013-02-28 18:06:26 +0100 | [diff] [blame] | 700 | pad_count += ( *p++ != 0 ); | 
| Paul Bakker | e6ee41f | 2012-05-19 08:43:48 +0000 | [diff] [blame] | 701 |  | 
| Paul Bakker | 8804f69 | 2013-02-28 18:06:26 +0100 | [diff] [blame] | 702 | correct &= ( *p == 0 && p < buf + ilen - 1 ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 703 |  | 
| Paul Bakker | 8804f69 | 2013-02-28 18:06:26 +0100 | [diff] [blame] | 704 | q = p; | 
|  | 705 |  | 
|  | 706 | // Also pass over all other bytes to reduce timing differences | 
|  | 707 | // | 
|  | 708 | while ( q < buf + ilen - 1 ) | 
|  | 709 | pad_count += ( *q++ != 0 ); | 
|  | 710 |  | 
|  | 711 | // Prevent compiler optimization of pad_count | 
|  | 712 | // | 
|  | 713 | correct |= pad_count & 0x100000; /* Always 0 unless 1M bit keys */ | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 714 | p++; | 
|  | 715 | } | 
|  | 716 | else | 
|  | 717 | { | 
|  | 718 | while( *p == 0xFF && p < buf + ilen - 1 ) | 
| Paul Bakker | 8804f69 | 2013-02-28 18:06:26 +0100 | [diff] [blame] | 719 | pad_count += ( *p++ == 0xFF ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 720 |  | 
| Paul Bakker | 8804f69 | 2013-02-28 18:06:26 +0100 | [diff] [blame] | 721 | correct &= ( *p == 0 && p < buf + ilen - 1 ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 722 |  | 
| Paul Bakker | 8804f69 | 2013-02-28 18:06:26 +0100 | [diff] [blame] | 723 | q = p; | 
|  | 724 |  | 
|  | 725 | // Also pass over all other bytes to reduce timing differences | 
|  | 726 | // | 
|  | 727 | while ( q < buf + ilen - 1 ) | 
|  | 728 | pad_count += ( *q++ != 0 ); | 
|  | 729 |  | 
|  | 730 | // Prevent compiler optimization of pad_count | 
|  | 731 | // | 
|  | 732 | correct |= pad_count & 0x100000; /* Always 0 unless 1M bit keys */ | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 733 | p++; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 734 | } | 
|  | 735 |  | 
| Paul Bakker | 8804f69 | 2013-02-28 18:06:26 +0100 | [diff] [blame] | 736 | if( correct == 0 ) | 
|  | 737 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 738 |  | 
| Paul Bakker | 27fdf46 | 2011-06-09 13:55:13 +0000 | [diff] [blame] | 739 | if (ilen - (p - buf) > output_max_len) | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 740 | return( POLARSSL_ERR_RSA_OUTPUT_TOO_LARGE ); | 
| Paul Bakker | 060c568 | 2009-01-12 21:48:39 +0000 | [diff] [blame] | 741 |  | 
| Paul Bakker | 27fdf46 | 2011-06-09 13:55:13 +0000 | [diff] [blame] | 742 | *olen = ilen - (p - buf); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 743 | memcpy( output, p, *olen ); | 
|  | 744 |  | 
|  | 745 | return( 0 ); | 
|  | 746 | } | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 747 | #endif /* POLARSSL_PKCS1_V15 */ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 748 |  | 
|  | 749 | /* | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 750 | * Do an RSA operation, then remove the message padding | 
|  | 751 | */ | 
|  | 752 | int rsa_pkcs1_decrypt( rsa_context *ctx, | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 753 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 754 | void *p_rng, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 755 | int mode, size_t *olen, | 
|  | 756 | const unsigned char *input, | 
|  | 757 | unsigned char *output, | 
|  | 758 | size_t output_max_len) | 
|  | 759 | { | 
|  | 760 | switch( ctx->padding ) | 
|  | 761 | { | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 762 | #if defined(POLARSSL_PKCS1_V15) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 763 | case RSA_PKCS_V15: | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 764 | return rsa_rsaes_pkcs1_v15_decrypt( ctx, f_rng, p_rng, mode, olen, | 
|  | 765 | input, output, output_max_len ); | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 766 | #endif | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 767 |  | 
|  | 768 | #if defined(POLARSSL_PKCS1_V21) | 
|  | 769 | case RSA_PKCS_V21: | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 770 | return rsa_rsaes_oaep_decrypt( ctx, f_rng, p_rng, mode, NULL, 0, | 
|  | 771 | olen, input, output, | 
|  | 772 | output_max_len ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 773 | #endif | 
|  | 774 |  | 
|  | 775 | default: | 
|  | 776 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 777 | } | 
|  | 778 | } | 
|  | 779 |  | 
|  | 780 | #if defined(POLARSSL_PKCS1_V21) | 
|  | 781 | /* | 
|  | 782 | * Implementation of the PKCS#1 v2.1 RSASSA-PSS-SIGN function | 
|  | 783 | */ | 
|  | 784 | int rsa_rsassa_pss_sign( rsa_context *ctx, | 
|  | 785 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 786 | void *p_rng, | 
|  | 787 | int mode, | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 788 | md_type_t md_alg, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 789 | unsigned int hashlen, | 
|  | 790 | const unsigned char *hash, | 
|  | 791 | unsigned char *sig ) | 
|  | 792 | { | 
|  | 793 | size_t olen; | 
|  | 794 | unsigned char *p = sig; | 
|  | 795 | unsigned char salt[POLARSSL_MD_MAX_SIZE]; | 
|  | 796 | unsigned int slen, hlen, offset = 0; | 
|  | 797 | int ret; | 
|  | 798 | size_t msb; | 
|  | 799 | const md_info_t *md_info; | 
|  | 800 | md_context_t md_ctx; | 
|  | 801 |  | 
|  | 802 | if( ctx->padding != RSA_PKCS_V21 || f_rng == NULL ) | 
|  | 803 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 804 |  | 
|  | 805 | olen = ctx->len; | 
|  | 806 |  | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 807 | if( md_alg != POLARSSL_MD_NONE ) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 808 | { | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 809 | // Gather length of hash to sign | 
|  | 810 | // | 
|  | 811 | md_info = md_info_from_type( md_alg ); | 
|  | 812 | if( md_info == NULL ) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 813 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 814 |  | 
|  | 815 | hashlen = md_get_size( md_info ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 816 | } | 
|  | 817 |  | 
|  | 818 | md_info = md_info_from_type( ctx->hash_id ); | 
|  | 819 | if( md_info == NULL ) | 
|  | 820 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 821 |  | 
|  | 822 | hlen = md_get_size( md_info ); | 
|  | 823 | slen = hlen; | 
|  | 824 |  | 
|  | 825 | if( olen < hlen + slen + 2 ) | 
|  | 826 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 827 |  | 
|  | 828 | memset( sig, 0, olen ); | 
|  | 829 |  | 
|  | 830 | msb = mpi_msb( &ctx->N ) - 1; | 
|  | 831 |  | 
|  | 832 | // Generate salt of length slen | 
|  | 833 | // | 
|  | 834 | if( ( ret = f_rng( p_rng, salt, slen ) ) != 0 ) | 
|  | 835 | return( POLARSSL_ERR_RSA_RNG_FAILED + ret ); | 
|  | 836 |  | 
|  | 837 | // Note: EMSA-PSS encoding is over the length of N - 1 bits | 
|  | 838 | // | 
|  | 839 | msb = mpi_msb( &ctx->N ) - 1; | 
|  | 840 | p += olen - hlen * 2 - 2; | 
|  | 841 | *p++ = 0x01; | 
|  | 842 | memcpy( p, salt, slen ); | 
|  | 843 | p += slen; | 
|  | 844 |  | 
|  | 845 | md_init_ctx( &md_ctx, md_info ); | 
|  | 846 |  | 
|  | 847 | // Generate H = Hash( M' ) | 
|  | 848 | // | 
|  | 849 | md_starts( &md_ctx ); | 
|  | 850 | md_update( &md_ctx, p, 8 ); | 
|  | 851 | md_update( &md_ctx, hash, hashlen ); | 
|  | 852 | md_update( &md_ctx, salt, slen ); | 
|  | 853 | md_finish( &md_ctx, p ); | 
|  | 854 |  | 
|  | 855 | // Compensate for boundary condition when applying mask | 
|  | 856 | // | 
|  | 857 | if( msb % 8 == 0 ) | 
|  | 858 | offset = 1; | 
|  | 859 |  | 
|  | 860 | // maskedDB: Apply dbMask to DB | 
|  | 861 | // | 
|  | 862 | mgf_mask( sig + offset, olen - hlen - 1 - offset, p, hlen, &md_ctx ); | 
|  | 863 |  | 
|  | 864 | md_free_ctx( &md_ctx ); | 
|  | 865 |  | 
|  | 866 | msb = mpi_msb( &ctx->N ) - 1; | 
|  | 867 | sig[0] &= 0xFF >> ( olen * 8 - msb ); | 
|  | 868 |  | 
|  | 869 | p += hlen; | 
|  | 870 | *p++ = 0xBC; | 
|  | 871 |  | 
|  | 872 | return( ( mode == RSA_PUBLIC ) | 
|  | 873 | ? rsa_public(  ctx, sig, sig ) | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 874 | : rsa_private( ctx, f_rng, p_rng, sig, sig ) ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 875 | } | 
|  | 876 | #endif /* POLARSSL_PKCS1_V21 */ | 
|  | 877 |  | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 878 | #if defined(POLARSSL_PKCS1_V15) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 879 | /* | 
|  | 880 | * Implementation of the PKCS#1 v2.1 RSASSA-PKCS1-V1_5-SIGN function | 
|  | 881 | */ | 
|  | 882 | /* | 
|  | 883 | * Do an RSA operation to sign the message digest | 
|  | 884 | */ | 
|  | 885 | int rsa_rsassa_pkcs1_v15_sign( rsa_context *ctx, | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 886 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 887 | void *p_rng, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 888 | int mode, | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 889 | md_type_t md_alg, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 890 | unsigned int hashlen, | 
|  | 891 | const unsigned char *hash, | 
|  | 892 | unsigned char *sig ) | 
|  | 893 | { | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 894 | size_t nb_pad, olen, oid_size = 0; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 895 | unsigned char *p = sig; | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 896 | const char *oid; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 897 |  | 
|  | 898 | if( ctx->padding != RSA_PKCS_V15 ) | 
|  | 899 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 900 |  | 
|  | 901 | olen = ctx->len; | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 902 | nb_pad = olen - 3; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 903 |  | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 904 | if( md_alg != POLARSSL_MD_NONE ) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 905 | { | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 906 | const md_info_t *md_info = md_info_from_type( md_alg ); | 
|  | 907 | if( md_info == NULL ) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 908 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 909 |  | 
|  | 910 | if( oid_get_oid_by_md( md_alg, &oid ) != 0 ) | 
|  | 911 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 912 |  | 
|  | 913 | oid_size = strlen( oid ); | 
|  | 914 | nb_pad -= 10 + oid_size; | 
|  | 915 |  | 
|  | 916 | hashlen = md_get_size( md_info ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 917 | } | 
|  | 918 |  | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 919 | nb_pad -= hashlen; | 
|  | 920 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 921 | if( ( nb_pad < 8 ) || ( nb_pad > olen ) ) | 
|  | 922 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 923 |  | 
|  | 924 | *p++ = 0; | 
|  | 925 | *p++ = RSA_SIGN; | 
|  | 926 | memset( p, 0xFF, nb_pad ); | 
|  | 927 | p += nb_pad; | 
|  | 928 | *p++ = 0; | 
|  | 929 |  | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 930 | if( md_alg == POLARSSL_MD_NONE ) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 931 | { | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 932 | memcpy( p, hash, hashlen ); | 
|  | 933 | } | 
|  | 934 | else | 
|  | 935 | { | 
|  | 936 | /* | 
|  | 937 | * DigestInfo ::= SEQUENCE { | 
|  | 938 | *   digestAlgorithm DigestAlgorithmIdentifier, | 
|  | 939 | *   digest Digest } | 
|  | 940 | * | 
|  | 941 | * DigestAlgorithmIdentifier ::= AlgorithmIdentifier | 
|  | 942 | * | 
|  | 943 | * Digest ::= OCTET STRING | 
|  | 944 | */ | 
|  | 945 | *p++ = ASN1_SEQUENCE | ASN1_CONSTRUCTED; | 
|  | 946 | *p++ = 0x08 + oid_size + hashlen; | 
|  | 947 | *p++ = ASN1_SEQUENCE | ASN1_CONSTRUCTED; | 
|  | 948 | *p++ = 0x04 + oid_size; | 
|  | 949 | *p++ = ASN1_OID; | 
|  | 950 | *p++ = oid_size; | 
|  | 951 | memcpy( p, oid, oid_size ); | 
|  | 952 | p += oid_size; | 
|  | 953 | *p++ = ASN1_NULL; | 
|  | 954 | *p++ = 0x00; | 
|  | 955 | *p++ = ASN1_OCTET_STRING; | 
|  | 956 | *p++ = hashlen; | 
|  | 957 | memcpy( p, hash, hashlen ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 958 | } | 
|  | 959 |  | 
|  | 960 | return( ( mode == RSA_PUBLIC ) | 
|  | 961 | ? rsa_public(  ctx, sig, sig ) | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 962 | : rsa_private( ctx, f_rng, p_rng, sig, sig ) ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 963 | } | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 964 | #endif /* POLARSSL_PKCS1_V15 */ | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 965 |  | 
|  | 966 | /* | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 967 | * Do an RSA operation to sign the message digest | 
|  | 968 | */ | 
|  | 969 | int rsa_pkcs1_sign( rsa_context *ctx, | 
| Paul Bakker | a3d195c | 2011-11-27 21:07:34 +0000 | [diff] [blame] | 970 | int (*f_rng)(void *, unsigned char *, size_t), | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 971 | void *p_rng, | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 972 | int mode, | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 973 | md_type_t md_alg, | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 974 | unsigned int hashlen, | 
| Paul Bakker | ff60ee6 | 2010-03-16 21:09:09 +0000 | [diff] [blame] | 975 | const unsigned char *hash, | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 976 | unsigned char *sig ) | 
|  | 977 | { | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 978 | switch( ctx->padding ) | 
|  | 979 | { | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 980 | #if defined(POLARSSL_PKCS1_V15) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 981 | case RSA_PKCS_V15: | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 982 | return rsa_rsassa_pkcs1_v15_sign( ctx, f_rng, p_rng, mode, md_alg, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 983 | hashlen, hash, sig ); | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 984 | #endif | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 985 |  | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 986 | #if defined(POLARSSL_PKCS1_V21) | 
|  | 987 | case RSA_PKCS_V21: | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 988 | return rsa_rsassa_pss_sign( ctx, f_rng, p_rng, mode, md_alg, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 989 | hashlen, hash, sig ); | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 990 | #endif | 
|  | 991 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 992 | default: | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 993 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 994 | } | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 995 | } | 
|  | 996 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 997 | #if defined(POLARSSL_PKCS1_V21) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 998 | /* | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 999 | * Implementation of the PKCS#1 v2.1 RSASSA-PSS-VERIFY function | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1000 | */ | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1001 | int rsa_rsassa_pss_verify( rsa_context *ctx, | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 1002 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 1003 | void *p_rng, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1004 | int mode, | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 1005 | md_type_t md_alg, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1006 | unsigned int hashlen, | 
|  | 1007 | const unsigned char *hash, | 
| Manuel Pégourié-Gonnard | cc0a9d0 | 2013-08-12 11:34:35 +0200 | [diff] [blame] | 1008 | const unsigned char *sig ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1009 | { | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 1010 | int ret; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1011 | size_t siglen; | 
|  | 1012 | unsigned char *p; | 
| Paul Bakker | 0be82f2 | 2012-10-03 20:36:33 +0000 | [diff] [blame] | 1013 | unsigned char buf[POLARSSL_MPI_MAX_SIZE]; | 
| Paul Bakker | 1fe7d9b | 2011-11-15 15:26:03 +0000 | [diff] [blame] | 1014 | unsigned char result[POLARSSL_MD_MAX_SIZE]; | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1015 | unsigned char zeros[8]; | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 1016 | unsigned int hlen; | 
|  | 1017 | size_t slen, msb; | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1018 | const md_info_t *md_info; | 
|  | 1019 | md_context_t md_ctx; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1020 |  | 
|  | 1021 | if( ctx->padding != RSA_PKCS_V21 ) | 
|  | 1022 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 1023 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1024 | siglen = ctx->len; | 
|  | 1025 |  | 
| Paul Bakker | 27fdf46 | 2011-06-09 13:55:13 +0000 | [diff] [blame] | 1026 | if( siglen < 16 || siglen > sizeof( buf ) ) | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 1027 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1028 |  | 
|  | 1029 | ret = ( mode == RSA_PUBLIC ) | 
|  | 1030 | ? rsa_public(  ctx, sig, buf ) | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 1031 | : rsa_private( ctx, f_rng, p_rng, sig, buf ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1032 |  | 
|  | 1033 | if( ret != 0 ) | 
|  | 1034 | return( ret ); | 
|  | 1035 |  | 
|  | 1036 | p = buf; | 
|  | 1037 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1038 | if( buf[siglen - 1] != 0xBC ) | 
|  | 1039 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 1040 |  | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 1041 | if( md_alg != POLARSSL_MD_NONE ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1042 | { | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 1043 | // Gather length of hash to sign | 
|  | 1044 | // | 
|  | 1045 | md_info = md_info_from_type( md_alg ); | 
|  | 1046 | if( md_info == NULL ) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1047 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 1048 |  | 
|  | 1049 | hashlen = md_get_size( md_info ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1050 | } | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1051 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1052 | md_info = md_info_from_type( ctx->hash_id ); | 
|  | 1053 | if( md_info == NULL ) | 
|  | 1054 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1055 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1056 | hlen = md_get_size( md_info ); | 
|  | 1057 | slen = siglen - hlen - 1; | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1058 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1059 | memset( zeros, 0, 8 ); | 
| Paul Bakker | 53019ae | 2011-03-25 13:58:48 +0000 | [diff] [blame] | 1060 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1061 | // Note: EMSA-PSS verification is over the length of N - 1 bits | 
|  | 1062 | // | 
|  | 1063 | msb = mpi_msb( &ctx->N ) - 1; | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1064 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1065 | // Compensate for boundary condition when applying mask | 
|  | 1066 | // | 
|  | 1067 | if( msb % 8 == 0 ) | 
|  | 1068 | { | 
|  | 1069 | p++; | 
|  | 1070 | siglen -= 1; | 
|  | 1071 | } | 
|  | 1072 | if( buf[0] >> ( 8 - siglen * 8 + msb ) ) | 
|  | 1073 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1074 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1075 | md_init_ctx( &md_ctx, md_info ); | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1076 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1077 | mgf_mask( p, siglen - hlen - 1, p + siglen - hlen - 1, hlen, &md_ctx ); | 
| Paul Bakker | 02303e8 | 2013-01-03 11:08:31 +0100 | [diff] [blame] | 1078 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1079 | buf[0] &= 0xFF >> ( siglen * 8 - msb ); | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1080 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1081 | while( *p == 0 && p < buf + siglen ) | 
|  | 1082 | p++; | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1083 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1084 | if( p == buf + siglen || | 
|  | 1085 | *p++ != 0x01 ) | 
|  | 1086 | { | 
|  | 1087 | md_free_ctx( &md_ctx ); | 
|  | 1088 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 1089 | } | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1090 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1091 | slen -= p - buf; | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1092 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1093 | // Generate H = Hash( M' ) | 
|  | 1094 | // | 
|  | 1095 | md_starts( &md_ctx ); | 
|  | 1096 | md_update( &md_ctx, zeros, 8 ); | 
|  | 1097 | md_update( &md_ctx, hash, hashlen ); | 
|  | 1098 | md_update( &md_ctx, p, slen ); | 
|  | 1099 | md_finish( &md_ctx, result ); | 
| Paul Bakker | 53019ae | 2011-03-25 13:58:48 +0000 | [diff] [blame] | 1100 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1101 | md_free_ctx( &md_ctx ); | 
| Paul Bakker | 9dcc322 | 2011-03-08 14:16:06 +0000 | [diff] [blame] | 1102 |  | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1103 | if( memcmp( p + slen, result, hlen ) == 0 ) | 
|  | 1104 | return( 0 ); | 
|  | 1105 | else | 
|  | 1106 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1107 | } | 
|  | 1108 | #endif /* POLARSSL_PKCS1_V21 */ | 
| Paul Bakker | 40628ba | 2013-01-03 10:50:31 +0100 | [diff] [blame] | 1109 |  | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 1110 | #if defined(POLARSSL_PKCS1_V15) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1111 | /* | 
|  | 1112 | * Implementation of the PKCS#1 v2.1 RSASSA-PKCS1-v1_5-VERIFY function | 
|  | 1113 | */ | 
|  | 1114 | int rsa_rsassa_pkcs1_v15_verify( rsa_context *ctx, | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 1115 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 1116 | void *p_rng, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1117 | int mode, | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 1118 | md_type_t md_alg, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1119 | unsigned int hashlen, | 
|  | 1120 | const unsigned char *hash, | 
| Manuel Pégourié-Gonnard | cc0a9d0 | 2013-08-12 11:34:35 +0200 | [diff] [blame] | 1121 | const unsigned char *sig ) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1122 | { | 
|  | 1123 | int ret; | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 1124 | size_t len, siglen, asn1_len; | 
|  | 1125 | unsigned char *p, *end; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1126 | unsigned char buf[POLARSSL_MPI_MAX_SIZE]; | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 1127 | md_type_t msg_md_alg; | 
|  | 1128 | const md_info_t *md_info; | 
|  | 1129 | asn1_buf oid; | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1130 |  | 
|  | 1131 | if( ctx->padding != RSA_PKCS_V15 ) | 
|  | 1132 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 1133 |  | 
|  | 1134 | siglen = ctx->len; | 
|  | 1135 |  | 
|  | 1136 | if( siglen < 16 || siglen > sizeof( buf ) ) | 
|  | 1137 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 1138 |  | 
|  | 1139 | ret = ( mode == RSA_PUBLIC ) | 
|  | 1140 | ? rsa_public(  ctx, sig, buf ) | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 1141 | : rsa_private( ctx, f_rng, p_rng, sig, buf ); | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1142 |  | 
|  | 1143 | if( ret != 0 ) | 
|  | 1144 | return( ret ); | 
|  | 1145 |  | 
|  | 1146 | p = buf; | 
|  | 1147 |  | 
|  | 1148 | if( *p++ != 0 || *p++ != RSA_SIGN ) | 
|  | 1149 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 1150 |  | 
|  | 1151 | while( *p != 0 ) | 
|  | 1152 | { | 
|  | 1153 | if( p >= buf + siglen - 1 || *p != 0xFF ) | 
|  | 1154 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 1155 | p++; | 
|  | 1156 | } | 
|  | 1157 | p++; | 
|  | 1158 |  | 
|  | 1159 | len = siglen - ( p - buf ); | 
|  | 1160 |  | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 1161 | if( len == hashlen && md_alg == POLARSSL_MD_NONE ) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1162 | { | 
|  | 1163 | if( memcmp( p, hash, hashlen ) == 0 ) | 
|  | 1164 | return( 0 ); | 
|  | 1165 | else | 
|  | 1166 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1167 | } | 
|  | 1168 |  | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 1169 | md_info = md_info_from_type( md_alg ); | 
|  | 1170 | if( md_info == NULL ) | 
|  | 1171 | return( POLARSSL_ERR_RSA_BAD_INPUT_DATA ); | 
|  | 1172 | hashlen = md_get_size( md_info ); | 
|  | 1173 |  | 
|  | 1174 | end = p + len; | 
|  | 1175 |  | 
|  | 1176 | // Parse the ASN.1 structure inside the PKCS#1 v1.5 structure | 
|  | 1177 | // | 
|  | 1178 | if( ( ret = asn1_get_tag( &p, end, &asn1_len, | 
|  | 1179 | ASN1_CONSTRUCTED | ASN1_SEQUENCE ) ) != 0 ) | 
|  | 1180 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1181 |  | 
|  | 1182 | if( asn1_len + 2 != len ) | 
|  | 1183 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1184 |  | 
|  | 1185 | if( ( ret = asn1_get_tag( &p, end, &asn1_len, | 
|  | 1186 | ASN1_CONSTRUCTED | ASN1_SEQUENCE ) ) != 0 ) | 
|  | 1187 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1188 |  | 
|  | 1189 | if( asn1_len + 6 + hashlen != len ) | 
|  | 1190 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1191 |  | 
|  | 1192 | if( ( ret = asn1_get_tag( &p, end, &oid.len, ASN1_OID ) ) != 0 ) | 
|  | 1193 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1194 |  | 
|  | 1195 | oid.p = p; | 
|  | 1196 | p += oid.len; | 
|  | 1197 |  | 
|  | 1198 | if( oid_get_md_alg( &oid, &msg_md_alg ) != 0 ) | 
|  | 1199 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1200 |  | 
|  | 1201 | if( md_alg != msg_md_alg ) | 
|  | 1202 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1203 |  | 
|  | 1204 | /* | 
|  | 1205 | * assume the algorithm parameters must be NULL | 
|  | 1206 | */ | 
|  | 1207 | if( ( ret = asn1_get_tag( &p, end, &asn1_len, ASN1_NULL ) ) != 0 ) | 
|  | 1208 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1209 |  | 
|  | 1210 | if( ( ret = asn1_get_tag( &p, end, &asn1_len, ASN1_OCTET_STRING ) ) != 0 ) | 
|  | 1211 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1212 |  | 
|  | 1213 | if( asn1_len != hashlen ) | 
|  | 1214 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1215 |  | 
|  | 1216 | if( memcmp( p, hash, hashlen ) != 0 ) | 
|  | 1217 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1218 |  | 
|  | 1219 | p += hashlen; | 
|  | 1220 |  | 
|  | 1221 | if( p != end ) | 
|  | 1222 | return( POLARSSL_ERR_RSA_VERIFY_FAILED ); | 
|  | 1223 |  | 
|  | 1224 | return( 0 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1225 | } | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 1226 | #endif /* POLARSSL_PKCS1_V15 */ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1227 |  | 
|  | 1228 | /* | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1229 | * Do an RSA operation and check the message digest | 
|  | 1230 | */ | 
|  | 1231 | int rsa_pkcs1_verify( rsa_context *ctx, | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 1232 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 1233 | void *p_rng, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1234 | int mode, | 
| Paul Bakker | c70b982 | 2013-04-07 22:00:46 +0200 | [diff] [blame] | 1235 | md_type_t md_alg, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1236 | unsigned int hashlen, | 
|  | 1237 | const unsigned char *hash, | 
| Manuel Pégourié-Gonnard | cc0a9d0 | 2013-08-12 11:34:35 +0200 | [diff] [blame] | 1238 | const unsigned char *sig ) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1239 | { | 
|  | 1240 | switch( ctx->padding ) | 
|  | 1241 | { | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 1242 | #if defined(POLARSSL_PKCS1_V15) | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1243 | case RSA_PKCS_V15: | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 1244 | return rsa_rsassa_pkcs1_v15_verify( ctx, f_rng, p_rng, mode, md_alg, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1245 | hashlen, hash, sig ); | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 1246 | #endif | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1247 |  | 
|  | 1248 | #if defined(POLARSSL_PKCS1_V21) | 
|  | 1249 | case RSA_PKCS_V21: | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 1250 | return rsa_rsassa_pss_verify( ctx, f_rng, p_rng, mode, md_alg, | 
| Paul Bakker | b386913 | 2013-02-28 17:21:01 +0100 | [diff] [blame] | 1251 | hashlen, hash, sig ); | 
|  | 1252 | #endif | 
|  | 1253 |  | 
|  | 1254 | default: | 
|  | 1255 | return( POLARSSL_ERR_RSA_INVALID_PADDING ); | 
|  | 1256 | } | 
|  | 1257 | } | 
|  | 1258 |  | 
|  | 1259 | /* | 
| Manuel Pégourié-Gonnard | 3053f5b | 2013-08-14 13:39:57 +0200 | [diff] [blame] | 1260 | * Copy the components of an RSA key | 
|  | 1261 | */ | 
|  | 1262 | int rsa_copy( rsa_context *dst, const rsa_context *src ) | 
|  | 1263 | { | 
|  | 1264 | int ret; | 
|  | 1265 |  | 
|  | 1266 | dst->ver = src->ver; | 
|  | 1267 | dst->len = src->len; | 
|  | 1268 |  | 
|  | 1269 | MPI_CHK( mpi_copy( &dst->N, &src->N ) ); | 
|  | 1270 | MPI_CHK( mpi_copy( &dst->E, &src->E ) ); | 
|  | 1271 |  | 
|  | 1272 | MPI_CHK( mpi_copy( &dst->D, &src->D ) ); | 
|  | 1273 | MPI_CHK( mpi_copy( &dst->P, &src->P ) ); | 
|  | 1274 | MPI_CHK( mpi_copy( &dst->Q, &src->Q ) ); | 
|  | 1275 | MPI_CHK( mpi_copy( &dst->DP, &src->DP ) ); | 
|  | 1276 | MPI_CHK( mpi_copy( &dst->DQ, &src->DQ ) ); | 
|  | 1277 | MPI_CHK( mpi_copy( &dst->QP, &src->QP ) ); | 
|  | 1278 |  | 
|  | 1279 | MPI_CHK( mpi_copy( &dst->RN, &src->RN ) ); | 
|  | 1280 | MPI_CHK( mpi_copy( &dst->RP, &src->RP ) ); | 
|  | 1281 | MPI_CHK( mpi_copy( &dst->RQ, &src->RQ ) ); | 
|  | 1282 |  | 
|  | 1283 | dst->padding = src->padding; | 
|  | 1284 | dst->hash_id = src->padding; | 
|  | 1285 |  | 
|  | 1286 | cleanup: | 
|  | 1287 | if( ret != 0 ) | 
|  | 1288 | rsa_free( dst ); | 
|  | 1289 |  | 
|  | 1290 | return( ret ); | 
|  | 1291 | } | 
|  | 1292 |  | 
|  | 1293 | /* | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1294 | * Free the components of an RSA key | 
|  | 1295 | */ | 
|  | 1296 | void rsa_free( rsa_context *ctx ) | 
|  | 1297 | { | 
| Paul Bakker | 6c591fa | 2011-05-05 11:49:20 +0000 | [diff] [blame] | 1298 | mpi_free( &ctx->RQ ); mpi_free( &ctx->RP ); mpi_free( &ctx->RN ); | 
|  | 1299 | mpi_free( &ctx->QP ); mpi_free( &ctx->DQ ); mpi_free( &ctx->DP ); | 
|  | 1300 | mpi_free( &ctx->Q  ); mpi_free( &ctx->P  ); mpi_free( &ctx->D ); | 
|  | 1301 | mpi_free( &ctx->E  ); mpi_free( &ctx->N  ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1302 | } | 
|  | 1303 |  | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 1304 | #if defined(POLARSSL_SELF_TEST) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1305 |  | 
| Paul Bakker | 40e4694 | 2009-01-03 21:51:57 +0000 | [diff] [blame] | 1306 | #include "polarssl/sha1.h" | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1307 |  | 
|  | 1308 | /* | 
|  | 1309 | * Example RSA-1024 keypair, for test purposes | 
|  | 1310 | */ | 
|  | 1311 | #define KEY_LEN 128 | 
|  | 1312 |  | 
|  | 1313 | #define RSA_N   "9292758453063D803DD603D5E777D788" \ | 
|  | 1314 | "8ED1D5BF35786190FA2F23EBC0848AEA" \ | 
|  | 1315 | "DDA92CA6C3D80B32C4D109BE0F36D6AE" \ | 
|  | 1316 | "7130B9CED7ACDF54CFC7555AC14EEBAB" \ | 
|  | 1317 | "93A89813FBF3C4F8066D2D800F7C38A8" \ | 
|  | 1318 | "1AE31942917403FF4946B0A83D3D3E05" \ | 
|  | 1319 | "EE57C6F5F5606FB5D4BC6CD34EE0801A" \ | 
|  | 1320 | "5E94BB77B07507233A0BC7BAC8F90F79" | 
|  | 1321 |  | 
|  | 1322 | #define RSA_E   "10001" | 
|  | 1323 |  | 
|  | 1324 | #define RSA_D   "24BF6185468786FDD303083D25E64EFC" \ | 
|  | 1325 | "66CA472BC44D253102F8B4A9D3BFA750" \ | 
|  | 1326 | "91386C0077937FE33FA3252D28855837" \ | 
|  | 1327 | "AE1B484A8A9A45F7EE8C0C634F99E8CD" \ | 
|  | 1328 | "DF79C5CE07EE72C7F123142198164234" \ | 
|  | 1329 | "CABB724CF78B8173B9F880FC86322407" \ | 
|  | 1330 | "AF1FEDFDDE2BEB674CA15F3E81A1521E" \ | 
|  | 1331 | "071513A1E85B5DFA031F21ECAE91A34D" | 
|  | 1332 |  | 
|  | 1333 | #define RSA_P   "C36D0EB7FCD285223CFB5AABA5BDA3D8" \ | 
|  | 1334 | "2C01CAD19EA484A87EA4377637E75500" \ | 
|  | 1335 | "FCB2005C5C7DD6EC4AC023CDA285D796" \ | 
|  | 1336 | "C3D9E75E1EFC42488BB4F1D13AC30A57" | 
|  | 1337 |  | 
|  | 1338 | #define RSA_Q   "C000DF51A7C77AE8D7C7370C1FF55B69" \ | 
|  | 1339 | "E211C2B9E5DB1ED0BF61D0D9899620F4" \ | 
|  | 1340 | "910E4168387E3C30AA1E00C339A79508" \ | 
|  | 1341 | "8452DD96A9A5EA5D9DCA68DA636032AF" | 
|  | 1342 |  | 
|  | 1343 | #define RSA_DP  "C1ACF567564274FB07A0BBAD5D26E298" \ | 
|  | 1344 | "3C94D22288ACD763FD8E5600ED4A702D" \ | 
|  | 1345 | "F84198A5F06C2E72236AE490C93F07F8" \ | 
|  | 1346 | "3CC559CD27BC2D1CA488811730BB5725" | 
|  | 1347 |  | 
|  | 1348 | #define RSA_DQ  "4959CBF6F8FEF750AEE6977C155579C7" \ | 
|  | 1349 | "D8AAEA56749EA28623272E4F7D0592AF" \ | 
|  | 1350 | "7C1F1313CAC9471B5C523BFE592F517B" \ | 
|  | 1351 | "407A1BD76C164B93DA2D32A383E58357" | 
|  | 1352 |  | 
|  | 1353 | #define RSA_QP  "9AE7FBC99546432DF71896FC239EADAE" \ | 
|  | 1354 | "F38D18D2B2F0E2DD275AA977E2BF4411" \ | 
|  | 1355 | "F5A3B2A5D33605AEBBCCBA7FEB9F2D2F" \ | 
|  | 1356 | "A74206CEC169D74BF5A8C50D6F48EA08" | 
|  | 1357 |  | 
|  | 1358 | #define PT_LEN  24 | 
|  | 1359 | #define RSA_PT  "\xAA\xBB\xCC\x03\x02\x01\x00\xFF\xFF\xFF\xFF\xFF" \ | 
|  | 1360 | "\x11\x22\x33\x0A\x0B\x0C\xCC\xDD\xDD\xDD\xDD\xDD" | 
|  | 1361 |  | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 1362 | #if defined(POLARSSL_PCKS1_V15) | 
| Paul Bakker | a3d195c | 2011-11-27 21:07:34 +0000 | [diff] [blame] | 1363 | static int myrand( void *rng_state, unsigned char *output, size_t len ) | 
| Paul Bakker | 545570e | 2010-07-18 09:00:25 +0000 | [diff] [blame] | 1364 | { | 
| Paul Bakker | a3d195c | 2011-11-27 21:07:34 +0000 | [diff] [blame] | 1365 | size_t i; | 
|  | 1366 |  | 
| Paul Bakker | 545570e | 2010-07-18 09:00:25 +0000 | [diff] [blame] | 1367 | if( rng_state != NULL ) | 
|  | 1368 | rng_state  = NULL; | 
|  | 1369 |  | 
| Paul Bakker | a3d195c | 2011-11-27 21:07:34 +0000 | [diff] [blame] | 1370 | for( i = 0; i < len; ++i ) | 
|  | 1371 | output[i] = rand(); | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 1372 |  | 
| Paul Bakker | a3d195c | 2011-11-27 21:07:34 +0000 | [diff] [blame] | 1373 | return( 0 ); | 
| Paul Bakker | 545570e | 2010-07-18 09:00:25 +0000 | [diff] [blame] | 1374 | } | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 1375 | #endif | 
| Paul Bakker | 545570e | 2010-07-18 09:00:25 +0000 | [diff] [blame] | 1376 |  | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1377 | /* | 
|  | 1378 | * Checkup routine | 
|  | 1379 | */ | 
|  | 1380 | int rsa_self_test( int verbose ) | 
|  | 1381 | { | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 1382 | #if defined(POLARSSL_PCKS1_V15) | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 1383 | size_t len; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1384 | rsa_context rsa; | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1385 | unsigned char rsa_plaintext[PT_LEN]; | 
|  | 1386 | unsigned char rsa_decrypted[PT_LEN]; | 
|  | 1387 | unsigned char rsa_ciphertext[KEY_LEN]; | 
| Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 1388 | #if defined(POLARSSL_SHA1_C) | 
|  | 1389 | unsigned char sha1sum[20]; | 
|  | 1390 | #endif | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1391 |  | 
| Paul Bakker | 21eb280 | 2010-08-16 11:10:02 +0000 | [diff] [blame] | 1392 | rsa_init( &rsa, RSA_PKCS_V15, 0 ); | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1393 |  | 
|  | 1394 | rsa.len = KEY_LEN; | 
|  | 1395 | mpi_read_string( &rsa.N , 16, RSA_N  ); | 
|  | 1396 | mpi_read_string( &rsa.E , 16, RSA_E  ); | 
|  | 1397 | mpi_read_string( &rsa.D , 16, RSA_D  ); | 
|  | 1398 | mpi_read_string( &rsa.P , 16, RSA_P  ); | 
|  | 1399 | mpi_read_string( &rsa.Q , 16, RSA_Q  ); | 
|  | 1400 | mpi_read_string( &rsa.DP, 16, RSA_DP ); | 
|  | 1401 | mpi_read_string( &rsa.DQ, 16, RSA_DQ ); | 
|  | 1402 | mpi_read_string( &rsa.QP, 16, RSA_QP ); | 
|  | 1403 |  | 
|  | 1404 | if( verbose != 0 ) | 
|  | 1405 | printf( "  RSA key validation: " ); | 
|  | 1406 |  | 
|  | 1407 | if( rsa_check_pubkey(  &rsa ) != 0 || | 
|  | 1408 | rsa_check_privkey( &rsa ) != 0 ) | 
|  | 1409 | { | 
|  | 1410 | if( verbose != 0 ) | 
|  | 1411 | printf( "failed\n" ); | 
|  | 1412 |  | 
|  | 1413 | return( 1 ); | 
|  | 1414 | } | 
|  | 1415 |  | 
|  | 1416 | if( verbose != 0 ) | 
|  | 1417 | printf( "passed\n  PKCS#1 encryption : " ); | 
|  | 1418 |  | 
|  | 1419 | memcpy( rsa_plaintext, RSA_PT, PT_LEN ); | 
|  | 1420 |  | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 1421 | if( rsa_pkcs1_encrypt( &rsa, myrand, NULL, RSA_PUBLIC, PT_LEN, | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1422 | rsa_plaintext, 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  PKCS#1 decryption : " ); | 
|  | 1432 |  | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 1433 | if( rsa_pkcs1_decrypt( &rsa, myrand, NULL, RSA_PRIVATE, &len, | 
| Paul Bakker | 060c568 | 2009-01-12 21:48:39 +0000 | [diff] [blame] | 1434 | rsa_ciphertext, rsa_decrypted, | 
| Paul Bakker | 23986e5 | 2011-04-24 08:57:21 +0000 | [diff] [blame] | 1435 | sizeof(rsa_decrypted) ) != 0 ) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1436 | { | 
|  | 1437 | if( verbose != 0 ) | 
|  | 1438 | printf( "failed\n" ); | 
|  | 1439 |  | 
|  | 1440 | return( 1 ); | 
|  | 1441 | } | 
|  | 1442 |  | 
|  | 1443 | if( memcmp( rsa_decrypted, rsa_plaintext, len ) != 0 ) | 
|  | 1444 | { | 
|  | 1445 | if( verbose != 0 ) | 
|  | 1446 | printf( "failed\n" ); | 
|  | 1447 |  | 
|  | 1448 | return( 1 ); | 
|  | 1449 | } | 
|  | 1450 |  | 
| Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 1451 | #if defined(POLARSSL_SHA1_C) | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1452 | if( verbose != 0 ) | 
|  | 1453 | printf( "passed\n  PKCS#1 data sign  : " ); | 
|  | 1454 |  | 
|  | 1455 | sha1( rsa_plaintext, PT_LEN, sha1sum ); | 
|  | 1456 |  | 
| Paul Bakker | aab30c1 | 2013-08-30 11:00:25 +0200 | [diff] [blame] | 1457 | if( rsa_pkcs1_sign( &rsa, myrand, NULL, RSA_PRIVATE, POLARSSL_MD_SHA1, 0, | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1458 | sha1sum, rsa_ciphertext ) != 0 ) | 
|  | 1459 | { | 
|  | 1460 | if( verbose != 0 ) | 
|  | 1461 | printf( "failed\n" ); | 
|  | 1462 |  | 
|  | 1463 | return( 1 ); | 
|  | 1464 | } | 
|  | 1465 |  | 
|  | 1466 | if( verbose != 0 ) | 
|  | 1467 | printf( "passed\n  PKCS#1 sig. verify: " ); | 
|  | 1468 |  | 
| Paul Bakker | 548957d | 2013-08-30 10:30:02 +0200 | [diff] [blame] | 1469 | if( rsa_pkcs1_verify( &rsa, NULL, NULL, RSA_PUBLIC, POLARSSL_MD_SHA1, 0, | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1470 | sha1sum, rsa_ciphertext ) != 0 ) | 
|  | 1471 | { | 
|  | 1472 | if( verbose != 0 ) | 
|  | 1473 | printf( "failed\n" ); | 
|  | 1474 |  | 
|  | 1475 | return( 1 ); | 
|  | 1476 | } | 
|  | 1477 |  | 
|  | 1478 | if( verbose != 0 ) | 
|  | 1479 | printf( "passed\n\n" ); | 
| Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 1480 | #endif /* POLARSSL_SHA1_C */ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1481 |  | 
|  | 1482 | rsa_free( &rsa ); | 
| Paul Bakker | 48377d9 | 2013-08-30 12:06:24 +0200 | [diff] [blame] | 1483 | #else /* POLARSSL_PKCS1_V15 */ | 
|  | 1484 | if( verbose != 0 ) | 
|  | 1485 | printf( "skipper\n\n" ); | 
|  | 1486 | #endif /* POLARSSL_PKCS1_V15 */ | 
| Paul Bakker | 5121ce5 | 2009-01-03 21:22:43 +0000 | [diff] [blame] | 1487 | return( 0 ); | 
|  | 1488 | } | 
|  | 1489 |  | 
|  | 1490 | #endif | 
|  | 1491 |  | 
|  | 1492 | #endif |