blob: 21ef421be81a81c5da1a67acc7f3b2ba3447f30f [file] [log] [blame]
Paul Bakker33b43f12013-08-20 11:48:36 +02001/* BEGIN_HEADER */
Paul Bakker9dcc3222011-03-08 14:16:06 +00002#include <polarssl/rsa.h>
3#include <polarssl/md.h>
4#include <polarssl/md2.h>
5#include <polarssl/md4.h>
6#include <polarssl/md5.h>
7#include <polarssl/sha1.h>
Paul Bakkerd2681d82013-06-30 14:49:12 +02008#include <polarssl/sha256.h>
9#include <polarssl/sha512.h>
Paul Bakker33b43f12013-08-20 11:48:36 +020010/* END_HEADER */
Paul Bakker9dcc3222011-03-08 14:16:06 +000011
Paul Bakker33b43f12013-08-20 11:48:36 +020012/* BEGIN_DEPENDENCIES
13 * depends_on:POLARSSL_PKCS1_V21:POLARSSL_RSA_C:POLARSSL_BIGNUM_C:POLARSSL_SHA1_C:POLARSSL_GENPRIME
14 * END_DEPENDENCIES
15 */
Paul Bakker5690efc2011-05-26 13:16:06 +000016
Paul Bakker33b43f12013-08-20 11:48:36 +020017/* BEGIN_CASE */
18void pkcs1_rsaes_oaep_encrypt( int mod, int radix_N, char *input_N, int radix_E,
19 char *input_E, int hash,
20 char *message_hex_string, char *seed,
21 char *result_hex_str, int result )
Paul Bakker9dcc3222011-03-08 14:16:06 +000022{
23 unsigned char message_str[1000];
24 unsigned char output[1000];
25 unsigned char output_str[1000];
26 unsigned char rnd_buf[1000];
27 rsa_context ctx;
Paul Bakkerf4a3f302011-04-24 15:53:29 +000028 size_t msg_len;
Paul Bakker4cce2bb2011-03-13 16:56:35 +000029 rnd_buf_info info;
Paul Bakker9dcc3222011-03-08 14:16:06 +000030
Paul Bakker33b43f12013-08-20 11:48:36 +020031 info.length = unhexify( rnd_buf, seed );
Paul Bakker9dcc3222011-03-08 14:16:06 +000032 info.buf = rnd_buf;
Paul Bakker9dcc3222011-03-08 14:16:06 +000033
Paul Bakker33b43f12013-08-20 11:48:36 +020034 rsa_init( &ctx, RSA_PKCS_V21, hash );
Paul Bakker9dcc3222011-03-08 14:16:06 +000035 memset( message_str, 0x00, 1000 );
36 memset( output, 0x00, 1000 );
37 memset( output_str, 0x00, 1000 );
38
Paul Bakker33b43f12013-08-20 11:48:36 +020039 ctx.len = mod / 8 + ( ( mod % 8 ) ? 1 : 0 );
40 TEST_ASSERT( mpi_read_string( &ctx.N, radix_N, input_N ) == 0 );
41 TEST_ASSERT( mpi_read_string( &ctx.E, radix_E, input_E ) == 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +000042
43 TEST_ASSERT( rsa_check_pubkey( &ctx ) == 0 );
44
Paul Bakker33b43f12013-08-20 11:48:36 +020045 msg_len = unhexify( message_str, message_hex_string );
Paul Bakker9dcc3222011-03-08 14:16:06 +000046
Paul Bakker33b43f12013-08-20 11:48:36 +020047 TEST_ASSERT( rsa_pkcs1_encrypt( &ctx, &rnd_buffer_rand, &info, RSA_PUBLIC, msg_len, message_str, output ) == result );
48 if( result == 0 )
Paul Bakker9dcc3222011-03-08 14:16:06 +000049 {
50 hexify( output_str, output, ctx.len );
51
Paul Bakker33b43f12013-08-20 11:48:36 +020052 TEST_ASSERT( strcasecmp( (char *) output_str, result_hex_str ) == 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +000053 }
Paul Bakker58ef6ec2013-01-03 11:33:48 +010054
55 rsa_free( &ctx );
Paul Bakker9dcc3222011-03-08 14:16:06 +000056}
Paul Bakker33b43f12013-08-20 11:48:36 +020057/* END_CASE */
Paul Bakker9dcc3222011-03-08 14:16:06 +000058
Paul Bakker33b43f12013-08-20 11:48:36 +020059/* BEGIN_CASE */
60void pkcs1_rsaes_oaep_decrypt( int mod, int radix_P, char *input_P,
61 int radix_Q, char *input_Q, int radix_N,
62 char *input_N, int radix_E, char *input_E,
63 int hash, char *result_hex_str, char *seed,
64 char *message_hex_string, int result )
Paul Bakker9dcc3222011-03-08 14:16:06 +000065{
66 unsigned char message_str[1000];
67 unsigned char output[1000];
68 unsigned char output_str[1000];
69 rsa_context ctx;
70 mpi P1, Q1, H, G;
Paul Bakkerf4a3f302011-04-24 15:53:29 +000071 size_t output_len;
Paul Bakkerdbd443d2013-08-16 13:38:47 +020072 ((void) seed);
Paul Bakker9dcc3222011-03-08 14:16:06 +000073
Paul Bakker6c591fa2011-05-05 11:49:20 +000074 mpi_init( &P1 ); mpi_init( &Q1 ); mpi_init( &H ); mpi_init( &G );
Paul Bakker33b43f12013-08-20 11:48:36 +020075 rsa_init( &ctx, RSA_PKCS_V21, hash );
Paul Bakker9dcc3222011-03-08 14:16:06 +000076
77 memset( message_str, 0x00, 1000 );
78 memset( output, 0x00, 1000 );
79 memset( output_str, 0x00, 1000 );
80
Paul Bakker33b43f12013-08-20 11:48:36 +020081 ctx.len = mod / 8 + ( ( mod % 8 ) ? 1 : 0 );
82 TEST_ASSERT( mpi_read_string( &ctx.P, radix_P, input_P ) == 0 );
83 TEST_ASSERT( mpi_read_string( &ctx.Q, radix_Q, input_Q ) == 0 );
84 TEST_ASSERT( mpi_read_string( &ctx.N, radix_N, input_N ) == 0 );
85 TEST_ASSERT( mpi_read_string( &ctx.E, radix_E, input_E ) == 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +000086
87 TEST_ASSERT( mpi_sub_int( &P1, &ctx.P, 1 ) == 0 );
88 TEST_ASSERT( mpi_sub_int( &Q1, &ctx.Q, 1 ) == 0 );
89 TEST_ASSERT( mpi_mul_mpi( &H, &P1, &Q1 ) == 0 );
90 TEST_ASSERT( mpi_gcd( &G, &ctx.E, &H ) == 0 );
91 TEST_ASSERT( mpi_inv_mod( &ctx.D , &ctx.E, &H ) == 0 );
92 TEST_ASSERT( mpi_mod_mpi( &ctx.DP, &ctx.D, &P1 ) == 0 );
93 TEST_ASSERT( mpi_mod_mpi( &ctx.DQ, &ctx.D, &Q1 ) == 0 );
94 TEST_ASSERT( mpi_inv_mod( &ctx.QP, &ctx.Q, &ctx.P ) == 0 );
95
96 TEST_ASSERT( rsa_check_privkey( &ctx ) == 0 );
97
Paul Bakker33b43f12013-08-20 11:48:36 +020098 unhexify( message_str, message_hex_string );
Paul Bakker9dcc3222011-03-08 14:16:06 +000099
Paul Bakker33b43f12013-08-20 11:48:36 +0200100 TEST_ASSERT( rsa_pkcs1_decrypt( &ctx, RSA_PRIVATE, &output_len, message_str, output, 1000 ) == result );
101 if( result == 0 )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000102 {
103 hexify( output_str, output, ctx.len );
104
Paul Bakker33b43f12013-08-20 11:48:36 +0200105 TEST_ASSERT( strncasecmp( (char *) output_str, result_hex_str, strlen( result_hex_str ) ) == 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000106 }
Paul Bakker6c591fa2011-05-05 11:49:20 +0000107
108 mpi_free( &P1 ); mpi_free( &Q1 ); mpi_free( &H ); mpi_free( &G );
Paul Bakker58ef6ec2013-01-03 11:33:48 +0100109 rsa_free( &ctx );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000110}
Paul Bakker33b43f12013-08-20 11:48:36 +0200111/* END_CASE */
Paul Bakker9dcc3222011-03-08 14:16:06 +0000112
Paul Bakker33b43f12013-08-20 11:48:36 +0200113/* BEGIN_CASE */
114void pkcs1_rsassa_pss_sign( int mod, int radix_P, char *input_P, int radix_Q,
115 char *input_Q, int radix_N, char *input_N,
116 int radix_E, char *input_E, int digest, int hash,
117 char *message_hex_string, char *salt,
118 char *result_hex_str, int result )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000119{
120 unsigned char message_str[1000];
121 unsigned char hash_result[1000];
122 unsigned char output[1000];
123 unsigned char output_str[1000];
124 unsigned char rnd_buf[1000];
125 rsa_context ctx;
126 mpi P1, Q1, H, G;
Paul Bakkerf4a3f302011-04-24 15:53:29 +0000127 size_t msg_len;
Paul Bakker4cce2bb2011-03-13 16:56:35 +0000128 rnd_buf_info info;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000129
Paul Bakker33b43f12013-08-20 11:48:36 +0200130 info.length = unhexify( rnd_buf, salt );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000131 info.buf = rnd_buf;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000132
Paul Bakker6c591fa2011-05-05 11:49:20 +0000133 mpi_init( &P1 ); mpi_init( &Q1 ); mpi_init( &H ); mpi_init( &G );
Paul Bakker33b43f12013-08-20 11:48:36 +0200134 rsa_init( &ctx, RSA_PKCS_V21, hash );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000135
136 memset( message_str, 0x00, 1000 );
137 memset( hash_result, 0x00, 1000 );
138 memset( output, 0x00, 1000 );
139 memset( output_str, 0x00, 1000 );
140
Paul Bakker33b43f12013-08-20 11:48:36 +0200141 ctx.len = mod / 8 + ( ( mod % 8 ) ? 1 : 0 );
142 TEST_ASSERT( mpi_read_string( &ctx.P, radix_P, input_P ) == 0 );
143 TEST_ASSERT( mpi_read_string( &ctx.Q, radix_Q, input_Q ) == 0 );
144 TEST_ASSERT( mpi_read_string( &ctx.N, radix_N, input_N ) == 0 );
145 TEST_ASSERT( mpi_read_string( &ctx.E, radix_E, input_E ) == 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000146
147 TEST_ASSERT( mpi_sub_int( &P1, &ctx.P, 1 ) == 0 );
148 TEST_ASSERT( mpi_sub_int( &Q1, &ctx.Q, 1 ) == 0 );
149 TEST_ASSERT( mpi_mul_mpi( &H, &P1, &Q1 ) == 0 );
150 TEST_ASSERT( mpi_gcd( &G, &ctx.E, &H ) == 0 );
151 TEST_ASSERT( mpi_inv_mod( &ctx.D , &ctx.E, &H ) == 0 );
152 TEST_ASSERT( mpi_mod_mpi( &ctx.DP, &ctx.D, &P1 ) == 0 );
153 TEST_ASSERT( mpi_mod_mpi( &ctx.DQ, &ctx.D, &Q1 ) == 0 );
154 TEST_ASSERT( mpi_inv_mod( &ctx.QP, &ctx.Q, &ctx.P ) == 0 );
155
156 TEST_ASSERT( rsa_check_privkey( &ctx ) == 0 );
157
Paul Bakker33b43f12013-08-20 11:48:36 +0200158 msg_len = unhexify( message_str, message_hex_string );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000159
Paul Bakker33b43f12013-08-20 11:48:36 +0200160 if( md_info_from_type( digest ) != NULL )
161 TEST_ASSERT( md( md_info_from_type( digest ), message_str, msg_len, hash_result ) == 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000162
Paul Bakker33b43f12013-08-20 11:48:36 +0200163 TEST_ASSERT( rsa_pkcs1_sign( &ctx, &rnd_buffer_rand, &info, RSA_PRIVATE, digest, 0, hash_result, output ) == result );
164 if( result == 0 )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000165 {
166 hexify( output_str, output, ctx.len);
167
Paul Bakker33b43f12013-08-20 11:48:36 +0200168 TEST_ASSERT( strcasecmp( (char *) output_str, result_hex_str ) == 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000169 }
Paul Bakker6c591fa2011-05-05 11:49:20 +0000170
171 mpi_free( &P1 ); mpi_free( &Q1 ); mpi_free( &H ); mpi_free( &G );
Paul Bakker58ef6ec2013-01-03 11:33:48 +0100172 rsa_free( &ctx );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000173}
Paul Bakker33b43f12013-08-20 11:48:36 +0200174/* END_CASE */
Paul Bakker9dcc3222011-03-08 14:16:06 +0000175
Paul Bakker33b43f12013-08-20 11:48:36 +0200176/* BEGIN_CASE */
177void pkcs1_rsassa_pss_verify( int mod, int radix_N, char *input_N, int radix_E,
178 char *input_E, int digest, int hash,
179 char *message_hex_string, char *salt,
180 char *result_hex_str, int result )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000181{
182 unsigned char message_str[1000];
183 unsigned char hash_result[1000];
184 unsigned char result_str[1000];
185 rsa_context ctx;
Paul Bakkerf4a3f302011-04-24 15:53:29 +0000186 size_t msg_len;
Paul Bakkerdbd443d2013-08-16 13:38:47 +0200187 ((void) salt);
Paul Bakker9dcc3222011-03-08 14:16:06 +0000188
Paul Bakker33b43f12013-08-20 11:48:36 +0200189 rsa_init( &ctx, RSA_PKCS_V21, hash );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000190 memset( message_str, 0x00, 1000 );
191 memset( hash_result, 0x00, 1000 );
192 memset( result_str, 0x00, 1000 );
193
Paul Bakker33b43f12013-08-20 11:48:36 +0200194 ctx.len = mod / 8 + ( ( mod % 8 ) ? 1 : 0 );
195 TEST_ASSERT( mpi_read_string( &ctx.N, radix_N, input_N ) == 0 );
196 TEST_ASSERT( mpi_read_string( &ctx.E, radix_E, input_E ) == 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000197
198 TEST_ASSERT( rsa_check_pubkey( &ctx ) == 0 );
199
Paul Bakker33b43f12013-08-20 11:48:36 +0200200 msg_len = unhexify( message_str, message_hex_string );
201 unhexify( result_str, result_hex_str );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000202
Paul Bakker33b43f12013-08-20 11:48:36 +0200203 if( md_info_from_type( digest ) != NULL )
204 TEST_ASSERT( md( md_info_from_type( digest ), message_str, msg_len, hash_result ) == 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000205
Paul Bakker33b43f12013-08-20 11:48:36 +0200206 TEST_ASSERT( rsa_pkcs1_verify( &ctx, RSA_PUBLIC, digest, 0, hash_result, result_str ) == result );
Paul Bakker58ef6ec2013-01-03 11:33:48 +0100207
208 rsa_free( &ctx );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000209}
Paul Bakker33b43f12013-08-20 11:48:36 +0200210/* END_CASE */