Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 1 | /* BEGIN_HEADER */ |
| 2 | #include "mbedtls/rsa.h" |
| 3 | #include "mbedtls/md.h" |
| 4 | /* END_HEADER */ |
| 5 | |
| 6 | /* BEGIN_DEPENDENCIES |
| 7 | * depends_on:MBEDTLS_PKCS1_V15:MBEDTLS_RSA_C:MBEDTLS_SHA1_C |
| 8 | * END_DEPENDENCIES |
| 9 | */ |
| 10 | |
| 11 | /* BEGIN_CASE */ |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 12 | void pkcs1_rsaes_v15_encrypt( int mod, int radix_N, char * input_N, |
| 13 | int radix_E, char * input_E, int hash, |
| 14 | uint8_t * message_str, uint32_t msg_len, |
| 15 | uint8_t * rnd_buf, uint32_t rnd_buf_len, |
| 16 | uint8_t * result_hex_str, |
| 17 | uint32_t result_hex_str_len, int result ) |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 18 | { |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 19 | unsigned char output[1000]; |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 20 | mbedtls_rsa_context ctx; |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 21 | rnd_buf_info info; |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 22 | mbedtls_mpi N, E; |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 23 | |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 24 | info.buf = rnd_buf; |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 25 | info.length = rnd_buf_len; |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 26 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 27 | mbedtls_mpi_init( &N ); mbedtls_mpi_init( &E ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 28 | mbedtls_rsa_init( &ctx, MBEDTLS_RSA_PKCS_V15, hash ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 29 | memset( output, 0x00, 1000 ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 30 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 31 | TEST_ASSERT( mbedtls_mpi_read_string( &N, radix_N, input_N ) == 0 ); |
| 32 | TEST_ASSERT( mbedtls_mpi_read_string( &E, radix_E, input_E ) == 0 ); |
| 33 | TEST_ASSERT( mbedtls_rsa_import( &ctx, &N, NULL, NULL, NULL, &E ) == 0 ); |
| 34 | TEST_ASSERT( mbedtls_rsa_get_len( &ctx ) == (size_t) ( ( mod + 7 ) / 8 ) ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 35 | TEST_ASSERT( mbedtls_rsa_check_pubkey( &ctx ) == 0 ); |
| 36 | |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 37 | |
| 38 | TEST_ASSERT( mbedtls_rsa_pkcs1_encrypt( &ctx, &rnd_buffer_rand, &info, MBEDTLS_RSA_PUBLIC, msg_len, message_str, output ) == result ); |
| 39 | if( result == 0 ) |
| 40 | { |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 41 | |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 42 | TEST_ASSERT( hexcmp( output, result_hex_str, ctx.len, result_hex_str_len ) == 0 ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 43 | } |
| 44 | |
| 45 | exit: |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 46 | mbedtls_mpi_free( &N ); mbedtls_mpi_free( &E ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 47 | mbedtls_rsa_free( &ctx ); |
| 48 | } |
| 49 | /* END_CASE */ |
| 50 | |
| 51 | /* BEGIN_CASE */ |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 52 | void pkcs1_rsaes_v15_decrypt( int mod, int radix_P, char * input_P, |
| 53 | int radix_Q, char * input_Q, int radix_N, |
| 54 | char * input_N, int radix_E, char * input_E, |
| 55 | int hash, uint8_t * result_hex_str, uint32_t result_hex_str_len, |
| 56 | char * seed, uint8_t * message_str, uint32_t message_str_len, |
| 57 | int result ) |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 58 | { |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 59 | unsigned char output[1000]; |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 60 | mbedtls_rsa_context ctx; |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 61 | size_t output_len; |
| 62 | rnd_pseudo_info rnd_info; |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 63 | mbedtls_mpi N, P, Q, E; |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 64 | ((void) seed); |
| 65 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 66 | mbedtls_mpi_init( &N ); mbedtls_mpi_init( &P ); |
| 67 | mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &E ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 68 | mbedtls_rsa_init( &ctx, MBEDTLS_RSA_PKCS_V15, hash ); |
| 69 | |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 70 | memset( output, 0x00, 1000 ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 71 | memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) ); |
| 72 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 73 | TEST_ASSERT( mbedtls_mpi_read_string( &P, radix_P, input_P ) == 0 ); |
| 74 | TEST_ASSERT( mbedtls_mpi_read_string( &Q, radix_Q, input_Q ) == 0 ); |
| 75 | TEST_ASSERT( mbedtls_mpi_read_string( &N, radix_N, input_N ) == 0 ); |
| 76 | TEST_ASSERT( mbedtls_mpi_read_string( &E, radix_E, input_E ) == 0 ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 77 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 78 | TEST_ASSERT( mbedtls_rsa_import( &ctx, &N, &P, &Q, NULL, &E ) == 0 ); |
| 79 | TEST_ASSERT( mbedtls_rsa_get_len( &ctx ) == (size_t) ( ( mod + 7 ) / 8 ) ); |
Hanno Becker | 7f25f85 | 2017-10-10 16:56:22 +0100 | [diff] [blame] | 80 | TEST_ASSERT( mbedtls_rsa_complete( &ctx ) == 0 ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 81 | TEST_ASSERT( mbedtls_rsa_check_privkey( &ctx ) == 0 ); |
| 82 | |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 83 | |
| 84 | TEST_ASSERT( mbedtls_rsa_pkcs1_decrypt( &ctx, &rnd_pseudo_rand, &rnd_info, MBEDTLS_RSA_PRIVATE, &output_len, message_str, output, 1000 ) == result ); |
| 85 | if( result == 0 ) |
| 86 | { |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 87 | |
Azim Khan | 46c9b1f | 2017-05-31 20:46:35 +0100 | [diff] [blame] | 88 | TEST_ASSERT( hexcmp( output, result_hex_str, output_len, result_hex_str_len) == 0 ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 89 | } |
| 90 | |
| 91 | exit: |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 92 | mbedtls_mpi_free( &N ); mbedtls_mpi_free( &P ); |
| 93 | mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &E ); |
Janos Follath | 8a49a01 | 2016-02-12 13:18:20 +0000 | [diff] [blame] | 94 | mbedtls_rsa_free( &ctx ); |
| 95 | } |
| 96 | /* END_CASE */ |
| 97 | |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 98 | /* BEGIN_CASE */ |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 99 | void pkcs1_rsassa_v15_sign( int mod, int radix_P, char * input_P, int radix_Q, |
| 100 | char * input_Q, int radix_N, char * input_N, |
| 101 | int radix_E, char * input_E, int digest, int hash, |
| 102 | uint8_t * message_str, uint32_t msg_len, |
| 103 | uint8_t * rnd_buf, uint32_t rnd_buf_len, |
| 104 | uint8_t * result_hex_str, |
| 105 | uint32_t result_hex_str_len, int result ) |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 106 | { |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 107 | unsigned char hash_result[1000]; |
| 108 | unsigned char output[1000]; |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 109 | mbedtls_rsa_context ctx; |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 110 | mbedtls_mpi N, P, Q, E; |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 111 | rnd_buf_info info; |
| 112 | |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 113 | info.buf = rnd_buf; |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 114 | info.length = rnd_buf_len; |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 115 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 116 | mbedtls_mpi_init( &N ); mbedtls_mpi_init( &P ); |
| 117 | mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &E ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 118 | mbedtls_rsa_init( &ctx, MBEDTLS_RSA_PKCS_V15, hash ); |
| 119 | |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 120 | memset( hash_result, 0x00, 1000 ); |
| 121 | memset( output, 0x00, 1000 ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 122 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 123 | TEST_ASSERT( mbedtls_mpi_read_string( &P, radix_P, input_P ) == 0 ); |
| 124 | TEST_ASSERT( mbedtls_mpi_read_string( &Q, radix_Q, input_Q ) == 0 ); |
| 125 | TEST_ASSERT( mbedtls_mpi_read_string( &N, radix_N, input_N ) == 0 ); |
| 126 | TEST_ASSERT( mbedtls_mpi_read_string( &E, radix_E, input_E ) == 0 ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 127 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 128 | TEST_ASSERT( mbedtls_rsa_import( &ctx, &N, &P, &Q, NULL, &E ) == 0 ); |
| 129 | TEST_ASSERT( mbedtls_rsa_get_len( &ctx ) == (size_t) ( ( mod + 7 ) / 8 ) ); |
Hanno Becker | 7f25f85 | 2017-10-10 16:56:22 +0100 | [diff] [blame] | 130 | TEST_ASSERT( mbedtls_rsa_complete( &ctx ) == 0 ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 131 | TEST_ASSERT( mbedtls_rsa_check_privkey( &ctx ) == 0 ); |
| 132 | |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 133 | |
| 134 | if( mbedtls_md_info_from_type( digest ) != NULL ) |
| 135 | TEST_ASSERT( mbedtls_md( mbedtls_md_info_from_type( digest ), message_str, msg_len, hash_result ) == 0 ); |
| 136 | |
| 137 | TEST_ASSERT( mbedtls_rsa_pkcs1_sign( &ctx, &rnd_buffer_rand, &info, MBEDTLS_RSA_PRIVATE, digest, 0, hash_result, output ) == result ); |
| 138 | if( result == 0 ) |
| 139 | { |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 140 | |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 141 | TEST_ASSERT( hexcmp( output, result_hex_str, ctx.len, result_hex_str_len ) == 0 ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 142 | } |
| 143 | |
| 144 | exit: |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 145 | mbedtls_mpi_free( &N ); mbedtls_mpi_free( &P ); |
| 146 | mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &E ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 147 | mbedtls_rsa_free( &ctx ); |
| 148 | } |
| 149 | /* END_CASE */ |
| 150 | |
| 151 | /* BEGIN_CASE */ |
Azim Khan | f1aaec9 | 2017-05-30 14:23:15 +0100 | [diff] [blame] | 152 | void pkcs1_rsassa_v15_verify( int mod, int radix_N, char * input_N, |
| 153 | int radix_E, char * input_E, int digest, |
| 154 | int hash, uint8_t * message_str, |
| 155 | uint32_t msg_len, char * salt, |
| 156 | uint8_t * result_str, uint32_t result_str_len, |
| 157 | int result ) |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 158 | { |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 159 | unsigned char hash_result[1000]; |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 160 | mbedtls_rsa_context ctx; |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 161 | mbedtls_mpi N, E; |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 162 | ((void) salt); |
| 163 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 164 | mbedtls_mpi_init( &N ); mbedtls_mpi_init( &E ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 165 | mbedtls_rsa_init( &ctx, MBEDTLS_RSA_PKCS_V15, hash ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 166 | memset( hash_result, 0x00, 1000 ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 167 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 168 | TEST_ASSERT( mbedtls_mpi_read_string( &N, radix_N, input_N ) == 0 ); |
| 169 | TEST_ASSERT( mbedtls_mpi_read_string( &E, radix_E, input_E ) == 0 ); |
| 170 | TEST_ASSERT( mbedtls_rsa_import( &ctx, &N, NULL, NULL, NULL, &E ) == 0 ); |
| 171 | TEST_ASSERT( mbedtls_rsa_get_len( &ctx ) == (size_t) ( ( mod + 7 ) / 8 ) ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 172 | TEST_ASSERT( mbedtls_rsa_check_pubkey( &ctx ) == 0 ); |
| 173 | |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 174 | |
| 175 | if( mbedtls_md_info_from_type( digest ) != NULL ) |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 176 | TEST_ASSERT( mbedtls_md( mbedtls_md_info_from_type( digest ), |
| 177 | message_str, msg_len, hash_result ) == 0 ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 178 | |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 179 | TEST_ASSERT( mbedtls_rsa_pkcs1_verify( &ctx, NULL, NULL, MBEDTLS_RSA_PUBLIC, |
| 180 | digest, 0, hash_result, |
| 181 | result_str ) == result ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 182 | |
| 183 | exit: |
Hanno Becker | 6d43f9e | 2017-08-23 06:35:17 +0100 | [diff] [blame] | 184 | mbedtls_mpi_free( &N ); mbedtls_mpi_free( &E ); |
Janos Follath | e6aef9f | 2016-03-16 16:39:41 +0000 | [diff] [blame] | 185 | mbedtls_rsa_free( &ctx ); |
| 186 | } |
| 187 | /* END_CASE */ |