blob: bf87b2b0dfa4607a085f37b83d468f1a4444451a [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é-Gonnard01a12c42018-10-31 10:28:01 +0100172 TEST_ASSERT( PSA_SUCCESS == psa_destroy_key( key ) );
173
174exit:
175 mbedtls_pk_free( &pk ); /* redundant except upon error */
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100176 mbedtls_pk_free( &pk2 );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100177}
178/* END_CASE */
179
180
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200181/* BEGIN_CASE */
Azim Khanf1aaec92017-05-30 14:23:15 +0100182void pk_utils( int type, int size, int len, char * name )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200183{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200184 mbedtls_pk_context pk;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200185
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200186 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200187
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200188 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200189 TEST_ASSERT( pk_genkey( &pk ) == 0 );
190
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200191 TEST_ASSERT( (int) mbedtls_pk_get_type( &pk ) == type );
192 TEST_ASSERT( mbedtls_pk_can_do( &pk, type ) );
Manuel Pégourié-Gonnard097c7bb2015-06-18 16:43:38 +0200193 TEST_ASSERT( mbedtls_pk_get_bitlen( &pk ) == (unsigned) size );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200194 TEST_ASSERT( mbedtls_pk_get_len( &pk ) == (unsigned) len );
195 TEST_ASSERT( strcmp( mbedtls_pk_get_name( &pk), name ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200196
Paul Bakkerbd51b262014-07-10 15:26:12 +0200197exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200198 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200199}
200/* END_CASE */
201
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200202/* BEGIN_CASE depends_on:MBEDTLS_PK_PARSE_C:MBEDTLS_FS_IO */
Azim Khanf1aaec92017-05-30 14:23:15 +0100203void mbedtls_pk_check_pair( char * pub_file, char * prv_file, int ret )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100204{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200205 mbedtls_pk_context pub, prv, alt;
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100206
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200207 mbedtls_pk_init( &pub );
208 mbedtls_pk_init( &prv );
209 mbedtls_pk_init( &alt );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100210
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211 TEST_ASSERT( mbedtls_pk_parse_public_keyfile( &pub, pub_file ) == 0 );
212 TEST_ASSERT( mbedtls_pk_parse_keyfile( &prv, prv_file, NULL ) == 0 );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100213
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200214 TEST_ASSERT( mbedtls_pk_check_pair( &pub, &prv ) == ret );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100215
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
217 if( mbedtls_pk_get_type( &prv ) == MBEDTLS_PK_RSA )
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100218 {
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200219 TEST_ASSERT( mbedtls_pk_setup_rsa_alt( &alt, mbedtls_pk_rsa( prv ),
Hanno Becker6ac972d2017-09-07 10:57:48 +0100220 mbedtls_rsa_decrypt_func, mbedtls_rsa_sign_func,
221 mbedtls_rsa_key_len_func ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200222 TEST_ASSERT( mbedtls_pk_check_pair( &pub, &alt ) == ret );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100223 }
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +0100224#endif
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100225
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200226 mbedtls_pk_free( &pub );
227 mbedtls_pk_free( &prv );
228 mbedtls_pk_free( &alt );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100229}
230/* END_CASE */
231
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200232/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100233void pk_rsa_verify_test_vec( data_t * message_str, int digest, int mod,
Azim Khand30ca132017-06-09 04:32:58 +0100234 int radix_N, char * input_N, int radix_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100235 char * input_E, data_t * result_str,
Azim Khanf1aaec92017-05-30 14:23:15 +0100236 int result )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200237{
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200238 unsigned char hash_result[1000];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200239 mbedtls_rsa_context *rsa;
240 mbedtls_pk_context pk;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200241 mbedtls_pk_restart_ctx *rs_ctx = NULL;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200242#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200243 mbedtls_pk_restart_ctx ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200244
245 rs_ctx = &ctx;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200246 mbedtls_pk_restart_init( rs_ctx );
Manuel Pégourié-Gonnard4edb9cb2018-07-02 12:23:23 +0200247 // this setting would ensure restart would happen if ECC was used
248 mbedtls_ecp_set_max_ops( 1 );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200249#endif
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200250
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200251 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200252
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200253 memset( hash_result, 0x00, 1000 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200254
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200255 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200256 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200257
Paul Bakker42099c32014-01-27 11:45:49 +0100258 rsa->len = mod / 8;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200259 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->N, radix_N, input_N ) == 0 );
260 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200261
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200262
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200263 if( mbedtls_md_info_from_type( digest ) != NULL )
Azim Khand30ca132017-06-09 04:32:58 +0100264 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 +0200265
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200266 TEST_ASSERT( mbedtls_pk_verify( &pk, digest, hash_result, 0,
Azim Khand30ca132017-06-09 04:32:58 +0100267 result_str->x, mbedtls_pk_get_len( &pk ) ) == result );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200268
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200269 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, digest, hash_result, 0,
Manuel Pégourié-Gonnard125af942018-09-11 11:08:12 +0200270 result_str->x, mbedtls_pk_get_len( &pk ), rs_ctx ) == result );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200271
Paul Bakkerbd51b262014-07-10 15:26:12 +0200272exit:
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200273#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200274 mbedtls_pk_restart_free( rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200275#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200276 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200277}
278/* END_CASE */
279
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200280/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100281void pk_rsa_verify_ext_test_vec( data_t * message_str, int digest,
Azim Khand30ca132017-06-09 04:32:58 +0100282 int mod, int radix_N, char * input_N,
283 int radix_E, char * input_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100284 data_t * result_str, int pk_type,
Azim Khanf1aaec92017-05-30 14:23:15 +0100285 int mgf1_hash_id, int salt_len, int result )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200286{
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200287 unsigned char hash_result[1000];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200288 mbedtls_rsa_context *rsa;
289 mbedtls_pk_context pk;
290 mbedtls_pk_rsassa_pss_options pss_opts;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200291 void *options;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200292 size_t hash_len;
293
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200294 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200295
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200296 memset( hash_result, 0x00, 1000 );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200297
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200298 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200299 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200300
301 rsa->len = mod / 8;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200302 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->N, radix_N, input_N ) == 0 );
303 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200304
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200305
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200306 if( digest != MBEDTLS_MD_NONE )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200307 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200308 TEST_ASSERT( mbedtls_md( mbedtls_md_info_from_type( digest ),
Azim Khand30ca132017-06-09 04:32:58 +0100309 message_str->x, message_str->len, hash_result ) == 0 );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200310 hash_len = 0;
311 }
312 else
313 {
Azim Khand30ca132017-06-09 04:32:58 +0100314 memcpy( hash_result, message_str->x, message_str->len );
315 hash_len = message_str->len;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200316 }
317
318 if( mgf1_hash_id < 0 )
319 {
320 options = NULL;
321 }
322 else
323 {
324 options = &pss_opts;
325
326 pss_opts.mgf1_hash_id = mgf1_hash_id;
327 pss_opts.expected_salt_len = salt_len;
328 }
329
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200330 TEST_ASSERT( mbedtls_pk_verify_ext( pk_type, options, &pk,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200331 digest, hash_result, hash_len,
Azim Khand30ca132017-06-09 04:32:58 +0100332 result_str->x, mbedtls_pk_get_len( &pk ) ) == result );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200333
Paul Bakkerbd51b262014-07-10 15:26:12 +0200334exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200335 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200336}
337/* END_CASE */
338
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200339/* BEGIN_CASE depends_on:MBEDTLS_ECDSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100340void pk_ec_test_vec( int type, int id, data_t * key, data_t * hash,
341 data_t * sig, int ret )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200342{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200343 mbedtls_pk_context pk;
344 mbedtls_ecp_keypair *eckey;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200345
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200346 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200347
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200348
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200349 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200350
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200351 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_ECDSA ) );
352 eckey = mbedtls_pk_ec( pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200353
Manuel Pégourié-Gonnarde3a062b2015-05-11 18:46:47 +0200354 TEST_ASSERT( mbedtls_ecp_group_load( &eckey->grp, id ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200355 TEST_ASSERT( mbedtls_ecp_point_read_binary( &eckey->grp, &eckey->Q,
Azim Khand30ca132017-06-09 04:32:58 +0100356 key->x, key->len ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200357
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200358 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_NONE,
Azim Khand30ca132017-06-09 04:32:58 +0100359 hash->x, hash->len, sig->x, sig->len ) == ret );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200360
Paul Bakkerbd51b262014-07-10 15:26:12 +0200361exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200362 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200363}
364/* END_CASE */
365
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200366/* BEGIN_CASE depends_on:MBEDTLS_ECP_RESTARTABLE:MBEDTLS_ECDSA_C:MBEDTLS_ECDSA_DETERMINISTIC */
367void pk_sign_verify_restart( int pk_type, int grp_id, char *d_str,
368 char *QX_str, char *QY_str,
369 int md_alg, char *msg, char *sig_str,
370 int max_ops, int min_restart, int max_restart )
371{
372 int ret, cnt_restart;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200373 mbedtls_pk_restart_ctx rs_ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200374 mbedtls_pk_context prv, pub;
375 unsigned char hash[MBEDTLS_MD_MAX_SIZE];
376 unsigned char sig[MBEDTLS_ECDSA_MAX_LEN];
377 unsigned char sig_check[MBEDTLS_ECDSA_MAX_LEN];
378 size_t hlen, slen, slen_check;
379 const mbedtls_md_info_t *md_info;
380
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200381 mbedtls_pk_restart_init( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200382 mbedtls_pk_init( &prv );
383 mbedtls_pk_init( &pub );
384 memset( hash, 0, sizeof( hash ) );
385 memset( sig, 0, sizeof( sig ) );
386 memset( sig_check, 0, sizeof( sig_check ) );
387
388 TEST_ASSERT( mbedtls_pk_setup( &prv, mbedtls_pk_info_from_type( pk_type ) ) == 0 );
389 TEST_ASSERT( mbedtls_ecp_group_load( &mbedtls_pk_ec( prv )->grp, grp_id ) == 0 );
390 TEST_ASSERT( mbedtls_mpi_read_string( &mbedtls_pk_ec( prv )->d, 16, d_str ) == 0 );
391
392 TEST_ASSERT( mbedtls_pk_setup( &pub, mbedtls_pk_info_from_type( pk_type ) ) == 0 );
393 TEST_ASSERT( mbedtls_ecp_group_load( &mbedtls_pk_ec( pub )->grp, grp_id ) == 0 );
394 TEST_ASSERT( mbedtls_ecp_point_read_string( &mbedtls_pk_ec( pub )->Q, 16, QX_str, QY_str ) == 0 );
395
396 slen_check = unhexify( sig_check, sig_str );
397
398 md_info = mbedtls_md_info_from_type( md_alg );
399 TEST_ASSERT( md_info != NULL );
400
401 hlen = mbedtls_md_get_size( md_info );
402 mbedtls_md( md_info, (const unsigned char *) msg, strlen( msg ), hash );
403
404 mbedtls_ecp_set_max_ops( max_ops );
405
406 slen = sizeof( sig );
407 cnt_restart = 0;
408 do {
409 ret = mbedtls_pk_sign_restartable( &prv, md_alg, hash, hlen,
410 sig, &slen, NULL, NULL, &rs_ctx );
411 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
412
413 TEST_ASSERT( ret == 0 );
414 TEST_ASSERT( slen == slen_check );
415 TEST_ASSERT( memcmp( sig, sig_check, slen ) == 0 );
416
417 TEST_ASSERT( cnt_restart >= min_restart );
418 TEST_ASSERT( cnt_restart <= max_restart );
419
420 cnt_restart = 0;
421 do {
422 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
423 hash, hlen, sig, slen, &rs_ctx );
424 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
425
426 TEST_ASSERT( ret == 0 );
427 TEST_ASSERT( cnt_restart >= min_restart );
428 TEST_ASSERT( cnt_restart <= max_restart );
429
430 hash[0]++;
431 do {
432 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
433 hash, hlen, sig, slen, &rs_ctx );
434 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
435 TEST_ASSERT( ret != 0 );
436 hash[0]--;
437
438 sig[0]++;
439 do {
440 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
441 hash, hlen, sig, slen, &rs_ctx );
442 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
443 TEST_ASSERT( ret != 0 );
444 sig[0]--;
445
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200446 /* Do we leak memory when aborting? try verify then sign
447 * This test only makes sense when we actually restart */
448 if( min_restart > 0 )
449 {
450 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
451 hash, hlen, sig, slen, &rs_ctx );
452 TEST_ASSERT( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
453 mbedtls_pk_restart_free( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200454
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200455 slen = sizeof( sig );
456 ret = mbedtls_pk_sign_restartable( &prv, md_alg, hash, hlen,
457 sig, &slen, NULL, NULL, &rs_ctx );
458 TEST_ASSERT( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
459 }
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200460
461exit:
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200462 mbedtls_pk_restart_free( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200463 mbedtls_pk_free( &prv );
464 mbedtls_pk_free( &pub );
465}
466/* END_CASE */
467
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200468/* BEGIN_CASE depends_on:MBEDTLS_SHA256_C */
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200469void pk_sign_verify( int type, int sign_ret, int verify_ret )
470{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200471 mbedtls_pk_context pk;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200472 unsigned char hash[50], sig[5000];
473 size_t sig_len;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200474 void *rs_ctx = NULL;
475#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200476 mbedtls_pk_restart_ctx ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200477
478 rs_ctx = &ctx;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200479 mbedtls_pk_restart_init( rs_ctx );
Manuel Pégourié-Gonnard4edb9cb2018-07-02 12:23:23 +0200480 /* This value is large enough that the operation will complete in one run.
481 * See comments at the top of ecp_test_vect_restart in
482 * test_suite_ecp.function for estimates of operation counts. */
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200483 mbedtls_ecp_set_max_ops( 42000 );
484#endif
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200485
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200486 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200487
488 memset( hash, 0x2a, sizeof hash );
489 memset( sig, 0, sizeof sig );
490
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200491 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200492 TEST_ASSERT( pk_genkey( &pk ) == 0 );
493
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200494 TEST_ASSERT( mbedtls_pk_sign_restartable( &pk, MBEDTLS_MD_SHA256,
495 hash, sizeof hash, sig, &sig_len,
496 rnd_std_rand, NULL, rs_ctx ) == sign_ret );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200497
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200498 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200499 hash, sizeof hash, sig, sig_len ) == verify_ret );
500
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200501 if( verify_ret == 0 )
502 {
503 hash[0]++;
504 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
505 hash, sizeof hash, sig, sig_len ) != 0 );
506 hash[0]--;
507
508 sig[0]++;
509 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
510 hash, sizeof hash, sig, sig_len ) != 0 );
511 sig[0]--;
512 }
513
514 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_SHA256, hash, sizeof hash,
515 sig, &sig_len, rnd_std_rand, NULL ) == sign_ret );
516
517 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
518 hash, sizeof hash, sig, sig_len, rs_ctx ) == verify_ret );
519
520 if( verify_ret == 0 )
521 {
522 hash[0]++;
523 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
524 hash, sizeof hash, sig, sig_len, rs_ctx ) != 0 );
525 hash[0]--;
526
527 sig[0]++;
528 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
529 hash, sizeof hash, sig, sig_len, rs_ctx ) != 0 );
530 sig[0]--;
531 }
532
Paul Bakkerbd51b262014-07-10 15:26:12 +0200533exit:
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200534#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200535 mbedtls_pk_restart_free( rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200536#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200537 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200538}
539/* END_CASE */
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200540
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200541/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100542void pk_rsa_encrypt_test_vec( data_t * message, int mod, int radix_N,
Azim Khand30ca132017-06-09 04:32:58 +0100543 char * input_N, int radix_E, char * input_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100544 data_t * result, int ret )
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200545{
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200546 unsigned char output[1000];
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200547 rnd_pseudo_info rnd_info;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200548 mbedtls_rsa_context *rsa;
549 mbedtls_pk_context pk;
Azim Khanf1aaec92017-05-30 14:23:15 +0100550 size_t olen;
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200551
552 memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200553 memset( output, 0, sizeof( output ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200554
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200555
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200556 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200557 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200558 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200559
560 rsa->len = mod / 8;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200561 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->N, radix_N, input_N ) == 0 );
562 TEST_ASSERT( mbedtls_mpi_read_string( &rsa->E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200563
Azim Khand30ca132017-06-09 04:32:58 +0100564 TEST_ASSERT( mbedtls_pk_encrypt( &pk, message->x, message->len,
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200565 output, &olen, sizeof( output ),
566 rnd_pseudo_rand, &rnd_info ) == ret );
Azim Khand30ca132017-06-09 04:32:58 +0100567 TEST_ASSERT( olen == result->len );
568 TEST_ASSERT( memcmp( output, result->x, olen ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200569
Paul Bakkerbd51b262014-07-10 15:26:12 +0200570exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200571 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200572}
573/* END_CASE */
574
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200575/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100576void pk_rsa_decrypt_test_vec( data_t * cipher, int mod, int radix_P,
Azim Khand30ca132017-06-09 04:32:58 +0100577 char * input_P, int radix_Q, char * input_Q,
578 int radix_N, char * input_N, int radix_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100579 char * input_E, data_t * clear, int ret )
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200580{
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200581 unsigned char output[1000];
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200582 rnd_pseudo_info rnd_info;
Hanno Beckerd71dc152017-08-23 06:32:42 +0100583 mbedtls_mpi N, P, Q, E;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200584 mbedtls_rsa_context *rsa;
585 mbedtls_pk_context pk;
Azim Khanf1aaec92017-05-30 14:23:15 +0100586 size_t olen;
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200587
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200588 mbedtls_pk_init( &pk );
Hanno Beckerd71dc152017-08-23 06:32:42 +0100589 mbedtls_mpi_init( &N ); mbedtls_mpi_init( &P );
590 mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &E );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200591
592 memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200593
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200594
595 /* init pk-rsa context */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200596 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200597 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200598
599 /* load public key */
Hanno Beckerd71dc152017-08-23 06:32:42 +0100600 TEST_ASSERT( mbedtls_mpi_read_string( &N, radix_N, input_N ) == 0 );
601 TEST_ASSERT( mbedtls_mpi_read_string( &E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200602
603 /* load private key */
Hanno Beckerd71dc152017-08-23 06:32:42 +0100604 TEST_ASSERT( mbedtls_mpi_read_string( &P, radix_P, input_P ) == 0 );
605 TEST_ASSERT( mbedtls_mpi_read_string( &Q, radix_Q, input_Q ) == 0 );
606 TEST_ASSERT( mbedtls_rsa_import( rsa, &N, &P, &Q, NULL, &E ) == 0 );
607 TEST_ASSERT( mbedtls_rsa_get_len( rsa ) == (size_t) ( mod / 8 ) );
Hanno Becker7f25f852017-10-10 16:56:22 +0100608 TEST_ASSERT( mbedtls_rsa_complete( rsa ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200609
610 /* decryption test */
611 memset( output, 0, sizeof( output ) );
612 olen = 0;
Azim Khand30ca132017-06-09 04:32:58 +0100613 TEST_ASSERT( mbedtls_pk_decrypt( &pk, cipher->x, cipher->len,
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200614 output, &olen, sizeof( output ),
615 rnd_pseudo_rand, &rnd_info ) == ret );
616 if( ret == 0 )
617 {
Azim Khand30ca132017-06-09 04:32:58 +0100618 TEST_ASSERT( olen == clear->len );
619 TEST_ASSERT( memcmp( output, clear->x, olen ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200620 }
621
Paul Bakkerbd51b262014-07-10 15:26:12 +0200622exit:
Hanno Beckerd71dc152017-08-23 06:32:42 +0100623 mbedtls_mpi_free( &N ); mbedtls_mpi_free( &P );
624 mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &E );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200625 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200626}
627/* END_CASE */
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200628
629/* BEGIN_CASE */
630void pk_ec_nocrypt( int type )
631{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200632 mbedtls_pk_context pk;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200633 unsigned char output[100];
634 unsigned char input[100];
635 rnd_pseudo_info rnd_info;
636 size_t olen = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200637 int ret = MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200638
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200639 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200640
641 memset( &rnd_info, 0, sizeof( rnd_pseudo_info ) );
642 memset( output, 0, sizeof( output ) );
643 memset( input, 0, sizeof( input ) );
644
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200645 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200646
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200647 TEST_ASSERT( mbedtls_pk_encrypt( &pk, input, sizeof( input ),
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200648 output, &olen, sizeof( output ),
649 rnd_pseudo_rand, &rnd_info ) == ret );
650
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200651 TEST_ASSERT( mbedtls_pk_decrypt( &pk, input, sizeof( input ),
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200652 output, &olen, sizeof( output ),
653 rnd_pseudo_rand, &rnd_info ) == ret );
654
Paul Bakkerbd51b262014-07-10 15:26:12 +0200655exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200656 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200657}
658/* END_CASE */
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200659
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100660/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Andres AG5c79d252017-02-15 10:52:32 +0000661void pk_rsa_overflow( )
662{
663 mbedtls_pk_context pk;
itayzafrir693a1d92018-02-26 12:02:10 +0200664 size_t hash_len = SIZE_MAX, sig_len = SIZE_MAX;
665 unsigned char hash[50], sig[100];
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100666
667 if( SIZE_MAX <= UINT_MAX )
668 return;
Andres AG5c79d252017-02-15 10:52:32 +0000669
itayzafrir693a1d92018-02-26 12:02:10 +0200670 memset( hash, 0x2a, sizeof hash );
671 memset( sig, 0, sizeof sig );
Andres AG5c79d252017-02-15 10:52:32 +0000672
673 mbedtls_pk_init( &pk );
674
675 TEST_ASSERT( mbedtls_pk_setup( &pk,
676 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
677
678#if defined(MBEDTLS_PKCS1_V21)
679 TEST_ASSERT( mbedtls_pk_verify_ext( MBEDTLS_PK_RSASSA_PSS, NULL, &pk,
itayzafrir693a1d92018-02-26 12:02:10 +0200680 MBEDTLS_MD_NONE, hash, hash_len, sig, sig_len ) ==
Andres AG5c79d252017-02-15 10:52:32 +0000681 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
682#endif /* MBEDTLS_PKCS1_V21 */
683
itayzafrir693a1d92018-02-26 12:02:10 +0200684 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_NONE, hash, hash_len,
685 sig, sig_len ) == MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres AG5c79d252017-02-15 10:52:32 +0000686
itayzafrir693a1d92018-02-26 12:02:10 +0200687 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_NONE, hash, hash_len, sig, &sig_len,
Andres AG5c79d252017-02-15 10:52:32 +0000688 rnd_std_rand, NULL ) == MBEDTLS_ERR_PK_BAD_INPUT_DATA );
689
690exit:
691 mbedtls_pk_free( &pk );
692}
693/* END_CASE */
694
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200695/* BEGIN_CASE depends_on:MBEDTLS_RSA_C:MBEDTLS_PK_RSA_ALT_SUPPORT */
Azim Khanf1aaec92017-05-30 14:23:15 +0100696void pk_rsa_alt( )
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200697{
698 /*
699 * An rsa_alt context can only do private operations (decrypt, sign).
700 * Test it against the public operations (encrypt, verify) of a
701 * corresponding rsa context.
702 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200703 mbedtls_rsa_context raw;
704 mbedtls_pk_context rsa, alt;
705 mbedtls_pk_debug_item dbg_items[10];
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200706 unsigned char hash[50], sig[1000];
707 unsigned char msg[50], ciph[1000], test[1000];
708 size_t sig_len, ciph_len, test_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200709 int ret = MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200710
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200711 mbedtls_rsa_init( &raw, MBEDTLS_RSA_PKCS_V15, MBEDTLS_MD_NONE );
712 mbedtls_pk_init( &rsa ); mbedtls_pk_init( &alt );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200713
714 memset( hash, 0x2a, sizeof hash );
715 memset( sig, 0, sizeof sig );
716 memset( msg, 0x2a, sizeof msg );
717 memset( ciph, 0, sizeof ciph );
718 memset( test, 0, sizeof test );
719
720 /* Initiliaze PK RSA context with random key */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200721 TEST_ASSERT( mbedtls_pk_setup( &rsa,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200722 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200723 TEST_ASSERT( pk_genkey( &rsa ) == 0 );
724
725 /* Extract key to the raw rsa context */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200726 TEST_ASSERT( mbedtls_rsa_copy( &raw, mbedtls_pk_rsa( rsa ) ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200727
728 /* Initialize PK RSA_ALT context */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200729 TEST_ASSERT( mbedtls_pk_setup_rsa_alt( &alt, (void *) &raw,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200730 mbedtls_rsa_decrypt_func, mbedtls_rsa_sign_func, mbedtls_rsa_key_len_func ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200731
732 /* Test administrative functions */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200733 TEST_ASSERT( mbedtls_pk_can_do( &alt, MBEDTLS_PK_RSA ) );
Manuel Pégourié-Gonnard097c7bb2015-06-18 16:43:38 +0200734 TEST_ASSERT( mbedtls_pk_get_bitlen( &alt ) == RSA_KEY_SIZE );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200735 TEST_ASSERT( mbedtls_pk_get_len( &alt ) == RSA_KEY_LEN );
736 TEST_ASSERT( mbedtls_pk_get_type( &alt ) == MBEDTLS_PK_RSA_ALT );
737 TEST_ASSERT( strcmp( mbedtls_pk_get_name( &alt ), "RSA-alt" ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200738
739 /* Test signature */
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100740#if SIZE_MAX > UINT_MAX
741 TEST_ASSERT( mbedtls_pk_sign( &alt, MBEDTLS_MD_NONE, hash, SIZE_MAX,
742 sig, &sig_len, rnd_std_rand, NULL ) ==
Andres AG5c79d252017-02-15 10:52:32 +0000743 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +0100744#endif /* SIZE_MAX > UINT_MAX */
745 TEST_ASSERT( mbedtls_pk_sign( &alt, MBEDTLS_MD_NONE, hash, sizeof hash,
746 sig, &sig_len, rnd_std_rand, NULL ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200747 TEST_ASSERT( sig_len == RSA_KEY_LEN );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200748 TEST_ASSERT( mbedtls_pk_verify( &rsa, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200749 hash, sizeof hash, sig, sig_len ) == 0 );
750
751 /* Test decrypt */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200752 TEST_ASSERT( mbedtls_pk_encrypt( &rsa, msg, sizeof msg,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200753 ciph, &ciph_len, sizeof ciph,
754 rnd_std_rand, NULL ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200755 TEST_ASSERT( mbedtls_pk_decrypt( &alt, ciph, ciph_len,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200756 test, &test_len, sizeof test,
757 rnd_std_rand, NULL ) == 0 );
758 TEST_ASSERT( test_len == sizeof msg );
759 TEST_ASSERT( memcmp( test, msg, test_len ) == 0 );
760
761 /* Test forbidden operations */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200762 TEST_ASSERT( mbedtls_pk_encrypt( &alt, msg, sizeof msg,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200763 ciph, &ciph_len, sizeof ciph,
764 rnd_std_rand, NULL ) == ret );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200765 TEST_ASSERT( mbedtls_pk_verify( &alt, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200766 hash, sizeof hash, sig, sig_len ) == ret );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200767 TEST_ASSERT( mbedtls_pk_debug( &alt, dbg_items ) == ret );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200768
Paul Bakkerbd51b262014-07-10 15:26:12 +0200769exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200770 mbedtls_rsa_free( &raw );
771 mbedtls_pk_free( &rsa ); mbedtls_pk_free( &alt );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200772}
773/* END_CASE */
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +0100774
775/* BEGIN_CASE depends_on:MBEDTLS_SHA256_C:MBEDTLS_USE_PSA_CRYPTO:MBEDTLS_ECDSA_C:MBEDTLS_ECP_DP_SECP256R1_ENABLED */
776void pk_psa_sign( )
777{
778 mbedtls_pk_context pk;
779 psa_key_slot_t key;
780 unsigned char hash[50], sig[100], pkey[100];
781 size_t sig_len, klen = 0;
782
783 /*
784 * This tests making signatures with a wrapped PSA key:
785 * - generate a fresh PSA key
786 * - wrap it in a PK context and make a signature this way
787 * - extract the public key
788 * - parse it to a PK context and verify the signature this way
789 */
790
791 mbedtls_pk_init( &pk );
792
793 memset( hash, 0x2a, sizeof hash );
794 memset( sig, 0, sizeof sig );
795 memset( pkey, 0, sizeof pkey );
796
797 key = pk_psa_genkey();
798 TEST_ASSERT( key != 0 );
799
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100800 TEST_ASSERT( mbedtls_pk_setup_opaque( &pk, key ) == 0 );
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +0100801
802 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_SHA256,
803 hash, sizeof hash, sig, &sig_len,
804 NULL, NULL ) == 0 );
805
806 mbedtls_pk_free( &pk );
807
808 TEST_ASSERT( PSA_SUCCESS == psa_export_public_key(
809 key, pkey, sizeof( pkey ), &klen ) );
810 TEST_ASSERT( PSA_SUCCESS == psa_destroy_key( key ) );
811
812 mbedtls_pk_init( &pk );
813
814 TEST_ASSERT( mbedtls_pk_parse_public_key( &pk, pkey, klen ) == 0 );
815
816
817 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
818 hash, sizeof hash, sig, sig_len ) == 0 );
819
820exit:
821 mbedtls_pk_free( &pk );
822}
823/* END_CASE */