blob: 120c1716b7f4d2f2387ade2ad97c820ceb64648b [file] [log] [blame]
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +02001/* BEGIN_HEADER */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00002#include "mbedtls/pk.h"
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +02003
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +01004/* For error codes */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00005#include "mbedtls/ecp.h"
6#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +01007
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +01008#include <limits.h>
Andres Amaya Garcia6ff067d2017-06-09 14:26:59 +01009#include <stdint.h>
Andres AG5c79d252017-02-15 10:52:32 +000010
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020011static int rnd_std_rand( void *rng_state, unsigned char *output, size_t len );
12
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020013#define RSA_KEY_SIZE 512
14#define RSA_KEY_LEN 64
15
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020016static int pk_genkey( mbedtls_pk_context *pk )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020017{
Paul Bakkera5320902013-12-19 17:29:52 +010018 ((void) pk);
19
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020020#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_GENPRIME)
21 if( mbedtls_pk_get_type( pk ) == MBEDTLS_PK_RSA )
22 return mbedtls_rsa_gen_key( mbedtls_pk_rsa( *pk ), rnd_std_rand, NULL, RSA_KEY_SIZE, 3 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020023#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020024#if defined(MBEDTLS_ECP_C)
25 if( mbedtls_pk_get_type( pk ) == MBEDTLS_PK_ECKEY ||
26 mbedtls_pk_get_type( pk ) == MBEDTLS_PK_ECKEY_DH ||
27 mbedtls_pk_get_type( pk ) == MBEDTLS_PK_ECDSA )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020028 {
29 int ret;
Manuel Pégourié-Gonnarde3a062b2015-05-11 18:46:47 +020030 if( ( ret = mbedtls_ecp_group_load( &mbedtls_pk_ec( *pk )->grp,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020031 MBEDTLS_ECP_DP_SECP192R1 ) ) != 0 )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020032 return( ret );
33
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020034 return mbedtls_ecp_gen_keypair( &mbedtls_pk_ec( *pk )->grp, &mbedtls_pk_ec( *pk )->d,
35 &mbedtls_pk_ec( *pk )->Q, rnd_std_rand, NULL );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020036 }
37#endif
38 return( -1 );
39}
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020040
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020041#if defined(MBEDTLS_RSA_C)
42int mbedtls_rsa_decrypt_func( void *ctx, int mode, size_t *olen,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020043 const unsigned char *input, unsigned char *output,
44 size_t output_max_len )
45{
Hanno Becker6ac972d2017-09-07 10:57:48 +010046 return( mbedtls_rsa_pkcs1_decrypt( (mbedtls_rsa_context *) ctx,
47 rnd_std_rand, NULL, mode, olen,
48 input, output, output_max_len ) );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020049}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020050int mbedtls_rsa_sign_func( void *ctx,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020051 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020052 int mode, mbedtls_md_type_t md_alg, unsigned int hashlen,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020053 const unsigned char *hash, unsigned char *sig )
54{
Hanno Beckera5400682017-05-03 16:43:15 +010055 ((void) f_rng);
56 ((void) p_rng);
57 return( mbedtls_rsa_pkcs1_sign( (mbedtls_rsa_context *) ctx, rnd_std_rand, NULL, mode,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020058 md_alg, hashlen, hash, sig ) );
59}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020060size_t mbedtls_rsa_key_len_func( void *ctx )
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020061{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062 return( ((const mbedtls_rsa_context *) ctx)->len );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020063}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020064#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010065
66#if defined(MBEDTLS_USE_PSA_CRYPTO)
67
68#include "mbedtls/psa_util.h"
69
70#define PK_PSA_INVALID_SLOT 0 /* guaranteed invalid */
71
72/*
73 * Generate a key in a free key slot and return this key slot,
74 * or PK_PSA_INVALID_SLOT if no slot was available.
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010075 * The key uses NIST P-256 and is usable for signing with SHA-256.
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010076 */
Andrzej Kurek2349c4d2019-01-08 09:36:01 -050077psa_key_handle_t pk_psa_genkey( void )
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010078{
Andrzej Kurek2349c4d2019-01-08 09:36:01 -050079 psa_key_handle_t key;
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010080
81 const int curve = PSA_ECC_CURVE_SECP256R1;
82 const psa_key_type_t type = PSA_KEY_TYPE_ECC_KEYPAIR(curve);
83 const size_t bits = 256;
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010084 psa_key_policy_t policy;
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010085
Andrzej Kurek2349c4d2019-01-08 09:36:01 -050086 /* Allocate a key slot */
Hanno Becker353295a2019-01-25 14:25:00 +000087 if( PSA_SUCCESS != psa_allocate_key( &key ) )
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010088 return( PK_PSA_INVALID_SLOT );
89
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010090 /* set up policy on key slot */
Hanno Becker8d865df2019-01-25 14:25:16 +000091 policy = psa_key_policy_init();
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010092 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_SIGN,
93 PSA_ALG_ECDSA(PSA_ALG_SHA_256) );
94 if( PSA_SUCCESS != psa_set_key_policy( key, &policy ) )
95 return( PK_PSA_INVALID_SLOT );
96
97 /* generate key */
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010098 if( PSA_SUCCESS != psa_generate_key( key, type, bits, NULL, 0 ) )
99 return( PK_PSA_INVALID_SLOT );
100
101 return( key );
102}
103#endif /* MBEDTLS_USE_PSA_CRYPTO */
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200104/* END_HEADER */
105
106/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200107 * depends_on:MBEDTLS_PK_C
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200108 * END_DEPENDENCIES
109 */
110
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100111/* BEGIN_CASE depends_on:MBEDTLS_USE_PSA_CRYPTO:MBEDTLS_ECDSA_C:MBEDTLS_ECP_DP_SECP256R1_ENABLED */
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100112void pk_psa_utils( )
113{
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100114 mbedtls_pk_context pk, pk2;
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500115 psa_key_handle_t key;
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100116
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100117 const char * const name = "Opaque";
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100118 const size_t bitlen = 256; /* harcoded in genkey() */
119
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100120 mbedtls_md_type_t md_alg = MBEDTLS_MD_NONE;
121 unsigned char b1[1], b2[1];
122 size_t len;
123 mbedtls_pk_debug_item dbg;
124
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100125 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100126 mbedtls_pk_init( &pk2 );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100127
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100128 TEST_ASSERT( mbedtls_pk_setup_opaque( &pk, 0 ) ==
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100129 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
130
131 mbedtls_pk_free( &pk );
132 mbedtls_pk_init( &pk );
133
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100134 key = pk_psa_genkey();
135 TEST_ASSERT( key != 0 );
136
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100137 TEST_ASSERT( mbedtls_pk_setup_opaque( &pk, key ) == 0 );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100138
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100139 TEST_ASSERT( mbedtls_pk_get_type( &pk ) == MBEDTLS_PK_OPAQUE );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100140 TEST_ASSERT( strcmp( mbedtls_pk_get_name( &pk), name ) == 0 );
141
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100142 TEST_ASSERT( mbedtls_pk_get_bitlen( &pk ) == bitlen );
143 TEST_ASSERT( mbedtls_pk_get_len( &pk ) == bitlen / 8 );
144
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100145 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_ECKEY ) == 1 );
146 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_ECDSA ) == 1 );
147 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_RSA ) == 0 );
148
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100149 /* unsupported operations: verify, decrypt, encrypt */
150 TEST_ASSERT( mbedtls_pk_verify( &pk, md_alg,
151 b1, sizeof( b1), b2, sizeof( b2 ) )
152 == MBEDTLS_ERR_PK_TYPE_MISMATCH );
153 TEST_ASSERT( mbedtls_pk_decrypt( &pk, b1, sizeof( b1 ),
154 b2, &len, sizeof( b2 ),
155 NULL, NULL )
156 == MBEDTLS_ERR_PK_TYPE_MISMATCH );
157 TEST_ASSERT( mbedtls_pk_encrypt( &pk, b1, sizeof( b1 ),
158 b2, &len, sizeof( b2 ),
159 NULL, NULL )
160 == MBEDTLS_ERR_PK_TYPE_MISMATCH );
161
162 /* unsupported functions: check_pair, debug */
163 TEST_ASSERT( mbedtls_pk_setup( &pk2,
164 mbedtls_pk_info_from_type( MBEDTLS_PK_ECKEY ) ) == 0 );
165 TEST_ASSERT( mbedtls_pk_check_pair( &pk, &pk2 )
166 == MBEDTLS_ERR_PK_TYPE_MISMATCH );
167 TEST_ASSERT( mbedtls_pk_debug( &pk, &dbg )
168 == MBEDTLS_ERR_PK_TYPE_MISMATCH );
169
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100170 /* test that freeing the context does not destroy the key */
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100171 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard23a1ccd2018-11-22 12:21:20 +0100172 TEST_ASSERT( PSA_SUCCESS == psa_get_key_information( key, NULL, NULL ) );
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100173 TEST_ASSERT( PSA_SUCCESS == psa_destroy_key( key ) );
174
175exit:
176 mbedtls_pk_free( &pk ); /* redundant except upon error */
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100177 mbedtls_pk_free( &pk2 );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100178}
179/* END_CASE */
180
181
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200182/* BEGIN_CASE */
Azim Khanf1aaec92017-05-30 14:23:15 +0100183void pk_utils( int type, int size, int len, char * name )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200184{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200185 mbedtls_pk_context pk;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200186
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200187 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200188
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200189 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200190 TEST_ASSERT( pk_genkey( &pk ) == 0 );
191
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200192 TEST_ASSERT( (int) mbedtls_pk_get_type( &pk ) == type );
193 TEST_ASSERT( mbedtls_pk_can_do( &pk, type ) );
Manuel Pégourié-Gonnard097c7bb2015-06-18 16:43:38 +0200194 TEST_ASSERT( mbedtls_pk_get_bitlen( &pk ) == (unsigned) size );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200195 TEST_ASSERT( mbedtls_pk_get_len( &pk ) == (unsigned) len );
196 TEST_ASSERT( strcmp( mbedtls_pk_get_name( &pk), name ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200197
Paul Bakkerbd51b262014-07-10 15:26:12 +0200198exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200199 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200200}
201/* END_CASE */
202
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200203/* BEGIN_CASE depends_on:MBEDTLS_PK_PARSE_C:MBEDTLS_FS_IO */
Azim Khanf1aaec92017-05-30 14:23:15 +0100204void mbedtls_pk_check_pair( char * pub_file, char * prv_file, int ret )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100205{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200206 mbedtls_pk_context pub, prv, alt;
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100207
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200208 mbedtls_pk_init( &pub );
209 mbedtls_pk_init( &prv );
210 mbedtls_pk_init( &alt );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100211
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200212 TEST_ASSERT( mbedtls_pk_parse_public_keyfile( &pub, pub_file ) == 0 );
213 TEST_ASSERT( mbedtls_pk_parse_keyfile( &prv, prv_file, NULL ) == 0 );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100214
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200215 TEST_ASSERT( mbedtls_pk_check_pair( &pub, &prv ) == ret );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100216
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200217#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
218 if( mbedtls_pk_get_type( &prv ) == MBEDTLS_PK_RSA )
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100219 {
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200220 TEST_ASSERT( mbedtls_pk_setup_rsa_alt( &alt, mbedtls_pk_rsa( prv ),
Hanno Becker6ac972d2017-09-07 10:57:48 +0100221 mbedtls_rsa_decrypt_func, mbedtls_rsa_sign_func,
222 mbedtls_rsa_key_len_func ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200223 TEST_ASSERT( mbedtls_pk_check_pair( &pub, &alt ) == ret );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100224 }
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +0100225#endif
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100226
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200227 mbedtls_pk_free( &pub );
228 mbedtls_pk_free( &prv );
229 mbedtls_pk_free( &alt );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100230}
231/* END_CASE */
232
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200233/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100234void pk_rsa_verify_test_vec( data_t * message_str, int digest, int mod,
Azim Khand30ca132017-06-09 04:32:58 +0100235 int radix_N, char * input_N, int radix_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100236 char * input_E, data_t * result_str,
Azim Khanf1aaec92017-05-30 14:23:15 +0100237 int result )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200238{
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200239 unsigned char hash_result[1000];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200240 mbedtls_rsa_context *rsa;
241 mbedtls_pk_context pk;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200242 mbedtls_pk_restart_ctx *rs_ctx = NULL;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200243#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200244 mbedtls_pk_restart_ctx ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200245
246 rs_ctx = &ctx;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200247 mbedtls_pk_restart_init( rs_ctx );
Manuel Pégourié-Gonnard4edb9cb2018-07-02 12:23:23 +0200248 // this setting would ensure restart would happen if ECC was used
249 mbedtls_ecp_set_max_ops( 1 );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200250#endif
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200251
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200252 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200253
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200254 memset( hash_result, 0x00, 1000 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200255
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200256 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200257 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200258
Paul Bakker42099c32014-01-27 11:45:49 +0100259 rsa->len = mod / 8;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200260 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->N, radix_N, input_N ) == 0 );
261 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200262
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200263
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200264 if( mbedtls_md_info_from_type( digest ) != NULL )
Azim Khand30ca132017-06-09 04:32:58 +0100265 TEST_ASSERT( mbedtls_md( mbedtls_md_info_from_type( digest ), message_str->x, message_str->len, hash_result ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200266
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200267 TEST_ASSERT( mbedtls_pk_verify( &pk, digest, hash_result, 0,
Azim Khand30ca132017-06-09 04:32:58 +0100268 result_str->x, mbedtls_pk_get_len( &pk ) ) == result );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200269
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200270 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, digest, hash_result, 0,
Manuel Pégourié-Gonnard125af942018-09-11 11:08:12 +0200271 result_str->x, mbedtls_pk_get_len( &pk ), rs_ctx ) == result );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200272
Paul Bakkerbd51b262014-07-10 15:26:12 +0200273exit:
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200274#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200275 mbedtls_pk_restart_free( rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200276#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200277 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200278}
279/* END_CASE */
280
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200281/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100282void pk_rsa_verify_ext_test_vec( data_t * message_str, int digest,
Azim Khand30ca132017-06-09 04:32:58 +0100283 int mod, int radix_N, char * input_N,
284 int radix_E, char * input_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100285 data_t * result_str, int pk_type,
Azim Khanf1aaec92017-05-30 14:23:15 +0100286 int mgf1_hash_id, int salt_len, int result )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200287{
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200288 unsigned char hash_result[1000];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200289 mbedtls_rsa_context *rsa;
290 mbedtls_pk_context pk;
291 mbedtls_pk_rsassa_pss_options pss_opts;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200292 void *options;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200293 size_t hash_len;
294
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200295 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200296
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200297 memset( hash_result, 0x00, 1000 );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200298
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200299 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200300 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200301
302 rsa->len = mod / 8;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200303 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->N, radix_N, input_N ) == 0 );
304 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200305
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200306
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200307 if( digest != MBEDTLS_MD_NONE )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200308 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200309 TEST_ASSERT( mbedtls_md( mbedtls_md_info_from_type( digest ),
Azim Khand30ca132017-06-09 04:32:58 +0100310 message_str->x, message_str->len, hash_result ) == 0 );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200311 hash_len = 0;
312 }
313 else
314 {
Azim Khand30ca132017-06-09 04:32:58 +0100315 memcpy( hash_result, message_str->x, message_str->len );
316 hash_len = message_str->len;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200317 }
318
319 if( mgf1_hash_id < 0 )
320 {
321 options = NULL;
322 }
323 else
324 {
325 options = &pss_opts;
326
327 pss_opts.mgf1_hash_id = mgf1_hash_id;
328 pss_opts.expected_salt_len = salt_len;
329 }
330
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200331 TEST_ASSERT( mbedtls_pk_verify_ext( pk_type, options, &pk,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200332 digest, hash_result, hash_len,
Azim Khand30ca132017-06-09 04:32:58 +0100333 result_str->x, mbedtls_pk_get_len( &pk ) ) == result );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200334
Paul Bakkerbd51b262014-07-10 15:26:12 +0200335exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200336 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200337}
338/* END_CASE */
339
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200340/* BEGIN_CASE depends_on:MBEDTLS_ECDSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100341void pk_ec_test_vec( int type, int id, data_t * key, data_t * hash,
342 data_t * sig, int ret )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200343{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200344 mbedtls_pk_context pk;
345 mbedtls_ecp_keypair *eckey;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200346
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200347 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200348
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200349
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200350 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200351
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200352 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_ECDSA ) );
353 eckey = mbedtls_pk_ec( pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200354
Manuel Pégourié-Gonnarde3a062b2015-05-11 18:46:47 +0200355 TEST_ASSERT( mbedtls_ecp_group_load( &eckey->grp, id ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200356 TEST_ASSERT( mbedtls_ecp_point_read_binary( &eckey->grp, &eckey->Q,
Azim Khand30ca132017-06-09 04:32:58 +0100357 key->x, key->len ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200358
Andrzej Kurekc05ec9f2018-11-08 05:04:53 -0500359 // MBEDTLS_MD_SHA1 is a dummy - it is ignored, but has to be other than MBEDTLS_MD_NONE.
360 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA1,
Azim Khand30ca132017-06-09 04:32:58 +0100361 hash->x, hash->len, sig->x, sig->len ) == ret );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200362
Paul Bakkerbd51b262014-07-10 15:26:12 +0200363exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200364 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200365}
366/* END_CASE */
367
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200368/* BEGIN_CASE depends_on:MBEDTLS_ECP_RESTARTABLE:MBEDTLS_ECDSA_C:MBEDTLS_ECDSA_DETERMINISTIC */
369void pk_sign_verify_restart( int pk_type, int grp_id, char *d_str,
370 char *QX_str, char *QY_str,
371 int md_alg, char *msg, char *sig_str,
372 int max_ops, int min_restart, int max_restart )
373{
374 int ret, cnt_restart;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200375 mbedtls_pk_restart_ctx rs_ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200376 mbedtls_pk_context prv, pub;
377 unsigned char hash[MBEDTLS_MD_MAX_SIZE];
378 unsigned char sig[MBEDTLS_ECDSA_MAX_LEN];
379 unsigned char sig_check[MBEDTLS_ECDSA_MAX_LEN];
380 size_t hlen, slen, slen_check;
381 const mbedtls_md_info_t *md_info;
382
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200383 mbedtls_pk_restart_init( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200384 mbedtls_pk_init( &prv );
385 mbedtls_pk_init( &pub );
386 memset( hash, 0, sizeof( hash ) );
387 memset( sig, 0, sizeof( sig ) );
388 memset( sig_check, 0, sizeof( sig_check ) );
389
390 TEST_ASSERT( mbedtls_pk_setup( &prv, mbedtls_pk_info_from_type( pk_type ) ) == 0 );
391 TEST_ASSERT( mbedtls_ecp_group_load( &mbedtls_pk_ec( prv )->grp, grp_id ) == 0 );
392 TEST_ASSERT( mbedtls_mpi_read_string( &mbedtls_pk_ec( prv )->d, 16, d_str ) == 0 );
393
394 TEST_ASSERT( mbedtls_pk_setup( &pub, mbedtls_pk_info_from_type( pk_type ) ) == 0 );
395 TEST_ASSERT( mbedtls_ecp_group_load( &mbedtls_pk_ec( pub )->grp, grp_id ) == 0 );
396 TEST_ASSERT( mbedtls_ecp_point_read_string( &mbedtls_pk_ec( pub )->Q, 16, QX_str, QY_str ) == 0 );
397
398 slen_check = unhexify( sig_check, sig_str );
399
400 md_info = mbedtls_md_info_from_type( md_alg );
401 TEST_ASSERT( md_info != NULL );
402
403 hlen = mbedtls_md_get_size( md_info );
404 mbedtls_md( md_info, (const unsigned char *) msg, strlen( msg ), hash );
405
406 mbedtls_ecp_set_max_ops( max_ops );
407
408 slen = sizeof( sig );
409 cnt_restart = 0;
410 do {
411 ret = mbedtls_pk_sign_restartable( &prv, md_alg, hash, hlen,
412 sig, &slen, NULL, NULL, &rs_ctx );
413 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
414
415 TEST_ASSERT( ret == 0 );
416 TEST_ASSERT( slen == slen_check );
417 TEST_ASSERT( memcmp( sig, sig_check, slen ) == 0 );
418
419 TEST_ASSERT( cnt_restart >= min_restart );
420 TEST_ASSERT( cnt_restart <= max_restart );
421
422 cnt_restart = 0;
423 do {
424 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
425 hash, hlen, sig, slen, &rs_ctx );
426 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
427
428 TEST_ASSERT( ret == 0 );
429 TEST_ASSERT( cnt_restart >= min_restart );
430 TEST_ASSERT( cnt_restart <= max_restart );
431
432 hash[0]++;
433 do {
434 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
435 hash, hlen, sig, slen, &rs_ctx );
436 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
437 TEST_ASSERT( ret != 0 );
438 hash[0]--;
439
440 sig[0]++;
441 do {
442 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
443 hash, hlen, sig, slen, &rs_ctx );
444 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
445 TEST_ASSERT( ret != 0 );
446 sig[0]--;
447
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200448 /* Do we leak memory when aborting? try verify then sign
449 * This test only makes sense when we actually restart */
450 if( min_restart > 0 )
451 {
452 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
453 hash, hlen, sig, slen, &rs_ctx );
454 TEST_ASSERT( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
455 mbedtls_pk_restart_free( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200456
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200457 slen = sizeof( sig );
458 ret = mbedtls_pk_sign_restartable( &prv, md_alg, hash, hlen,
459 sig, &slen, NULL, NULL, &rs_ctx );
460 TEST_ASSERT( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
461 }
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200462
463exit:
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200464 mbedtls_pk_restart_free( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200465 mbedtls_pk_free( &prv );
466 mbedtls_pk_free( &pub );
467}
468/* END_CASE */
469
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200470/* BEGIN_CASE depends_on:MBEDTLS_SHA256_C */
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200471void pk_sign_verify( int type, int sign_ret, int verify_ret )
472{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200473 mbedtls_pk_context pk;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200474 unsigned char hash[50], sig[5000];
475 size_t sig_len;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200476 void *rs_ctx = NULL;
477#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200478 mbedtls_pk_restart_ctx ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200479
480 rs_ctx = &ctx;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200481 mbedtls_pk_restart_init( rs_ctx );
Manuel Pégourié-Gonnard4edb9cb2018-07-02 12:23:23 +0200482 /* This value is large enough that the operation will complete in one run.
483 * See comments at the top of ecp_test_vect_restart in
484 * test_suite_ecp.function for estimates of operation counts. */
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200485 mbedtls_ecp_set_max_ops( 42000 );
486#endif
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200487
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200488 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200489
490 memset( hash, 0x2a, sizeof hash );
491 memset( sig, 0, sizeof sig );
492
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200493 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200494 TEST_ASSERT( pk_genkey( &pk ) == 0 );
495
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200496 TEST_ASSERT( mbedtls_pk_sign_restartable( &pk, MBEDTLS_MD_SHA256,
497 hash, sizeof hash, sig, &sig_len,
498 rnd_std_rand, NULL, rs_ctx ) == sign_ret );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200499
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200500 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200501 hash, sizeof hash, sig, sig_len ) == verify_ret );
502
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200503 if( verify_ret == 0 )
504 {
505 hash[0]++;
506 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
507 hash, sizeof hash, sig, sig_len ) != 0 );
508 hash[0]--;
509
510 sig[0]++;
511 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
512 hash, sizeof hash, sig, sig_len ) != 0 );
513 sig[0]--;
514 }
515
516 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_SHA256, hash, sizeof hash,
517 sig, &sig_len, rnd_std_rand, NULL ) == sign_ret );
518
519 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
520 hash, sizeof hash, sig, sig_len, rs_ctx ) == verify_ret );
521
522 if( verify_ret == 0 )
523 {
524 hash[0]++;
525 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
526 hash, sizeof hash, sig, sig_len, rs_ctx ) != 0 );
527 hash[0]--;
528
529 sig[0]++;
530 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
531 hash, sizeof hash, sig, sig_len, rs_ctx ) != 0 );
532 sig[0]--;
533 }
534
Paul Bakkerbd51b262014-07-10 15:26:12 +0200535exit:
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200536#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200537 mbedtls_pk_restart_free( rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200538#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200539 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200540}
541/* END_CASE */
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200542
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200543/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100544void pk_rsa_encrypt_test_vec( data_t * message, int mod, int radix_N,
Azim Khand30ca132017-06-09 04:32:58 +0100545 char * input_N, int radix_E, char * input_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100546 data_t * result, int ret )
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200547{
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200548 unsigned char output[1000];
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200549 rnd_pseudo_info rnd_info;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200550 mbedtls_rsa_context *rsa;
551 mbedtls_pk_context pk;
Azim Khanf1aaec92017-05-30 14:23:15 +0100552 size_t olen;
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200553
554 memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200555 memset( output, 0, sizeof( output ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200556
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200557
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200558 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200559 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200560 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200561
562 rsa->len = mod / 8;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200563 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->N, radix_N, input_N ) == 0 );
564 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200565
Azim Khand30ca132017-06-09 04:32:58 +0100566 TEST_ASSERT( mbedtls_pk_encrypt( &pk, message->x, message->len,
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200567 output, &olen, sizeof( output ),
568 rnd_pseudo_rand, &rnd_info ) == ret );
Azim Khand30ca132017-06-09 04:32:58 +0100569 TEST_ASSERT( olen == result->len );
570 TEST_ASSERT( memcmp( output, result->x, olen ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200571
Paul Bakkerbd51b262014-07-10 15:26:12 +0200572exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200573 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200574}
575/* END_CASE */
576
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200577/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100578void pk_rsa_decrypt_test_vec( data_t * cipher, int mod, int radix_P,
Azim Khand30ca132017-06-09 04:32:58 +0100579 char * input_P, int radix_Q, char * input_Q,
580 int radix_N, char * input_N, int radix_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100581 char * input_E, data_t * clear, int ret )
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200582{
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200583 unsigned char output[1000];
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200584 rnd_pseudo_info rnd_info;
Hanno Beckerd71dc152017-08-23 06:32:42 +0100585 mbedtls_mpi N, P, Q, E;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200586 mbedtls_rsa_context *rsa;
587 mbedtls_pk_context pk;
Azim Khanf1aaec92017-05-30 14:23:15 +0100588 size_t olen;
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200589
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200590 mbedtls_pk_init( &pk );
Hanno Beckerd71dc152017-08-23 06:32:42 +0100591 mbedtls_mpi_init( &N ); mbedtls_mpi_init( &P );
592 mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &E );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200593
594 memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200595
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200596
597 /* init pk-rsa context */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200598 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200599 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200600
601 /* load public key */
Hanno Beckerd71dc152017-08-23 06:32:42 +0100602 TEST_ASSERT( mbedtls_mpi_read_string( &N, radix_N, input_N ) == 0 );
603 TEST_ASSERT( mbedtls_mpi_read_string( &E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200604
605 /* load private key */
Hanno Beckerd71dc152017-08-23 06:32:42 +0100606 TEST_ASSERT( mbedtls_mpi_read_string( &P, radix_P, input_P ) == 0 );
607 TEST_ASSERT( mbedtls_mpi_read_string( &Q, radix_Q, input_Q ) == 0 );
608 TEST_ASSERT( mbedtls_rsa_import( rsa, &N, &P, &Q, NULL, &E ) == 0 );
609 TEST_ASSERT( mbedtls_rsa_get_len( rsa ) == (size_t) ( mod / 8 ) );
Hanno Becker7f25f852017-10-10 16:56:22 +0100610 TEST_ASSERT( mbedtls_rsa_complete( rsa ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200611
612 /* decryption test */
613 memset( output, 0, sizeof( output ) );
614 olen = 0;
Azim Khand30ca132017-06-09 04:32:58 +0100615 TEST_ASSERT( mbedtls_pk_decrypt( &pk, cipher->x, cipher->len,
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200616 output, &olen, sizeof( output ),
617 rnd_pseudo_rand, &rnd_info ) == ret );
618 if( ret == 0 )
619 {
Azim Khand30ca132017-06-09 04:32:58 +0100620 TEST_ASSERT( olen == clear->len );
621 TEST_ASSERT( memcmp( output, clear->x, olen ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200622 }
623
Paul Bakkerbd51b262014-07-10 15:26:12 +0200624exit:
Hanno Beckerd71dc152017-08-23 06:32:42 +0100625 mbedtls_mpi_free( &N ); mbedtls_mpi_free( &P );
626 mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &E );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200627 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200628}
629/* END_CASE */
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200630
631/* BEGIN_CASE */
632void pk_ec_nocrypt( int type )
633{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200634 mbedtls_pk_context pk;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200635 unsigned char output[100];
636 unsigned char input[100];
637 rnd_pseudo_info rnd_info;
638 size_t olen = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200639 int ret = MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200640
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200641 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200642
643 memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) );
644 memset( output, 0, sizeof( output ) );
645 memset( input, 0, sizeof( input ) );
646
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200647 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200648
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200649 TEST_ASSERT( mbedtls_pk_encrypt( &pk, input, sizeof( input ),
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200650 output, &olen, sizeof( output ),
651 rnd_pseudo_rand, &rnd_info ) == ret );
652
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200653 TEST_ASSERT( mbedtls_pk_decrypt( &pk, input, sizeof( input ),
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200654 output, &olen, sizeof( output ),
655 rnd_pseudo_rand, &rnd_info ) == ret );
656
Paul Bakkerbd51b262014-07-10 15:26:12 +0200657exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200658 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200659}
660/* END_CASE */
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200661
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100662/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Andres AG5c79d252017-02-15 10:52:32 +0000663void pk_rsa_overflow( )
664{
665 mbedtls_pk_context pk;
itayzafrir693a1d92018-02-26 12:02:10 +0200666 size_t hash_len = SIZE_MAX, sig_len = SIZE_MAX;
667 unsigned char hash[50], sig[100];
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100668
669 if( SIZE_MAX <= UINT_MAX )
670 return;
Andres AG5c79d252017-02-15 10:52:32 +0000671
itayzafrir693a1d92018-02-26 12:02:10 +0200672 memset( hash, 0x2a, sizeof hash );
673 memset( sig, 0, sizeof sig );
Andres AG5c79d252017-02-15 10:52:32 +0000674
675 mbedtls_pk_init( &pk );
676
677 TEST_ASSERT( mbedtls_pk_setup( &pk,
678 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
679
680#if defined(MBEDTLS_PKCS1_V21)
681 TEST_ASSERT( mbedtls_pk_verify_ext( MBEDTLS_PK_RSASSA_PSS, NULL, &pk,
itayzafrir693a1d92018-02-26 12:02:10 +0200682 MBEDTLS_MD_NONE, hash, hash_len, sig, sig_len ) ==
Andres AG5c79d252017-02-15 10:52:32 +0000683 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
684#endif /* MBEDTLS_PKCS1_V21 */
685
itayzafrir693a1d92018-02-26 12:02:10 +0200686 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_NONE, hash, hash_len,
687 sig, sig_len ) == MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres AG5c79d252017-02-15 10:52:32 +0000688
itayzafrir693a1d92018-02-26 12:02:10 +0200689 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_NONE, hash, hash_len, sig, &sig_len,
Andres AG5c79d252017-02-15 10:52:32 +0000690 rnd_std_rand, NULL ) == MBEDTLS_ERR_PK_BAD_INPUT_DATA );
691
692exit:
693 mbedtls_pk_free( &pk );
694}
695/* END_CASE */
696
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200697/* BEGIN_CASE depends_on:MBEDTLS_RSA_C:MBEDTLS_PK_RSA_ALT_SUPPORT */
Azim Khanf1aaec92017-05-30 14:23:15 +0100698void pk_rsa_alt( )
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200699{
700 /*
701 * An rsa_alt context can only do private operations (decrypt, sign).
702 * Test it against the public operations (encrypt, verify) of a
703 * corresponding rsa context.
704 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200705 mbedtls_rsa_context raw;
706 mbedtls_pk_context rsa, alt;
707 mbedtls_pk_debug_item dbg_items[10];
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200708 unsigned char hash[50], sig[1000];
709 unsigned char msg[50], ciph[1000], test[1000];
710 size_t sig_len, ciph_len, test_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200711 int ret = MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200712
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200713 mbedtls_rsa_init( &raw, MBEDTLS_RSA_PKCS_V15, MBEDTLS_MD_NONE );
714 mbedtls_pk_init( &rsa ); mbedtls_pk_init( &alt );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200715
716 memset( hash, 0x2a, sizeof hash );
717 memset( sig, 0, sizeof sig );
718 memset( msg, 0x2a, sizeof msg );
719 memset( ciph, 0, sizeof ciph );
720 memset( test, 0, sizeof test );
721
722 /* Initiliaze PK RSA context with random key */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200723 TEST_ASSERT( mbedtls_pk_setup( &rsa,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200724 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200725 TEST_ASSERT( pk_genkey( &rsa ) == 0 );
726
727 /* Extract key to the raw rsa context */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200728 TEST_ASSERT( mbedtls_rsa_copy( &raw, mbedtls_pk_rsa( rsa ) ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200729
730 /* Initialize PK RSA_ALT context */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200731 TEST_ASSERT( mbedtls_pk_setup_rsa_alt( &alt, (void *) &raw,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200732 mbedtls_rsa_decrypt_func, mbedtls_rsa_sign_func, mbedtls_rsa_key_len_func ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200733
734 /* Test administrative functions */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200735 TEST_ASSERT( mbedtls_pk_can_do( &alt, MBEDTLS_PK_RSA ) );
Manuel Pégourié-Gonnard097c7bb2015-06-18 16:43:38 +0200736 TEST_ASSERT( mbedtls_pk_get_bitlen( &alt ) == RSA_KEY_SIZE );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200737 TEST_ASSERT( mbedtls_pk_get_len( &alt ) == RSA_KEY_LEN );
738 TEST_ASSERT( mbedtls_pk_get_type( &alt ) == MBEDTLS_PK_RSA_ALT );
739 TEST_ASSERT( strcmp( mbedtls_pk_get_name( &alt ), "RSA-alt" ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200740
741 /* Test signature */
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100742#if SIZE_MAX > UINT_MAX
743 TEST_ASSERT( mbedtls_pk_sign( &alt, MBEDTLS_MD_NONE, hash, SIZE_MAX,
744 sig, &sig_len, rnd_std_rand, NULL ) ==
Andres AG5c79d252017-02-15 10:52:32 +0000745 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100746#endif /* SIZE_MAX > UINT_MAX */
747 TEST_ASSERT( mbedtls_pk_sign( &alt, MBEDTLS_MD_NONE, hash, sizeof hash,
748 sig, &sig_len, rnd_std_rand, NULL ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200749 TEST_ASSERT( sig_len == RSA_KEY_LEN );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200750 TEST_ASSERT( mbedtls_pk_verify( &rsa, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200751 hash, sizeof hash, sig, sig_len ) == 0 );
752
753 /* Test decrypt */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200754 TEST_ASSERT( mbedtls_pk_encrypt( &rsa, msg, sizeof msg,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200755 ciph, &ciph_len, sizeof ciph,
756 rnd_std_rand, NULL ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200757 TEST_ASSERT( mbedtls_pk_decrypt( &alt, ciph, ciph_len,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200758 test, &test_len, sizeof test,
759 rnd_std_rand, NULL ) == 0 );
760 TEST_ASSERT( test_len == sizeof msg );
761 TEST_ASSERT( memcmp( test, msg, test_len ) == 0 );
762
763 /* Test forbidden operations */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200764 TEST_ASSERT( mbedtls_pk_encrypt( &alt, msg, sizeof msg,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200765 ciph, &ciph_len, sizeof ciph,
766 rnd_std_rand, NULL ) == ret );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200767 TEST_ASSERT( mbedtls_pk_verify( &alt, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200768 hash, sizeof hash, sig, sig_len ) == ret );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200769 TEST_ASSERT( mbedtls_pk_debug( &alt, dbg_items ) == ret );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200770
Paul Bakkerbd51b262014-07-10 15:26:12 +0200771exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200772 mbedtls_rsa_free( &raw );
773 mbedtls_pk_free( &rsa ); mbedtls_pk_free( &alt );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200774}
775/* END_CASE */
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +0100776
777/* BEGIN_CASE depends_on:MBEDTLS_SHA256_C:MBEDTLS_USE_PSA_CRYPTO:MBEDTLS_ECDSA_C:MBEDTLS_ECP_DP_SECP256R1_ENABLED */
778void pk_psa_sign( )
779{
780 mbedtls_pk_context pk;
Andrzej Kurek2349c4d2019-01-08 09:36:01 -0500781 psa_key_handle_t key;
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +0100782 unsigned char hash[50], sig[100], pkey[100];
783 size_t sig_len, klen = 0;
784
785 /*
786 * This tests making signatures with a wrapped PSA key:
787 * - generate a fresh PSA key
788 * - wrap it in a PK context and make a signature this way
789 * - extract the public key
790 * - parse it to a PK context and verify the signature this way
791 */
792
793 mbedtls_pk_init( &pk );
794
795 memset( hash, 0x2a, sizeof hash );
796 memset( sig, 0, sizeof sig );
797 memset( pkey, 0, sizeof pkey );
798
799 key = pk_psa_genkey();
800 TEST_ASSERT( key != 0 );
801
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100802 TEST_ASSERT( mbedtls_pk_setup_opaque( &pk, key ) == 0 );
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +0100803
804 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_SHA256,
805 hash, sizeof hash, sig, &sig_len,
806 NULL, NULL ) == 0 );
807
808 mbedtls_pk_free( &pk );
809
810 TEST_ASSERT( PSA_SUCCESS == psa_export_public_key(
811 key, pkey, sizeof( pkey ), &klen ) );
812 TEST_ASSERT( PSA_SUCCESS == psa_destroy_key( key ) );
813
814 mbedtls_pk_init( &pk );
815
816 TEST_ASSERT( mbedtls_pk_parse_public_key( &pk, pkey, klen ) == 0 );
817
818
819 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
820 hash, sizeof hash, sig, sig_len ) == 0 );
821
822exit:
823 mbedtls_pk_free( &pk );
824}
825/* END_CASE */