blob: 1899b269c90a8d6940c53a658d0a8f858ec9c5d9 [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 */
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05005#include "mbedtls/asn1.h"
6#include "mbedtls/base64.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00007#include "mbedtls/ecp.h"
8#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +01009
Manuel Pégourié-Gonnard6a0a1602022-07-05 12:09:04 +020010#include "md_internal.h"
Manuel Pégourié-Gonnard043c8c52022-07-08 10:33:44 +020011#include "use_psa_helpers.h"
Manuel Pégourié-Gonnard6a0a1602022-07-05 12:09:04 +020012
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +010013#include <limits.h>
Andres Amaya Garcia6ff067d2017-06-09 14:26:59 +010014#include <stdint.h>
Andres AG5c79d252017-02-15 10:52:32 +000015
Gilles Peskine33b1c692019-12-19 00:09:47 +010016/* Needed only for test case data under #if defined(MBEDTLS_USE_PSA_CRYPTO),
17 * but the test code generator requires test case data to be valid C code
Dave Rodgman017a1992022-03-31 14:07:01 +010018 * unconditionally (https://github.com/Mbed-TLS/mbedtls/issues/2023). */
Gilles Peskine33b1c692019-12-19 00:09:47 +010019#include "psa/crypto.h"
20
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020021#define RSA_KEY_SIZE 512
22#define RSA_KEY_LEN 64
23
Gilles Peskinee48fe552019-11-05 16:42:13 +010024/** Generate a key of the desired type.
25 *
26 * \param pk The PK object to fill. It must have been initialized
27 * with mbedtls_pk_setup().
28 * \param parameter - For RSA keys, the key size in bits.
29 * - For EC keys, the curve (\c MBEDTLS_ECP_DP_xxx).
30 *
31 * \return The status from the underlying type-specific key
32 * generation function.
33 * \return -1 if the key type is not recognized.
34 */
35static int pk_genkey( mbedtls_pk_context *pk, int parameter )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020036{
Paul Bakkera5320902013-12-19 17:29:52 +010037 ((void) pk);
Gilles Peskinee48fe552019-11-05 16:42:13 +010038 (void) parameter;
Paul Bakkera5320902013-12-19 17:29:52 +010039
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_GENPRIME)
41 if( mbedtls_pk_get_type( pk ) == MBEDTLS_PK_RSA )
Gilles Peskinee48fe552019-11-05 16:42:13 +010042 return mbedtls_rsa_gen_key( mbedtls_pk_rsa( *pk ),
Ronald Cron351f0ee2020-06-10 12:12:18 +020043 mbedtls_test_rnd_std_rand, NULL,
Gilles Peskinee48fe552019-11-05 16:42:13 +010044 parameter, 3 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020045#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020046#if defined(MBEDTLS_ECP_C)
47 if( mbedtls_pk_get_type( pk ) == MBEDTLS_PK_ECKEY ||
48 mbedtls_pk_get_type( pk ) == MBEDTLS_PK_ECKEY_DH ||
49 mbedtls_pk_get_type( pk ) == MBEDTLS_PK_ECDSA )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020050 {
51 int ret;
Manuel Pégourié-Gonnarde3a062b2015-05-11 18:46:47 +020052 if( ( ret = mbedtls_ecp_group_load( &mbedtls_pk_ec( *pk )->grp,
Gilles Peskinee48fe552019-11-05 16:42:13 +010053 parameter ) ) != 0 )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020054 return( ret );
55
Ronald Cron6c5bd7f2020-06-10 14:08:26 +020056 return mbedtls_ecp_gen_keypair( &mbedtls_pk_ec( *pk )->grp,
57 &mbedtls_pk_ec( *pk )->d,
58 &mbedtls_pk_ec( *pk )->Q,
59 mbedtls_test_rnd_std_rand, NULL );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020060 }
61#endif
62 return( -1 );
63}
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020064
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020065#if defined(MBEDTLS_RSA_C)
Thomas Daubney99914142021-05-06 15:17:03 +010066int mbedtls_rsa_decrypt_func( void *ctx, size_t *olen,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020067 const unsigned char *input, unsigned char *output,
68 size_t output_max_len )
69{
Hanno Becker6ac972d2017-09-07 10:57:48 +010070 return( mbedtls_rsa_pkcs1_decrypt( (mbedtls_rsa_context *) ctx,
Thomas Daubney99914142021-05-06 15:17:03 +010071 mbedtls_test_rnd_std_rand, NULL,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +020072 olen, input, output, output_max_len ) );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020073}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020074int mbedtls_rsa_sign_func( void *ctx,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020075 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
Thomas Daubneyfa1581e2021-05-18 12:38:33 +010076 mbedtls_md_type_t md_alg, unsigned int hashlen,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020077 const unsigned char *hash, unsigned char *sig )
78{
Hanno Beckera5400682017-05-03 16:43:15 +010079 ((void) f_rng);
80 ((void) p_rng);
Ronald Cron6c5bd7f2020-06-10 14:08:26 +020081 return( mbedtls_rsa_pkcs1_sign( (mbedtls_rsa_context *) ctx,
Thomas Daubney140184d2021-05-18 16:04:07 +010082 mbedtls_test_rnd_std_rand, NULL,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +020083 md_alg, hashlen, hash, sig ) );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020084}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020085size_t mbedtls_rsa_key_len_func( void *ctx )
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020086{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020087 return( ((const mbedtls_rsa_context *) ctx)->len );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020088}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020089#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010090
91#if defined(MBEDTLS_USE_PSA_CRYPTO)
92
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010093/*
Neil Armstrong0cd78dd2022-03-15 14:20:20 +010094 * Generate an ECC key using PSA and return the key identifier of that key,
Gilles Peskined2d45c12019-05-27 14:53:13 +020095 * or 0 if the key generation failed.
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010096 * The key uses NIST P-256 and is usable for signing with SHA-256.
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010097 */
Neil Armstrong0cd78dd2022-03-15 14:20:20 +010098mbedtls_svc_key_id_t pk_psa_genkey_ecc( void )
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010099{
Ronald Cron5425a212020-08-04 14:58:35 +0200100 mbedtls_svc_key_id_t key;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200101 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Gilles Peskine89177e82019-12-03 21:19:09 +0100102 const psa_key_type_t type =
Paul Elliott8ff510a2020-06-02 17:19:28 +0100103 PSA_KEY_TYPE_ECC_KEY_PAIR( PSA_ECC_FAMILY_SECP_R1 );
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100104 const size_t bits = 256;
105
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100106 psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_SIGN_HASH );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200107 psa_set_key_algorithm( &attributes, PSA_ALG_ECDSA(PSA_ALG_SHA_256) );
108 psa_set_key_type( &attributes, type );
109 psa_set_key_bits( &attributes, bits );
110 PSA_ASSERT( psa_generate_key( &attributes, &key ) );
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100111
Gilles Peskined2d45c12019-05-27 14:53:13 +0200112exit:
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100113 return( key );
114}
Neil Armstrong0cd78dd2022-03-15 14:20:20 +0100115
116/*
117 * Generate an RSA key using PSA and return the key identifier of that key,
118 * or 0 if the key generation failed.
119 */
120mbedtls_svc_key_id_t pk_psa_genkey_rsa( void )
121{
122 mbedtls_svc_key_id_t key;
123 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
124 const psa_key_type_t type = PSA_KEY_TYPE_RSA_KEY_PAIR;
Neil Armstrongcb874032022-04-08 15:14:40 +0200125 const size_t bits = 1024;
Neil Armstrong0cd78dd2022-03-15 14:20:20 +0100126
127 psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_SIGN_HASH );
128 psa_set_key_algorithm( &attributes, PSA_ALG_RSA_PKCS1V15_SIGN_RAW );
129 psa_set_key_type( &attributes, type );
130 psa_set_key_bits( &attributes, bits );
131 PSA_ASSERT( psa_generate_key( &attributes, &key ) );
132
133exit:
134 return( key );
135}
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100136#endif /* MBEDTLS_USE_PSA_CRYPTO */
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200137/* END_HEADER */
138
139/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200140 * depends_on:MBEDTLS_PK_C
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200141 * END_DEPENDENCIES
142 */
143
Neil Armstrong0cd78dd2022-03-15 14:20:20 +0100144/* BEGIN_CASE depends_on:MBEDTLS_USE_PSA_CRYPTO */
145void pk_psa_utils( int key_is_rsa )
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100146{
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100147 mbedtls_pk_context pk, pk2;
Ronald Cron5425a212020-08-04 14:58:35 +0200148 mbedtls_svc_key_id_t key;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200149 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100150
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100151 const char * const name = "Opaque";
Neil Armstrongcb874032022-04-08 15:14:40 +0200152 size_t bitlen;
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100153
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100154 mbedtls_md_type_t md_alg = MBEDTLS_MD_NONE;
155 unsigned char b1[1], b2[1];
156 size_t len;
157 mbedtls_pk_debug_item dbg;
158
Gilles Peskine5386f6b2019-08-01 12:47:40 +0200159 PSA_ASSERT( psa_crypto_init( ) );
Jaeden Amero3ea26872019-02-13 11:30:22 +0000160
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100161 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100162 mbedtls_pk_init( &pk2 );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100163
Gilles Peskine614faa22019-06-07 15:39:07 +0200164 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
Gilles Peskine69c0ea22019-06-07 15:38:59 +0200165
Ronald Cron5425a212020-08-04 14:58:35 +0200166 TEST_ASSERT( mbedtls_pk_setup_opaque( &pk, MBEDTLS_SVC_KEY_ID_INIT ) ==
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100167 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
168
169 mbedtls_pk_free( &pk );
170 mbedtls_pk_init( &pk );
171
Neil Armstrong0cd78dd2022-03-15 14:20:20 +0100172 if( key_is_rsa )
Neil Armstrongcb874032022-04-08 15:14:40 +0200173 {
Andrzej Kurek5c65c572022-04-13 14:28:52 -0400174 bitlen = 1024; /* hardcoded in genkey() */
Neil Armstrong0cd78dd2022-03-15 14:20:20 +0100175 key = pk_psa_genkey_rsa();
Neil Armstrongcb874032022-04-08 15:14:40 +0200176 }
Neil Armstrong0cd78dd2022-03-15 14:20:20 +0100177 else
Neil Armstrongcb874032022-04-08 15:14:40 +0200178 {
Andrzej Kurek5c65c572022-04-13 14:28:52 -0400179 bitlen = 256; /* hardcoded in genkey() */
Neil Armstrong0cd78dd2022-03-15 14:20:20 +0100180 key = pk_psa_genkey_ecc();
Neil Armstrongcb874032022-04-08 15:14:40 +0200181 }
Ronald Cron5425a212020-08-04 14:58:35 +0200182 if( mbedtls_svc_key_id_is_null( key ) )
Gilles Peskined2d45c12019-05-27 14:53:13 +0200183 goto exit;
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100184
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100185 TEST_ASSERT( mbedtls_pk_setup_opaque( &pk, key ) == 0 );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100186
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100187 TEST_ASSERT( mbedtls_pk_get_type( &pk ) == MBEDTLS_PK_OPAQUE );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100188 TEST_ASSERT( strcmp( mbedtls_pk_get_name( &pk), name ) == 0 );
189
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100190 TEST_ASSERT( mbedtls_pk_get_bitlen( &pk ) == bitlen );
191 TEST_ASSERT( mbedtls_pk_get_len( &pk ) == bitlen / 8 );
192
Neil Armstrong0cd78dd2022-03-15 14:20:20 +0100193 if( key_is_rsa )
194 {
195 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_ECKEY ) == 0 );
196 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_ECDSA ) == 0 );
197 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_RSA ) == 1 );
198 }
199 else
200 {
201 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_ECKEY ) == 1 );
202 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_ECDSA ) == 1 );
203 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_RSA ) == 0 );
204 }
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100205
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100206 /* unsupported operations: verify, decrypt, encrypt */
207 TEST_ASSERT( mbedtls_pk_verify( &pk, md_alg,
208 b1, sizeof( b1), b2, sizeof( b2 ) )
209 == MBEDTLS_ERR_PK_TYPE_MISMATCH );
Neil Armstrongb32ae722022-04-22 15:02:47 +0200210 if( key_is_rsa == 0 )
211 {
212 TEST_ASSERT( mbedtls_pk_decrypt( &pk, b1, sizeof( b1 ),
213 b2, &len, sizeof( b2 ),
214 NULL, NULL )
215 == MBEDTLS_ERR_PK_TYPE_MISMATCH );
216 }
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100217 TEST_ASSERT( mbedtls_pk_encrypt( &pk, b1, sizeof( b1 ),
218 b2, &len, sizeof( b2 ),
219 NULL, NULL )
220 == MBEDTLS_ERR_PK_TYPE_MISMATCH );
221
222 /* unsupported functions: check_pair, debug */
Neil Armstrong0cd78dd2022-03-15 14:20:20 +0100223 if( key_is_rsa )
224 TEST_ASSERT( mbedtls_pk_setup( &pk2,
225 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
226 else
227 TEST_ASSERT( mbedtls_pk_setup( &pk2,
228 mbedtls_pk_info_from_type( MBEDTLS_PK_ECKEY ) ) == 0 );
Manuel Pégourié-Gonnard39be1412021-06-15 11:29:26 +0200229 TEST_ASSERT( mbedtls_pk_check_pair( &pk, &pk2,
230 mbedtls_test_rnd_std_rand, NULL )
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100231 == MBEDTLS_ERR_PK_TYPE_MISMATCH );
232 TEST_ASSERT( mbedtls_pk_debug( &pk, &dbg )
233 == MBEDTLS_ERR_PK_TYPE_MISMATCH );
234
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100235 /* test that freeing the context does not destroy the key */
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100236 mbedtls_pk_free( &pk );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200237 TEST_ASSERT( PSA_SUCCESS == psa_get_key_attributes( key, &attributes ) );
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100238 TEST_ASSERT( PSA_SUCCESS == psa_destroy_key( key ) );
239
240exit:
Ronald Cron3a4f0e32020-11-19 17:55:23 +0100241 /*
242 * Key attributes may have been returned by psa_get_key_attributes()
243 * thus reset them as required.
244 */
245 psa_reset_key_attributes( &attributes );
246
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100247 mbedtls_pk_free( &pk ); /* redundant except upon error */
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100248 mbedtls_pk_free( &pk2 );
Gilles Peskine9de97e22021-02-02 21:00:11 +0100249 USE_PSA_DONE( );
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100250}
251/* END_CASE */
252
Neil Armstrongce1d2392022-05-11 14:11:46 +0200253/* BEGIN_CASE depends_on:MBEDTLS_USE_PSA_CRYPTO */
Neil Armstrong5c5b1162022-05-19 18:07:53 +0200254void pk_can_do_ext( int opaque_key, int key_type, int key_usage, int key_alg,
255 int key_alg2, int parameter, int alg_check, int usage_check,
256 int result )
Neil Armstrongce1d2392022-05-11 14:11:46 +0200257{
258 mbedtls_pk_context pk;
259 mbedtls_svc_key_id_t key = MBEDTLS_SVC_KEY_ID_INIT;
260 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
261
262 PSA_ASSERT( psa_crypto_init( ) );
263
264 mbedtls_pk_init( &pk );
265
Neil Armstrong5c5b1162022-05-19 18:07:53 +0200266 if( opaque_key == 1 )
267 {
268 psa_set_key_usage_flags( &attributes, key_usage );
269 psa_set_key_algorithm( &attributes, key_alg );
270 if( key_alg2 != 0 )
271 psa_set_key_enrollment_algorithm( &attributes, key_alg2 );
272 psa_set_key_type( &attributes, key_type );
273 psa_set_key_bits( &attributes, parameter );
Neil Armstrongce1d2392022-05-11 14:11:46 +0200274
Neil Armstrong5c5b1162022-05-19 18:07:53 +0200275 PSA_ASSERT( psa_generate_key( &attributes, &key ) );
Neil Armstrongce1d2392022-05-11 14:11:46 +0200276
Neil Armstrong5c5b1162022-05-19 18:07:53 +0200277 if( mbedtls_svc_key_id_is_null( key ) )
278 goto exit;
Neil Armstrongce1d2392022-05-11 14:11:46 +0200279
Neil Armstrong5c5b1162022-05-19 18:07:53 +0200280 TEST_EQUAL( mbedtls_pk_setup_opaque( &pk, key ), 0 );
Neil Armstrongce1d2392022-05-11 14:11:46 +0200281
Neil Armstrong5c5b1162022-05-19 18:07:53 +0200282 TEST_EQUAL( mbedtls_pk_get_type( &pk ), MBEDTLS_PK_OPAQUE );
283 }
284 else
285 {
286 TEST_EQUAL( mbedtls_pk_setup( &pk,
287 mbedtls_pk_info_from_type( key_type ) ), 0 );
288 TEST_EQUAL( pk_genkey( &pk, parameter ), 0 );
289 TEST_EQUAL( mbedtls_pk_get_type( &pk ), key_type );
290 }
Neil Armstrongce1d2392022-05-11 14:11:46 +0200291
Neil Armstrong408f6a62022-05-17 14:23:20 +0200292 TEST_EQUAL( mbedtls_pk_can_do_ext( &pk, alg_check, usage_check ), result );
Neil Armstrongce1d2392022-05-11 14:11:46 +0200293
294exit:
Neil Armstrongce1d2392022-05-11 14:11:46 +0200295 psa_reset_key_attributes( &attributes );
296 PSA_ASSERT( psa_destroy_key( key ) );
Neil Armstrong434d4eb2022-05-17 11:58:22 +0200297 mbedtls_pk_free( &pk );
Neil Armstrongce1d2392022-05-11 14:11:46 +0200298 USE_PSA_DONE( );
299}
300/* END_CASE */
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100301
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200302/* BEGIN_CASE */
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500303void valid_parameters( )
304{
305 mbedtls_pk_context pk;
306 unsigned char buf[1];
307 size_t len;
308 void *options = NULL;
309
310 mbedtls_pk_init( &pk );
311
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500312 TEST_ASSERT( mbedtls_pk_setup( &pk, NULL ) ==
313 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
314
315 /* In informational functions, we accept NULL where a context pointer
316 * is expected because that's what the library has done forever.
317 * We do not document that NULL is accepted, so we may wish to change
318 * the behavior in a future version. */
319 TEST_ASSERT( mbedtls_pk_get_bitlen( NULL ) == 0 );
320 TEST_ASSERT( mbedtls_pk_get_len( NULL ) == 0 );
321 TEST_ASSERT( mbedtls_pk_can_do( NULL, MBEDTLS_PK_NONE ) == 0 );
322
323 TEST_ASSERT( mbedtls_pk_sign_restartable( &pk,
324 MBEDTLS_MD_NONE,
325 NULL, 0,
Gilles Peskinef00f1522021-06-22 00:09:00 +0200326 buf, sizeof( buf ), &len,
Ronald Cron351f0ee2020-06-10 12:12:18 +0200327 mbedtls_test_rnd_std_rand, NULL,
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500328 NULL ) ==
329 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
330
331 TEST_ASSERT( mbedtls_pk_sign_restartable( &pk,
332 MBEDTLS_MD_NONE,
333 NULL, 0,
Gilles Peskinef00f1522021-06-22 00:09:00 +0200334 buf, sizeof( buf ), &len,
Ronald Cron351f0ee2020-06-10 12:12:18 +0200335 mbedtls_test_rnd_std_rand, NULL,
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500336 NULL ) ==
337 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
338
339 TEST_ASSERT( mbedtls_pk_sign( &pk,
340 MBEDTLS_MD_NONE,
341 NULL, 0,
Gilles Peskinef00f1522021-06-22 00:09:00 +0200342 buf, sizeof( buf ), &len,
Ronald Cron351f0ee2020-06-10 12:12:18 +0200343 mbedtls_test_rnd_std_rand, NULL ) ==
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500344 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
345
346 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk,
347 MBEDTLS_MD_NONE,
348 NULL, 0,
349 buf, sizeof( buf ),
350 NULL ) ==
351 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
352
353 TEST_ASSERT( mbedtls_pk_verify( &pk,
354 MBEDTLS_MD_NONE,
355 NULL, 0,
356 buf, sizeof( buf ) ) ==
357 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
358
359 TEST_ASSERT( mbedtls_pk_verify_ext( MBEDTLS_PK_NONE, options,
360 &pk,
361 MBEDTLS_MD_NONE,
362 NULL, 0,
363 buf, sizeof( buf ) ) ==
364 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
365
366 TEST_ASSERT( mbedtls_pk_encrypt( &pk,
367 NULL, 0,
368 NULL, &len, 0,
Ronald Cron351f0ee2020-06-10 12:12:18 +0200369 mbedtls_test_rnd_std_rand, NULL ) ==
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500370 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
371
372 TEST_ASSERT( mbedtls_pk_decrypt( &pk,
373 NULL, 0,
374 NULL, &len, 0,
Ronald Cron351f0ee2020-06-10 12:12:18 +0200375 mbedtls_test_rnd_std_rand, NULL ) ==
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500376 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
377
378#if defined(MBEDTLS_PK_PARSE_C)
Manuel Pégourié-Gonnard84dea012021-06-15 11:29:26 +0200379 TEST_ASSERT( mbedtls_pk_parse_key( &pk, NULL, 0, NULL, 1,
380 mbedtls_test_rnd_std_rand, NULL ) ==
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500381 MBEDTLS_ERR_PK_KEY_INVALID_FORMAT );
382
383 TEST_ASSERT( mbedtls_pk_parse_public_key( &pk, NULL, 0 ) ==
384 MBEDTLS_ERR_PK_KEY_INVALID_FORMAT );
385#endif /* MBEDTLS_PK_PARSE_C */
386}
387/* END_CASE */
388
389/* BEGIN_CASE depends_on:MBEDTLS_PK_WRITE_C */
390void valid_parameters_pkwrite( data_t *key_data )
391{
392 mbedtls_pk_context pk;
393
394 /* For the write tests to be effective, we need a valid key pair. */
395 mbedtls_pk_init( &pk );
396 TEST_ASSERT( mbedtls_pk_parse_key( &pk,
Manuel Pégourié-Gonnard84dea012021-06-15 11:29:26 +0200397 key_data->x, key_data->len, NULL, 0,
398 mbedtls_test_rnd_std_rand, NULL ) == 0 );
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500399
400 TEST_ASSERT( mbedtls_pk_write_key_der( &pk, NULL, 0 ) ==
401 MBEDTLS_ERR_ASN1_BUF_TOO_SMALL );
402
403 TEST_ASSERT( mbedtls_pk_write_pubkey_der( &pk, NULL, 0 ) ==
404 MBEDTLS_ERR_ASN1_BUF_TOO_SMALL );
405
406#if defined(MBEDTLS_PEM_WRITE_C)
407 TEST_ASSERT( mbedtls_pk_write_key_pem( &pk, NULL, 0 ) ==
408 MBEDTLS_ERR_BASE64_BUFFER_TOO_SMALL );
409
410 TEST_ASSERT( mbedtls_pk_write_pubkey_pem( &pk, NULL, 0 ) ==
411 MBEDTLS_ERR_BASE64_BUFFER_TOO_SMALL );
412#endif /* MBEDTLS_PEM_WRITE_C */
413
414exit:
415 mbedtls_pk_free( &pk );
416}
417/* END_CASE */
418
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500419/* BEGIN_CASE */
Gilles Peskinee48fe552019-11-05 16:42:13 +0100420void pk_utils( int type, int parameter, int bitlen, int len, char * name )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200421{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200422 mbedtls_pk_context pk;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200423
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200424 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200425
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200426 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Gilles Peskinee48fe552019-11-05 16:42:13 +0100427 TEST_ASSERT( pk_genkey( &pk, parameter ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200428
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200429 TEST_ASSERT( (int) mbedtls_pk_get_type( &pk ) == type );
430 TEST_ASSERT( mbedtls_pk_can_do( &pk, type ) );
Gilles Peskinee48fe552019-11-05 16:42:13 +0100431 TEST_ASSERT( mbedtls_pk_get_bitlen( &pk ) == (unsigned) bitlen );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200432 TEST_ASSERT( mbedtls_pk_get_len( &pk ) == (unsigned) len );
433 TEST_ASSERT( strcmp( mbedtls_pk_get_name( &pk), name ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200434
Paul Bakkerbd51b262014-07-10 15:26:12 +0200435exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200436 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200437}
438/* END_CASE */
439
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200440/* BEGIN_CASE depends_on:MBEDTLS_PK_PARSE_C:MBEDTLS_FS_IO */
Azim Khanf1aaec92017-05-30 14:23:15 +0100441void mbedtls_pk_check_pair( char * pub_file, char * prv_file, int ret )
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100442{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200443 mbedtls_pk_context pub, prv, alt;
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100444
Neil Armstrong56d51272022-02-22 15:29:05 +0100445 USE_PSA_INIT();
446
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200447 mbedtls_pk_init( &pub );
448 mbedtls_pk_init( &prv );
449 mbedtls_pk_init( &alt );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100450
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200451 TEST_ASSERT( mbedtls_pk_parse_public_keyfile( &pub, pub_file ) == 0 );
Manuel Pégourié-Gonnard84dea012021-06-15 11:29:26 +0200452 TEST_ASSERT( mbedtls_pk_parse_keyfile( &prv, prv_file, NULL,
453 mbedtls_test_rnd_std_rand, NULL )
454 == 0 );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100455
Manuel Pégourié-Gonnard39be1412021-06-15 11:29:26 +0200456 TEST_ASSERT( mbedtls_pk_check_pair( &pub, &prv,
457 mbedtls_test_rnd_std_rand, NULL )
458 == ret );
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100459
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200460#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
461 if( mbedtls_pk_get_type( &prv ) == MBEDTLS_PK_RSA )
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100462 {
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200463 TEST_ASSERT( mbedtls_pk_setup_rsa_alt( &alt, mbedtls_pk_rsa( prv ),
Hanno Becker6ac972d2017-09-07 10:57:48 +0100464 mbedtls_rsa_decrypt_func, mbedtls_rsa_sign_func,
465 mbedtls_rsa_key_len_func ) == 0 );
Manuel Pégourié-Gonnard39be1412021-06-15 11:29:26 +0200466 TEST_ASSERT( mbedtls_pk_check_pair( &pub, &alt,
467 mbedtls_test_rnd_std_rand, NULL )
468 == ret );
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100469 }
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +0100470#endif
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100471
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200472 mbedtls_pk_free( &pub );
473 mbedtls_pk_free( &prv );
474 mbedtls_pk_free( &alt );
Neil Armstrong56d51272022-02-22 15:29:05 +0100475 USE_PSA_DONE();
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100476}
477/* END_CASE */
478
Manuel Pégourié-Gonnard2d08ea42022-07-08 10:48:18 +0200479/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100480void pk_rsa_verify_test_vec( data_t * message_str, int digest, int mod,
Azim Khand30ca132017-06-09 04:32:58 +0100481 int radix_N, char * input_N, int radix_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100482 char * input_E, data_t * result_str,
Azim Khanf1aaec92017-05-30 14:23:15 +0100483 int result )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200484{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200485 mbedtls_rsa_context *rsa;
486 mbedtls_pk_context pk;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200487 mbedtls_pk_restart_ctx *rs_ctx = NULL;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200488#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200489 mbedtls_pk_restart_ctx ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200490
491 rs_ctx = &ctx;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200492 mbedtls_pk_restart_init( rs_ctx );
Manuel Pégourié-Gonnard4edb9cb2018-07-02 12:23:23 +0200493 // this setting would ensure restart would happen if ECC was used
494 mbedtls_ecp_set_max_ops( 1 );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200495#endif
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200496
Neil Armstrong56d51272022-02-22 15:29:05 +0100497 USE_PSA_INIT();
498
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200499 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200500
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200501
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200502 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200503 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200504
Paul Bakker42099c32014-01-27 11:45:49 +0100505 rsa->len = mod / 8;
Gilles Peskine20edee72021-06-10 23:18:39 +0200506 TEST_ASSERT( mbedtls_test_read_mpi( &rsa->N, radix_N, input_N ) == 0 );
507 TEST_ASSERT( mbedtls_test_read_mpi( &rsa->E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200508
Manuel Pégourié-Gonnard4608c482022-07-18 10:55:56 +0200509 TEST_ASSERT( mbedtls_pk_verify( &pk, digest, message_str->x, 0,
Azim Khand30ca132017-06-09 04:32:58 +0100510 result_str->x, mbedtls_pk_get_len( &pk ) ) == result );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200511
Manuel Pégourié-Gonnard4608c482022-07-18 10:55:56 +0200512 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, digest, message_str->x, 0,
Manuel Pégourié-Gonnard125af942018-09-11 11:08:12 +0200513 result_str->x, mbedtls_pk_get_len( &pk ), rs_ctx ) == result );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200514
Paul Bakkerbd51b262014-07-10 15:26:12 +0200515exit:
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200516#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200517 mbedtls_pk_restart_free( rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200518#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200519 mbedtls_pk_free( &pk );
Neil Armstrong56d51272022-02-22 15:29:05 +0100520 USE_PSA_DONE();
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200521}
522/* END_CASE */
523
Manuel Pégourié-Gonnard2d08ea42022-07-08 10:48:18 +0200524/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100525void pk_rsa_verify_ext_test_vec( data_t * message_str, int digest,
Azim Khand30ca132017-06-09 04:32:58 +0100526 int mod, int radix_N, char * input_N,
527 int radix_E, char * input_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100528 data_t * result_str, int pk_type,
Andrzej Kurek8666df62022-02-15 08:23:02 -0500529 int mgf1_hash_id, int salt_len, int sig_len,
530 int result )
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200531{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200532 mbedtls_rsa_context *rsa;
533 mbedtls_pk_context pk;
534 mbedtls_pk_rsassa_pss_options pss_opts;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200535 void *options;
Neil Armstrong655725a2022-04-15 12:00:16 +0200536 int ret;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200537
Andrzej Kurek853ad7b2022-02-15 07:13:03 -0500538 USE_PSA_INIT( );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200539 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200540
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200541 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200542 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200543
544 rsa->len = mod / 8;
Gilles Peskine20edee72021-06-10 23:18:39 +0200545 TEST_ASSERT( mbedtls_test_read_mpi( &rsa->N, radix_N, input_N ) == 0 );
546 TEST_ASSERT( mbedtls_test_read_mpi( &rsa->E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200547
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200548
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200549 if( mgf1_hash_id < 0 )
550 {
551 options = NULL;
552 }
553 else
554 {
555 options = &pss_opts;
556
557 pss_opts.mgf1_hash_id = mgf1_hash_id;
558 pss_opts.expected_salt_len = salt_len;
559 }
560
Neil Armstrong655725a2022-04-15 12:00:16 +0200561 ret = mbedtls_pk_verify_ext( pk_type, options, &pk,
Manuel Pégourié-Gonnard4608c482022-07-18 10:55:56 +0200562 digest, message_str->x, message_str->len,
Neil Armstrong655725a2022-04-15 12:00:16 +0200563 result_str->x, sig_len );
564
Neil Armstrong655725a2022-04-15 12:00:16 +0200565#if defined(MBEDTLS_USE_PSA_CRYPTO)
Neil Armstrong6e6967f2022-04-22 11:32:18 +0200566 if( result == MBEDTLS_ERR_RSA_INVALID_PADDING )
567 {
Neil Armstrong1c9eb722022-04-25 14:38:18 +0200568 /* Mbed TLS distinguishes "invalid padding" from "valid padding but
Neil Armstrong6e6967f2022-04-22 11:32:18 +0200569 * the rest of the signature is invalid". This has little use in
570 * practice and PSA doesn't report this distinction.
571 * In this case, PSA returns PSA_ERROR_INVALID_SIGNATURE translated
Neil Armstrong1c9eb722022-04-25 14:38:18 +0200572 * to MBEDTLS_ERR_RSA_VERIFY_FAILED.
573 * However, currently `mbedtls_pk_verify_ext()` may use either the
574 * PSA or the Mbed TLS API, depending on the PSS options used.
575 * So, it may return either INVALID_PADDING or INVALID_SIGNATURE.
Neil Armstrong6e6967f2022-04-22 11:32:18 +0200576 */
577 TEST_ASSERT( ret == result || ret == MBEDTLS_ERR_RSA_VERIFY_FAILED );
578 }
Neil Armstrong655725a2022-04-15 12:00:16 +0200579 else
580#endif
Neil Armstrong6e6967f2022-04-22 11:32:18 +0200581 {
582 TEST_EQUAL( ret, result );
583 }
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200584
Paul Bakkerbd51b262014-07-10 15:26:12 +0200585exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200586 mbedtls_pk_free( &pk );
Andrzej Kurek853ad7b2022-02-15 07:13:03 -0500587 USE_PSA_DONE( );
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200588}
589/* END_CASE */
590
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200591/* BEGIN_CASE depends_on:MBEDTLS_ECDSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100592void pk_ec_test_vec( int type, int id, data_t * key, data_t * hash,
593 data_t * sig, int ret )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200594{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200595 mbedtls_pk_context pk;
596 mbedtls_ecp_keypair *eckey;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200597
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200598 mbedtls_pk_init( &pk );
Gilles Peskine9de97e22021-02-02 21:00:11 +0100599 USE_PSA_INIT( );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200600
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200601 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200602
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200603 TEST_ASSERT( mbedtls_pk_can_do( &pk, MBEDTLS_PK_ECDSA ) );
604 eckey = mbedtls_pk_ec( pk );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200605
Manuel Pégourié-Gonnarde3a062b2015-05-11 18:46:47 +0200606 TEST_ASSERT( mbedtls_ecp_group_load( &eckey->grp, id ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200607 TEST_ASSERT( mbedtls_ecp_point_read_binary( &eckey->grp, &eckey->Q,
Azim Khand30ca132017-06-09 04:32:58 +0100608 key->x, key->len ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200609
John Durkopd4efa8d2020-09-08 05:58:28 -0700610 // MBEDTLS_MD_NONE is used since it will be ignored.
611 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_NONE,
Azim Khand30ca132017-06-09 04:32:58 +0100612 hash->x, hash->len, sig->x, sig->len ) == ret );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200613
Paul Bakkerbd51b262014-07-10 15:26:12 +0200614exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200615 mbedtls_pk_free( &pk );
Gilles Peskine9de97e22021-02-02 21:00:11 +0100616 USE_PSA_DONE( );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200617}
618/* END_CASE */
619
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200620/* BEGIN_CASE depends_on:MBEDTLS_ECP_RESTARTABLE:MBEDTLS_ECDSA_C:MBEDTLS_ECDSA_DETERMINISTIC */
621void pk_sign_verify_restart( int pk_type, int grp_id, char *d_str,
622 char *QX_str, char *QY_str,
Manuel Pégourié-Gonnard4608c482022-07-18 10:55:56 +0200623 int md_alg, data_t *hash, data_t *sig_check,
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200624 int max_ops, int min_restart, int max_restart )
625{
626 int ret, cnt_restart;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200627 mbedtls_pk_restart_ctx rs_ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200628 mbedtls_pk_context prv, pub;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200629 unsigned char sig[MBEDTLS_ECDSA_MAX_LEN];
Manuel Pégourié-Gonnard4608c482022-07-18 10:55:56 +0200630 size_t slen;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200631
Neil Armstrong56d51272022-02-22 15:29:05 +0100632 USE_PSA_INIT();
633
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200634 mbedtls_pk_restart_init( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200635 mbedtls_pk_init( &prv );
636 mbedtls_pk_init( &pub );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200637 memset( sig, 0, sizeof( sig ) );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200638
639 TEST_ASSERT( mbedtls_pk_setup( &prv, mbedtls_pk_info_from_type( pk_type ) ) == 0 );
640 TEST_ASSERT( mbedtls_ecp_group_load( &mbedtls_pk_ec( prv )->grp, grp_id ) == 0 );
Gilles Peskine20edee72021-06-10 23:18:39 +0200641 TEST_ASSERT( mbedtls_test_read_mpi( &mbedtls_pk_ec( prv )->d, 16, d_str ) == 0 );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200642
643 TEST_ASSERT( mbedtls_pk_setup( &pub, mbedtls_pk_info_from_type( pk_type ) ) == 0 );
644 TEST_ASSERT( mbedtls_ecp_group_load( &mbedtls_pk_ec( pub )->grp, grp_id ) == 0 );
645 TEST_ASSERT( mbedtls_ecp_point_read_string( &mbedtls_pk_ec( pub )->Q, 16, QX_str, QY_str ) == 0 );
646
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200647 mbedtls_ecp_set_max_ops( max_ops );
648
649 slen = sizeof( sig );
650 cnt_restart = 0;
651 do {
Manuel Pégourié-Gonnard4608c482022-07-18 10:55:56 +0200652 ret = mbedtls_pk_sign_restartable( &prv, md_alg, hash->x, hash->len,
Gilles Peskinef00f1522021-06-22 00:09:00 +0200653 sig, sizeof( sig ), &slen,
654 mbedtls_test_rnd_std_rand, NULL,
655 &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200656 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
657
658 TEST_ASSERT( ret == 0 );
Ronald Cron9ed40732020-06-25 09:03:34 +0200659 TEST_ASSERT( slen == sig_check->len );
660 TEST_ASSERT( memcmp( sig, sig_check->x, slen ) == 0 );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200661
662 TEST_ASSERT( cnt_restart >= min_restart );
663 TEST_ASSERT( cnt_restart <= max_restart );
664
665 cnt_restart = 0;
666 do {
667 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
Manuel Pégourié-Gonnard4608c482022-07-18 10:55:56 +0200668 hash->x, hash->len, sig, slen, &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200669 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
670
671 TEST_ASSERT( ret == 0 );
672 TEST_ASSERT( cnt_restart >= min_restart );
673 TEST_ASSERT( cnt_restart <= max_restart );
674
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200675 sig[0]++;
676 do {
677 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
Manuel Pégourié-Gonnard4608c482022-07-18 10:55:56 +0200678 hash->x, hash->len, sig, slen, &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200679 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
680 TEST_ASSERT( ret != 0 );
681 sig[0]--;
682
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200683 /* Do we leak memory when aborting? try verify then sign
684 * This test only makes sense when we actually restart */
685 if( min_restart > 0 )
686 {
687 ret = mbedtls_pk_verify_restartable( &pub, md_alg,
Manuel Pégourié-Gonnard4608c482022-07-18 10:55:56 +0200688 hash->x, hash->len, sig, slen, &rs_ctx );
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200689 TEST_ASSERT( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
690 mbedtls_pk_restart_free( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200691
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200692 slen = sizeof( sig );
Manuel Pégourié-Gonnard4608c482022-07-18 10:55:56 +0200693 ret = mbedtls_pk_sign_restartable( &prv, md_alg, hash->x, hash->len,
Gilles Peskinef00f1522021-06-22 00:09:00 +0200694 sig, sizeof sig, &slen,
695 mbedtls_test_rnd_std_rand, NULL,
696 &rs_ctx );
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200697 TEST_ASSERT( ret == MBEDTLS_ERR_ECP_IN_PROGRESS );
698 }
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200699
700exit:
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200701 mbedtls_pk_restart_free( &rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200702 mbedtls_pk_free( &prv );
703 mbedtls_pk_free( &pub );
Neil Armstrong56d51272022-02-22 15:29:05 +0100704 USE_PSA_DONE();
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200705}
706/* END_CASE */
707
Manuel Pégourié-Gonnardabcfa902022-07-08 10:51:45 +0200708/* BEGIN_CASE depends_on:MBEDTLS_USE_PSA_WANT_ALG_SHA_256 */
Gilles Peskinee48fe552019-11-05 16:42:13 +0100709void pk_sign_verify( int type, int parameter, int sign_ret, int verify_ret )
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200710{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200711 mbedtls_pk_context pk;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200712 size_t sig_len;
Gilles Peskine6e3187b2021-06-22 18:39:53 +0200713 unsigned char hash[32]; // Hard-coded for SHA256
714 size_t hash_len = sizeof( hash );
Gilles Peskineeba088a2019-11-05 16:32:32 +0100715 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200716 void *rs_ctx = NULL;
717#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200718 mbedtls_pk_restart_ctx ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200719
720 rs_ctx = &ctx;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200721 mbedtls_pk_restart_init( rs_ctx );
Manuel Pégourié-Gonnard4edb9cb2018-07-02 12:23:23 +0200722 /* This value is large enough that the operation will complete in one run.
723 * See comments at the top of ecp_test_vect_restart in
724 * test_suite_ecp.function for estimates of operation counts. */
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200725 mbedtls_ecp_set_max_ops( 42000 );
726#endif
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200727
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200728 mbedtls_pk_init( &pk );
Gilles Peskine9de97e22021-02-02 21:00:11 +0100729 USE_PSA_INIT( );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200730
731 memset( hash, 0x2a, sizeof hash );
732 memset( sig, 0, sizeof sig );
733
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200734 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Gilles Peskinee48fe552019-11-05 16:42:13 +0100735 TEST_ASSERT( pk_genkey( &pk, parameter ) == 0 );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200736
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200737 TEST_ASSERT( mbedtls_pk_sign_restartable( &pk, MBEDTLS_MD_SHA256,
Gilles Peskinef00f1522021-06-22 00:09:00 +0200738 hash, hash_len,
739 sig, sizeof sig, &sig_len,
740 mbedtls_test_rnd_std_rand, NULL,
741 rs_ctx ) == sign_ret );
Gilles Peskineeba088a2019-11-05 16:32:32 +0100742 if( sign_ret == 0 )
743 TEST_ASSERT( sig_len <= MBEDTLS_PK_SIGNATURE_MAX_SIZE );
744 else
Gilles Peskinef85e4e62019-11-12 11:08:23 +0100745 sig_len = MBEDTLS_PK_SIGNATURE_MAX_SIZE;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200746
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200747 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
Gilles Peskine6e3187b2021-06-22 18:39:53 +0200748 hash, hash_len, sig, sig_len ) == verify_ret );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200749
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200750 if( verify_ret == 0 )
751 {
752 hash[0]++;
753 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
Gilles Peskine6e3187b2021-06-22 18:39:53 +0200754 hash, hash_len, sig, sig_len ) != 0 );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200755 hash[0]--;
756
757 sig[0]++;
758 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
Gilles Peskine6e3187b2021-06-22 18:39:53 +0200759 hash, hash_len, sig, sig_len ) != 0 );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200760 sig[0]--;
761 }
762
Gilles Peskine6e3187b2021-06-22 18:39:53 +0200763 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_SHA256, hash, hash_len,
Gilles Peskinef00f1522021-06-22 00:09:00 +0200764 sig, sizeof sig, &sig_len,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200765 mbedtls_test_rnd_std_rand,
766 NULL ) == sign_ret );
Gilles Peskineeba088a2019-11-05 16:32:32 +0100767 if( sign_ret == 0 )
768 TEST_ASSERT( sig_len <= MBEDTLS_PK_SIGNATURE_MAX_SIZE );
769 else
Gilles Peskinef85e4e62019-11-12 11:08:23 +0100770 sig_len = MBEDTLS_PK_SIGNATURE_MAX_SIZE;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200771
772 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
Gilles Peskine6e3187b2021-06-22 18:39:53 +0200773 hash, hash_len, sig, sig_len, rs_ctx ) == verify_ret );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200774
775 if( verify_ret == 0 )
776 {
777 hash[0]++;
778 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
779 hash, sizeof hash, sig, sig_len, rs_ctx ) != 0 );
780 hash[0]--;
781
782 sig[0]++;
783 TEST_ASSERT( mbedtls_pk_verify_restartable( &pk, MBEDTLS_MD_SHA256,
784 hash, sizeof hash, sig, sig_len, rs_ctx ) != 0 );
785 sig[0]--;
786 }
787
Paul Bakkerbd51b262014-07-10 15:26:12 +0200788exit:
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200789#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200790 mbedtls_pk_restart_free( rs_ctx );
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200791#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200792 mbedtls_pk_free( &pk );
Gilles Peskine9de97e22021-02-02 21:00:11 +0100793 USE_PSA_DONE( );
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200794}
795/* END_CASE */
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200796
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200797/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Neil Armstronge0df42c2022-02-22 14:26:49 +0100798void pk_rsa_encrypt_decrypt_test( data_t * message, int mod, int radix_P,
799 char * input_P, int radix_Q, char * input_Q,
800 int radix_N, char * input_N, int radix_E,
801 char * input_E, int ret )
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200802{
Neil Armstronge0df42c2022-02-22 14:26:49 +0100803 unsigned char output[300], result[300];
Ronald Cron351f0ee2020-06-10 12:12:18 +0200804 mbedtls_test_rnd_pseudo_info rnd_info;
Neil Armstronge0df42c2022-02-22 14:26:49 +0100805 mbedtls_mpi N, P, Q, E;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200806 mbedtls_rsa_context *rsa;
807 mbedtls_pk_context pk;
Neil Armstronge0df42c2022-02-22 14:26:49 +0100808 size_t olen, rlen;
809
810 mbedtls_pk_init( &pk );
Paul Elliottff59a342022-03-31 17:14:13 +0100811 mbedtls_mpi_init( &N ); mbedtls_mpi_init( &P );
812 mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &E );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200813
Ronald Cron351f0ee2020-06-10 12:12:18 +0200814 memset( &rnd_info, 0, sizeof( mbedtls_test_rnd_pseudo_info ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200815 memset( output, 0, sizeof( output ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200816
Neil Armstronge0df42c2022-02-22 14:26:49 +0100817 USE_PSA_INIT( );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200818
Neil Armstronge0df42c2022-02-22 14:26:49 +0100819 /* encryption test */
820
821 /* init pk-rsa context */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200822 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200823 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200824
Neil Armstronge0df42c2022-02-22 14:26:49 +0100825 /* load public key */
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200826 rsa->len = mod / 8;
Gilles Peskine20edee72021-06-10 23:18:39 +0200827 TEST_ASSERT( mbedtls_test_read_mpi( &rsa->N, radix_N, input_N ) == 0 );
828 TEST_ASSERT( mbedtls_test_read_mpi( &rsa->E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200829
Azim Khand30ca132017-06-09 04:32:58 +0100830 TEST_ASSERT( mbedtls_pk_encrypt( &pk, message->x, message->len,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200831 output, &olen, sizeof( output ),
832 mbedtls_test_rnd_pseudo_rand, &rnd_info ) == ret );
Neil Armstronge0df42c2022-02-22 14:26:49 +0100833
834 /* decryption test */
835 mbedtls_mpi_init( &N ); mbedtls_mpi_init( &P );
836 mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &E );
837
838 /* init pk-rsa context */
839 mbedtls_pk_free( &pk );
Neil Armstrongc921bfd2022-03-03 14:35:38 +0100840 TEST_ASSERT( mbedtls_pk_setup( &pk,
841 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Neil Armstronge0df42c2022-02-22 14:26:49 +0100842 rsa = mbedtls_pk_rsa( pk );
843
844 /* load public key */
845 TEST_ASSERT( mbedtls_test_read_mpi( &N, radix_N, input_N ) == 0 );
846 TEST_ASSERT( mbedtls_test_read_mpi( &E, radix_E, input_E ) == 0 );
847
848 /* load private key */
849 TEST_ASSERT( mbedtls_test_read_mpi( &P, radix_P, input_P ) == 0 );
850 TEST_ASSERT( mbedtls_test_read_mpi( &Q, radix_Q, input_Q ) == 0 );
851 TEST_ASSERT( mbedtls_rsa_import( rsa, &N, &P, &Q, NULL, &E ) == 0 );
852 TEST_ASSERT( mbedtls_rsa_get_len( rsa ) == (size_t) ( mod / 8 ) );
853 TEST_ASSERT( mbedtls_rsa_complete( rsa ) == 0 );
854
855 memset( result, 0, sizeof( result ) );
856 rlen = 0;
857 TEST_ASSERT( mbedtls_pk_decrypt( &pk, output, olen,
858 result, &rlen, sizeof( result ),
859 mbedtls_test_rnd_pseudo_rand, &rnd_info ) == ret );
860 if( ret == 0 )
861 {
862 TEST_ASSERT( rlen == message->len );
863 TEST_ASSERT( memcmp( result, message->x, rlen ) == 0 );
864 }
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200865
Paul Bakkerbd51b262014-07-10 15:26:12 +0200866exit:
Neil Armstronge0df42c2022-02-22 14:26:49 +0100867 mbedtls_mpi_free( &N ); mbedtls_mpi_free( &P );
868 mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &E );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200869 mbedtls_pk_free( &pk );
Neil Armstronge0df42c2022-02-22 14:26:49 +0100870 USE_PSA_DONE( );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200871}
872/* END_CASE */
873
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200874/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Azim Khan5fcca462018-06-29 11:05:32 +0100875void pk_rsa_decrypt_test_vec( data_t * cipher, int mod, int radix_P,
Azim Khand30ca132017-06-09 04:32:58 +0100876 char * input_P, int radix_Q, char * input_Q,
877 int radix_N, char * input_N, int radix_E,
Azim Khan5fcca462018-06-29 11:05:32 +0100878 char * input_E, data_t * clear, int ret )
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200879{
Ron Eldor58e3f692018-11-21 13:44:31 +0200880 unsigned char output[256];
Ronald Cron351f0ee2020-06-10 12:12:18 +0200881 mbedtls_test_rnd_pseudo_info rnd_info;
Hanno Beckerd71dc152017-08-23 06:32:42 +0100882 mbedtls_mpi N, P, Q, E;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200883 mbedtls_rsa_context *rsa;
884 mbedtls_pk_context pk;
Azim Khanf1aaec92017-05-30 14:23:15 +0100885 size_t olen;
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200886
Neil Armstrong502da112022-02-09 15:33:15 +0100887 USE_PSA_INIT( );
888
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200889 mbedtls_pk_init( &pk );
Hanno Beckerd71dc152017-08-23 06:32:42 +0100890 mbedtls_mpi_init( &N ); mbedtls_mpi_init( &P );
891 mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &E );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200892
Ronald Cron351f0ee2020-06-10 12:12:18 +0200893 memset( &rnd_info, 0, sizeof( mbedtls_test_rnd_pseudo_info ) );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200894
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200895
896 /* init pk-rsa context */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200897 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200898 rsa = mbedtls_pk_rsa( pk );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200899
900 /* load public key */
Gilles Peskine20edee72021-06-10 23:18:39 +0200901 TEST_ASSERT( mbedtls_test_read_mpi( &N, radix_N, input_N ) == 0 );
902 TEST_ASSERT( mbedtls_test_read_mpi( &E, radix_E, input_E ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200903
904 /* load private key */
Gilles Peskine20edee72021-06-10 23:18:39 +0200905 TEST_ASSERT( mbedtls_test_read_mpi( &P, radix_P, input_P ) == 0 );
906 TEST_ASSERT( mbedtls_test_read_mpi( &Q, radix_Q, input_Q ) == 0 );
Hanno Beckerd71dc152017-08-23 06:32:42 +0100907 TEST_ASSERT( mbedtls_rsa_import( rsa, &N, &P, &Q, NULL, &E ) == 0 );
908 TEST_ASSERT( mbedtls_rsa_get_len( rsa ) == (size_t) ( mod / 8 ) );
Hanno Becker7f25f852017-10-10 16:56:22 +0100909 TEST_ASSERT( mbedtls_rsa_complete( rsa ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200910
911 /* decryption test */
912 memset( output, 0, sizeof( output ) );
913 olen = 0;
Azim Khand30ca132017-06-09 04:32:58 +0100914 TEST_ASSERT( mbedtls_pk_decrypt( &pk, cipher->x, cipher->len,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200915 output, &olen, sizeof( output ),
916 mbedtls_test_rnd_pseudo_rand, &rnd_info ) == ret );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200917 if( ret == 0 )
918 {
Azim Khand30ca132017-06-09 04:32:58 +0100919 TEST_ASSERT( olen == clear->len );
920 TEST_ASSERT( memcmp( output, clear->x, olen ) == 0 );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200921 }
922
Paul Bakkerbd51b262014-07-10 15:26:12 +0200923exit:
Hanno Beckerd71dc152017-08-23 06:32:42 +0100924 mbedtls_mpi_free( &N ); mbedtls_mpi_free( &P );
925 mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &E );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200926 mbedtls_pk_free( &pk );
Neil Armstrong502da112022-02-09 15:33:15 +0100927 USE_PSA_DONE( );
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200928}
929/* END_CASE */
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200930
Neil Armstrongb32ae722022-04-22 15:02:47 +0200931/* BEGIN_CASE depends_on:MBEDTLS_RSA_C:MBEDTLS_USE_PSA_CRYPTO */
932void pk_wrap_rsa_decrypt_test_vec( data_t * cipher, int mod, int radix_P,
933 char * input_P, int radix_Q, char * input_Q,
934 int radix_N, char * input_N, int radix_E,
935 char * input_E, data_t * clear, int ret )
936{
937 unsigned char output[256];
938 mbedtls_test_rnd_pseudo_info rnd_info;
939 mbedtls_mpi N, P, Q, E;
940 mbedtls_rsa_context *rsa;
941 mbedtls_pk_context pk;
942 mbedtls_svc_key_id_t key_id;
943 size_t olen;
944
945 USE_PSA_INIT( );
946
947 mbedtls_pk_init( &pk );
948 mbedtls_mpi_init( &N ); mbedtls_mpi_init( &P );
949 mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &E );
950
951 memset( &rnd_info, 0, sizeof( mbedtls_test_rnd_pseudo_info ) );
952
953 /* init pk-rsa context */
954 TEST_EQUAL( mbedtls_pk_setup( &pk,
955 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ), 0 );
956 rsa = mbedtls_pk_rsa( pk );
957
958 /* load public key */
959 TEST_EQUAL( mbedtls_test_read_mpi( &N, radix_N, input_N ), 0 );
960 TEST_EQUAL( mbedtls_test_read_mpi( &E, radix_E, input_E ), 0 );
961
962 /* load private key */
963 TEST_EQUAL( mbedtls_test_read_mpi( &P, radix_P, input_P ), 0 );
964 TEST_EQUAL( mbedtls_test_read_mpi( &Q, radix_Q, input_Q ), 0 );
965 TEST_EQUAL( mbedtls_rsa_import( rsa, &N, &P, &Q, NULL, &E ), 0 );
966 TEST_EQUAL( mbedtls_rsa_get_len( rsa ), (size_t) ( mod / 8 ) );
967 TEST_EQUAL( mbedtls_rsa_complete( rsa ), 0 );
968
969 /* Turn PK context into an opaque one. */
970 TEST_EQUAL( mbedtls_pk_wrap_as_opaque( &pk, &key_id,
971 PSA_ALG_RSA_PKCS1V15_CRYPT,
972 PSA_KEY_USAGE_DECRYPT,
973 PSA_ALG_NONE ), 0 );
974
975 /* decryption test */
976 memset( output, 0, sizeof( output ) );
977 olen = 0;
978 TEST_EQUAL( mbedtls_pk_decrypt( &pk, cipher->x, cipher->len,
979 output, &olen, sizeof( output ),
980 mbedtls_test_rnd_pseudo_rand, &rnd_info ), ret );
981 if( ret == 0 )
982 {
983 TEST_EQUAL( olen, clear->len );
984 TEST_EQUAL( memcmp( output, clear->x, olen ), 0 );
985 }
986
Neil Armstrong814562a2022-05-11 09:29:57 +0200987 TEST_EQUAL( PSA_SUCCESS, psa_destroy_key( key_id ) );
Neil Armstrongb32ae722022-04-22 15:02:47 +0200988
989exit:
990 mbedtls_mpi_free( &N ); mbedtls_mpi_free( &P );
991 mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &E );
992 mbedtls_pk_free( &pk );
993 USE_PSA_DONE( );
994}
995/* END_CASE */
996
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +0200997/* BEGIN_CASE */
998void pk_ec_nocrypt( int type )
999{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001000 mbedtls_pk_context pk;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001001 unsigned char output[100];
1002 unsigned char input[100];
Ronald Cron351f0ee2020-06-10 12:12:18 +02001003 mbedtls_test_rnd_pseudo_info rnd_info;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001004 size_t olen = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001005 int ret = MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001006
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001007 mbedtls_pk_init( &pk );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001008
Ronald Cron351f0ee2020-06-10 12:12:18 +02001009 memset( &rnd_info, 0, sizeof( mbedtls_test_rnd_pseudo_info ) );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001010 memset( output, 0, sizeof( output ) );
1011 memset( input, 0, sizeof( input ) );
1012
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +02001013 TEST_ASSERT( mbedtls_pk_setup( &pk, mbedtls_pk_info_from_type( type ) ) == 0 );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001014
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001015 TEST_ASSERT( mbedtls_pk_encrypt( &pk, input, sizeof( input ),
Ronald Cron6c5bd7f2020-06-10 14:08:26 +02001016 output, &olen, sizeof( output ),
1017 mbedtls_test_rnd_pseudo_rand, &rnd_info ) == ret );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001018
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001019 TEST_ASSERT( mbedtls_pk_decrypt( &pk, input, sizeof( input ),
Ronald Cron6c5bd7f2020-06-10 14:08:26 +02001020 output, &olen, sizeof( output ),
1021 mbedtls_test_rnd_pseudo_rand, &rnd_info ) == ret );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001022
Paul Bakkerbd51b262014-07-10 15:26:12 +02001023exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001024 mbedtls_pk_free( &pk );
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001025}
1026/* END_CASE */
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001027
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +01001028/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Andres AG5c79d252017-02-15 10:52:32 +00001029void pk_rsa_overflow( )
1030{
1031 mbedtls_pk_context pk;
itayzafrir693a1d92018-02-26 12:02:10 +02001032 size_t hash_len = SIZE_MAX, sig_len = SIZE_MAX;
1033 unsigned char hash[50], sig[100];
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +01001034
1035 if( SIZE_MAX <= UINT_MAX )
1036 return;
Andres AG5c79d252017-02-15 10:52:32 +00001037
itayzafrir693a1d92018-02-26 12:02:10 +02001038 memset( hash, 0x2a, sizeof hash );
1039 memset( sig, 0, sizeof sig );
Andres AG5c79d252017-02-15 10:52:32 +00001040
1041 mbedtls_pk_init( &pk );
1042
1043 TEST_ASSERT( mbedtls_pk_setup( &pk,
1044 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
1045
1046#if defined(MBEDTLS_PKCS1_V21)
1047 TEST_ASSERT( mbedtls_pk_verify_ext( MBEDTLS_PK_RSASSA_PSS, NULL, &pk,
itayzafrir693a1d92018-02-26 12:02:10 +02001048 MBEDTLS_MD_NONE, hash, hash_len, sig, sig_len ) ==
Andres AG5c79d252017-02-15 10:52:32 +00001049 MBEDTLS_ERR_PK_BAD_INPUT_DATA );
1050#endif /* MBEDTLS_PKCS1_V21 */
1051
itayzafrir693a1d92018-02-26 12:02:10 +02001052 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_NONE, hash, hash_len,
1053 sig, sig_len ) == MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres AG5c79d252017-02-15 10:52:32 +00001054
Gilles Peskinef00f1522021-06-22 00:09:00 +02001055 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_NONE, hash, hash_len,
1056 sig, sizeof sig, &sig_len,
1057 mbedtls_test_rnd_std_rand, NULL )
Ronald Cron6c5bd7f2020-06-10 14:08:26 +02001058 == MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres AG5c79d252017-02-15 10:52:32 +00001059
1060exit:
1061 mbedtls_pk_free( &pk );
1062}
1063/* END_CASE */
1064
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001065/* BEGIN_CASE depends_on:MBEDTLS_RSA_C:MBEDTLS_PK_RSA_ALT_SUPPORT */
Azim Khanf1aaec92017-05-30 14:23:15 +01001066void pk_rsa_alt( )
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001067{
1068 /*
1069 * An rsa_alt context can only do private operations (decrypt, sign).
1070 * Test it against the public operations (encrypt, verify) of a
1071 * corresponding rsa context.
1072 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001073 mbedtls_rsa_context raw;
1074 mbedtls_pk_context rsa, alt;
1075 mbedtls_pk_debug_item dbg_items[10];
Ron Eldor58e3f692018-11-21 13:44:31 +02001076 unsigned char hash[50], sig[64];
1077 unsigned char msg[50], ciph[64], test[50];
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001078 size_t sig_len, ciph_len, test_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001079 int ret = MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001080
Neil Armstrong445d2192022-02-10 15:25:29 +01001081 USE_PSA_INIT( );
1082
Ronald Cronc1905a12021-06-05 11:11:14 +02001083 mbedtls_rsa_init( &raw );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001084 mbedtls_pk_init( &rsa ); mbedtls_pk_init( &alt );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001085
1086 memset( hash, 0x2a, sizeof hash );
1087 memset( sig, 0, sizeof sig );
1088 memset( msg, 0x2a, sizeof msg );
1089 memset( ciph, 0, sizeof ciph );
1090 memset( test, 0, sizeof test );
1091
Shaun Case8b0ecbc2021-12-20 21:14:10 -08001092 /* Initialize PK RSA context with random key */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +02001093 TEST_ASSERT( mbedtls_pk_setup( &rsa,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001094 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
Gilles Peskinee48fe552019-11-05 16:42:13 +01001095 TEST_ASSERT( pk_genkey( &rsa, RSA_KEY_SIZE ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001096
1097 /* Extract key to the raw rsa context */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001098 TEST_ASSERT( mbedtls_rsa_copy( &raw, mbedtls_pk_rsa( rsa ) ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001099
1100 /* Initialize PK RSA_ALT context */
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +02001101 TEST_ASSERT( mbedtls_pk_setup_rsa_alt( &alt, (void *) &raw,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001102 mbedtls_rsa_decrypt_func, mbedtls_rsa_sign_func, mbedtls_rsa_key_len_func ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001103
1104 /* Test administrative functions */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001105 TEST_ASSERT( mbedtls_pk_can_do( &alt, MBEDTLS_PK_RSA ) );
Manuel Pégourié-Gonnard097c7bb2015-06-18 16:43:38 +02001106 TEST_ASSERT( mbedtls_pk_get_bitlen( &alt ) == RSA_KEY_SIZE );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001107 TEST_ASSERT( mbedtls_pk_get_len( &alt ) == RSA_KEY_LEN );
1108 TEST_ASSERT( mbedtls_pk_get_type( &alt ) == MBEDTLS_PK_RSA_ALT );
1109 TEST_ASSERT( strcmp( mbedtls_pk_get_name( &alt ), "RSA-alt" ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001110
1111 /* Test signature */
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +01001112#if SIZE_MAX > UINT_MAX
Gilles Peskinef00f1522021-06-22 00:09:00 +02001113 TEST_ASSERT( mbedtls_pk_sign( &alt, MBEDTLS_MD_NONE, hash, SIZE_MAX,
1114 sig, sizeof sig, &sig_len,
1115 mbedtls_test_rnd_std_rand, NULL )
Ronald Cron6c5bd7f2020-06-10 14:08:26 +02001116 == MBEDTLS_ERR_PK_BAD_INPUT_DATA );
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +01001117#endif /* SIZE_MAX > UINT_MAX */
Gilles Peskinef00f1522021-06-22 00:09:00 +02001118 TEST_ASSERT( mbedtls_pk_sign( &alt, MBEDTLS_MD_NONE, hash, sizeof hash,
1119 sig, sizeof sig, &sig_len,
1120 mbedtls_test_rnd_std_rand, NULL )
Ronald Cron6c5bd7f2020-06-10 14:08:26 +02001121 == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001122 TEST_ASSERT( sig_len == RSA_KEY_LEN );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001123 TEST_ASSERT( mbedtls_pk_verify( &rsa, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001124 hash, sizeof hash, sig, sig_len ) == 0 );
1125
1126 /* Test decrypt */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001127 TEST_ASSERT( mbedtls_pk_encrypt( &rsa, msg, sizeof msg,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001128 ciph, &ciph_len, sizeof ciph,
Ronald Cron351f0ee2020-06-10 12:12:18 +02001129 mbedtls_test_rnd_std_rand, NULL ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001130 TEST_ASSERT( mbedtls_pk_decrypt( &alt, ciph, ciph_len,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001131 test, &test_len, sizeof test,
Ronald Cron351f0ee2020-06-10 12:12:18 +02001132 mbedtls_test_rnd_std_rand, NULL ) == 0 );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001133 TEST_ASSERT( test_len == sizeof msg );
1134 TEST_ASSERT( memcmp( test, msg, test_len ) == 0 );
1135
1136 /* Test forbidden operations */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001137 TEST_ASSERT( mbedtls_pk_encrypt( &alt, msg, sizeof msg,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001138 ciph, &ciph_len, sizeof ciph,
Ronald Cron351f0ee2020-06-10 12:12:18 +02001139 mbedtls_test_rnd_std_rand, NULL ) == ret );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001140 TEST_ASSERT( mbedtls_pk_verify( &alt, MBEDTLS_MD_NONE,
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001141 hash, sizeof hash, sig, sig_len ) == ret );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001142 TEST_ASSERT( mbedtls_pk_debug( &alt, dbg_items ) == ret );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001143
Paul Bakkerbd51b262014-07-10 15:26:12 +02001144exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001145 mbedtls_rsa_free( &raw );
1146 mbedtls_pk_free( &rsa ); mbedtls_pk_free( &alt );
Neil Armstrong445d2192022-02-10 15:25:29 +01001147 USE_PSA_DONE( );
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001148}
1149/* END_CASE */
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001150
Manuel Pégourié-Gonnardabcfa902022-07-08 10:51:45 +02001151/* BEGIN_CASE depends_on:MBEDTLS_USE_PSA_WANT_ALG_SHA_256:MBEDTLS_USE_PSA_CRYPTO */
Neil Armstrong5b87ebb2022-03-15 14:35:26 +01001152void pk_psa_sign( int parameter_arg,
1153 int psa_type_arg, int expected_bits_arg )
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001154{
1155 mbedtls_pk_context pk;
Gilles Peskine33b1c692019-12-19 00:09:47 +01001156 unsigned char hash[32];
Neil Armstrong67fc0362022-03-15 14:48:52 +01001157 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
Gilles Peskine33b1c692019-12-19 00:09:47 +01001158 unsigned char pkey_legacy[200];
1159 unsigned char pkey_psa[200];
Hanno Becker56104ea2019-02-01 11:48:19 +00001160 unsigned char *pkey_legacy_start, *pkey_psa_start;
Neil Armstrong95974972022-04-22 13:57:44 +02001161 psa_algorithm_t alg_psa;
Hanno Becker56104ea2019-02-01 11:48:19 +00001162 size_t sig_len, klen_legacy, klen_psa;
1163 int ret;
Ronald Cron5425a212020-08-04 14:58:35 +02001164 mbedtls_svc_key_id_t key_id;
Gilles Peskine85f47c92019-12-18 20:44:15 +01001165 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Neil Armstrong5b87ebb2022-03-15 14:35:26 +01001166 psa_key_type_t expected_type = psa_type_arg;
Gilles Peskine33b1c692019-12-19 00:09:47 +01001167 size_t expected_bits = expected_bits_arg;
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001168
1169 /*
1170 * This tests making signatures with a wrapped PSA key:
Neil Armstrong67fc0362022-03-15 14:48:52 +01001171 * - generate a fresh ECP/RSA legacy PK context
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001172 * - wrap it in a PK context and make a signature this way
1173 * - extract the public key
1174 * - parse it to a PK context and verify the signature this way
1175 */
1176
Gilles Peskine5386f6b2019-08-01 12:47:40 +02001177 PSA_ASSERT( psa_crypto_init( ) );
1178
Neil Armstrong67fc0362022-03-15 14:48:52 +01001179#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_GENPRIME)
1180 if( PSA_KEY_TYPE_IS_RSA( psa_type_arg ) )
1181 {
1182 /* Create legacy RSA public/private key in PK context. */
1183 mbedtls_pk_init( &pk );
1184 TEST_ASSERT( mbedtls_pk_setup( &pk,
1185 mbedtls_pk_info_from_type( MBEDTLS_PK_RSA ) ) == 0 );
1186 TEST_ASSERT( mbedtls_rsa_gen_key( mbedtls_pk_rsa( pk ),
1187 mbedtls_test_rnd_std_rand, NULL,
1188 parameter_arg, 3 ) == 0 );
Neil Armstrong95974972022-04-22 13:57:44 +02001189 alg_psa = PSA_ALG_RSA_PKCS1V15_SIGN( PSA_ALG_SHA_256 );
Neil Armstrong67fc0362022-03-15 14:48:52 +01001190 }
1191 else
1192#endif /* MBEDTLS_RSA_C && MBEDTLS_GENPRIME */
1193#if defined(MBEDTLS_ECDSA_C)
1194 if( PSA_KEY_TYPE_IS_ECC_KEY_PAIR( psa_type_arg ) )
1195 {
1196 mbedtls_ecp_group_id grpid = parameter_arg;
1197
1198 /* Create legacy EC public/private key in PK context. */
1199 mbedtls_pk_init( &pk );
1200 TEST_ASSERT( mbedtls_pk_setup( &pk,
1201 mbedtls_pk_info_from_type( MBEDTLS_PK_ECKEY ) ) == 0 );
1202 TEST_ASSERT( mbedtls_ecp_gen_key( grpid,
1203 (mbedtls_ecp_keypair*) pk.pk_ctx,
1204 mbedtls_test_rnd_std_rand, NULL ) == 0 );
Neil Armstrong95974972022-04-22 13:57:44 +02001205 alg_psa = PSA_ALG_ECDSA( PSA_ALG_SHA_256 );
Neil Armstrong67fc0362022-03-15 14:48:52 +01001206 }
1207 else
1208#endif /* MBEDTLS_ECDSA_C */
1209 {
1210 (void) parameter_arg;
1211 TEST_ASSUME( ! "Opaque PK key not supported in this configuration" );
1212 }
Hanno Becker56104ea2019-02-01 11:48:19 +00001213
1214 /* Export underlying public key for re-importing in a legacy context. */
1215 ret = mbedtls_pk_write_pubkey_der( &pk, pkey_legacy,
1216 sizeof( pkey_legacy ) );
1217 TEST_ASSERT( ret >= 0 );
1218 klen_legacy = (size_t) ret;
1219 /* mbedtls_pk_write_pubkey_der() writes backwards in the data buffer. */
1220 pkey_legacy_start = pkey_legacy + sizeof( pkey_legacy ) - klen_legacy;
1221
1222 /* Turn PK context into an opaque one. */
Neil Armstrong95974972022-04-22 13:57:44 +02001223 TEST_ASSERT( mbedtls_pk_wrap_as_opaque( &pk, &key_id, alg_psa,
1224 PSA_KEY_USAGE_SIGN_HASH,
1225 PSA_ALG_NONE ) == 0 );
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001226
Ronald Cron5425a212020-08-04 14:58:35 +02001227 PSA_ASSERT( psa_get_key_attributes( key_id, &attributes ) );
Gilles Peskine33b1c692019-12-19 00:09:47 +01001228 TEST_EQUAL( psa_get_key_type( &attributes ), expected_type );
Gilles Peskine85f47c92019-12-18 20:44:15 +01001229 TEST_EQUAL( psa_get_key_bits( &attributes ), expected_bits );
1230 TEST_EQUAL( psa_get_key_lifetime( &attributes ),
1231 PSA_KEY_LIFETIME_VOLATILE );
1232
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001233 memset( hash, 0x2a, sizeof hash );
1234 memset( sig, 0, sizeof sig );
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001235
1236 TEST_ASSERT( mbedtls_pk_sign( &pk, MBEDTLS_MD_SHA256,
Gilles Peskinef00f1522021-06-22 00:09:00 +02001237 hash, sizeof hash, sig, sizeof sig, &sig_len,
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001238 NULL, NULL ) == 0 );
1239
Hanno Becker56104ea2019-02-01 11:48:19 +00001240 /* Export underlying public key for re-importing in a psa context. */
1241 ret = mbedtls_pk_write_pubkey_der( &pk, pkey_psa,
1242 sizeof( pkey_psa ) );
1243 TEST_ASSERT( ret >= 0 );
1244 klen_psa = (size_t) ret;
1245 /* mbedtls_pk_write_pubkey_der() writes backwards in the data buffer. */
1246 pkey_psa_start = pkey_psa + sizeof( pkey_psa ) - klen_psa;
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001247
Hanno Becker56104ea2019-02-01 11:48:19 +00001248 TEST_ASSERT( klen_psa == klen_legacy );
1249 TEST_ASSERT( memcmp( pkey_psa_start, pkey_legacy_start, klen_psa ) == 0 );
1250
1251 mbedtls_pk_free( &pk );
Ronald Cron5425a212020-08-04 14:58:35 +02001252 TEST_ASSERT( PSA_SUCCESS == psa_destroy_key( key_id ) );
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001253
1254 mbedtls_pk_init( &pk );
Hanno Becker56104ea2019-02-01 11:48:19 +00001255 TEST_ASSERT( mbedtls_pk_parse_public_key( &pk, pkey_legacy_start,
1256 klen_legacy ) == 0 );
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001257 TEST_ASSERT( mbedtls_pk_verify( &pk, MBEDTLS_MD_SHA256,
1258 hash, sizeof hash, sig, sig_len ) == 0 );
1259
1260exit:
Ronald Cron3a4f0e32020-11-19 17:55:23 +01001261 /*
1262 * Key attributes may have been returned by psa_get_key_attributes()
1263 * thus reset them as required.
1264 */
1265 psa_reset_key_attributes( &attributes );
1266
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001267 mbedtls_pk_free( &pk );
Gilles Peskine9de97e22021-02-02 21:00:11 +01001268 USE_PSA_DONE( );
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001269}
1270/* END_CASE */
Jerry Yu1f45b672022-03-12 19:24:50 +08001271
Jerry Yu5512ad92022-03-22 14:34:56 +08001272/* BEGIN_CASE depends_on:MBEDTLS_PSA_CRYPTO_C:MBEDTLS_GENPRIME */
Jerry Yu1f45b672022-03-12 19:24:50 +08001273void pk_psa_sign_ext( int pk_type, int parameter, int key_pk_type, int md_alg )
1274{
Jerry Yuf8aa9a42022-03-23 20:40:28 +08001275 /* See the description of pk_genkey() for the description of the `parameter` argument. */
Jerry Yu1f45b672022-03-12 19:24:50 +08001276 mbedtls_pk_context pk;
1277 size_t sig_len;
1278 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
Manuel Pégourié-Gonnard043c8c52022-07-08 10:33:44 +02001279 unsigned char hash[PSA_HASH_MAX_SIZE];
Manuel Pégourié-Gonnard6a0a1602022-07-05 12:09:04 +02001280 size_t hash_len = mbedtls_md_internal_get_size( md_alg );
Jerry Yub3bfe9f2022-03-22 13:20:39 +08001281 void const *options = NULL;
Jerry Yub3bfe9f2022-03-22 13:20:39 +08001282 mbedtls_pk_rsassa_pss_options rsassa_pss_options;
Jerry Yub3bfe9f2022-03-22 13:20:39 +08001283 memset( hash, 0x2a, sizeof( hash ) );
1284 memset( sig, 0, sizeof( sig ) );
Jerry Yu1f45b672022-03-12 19:24:50 +08001285
1286 mbedtls_pk_init( &pk );
Jerry Yu5a0afc82022-03-22 12:47:28 +08001287 PSA_INIT();
Jerry Yu1f45b672022-03-12 19:24:50 +08001288
Jerry Yub3bfe9f2022-03-22 13:20:39 +08001289 TEST_ASSERT( mbedtls_pk_setup( &pk,
1290 mbedtls_pk_info_from_type( pk_type ) ) == 0 );
Jerry Yu1f45b672022-03-12 19:24:50 +08001291
1292 TEST_ASSERT( pk_genkey( &pk, parameter ) == 0 );
1293
1294 TEST_ASSERT( mbedtls_pk_sign_ext( key_pk_type, &pk, md_alg, hash, hash_len,
Jerry Yub3bfe9f2022-03-22 13:20:39 +08001295 sig, sizeof( sig ), &sig_len,
Jerry Yu1f45b672022-03-12 19:24:50 +08001296 mbedtls_test_rnd_std_rand, NULL ) == 0 );
Jerry Yucef3f332022-03-22 23:00:13 +08001297
Jerry Yub3bfe9f2022-03-22 13:20:39 +08001298 if( key_pk_type == MBEDTLS_PK_RSASSA_PSS )
1299 {
Jerry Yub3bfe9f2022-03-22 13:20:39 +08001300 rsassa_pss_options.mgf1_hash_id = md_alg;
Manuel Pégourié-Gonnard6a0a1602022-07-05 12:09:04 +02001301 TEST_ASSERT( hash_len != 0 );
1302 rsassa_pss_options.expected_salt_len = hash_len;
Jerry Yub3bfe9f2022-03-22 13:20:39 +08001303 options = (const void*) &rsassa_pss_options;
1304 }
Jerry Yub3bfe9f2022-03-22 13:20:39 +08001305 TEST_ASSERT( mbedtls_pk_verify_ext( key_pk_type, options, &pk, md_alg,
Jerry Yue2c88252022-03-22 21:18:52 +08001306 hash, hash_len, sig, sig_len ) == 0 );
Jerry Yu1f45b672022-03-12 19:24:50 +08001307exit:
Jerry Yu5a0afc82022-03-22 12:47:28 +08001308 PSA_DONE( );
Jerry Yu1f45b672022-03-12 19:24:50 +08001309 mbedtls_pk_free( &pk );
Jerry Yu1f45b672022-03-12 19:24:50 +08001310}
1311/* END_CASE */
1312
Neil Armstrong999930e2022-04-12 15:12:43 +02001313/* BEGIN_CASE depends_on:MBEDTLS_RSA_C:MBEDTLS_GENPRIME:MBEDTLS_USE_PSA_CRYPTO */
1314void pk_psa_wrap_sign_ext( int pk_type, int parameter, int key_pk_type, int md_alg )
1315{
1316 /* See the description of mbedtls_rsa_gen_key() for the description of the `parameter` argument. */
1317 mbedtls_pk_context pk;
1318 size_t sig_len, pkey_len;
1319 mbedtls_svc_key_id_t key_id;
1320 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
Neil Armstrong843795a2022-04-21 12:23:28 +02001321 unsigned char pkey[PSA_EXPORT_PUBLIC_KEY_MAX_SIZE];
Neil Armstrong999930e2022-04-12 15:12:43 +02001322 unsigned char *pkey_start;
Manuel Pégourié-Gonnard043c8c52022-07-08 10:33:44 +02001323 unsigned char hash[PSA_HASH_MAX_SIZE];
Neil Armstrong999930e2022-04-12 15:12:43 +02001324 psa_algorithm_t psa_md_alg = mbedtls_psa_translate_md( md_alg );
Neil Armstrong95974972022-04-22 13:57:44 +02001325 psa_algorithm_t psa_alg;
Neil Armstrong999930e2022-04-12 15:12:43 +02001326 size_t hash_len = PSA_HASH_LENGTH( psa_md_alg );
Neil Armstrong999930e2022-04-12 15:12:43 +02001327 void const *options = NULL;
1328 mbedtls_pk_rsassa_pss_options rsassa_pss_options;
1329 int ret;
1330
1331 mbedtls_pk_init( &pk );
1332 PSA_INIT();
1333
1334 /* Create legacy RSA public/private key in PK context. */
1335 mbedtls_pk_init( &pk );
1336 TEST_EQUAL( mbedtls_pk_setup( &pk,
1337 mbedtls_pk_info_from_type( pk_type ) ), 0 );
1338 TEST_EQUAL( mbedtls_rsa_gen_key( mbedtls_pk_rsa( pk ),
1339 mbedtls_test_rnd_std_rand, NULL,
1340 parameter, 3 ), 0 );
1341
1342 /* Export underlying public key for re-importing in a legacy context. */
1343 ret = mbedtls_pk_write_pubkey_der( &pk, pkey, sizeof( pkey ) );
1344 TEST_ASSERT( ret >= 0 );
1345
1346 pkey_len = (size_t) ret;
1347 /* mbedtls_pk_write_pubkey_der() writes backwards in the data buffer. */
1348 pkey_start = pkey + sizeof( pkey ) - pkey_len;
1349
Neil Armstrong95974972022-04-22 13:57:44 +02001350 if( key_pk_type == MBEDTLS_PK_RSA )
1351 psa_alg = PSA_ALG_RSA_PKCS1V15_SIGN( psa_md_alg );
1352 else if( key_pk_type == MBEDTLS_PK_RSASSA_PSS )
1353 psa_alg = PSA_ALG_RSA_PSS( psa_md_alg );
1354 else
1355 TEST_ASSUME( ! "PK key type not supported in this configuration" );
1356
Neil Armstrong999930e2022-04-12 15:12:43 +02001357 /* Turn PK context into an opaque one. */
Neil Armstrong95974972022-04-22 13:57:44 +02001358 TEST_EQUAL( mbedtls_pk_wrap_as_opaque( &pk, &key_id, psa_alg,
1359 PSA_KEY_USAGE_SIGN_HASH,
1360 PSA_ALG_NONE ), 0 );
Neil Armstrong999930e2022-04-12 15:12:43 +02001361
1362 memset( hash, 0x2a, sizeof( hash ) );
1363 memset( sig, 0, sizeof( sig ) );
1364
1365 TEST_EQUAL( mbedtls_pk_sign_ext( key_pk_type, &pk, md_alg, hash, hash_len,
1366 sig, sizeof( sig ), &sig_len,
1367 mbedtls_test_rnd_std_rand, NULL ), 0 );
1368
1369 mbedtls_pk_free( &pk );
1370 TEST_EQUAL( PSA_SUCCESS, psa_destroy_key( key_id ) );
1371
1372 mbedtls_pk_init( &pk );
1373 TEST_EQUAL( mbedtls_pk_parse_public_key( &pk, pkey_start, pkey_len ), 0 );
1374
1375 if( key_pk_type == MBEDTLS_PK_RSASSA_PSS )
1376 {
1377 rsassa_pss_options.mgf1_hash_id = md_alg;
Manuel Pégourié-Gonnarde496c622022-07-05 13:11:13 +02001378 TEST_ASSERT( hash_len != 0 );
1379 rsassa_pss_options.expected_salt_len = hash_len;
Neil Armstrong999930e2022-04-12 15:12:43 +02001380 options = (const void*) &rsassa_pss_options;
1381 }
1382 TEST_EQUAL( mbedtls_pk_verify_ext( key_pk_type, options, &pk, md_alg,
1383 hash, hash_len, sig, sig_len ), 0 );
1384
1385exit:
1386 mbedtls_pk_free( &pk );
1387 PSA_DONE( );
1388}
1389/* END_CASE */