blob: 37cf5c569288b0021349880707457c14efde7192 [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 */
77psa_key_slot_t pk_psa_genkey( void )
78{
79 psa_key_slot_t key;
80
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
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010086 /* find a free key slot */
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010087 if( PSA_SUCCESS != mbedtls_psa_get_free_key_slot( &key ) )
88 return( PK_PSA_INVALID_SLOT );
89
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010090 /* set up policy on key slot */
91 psa_key_policy_init( &policy );
92 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;
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100115 psa_key_slot_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
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200359 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_NONE,
Azim Khand30ca132017-06-09 04:32:58 +0100360 hash->x, hash->len, sig->x, sig->len ) == ret );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200361
Paul Bakkerbd51b262014-07-10 15:26:12 +0200362exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200363 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200364}
365/* END_CASE */
366
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200367/* BEGIN_CASE depends_on:MBEDTLS_ECP_RESTARTABLE:MBEDTLS_ECDSA_C:MBEDTLS_ECDSA_DETERMINISTIC */
368void pk_sign_verify_restart( int pk_type, int grp_id, char *d_str,
369 char *QX_str, char *QY_str,
370 int md_alg, char *msg, char *sig_str,
371 int max_ops, int min_restart, int max_restart )
372{
373 int ret, cnt_restart;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200374 mbedtls_pk_restart_ctx rs_ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200375 mbedtls_pk_context prv, pub;
376 unsigned char hash[MBEDTLS_MD_MAX_SIZE];
377 unsigned char sig[MBEDTLS_ECDSA_MAX_LEN];
378 unsigned char sig_check[MBEDTLS_ECDSA_MAX_LEN];
379 size_t hlen, slen, slen_check;
380 const mbedtls_md_info_t *md_info;
381
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200382 mbedtls_pk_restart_init( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200383 mbedtls_pk_init( &prv );
384 mbedtls_pk_init( &pub );
385 memset( hash, 0, sizeof( hash ) );
386 memset( sig, 0, sizeof( sig ) );
387 memset( sig_check, 0, sizeof( sig_check ) );
388
389 TEST_ASSERT( mbedtls_pk_setup( &prv, mbedtls_pk_info_from_type( pk_type ) ) == 0 );
390 TEST_ASSERT( mbedtls_ecp_group_load( &mbedtls_pk_ec( prv )->grp, grp_id ) == 0 );
391 TEST_ASSERT( mbedtls_mpi_read_string( &mbedtls_pk_ec( prv )->d, 16, d_str ) == 0 );
392
393 TEST_ASSERT( mbedtls_pk_setup( &pub, mbedtls_pk_info_from_type( pk_type ) ) == 0 );
394 TEST_ASSERT( mbedtls_ecp_group_load( &mbedtls_pk_ec( pub )->grp, grp_id ) == 0 );
395 TEST_ASSERT( mbedtls_ecp_point_read_string( &mbedtls_pk_ec( pub )->Q, 16, QX_str, QY_str ) == 0 );
396
397 slen_check = unhexify( sig_check, sig_str );
398
399 md_info = mbedtls_md_info_from_type( md_alg );
400 TEST_ASSERT( md_info != NULL );
401
402 hlen = mbedtls_md_get_size( md_info );
403 mbedtls_md( md_info, (const unsigned char *) msg, strlen( msg ), hash );
404
405 mbedtls_ecp_set_max_ops( max_ops );
406
407 slen = sizeof( sig );
408 cnt_restart = 0;
409 do {
410 ret = mbedtls_pk_sign_restartable( &prv, md_alg, hash, hlen,
411 sig, &slen, NULL, NULL, &rs_ctx );
412 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
413
414 TEST_ASSERT( ret == 0 );
415 TEST_ASSERT( slen == slen_check );
416 TEST_ASSERT( memcmp( sig, sig_check, slen ) == 0 );
417
418 TEST_ASSERT( cnt_restart >= min_restart );
419 TEST_ASSERT( cnt_restart <= max_restart );
420
421 cnt_restart = 0;
422 do {
423 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
424 hash, hlen, sig, slen, &rs_ctx );
425 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
426
427 TEST_ASSERT( ret == 0 );
428 TEST_ASSERT( cnt_restart >= min_restart );
429 TEST_ASSERT( cnt_restart <= max_restart );
430
431 hash[0]++;
432 do {
433 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
434 hash, hlen, sig, slen, &rs_ctx );
435 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
436 TEST_ASSERT( ret != 0 );
437 hash[0]--;
438
439 sig[0]++;
440 do {
441 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
442 hash, hlen, sig, slen, &rs_ctx );
443 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
444 TEST_ASSERT( ret != 0 );
445 sig[0]--;
446
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200447 /* Do we leak memory when aborting? try verify then sign
448 * This test only makes sense when we actually restart */
449 if( min_restart > 0 )
450 {
451 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
452 hash, hlen, sig, slen, &rs_ctx );
453 TEST_ASSERT( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
454 mbedtls_pk_restart_free( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200455
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200456 slen = sizeof( sig );
457 ret = mbedtls_pk_sign_restartable( &prv, md_alg, hash, hlen,
458 sig, &slen, NULL, NULL, &rs_ctx );
459 TEST_ASSERT( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
460 }
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200461
462exit:
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200463 mbedtls_pk_restart_free( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200464 mbedtls_pk_free( &prv );
465 mbedtls_pk_free( &pub );
466}
467/* END_CASE */
468
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200469/* BEGIN_CASE depends_on:MBEDTLS_SHA256_C */
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200470void pk_sign_verify( int type, int sign_ret, int verify_ret )
471{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200472 mbedtls_pk_context pk;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200473 unsigned char hash[50], sig[5000];
474 size_t sig_len;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200475 void *rs_ctx = NULL;
476#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200477 mbedtls_pk_restart_ctx ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200478
479 rs_ctx = &ctx;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200480 mbedtls_pk_restart_init( rs_ctx );
Manuel Pégourié-Gonnard4edb9cb2018-07-02 12:23:23 +0200481 /* This value is large enough that the operation will complete in one run.
482 * See comments at the top of ecp_test_vect_restart in
483 * test_suite_ecp.function for estimates of operation counts. */
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200484 mbedtls_ecp_set_max_ops( 42000 );
485#endif
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200486
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200487 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200488
489 memset( hash, 0x2a, sizeof hash );
490 memset( sig, 0, sizeof sig );
491
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200492 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200493 TEST_ASSERT( pk_genkey( &pk ) == 0 );
494
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200495 TEST_ASSERT( mbedtls_pk_sign_restartable( &pk, MBEDTLS_MD_SHA256,
496 hash, sizeof hash, sig, &sig_len,
497 rnd_std_rand, NULL, rs_ctx ) == sign_ret );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200498
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200499 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200500 hash, sizeof hash, sig, sig_len ) == verify_ret );
501
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200502 if( verify_ret == 0 )
503 {
504 hash[0]++;
505 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
506 hash, sizeof hash, sig, sig_len ) != 0 );
507 hash[0]--;
508
509 sig[0]++;
510 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
511 hash, sizeof hash, sig, sig_len ) != 0 );
512 sig[0]--;
513 }
514
515 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_SHA256, hash, sizeof hash,
516 sig, &sig_len, rnd_std_rand, NULL ) == sign_ret );
517
518 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
519 hash, sizeof hash, sig, sig_len, rs_ctx ) == verify_ret );
520
521 if( verify_ret == 0 )
522 {
523 hash[0]++;
524 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
525 hash, sizeof hash, sig, sig_len, rs_ctx ) != 0 );
526 hash[0]--;
527
528 sig[0]++;
529 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
530 hash, sizeof hash, sig, sig_len, rs_ctx ) != 0 );
531 sig[0]--;
532 }
533
Paul Bakkerbd51b262014-07-10 15:26:12 +0200534exit:
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200535#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200536 mbedtls_pk_restart_free( rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200537#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200538 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200539}
540/* END_CASE */
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200541
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200542/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100543void pk_rsa_encrypt_test_vec( data_t * message, int mod, int radix_N,
Azim Khand30ca132017-06-09 04:32:58 +0100544 char * input_N, int radix_E, char * input_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100545 data_t * result, int ret )
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200546{
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200547 unsigned char output[1000];
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200548 rnd_pseudo_info rnd_info;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200549 mbedtls_rsa_context *rsa;
550 mbedtls_pk_context pk;
Azim Khanf1aaec92017-05-30 14:23:15 +0100551 size_t olen;
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200552
553 memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200554 memset( output, 0, sizeof( output ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200555
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200556
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200557 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200558 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200559 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200560
561 rsa->len = mod / 8;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200562 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->N, radix_N, input_N ) == 0 );
563 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200564
Azim Khand30ca132017-06-09 04:32:58 +0100565 TEST_ASSERT( mbedtls_pk_encrypt( &pk, message->x, message->len,
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200566 output, &olen, sizeof( output ),
567 rnd_pseudo_rand, &rnd_info ) == ret );
Azim Khand30ca132017-06-09 04:32:58 +0100568 TEST_ASSERT( olen == result->len );
569 TEST_ASSERT( memcmp( output, result->x, olen ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200570
Paul Bakkerbd51b262014-07-10 15:26:12 +0200571exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200572 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200573}
574/* END_CASE */
575
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200576/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100577void pk_rsa_decrypt_test_vec( data_t * cipher, int mod, int radix_P,
Azim Khand30ca132017-06-09 04:32:58 +0100578 char * input_P, int radix_Q, char * input_Q,
579 int radix_N, char * input_N, int radix_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100580 char * input_E, data_t * clear, int ret )
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200581{
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200582 unsigned char output[1000];
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200583 rnd_pseudo_info rnd_info;
Hanno Beckerd71dc152017-08-23 06:32:42 +0100584 mbedtls_mpi N, P, Q, E;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200585 mbedtls_rsa_context *rsa;
586 mbedtls_pk_context pk;
Azim Khanf1aaec92017-05-30 14:23:15 +0100587 size_t olen;
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200588
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200589 mbedtls_pk_init( &pk );
Hanno Beckerd71dc152017-08-23 06:32:42 +0100590 mbedtls_mpi_init( &N ); mbedtls_mpi_init( &P );
591 mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &E );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200592
593 memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200594
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200595
596 /* init pk-rsa context */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200597 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200598 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200599
600 /* load public key */
Hanno Beckerd71dc152017-08-23 06:32:42 +0100601 TEST_ASSERT( mbedtls_mpi_read_string( &N, radix_N, input_N ) == 0 );
602 TEST_ASSERT( mbedtls_mpi_read_string( &E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200603
604 /* load private key */
Hanno Beckerd71dc152017-08-23 06:32:42 +0100605 TEST_ASSERT( mbedtls_mpi_read_string( &P, radix_P, input_P ) == 0 );
606 TEST_ASSERT( mbedtls_mpi_read_string( &Q, radix_Q, input_Q ) == 0 );
607 TEST_ASSERT( mbedtls_rsa_import( rsa, &N, &P, &Q, NULL, &E ) == 0 );
608 TEST_ASSERT( mbedtls_rsa_get_len( rsa ) == (size_t) ( mod / 8 ) );
Hanno Becker7f25f852017-10-10 16:56:22 +0100609 TEST_ASSERT( mbedtls_rsa_complete( rsa ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200610
611 /* decryption test */
612 memset( output, 0, sizeof( output ) );
613 olen = 0;
Azim Khand30ca132017-06-09 04:32:58 +0100614 TEST_ASSERT( mbedtls_pk_decrypt( &pk, cipher->x, cipher->len,
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200615 output, &olen, sizeof( output ),
616 rnd_pseudo_rand, &rnd_info ) == ret );
617 if( ret == 0 )
618 {
Azim Khand30ca132017-06-09 04:32:58 +0100619 TEST_ASSERT( olen == clear->len );
620 TEST_ASSERT( memcmp( output, clear->x, olen ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200621 }
622
Paul Bakkerbd51b262014-07-10 15:26:12 +0200623exit:
Hanno Beckerd71dc152017-08-23 06:32:42 +0100624 mbedtls_mpi_free( &N ); mbedtls_mpi_free( &P );
625 mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &E );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200626 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200627}
628/* END_CASE */
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200629
630/* BEGIN_CASE */
631void pk_ec_nocrypt( int type )
632{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200633 mbedtls_pk_context pk;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200634 unsigned char output[100];
635 unsigned char input[100];
636 rnd_pseudo_info rnd_info;
637 size_t olen = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200638 int ret = MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200639
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200640 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200641
642 memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) );
643 memset( output, 0, sizeof( output ) );
644 memset( input, 0, sizeof( input ) );
645
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200646 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200647
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200648 TEST_ASSERT( mbedtls_pk_encrypt( &pk, input, sizeof( input ),
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200649 output, &olen, sizeof( output ),
650 rnd_pseudo_rand, &rnd_info ) == ret );
651
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200652 TEST_ASSERT( mbedtls_pk_decrypt( &pk, input, sizeof( input ),
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200653 output, &olen, sizeof( output ),
654 rnd_pseudo_rand, &rnd_info ) == ret );
655
Paul Bakkerbd51b262014-07-10 15:26:12 +0200656exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200657 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200658}
659/* END_CASE */
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200660
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100661/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Andres AG5c79d252017-02-15 10:52:32 +0000662void pk_rsa_overflow( )
663{
664 mbedtls_pk_context pk;
itayzafrir693a1d92018-02-26 12:02:10 +0200665 size_t hash_len = SIZE_MAX, sig_len = SIZE_MAX;
666 unsigned char hash[50], sig[100];
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100667
668 if( SIZE_MAX <= UINT_MAX )
669 return;
Andres AG5c79d252017-02-15 10:52:32 +0000670
itayzafrir693a1d92018-02-26 12:02:10 +0200671 memset( hash, 0x2a, sizeof hash );
672 memset( sig, 0, sizeof sig );
Andres AG5c79d252017-02-15 10:52:32 +0000673
674 mbedtls_pk_init( &pk );
675
676 TEST_ASSERT( mbedtls_pk_setup( &pk,
677 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
678
679#if defined(MBEDTLS_PKCS1_V21)
680 TEST_ASSERT( mbedtls_pk_verify_ext( MBEDTLS_PK_RSASSA_PSS, NULL, &pk,
itayzafrir693a1d92018-02-26 12:02:10 +0200681 MBEDTLS_MD_NONE, hash, hash_len, sig, sig_len ) ==
Andres AG5c79d252017-02-15 10:52:32 +0000682 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
683#endif /* MBEDTLS_PKCS1_V21 */
684
itayzafrir693a1d92018-02-26 12:02:10 +0200685 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_NONE, hash, hash_len,
686 sig, sig_len ) == MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres AG5c79d252017-02-15 10:52:32 +0000687
itayzafrir693a1d92018-02-26 12:02:10 +0200688 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_NONE, hash, hash_len, sig, &sig_len,
Andres AG5c79d252017-02-15 10:52:32 +0000689 rnd_std_rand, NULL ) == MBEDTLS_ERR_PK_BAD_INPUT_DATA );
690
691exit:
692 mbedtls_pk_free( &pk );
693}
694/* END_CASE */
695
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200696/* BEGIN_CASE depends_on:MBEDTLS_RSA_C:MBEDTLS_PK_RSA_ALT_SUPPORT */
Azim Khanf1aaec92017-05-30 14:23:15 +0100697void pk_rsa_alt( )
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200698{
699 /*
700 * An rsa_alt context can only do private operations (decrypt, sign).
701 * Test it against the public operations (encrypt, verify) of a
702 * corresponding rsa context.
703 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200704 mbedtls_rsa_context raw;
705 mbedtls_pk_context rsa, alt;
706 mbedtls_pk_debug_item dbg_items[10];
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200707 unsigned char hash[50], sig[1000];
708 unsigned char msg[50], ciph[1000], test[1000];
709 size_t sig_len, ciph_len, test_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200710 int ret = MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200711
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200712 mbedtls_rsa_init( &raw, MBEDTLS_RSA_PKCS_V15, MBEDTLS_MD_NONE );
713 mbedtls_pk_init( &rsa ); mbedtls_pk_init( &alt );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200714
715 memset( hash, 0x2a, sizeof hash );
716 memset( sig, 0, sizeof sig );
717 memset( msg, 0x2a, sizeof msg );
718 memset( ciph, 0, sizeof ciph );
719 memset( test, 0, sizeof test );
720
721 /* Initiliaze PK RSA context with random key */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200722 TEST_ASSERT( mbedtls_pk_setup( &rsa,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200723 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200724 TEST_ASSERT( pk_genkey( &rsa ) == 0 );
725
726 /* Extract key to the raw rsa context */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200727 TEST_ASSERT( mbedtls_rsa_copy( &raw, mbedtls_pk_rsa( rsa ) ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200728
729 /* Initialize PK RSA_ALT context */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200730 TEST_ASSERT( mbedtls_pk_setup_rsa_alt( &alt, (void *) &raw,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200731 mbedtls_rsa_decrypt_func, mbedtls_rsa_sign_func, mbedtls_rsa_key_len_func ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200732
733 /* Test administrative functions */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200734 TEST_ASSERT( mbedtls_pk_can_do( &alt, MBEDTLS_PK_RSA ) );
Manuel Pégourié-Gonnard097c7bb2015-06-18 16:43:38 +0200735 TEST_ASSERT( mbedtls_pk_get_bitlen( &alt ) == RSA_KEY_SIZE );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200736 TEST_ASSERT( mbedtls_pk_get_len( &alt ) == RSA_KEY_LEN );
737 TEST_ASSERT( mbedtls_pk_get_type( &alt ) == MBEDTLS_PK_RSA_ALT );
738 TEST_ASSERT( strcmp( mbedtls_pk_get_name( &alt ), "RSA-alt" ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200739
740 /* Test signature */
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100741#if SIZE_MAX > UINT_MAX
742 TEST_ASSERT( mbedtls_pk_sign( &alt, MBEDTLS_MD_NONE, hash, SIZE_MAX,
743 sig, &sig_len, rnd_std_rand, NULL ) ==
Andres AG5c79d252017-02-15 10:52:32 +0000744 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100745#endif /* SIZE_MAX > UINT_MAX */
746 TEST_ASSERT( mbedtls_pk_sign( &alt, MBEDTLS_MD_NONE, hash, sizeof hash,
747 sig, &sig_len, rnd_std_rand, NULL ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200748 TEST_ASSERT( sig_len == RSA_KEY_LEN );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200749 TEST_ASSERT( mbedtls_pk_verify( &rsa, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200750 hash, sizeof hash, sig, sig_len ) == 0 );
751
752 /* Test decrypt */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200753 TEST_ASSERT( mbedtls_pk_encrypt( &rsa, msg, sizeof msg,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200754 ciph, &ciph_len, sizeof ciph,
755 rnd_std_rand, NULL ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200756 TEST_ASSERT( mbedtls_pk_decrypt( &alt, ciph, ciph_len,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200757 test, &test_len, sizeof test,
758 rnd_std_rand, NULL ) == 0 );
759 TEST_ASSERT( test_len == sizeof msg );
760 TEST_ASSERT( memcmp( test, msg, test_len ) == 0 );
761
762 /* Test forbidden operations */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200763 TEST_ASSERT( mbedtls_pk_encrypt( &alt, msg, sizeof msg,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200764 ciph, &ciph_len, sizeof ciph,
765 rnd_std_rand, NULL ) == ret );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200766 TEST_ASSERT( mbedtls_pk_verify( &alt, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200767 hash, sizeof hash, sig, sig_len ) == ret );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200768 TEST_ASSERT( mbedtls_pk_debug( &alt, dbg_items ) == ret );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200769
Paul Bakkerbd51b262014-07-10 15:26:12 +0200770exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200771 mbedtls_rsa_free( &raw );
772 mbedtls_pk_free( &rsa ); mbedtls_pk_free( &alt );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200773}
774/* END_CASE */
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +0100775
776/* BEGIN_CASE depends_on:MBEDTLS_SHA256_C:MBEDTLS_USE_PSA_CRYPTO:MBEDTLS_ECDSA_C:MBEDTLS_ECP_DP_SECP256R1_ENABLED */
777void pk_psa_sign( )
778{
779 mbedtls_pk_context pk;
780 psa_key_slot_t key;
781 unsigned char hash[50], sig[100], pkey[100];
782 size_t sig_len, klen = 0;
783
784 /*
785 * This tests making signatures with a wrapped PSA key:
786 * - generate a fresh PSA key
787 * - wrap it in a PK context and make a signature this way
788 * - extract the public key
789 * - parse it to a PK context and verify the signature this way
790 */
791
792 mbedtls_pk_init( &pk );
793
794 memset( hash, 0x2a, sizeof hash );
795 memset( sig, 0, sizeof sig );
796 memset( pkey, 0, sizeof pkey );
797
798 key = pk_psa_genkey();
799 TEST_ASSERT( key != 0 );
800
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100801 TEST_ASSERT( mbedtls_pk_setup_opaque( &pk, key ) == 0 );
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +0100802
803 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_SHA256,
804 hash, sizeof hash, sig, &sig_len,
805 NULL, NULL ) == 0 );
806
807 mbedtls_pk_free( &pk );
808
809 TEST_ASSERT( PSA_SUCCESS == psa_export_public_key(
810 key, pkey, sizeof( pkey ), &klen ) );
811 TEST_ASSERT( PSA_SUCCESS == psa_destroy_key( key ) );
812
813 mbedtls_pk_init( &pk );
814
815 TEST_ASSERT( mbedtls_pk_parse_public_key( &pk, pkey, klen ) == 0 );
816
817
818 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
819 hash, sizeof hash, sig, sig_len ) == 0 );
820
821exit:
822 mbedtls_pk_free( &pk );
823}
824/* END_CASE */