blob: c17037f079a68738d1346b3cad1684e259c9edc1 [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
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +010010#include <limits.h>
Andres Amaya Garcia6ff067d2017-06-09 14:26:59 +010011#include <stdint.h>
Andres AG5c79d252017-02-15 10:52:32 +000012
Gilles Peskine33b1c692019-12-19 00:09:47 +010013/* Needed only for test case data under #if defined(MBEDTLS_USE_PSA_CRYPTO),
14 * but the test code generator requires test case data to be valid C code
Dave Rodgman52af7692022-03-31 14:27:24 +010015 * unconditionally (https://github.com/Mbed-TLS/mbedtls/issues/2023). */
Gilles Peskine33b1c692019-12-19 00:09:47 +010016#include "psa/crypto.h"
17
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020018#define RSA_KEY_SIZE 512
19#define RSA_KEY_LEN 64
20
Gilles Peskinee48fe552019-11-05 16:42:13 +010021/** Generate a key of the desired type.
22 *
23 * \param pk The PK object to fill. It must have been initialized
24 * with mbedtls_pk_setup().
25 * \param parameter - For RSA keys, the key size in bits.
26 * - For EC keys, the curve (\c MBEDTLS_ECP_DP_xxx).
27 *
28 * \return The status from the underlying type-specific key
29 * generation function.
30 * \return -1 if the key type is not recognized.
31 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010032static int pk_genkey(mbedtls_pk_context *pk, int parameter)
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020033{
Paul Bakkera5320902013-12-19 17:29:52 +010034 ((void) pk);
Gilles Peskinee48fe552019-11-05 16:42:13 +010035 (void) parameter;
Paul Bakkera5320902013-12-19 17:29:52 +010036
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_GENPRIME)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010038 if (mbedtls_pk_get_type(pk) == MBEDTLS_PK_RSA) {
39 return mbedtls_rsa_gen_key(mbedtls_pk_rsa(*pk),
40 mbedtls_test_rnd_std_rand, NULL,
41 parameter, 3);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020042 }
43#endif
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010044#if defined(MBEDTLS_ECP_C)
45 if (mbedtls_pk_get_type(pk) == MBEDTLS_PK_ECKEY ||
46 mbedtls_pk_get_type(pk) == MBEDTLS_PK_ECKEY_DH ||
47 mbedtls_pk_get_type(pk) == MBEDTLS_PK_ECDSA) {
48 int ret;
49 if ((ret = mbedtls_ecp_group_load(&mbedtls_pk_ec(*pk)->grp,
50 parameter)) != 0) {
51 return ret;
52 }
53
54 return mbedtls_ecp_gen_keypair(&mbedtls_pk_ec(*pk)->grp,
55 &mbedtls_pk_ec(*pk)->d,
56 &mbedtls_pk_ec(*pk)->Q,
57 mbedtls_test_rnd_std_rand, NULL);
58 }
59#endif
60 return -1;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +020061}
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020062
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020063#if defined(MBEDTLS_RSA_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010064int mbedtls_rsa_decrypt_func(void *ctx, int mode, size_t *olen,
65 const unsigned char *input, unsigned char *output,
66 size_t output_max_len)
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020067{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010068 return mbedtls_rsa_pkcs1_decrypt((mbedtls_rsa_context *) ctx,
69 mbedtls_test_rnd_std_rand, NULL, mode,
70 olen, input, output, output_max_len);
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020071}
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010072int mbedtls_rsa_sign_func(void *ctx,
73 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
74 int mode, mbedtls_md_type_t md_alg, unsigned int hashlen,
75 const unsigned char *hash, unsigned char *sig)
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020076{
Hanno Beckera5400682017-05-03 16:43:15 +010077 ((void) f_rng);
78 ((void) p_rng);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010079 return mbedtls_rsa_pkcs1_sign((mbedtls_rsa_context *) ctx,
80 mbedtls_test_rnd_std_rand, NULL, mode,
81 md_alg, hashlen, hash, sig);
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020082}
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010083size_t mbedtls_rsa_key_len_func(void *ctx)
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020084{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010085 return ((const mbedtls_rsa_context *) ctx)->len;
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +020086}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020087#endif /* MBEDTLS_RSA_C */
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010088
89#if defined(MBEDTLS_USE_PSA_CRYPTO)
90
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010091/*
Ronald Cron5425a212020-08-04 14:58:35 +020092 * Generate a key using PSA and return the key identifier of that key,
Gilles Peskined2d45c12019-05-27 14:53:13 +020093 * or 0 if the key generation failed.
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +010094 * The key uses NIST P-256 and is usable for signing with SHA-256.
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010095 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010096mbedtls_svc_key_id_t pk_psa_genkey(void)
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +010097{
Ronald Cron5425a212020-08-04 14:58:35 +020098 mbedtls_svc_key_id_t key;
Gilles Peskined2d45c12019-05-27 14:53:13 +020099 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Gilles Peskine89177e82019-12-03 21:19:09 +0100100 const psa_key_type_t type =
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100101 PSA_KEY_TYPE_ECC_KEY_PAIR(PSA_ECC_FAMILY_SECP_R1);
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100102 const size_t bits = 256;
103
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100104 psa_set_key_usage_flags(&attributes, PSA_KEY_USAGE_SIGN_HASH);
105 psa_set_key_algorithm(&attributes, PSA_ALG_ECDSA(PSA_ALG_SHA_256));
106 psa_set_key_type(&attributes, type);
107 psa_set_key_bits(&attributes, bits);
108 PSA_ASSERT(psa_generate_key(&attributes, &key));
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100109
Gilles Peskined2d45c12019-05-27 14:53:13 +0200110exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100111 return key;
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100112}
113#endif /* MBEDTLS_USE_PSA_CRYPTO */
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200114/* END_HEADER */
115
116/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200117 * depends_on:MBEDTLS_PK_C
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200118 * END_DEPENDENCIES
119 */
120
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100121/* BEGIN_CASE depends_on:MBEDTLS_USE_PSA_CRYPTO:MBEDTLS_ECDSA_C:MBEDTLS_ECP_DP_SECP256R1_ENABLED */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100122void pk_psa_utils()
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100123{
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100124 mbedtls_pk_context pk, pk2;
Ronald Cron5425a212020-08-04 14:58:35 +0200125 mbedtls_svc_key_id_t key;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200126 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100127
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100128 const char * const name = "Opaque";
Shaun Case0e7791f2021-12-20 21:14:10 -0800129 const size_t bitlen = 256; /* hardcoded in genkey() */
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100130
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100131 mbedtls_md_type_t md_alg = MBEDTLS_MD_NONE;
132 unsigned char b1[1], b2[1];
133 size_t len;
134 mbedtls_pk_debug_item dbg;
135
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100136 mbedtls_pk_init(&pk);
137 mbedtls_pk_init(&pk2);
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100138
Valerio Setti19c81962023-04-19 14:25:52 +0200139 USE_PSA_INIT();
Gilles Peskine69c0ea22019-06-07 15:38:59 +0200140
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100141 TEST_ASSERT(mbedtls_pk_setup_opaque(&pk, MBEDTLS_SVC_KEY_ID_INIT) ==
142 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100143
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100144 mbedtls_pk_free(&pk);
145 mbedtls_pk_init(&pk);
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100146
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100147 key = pk_psa_genkey();
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100148 if (mbedtls_svc_key_id_is_null(key)) {
Gilles Peskined2d45c12019-05-27 14:53:13 +0200149 goto exit;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100150 }
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100151
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100152 TEST_ASSERT(mbedtls_pk_setup_opaque(&pk, key) == 0);
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100153
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100154 TEST_ASSERT(mbedtls_pk_get_type(&pk) == MBEDTLS_PK_OPAQUE);
155 TEST_ASSERT(strcmp(mbedtls_pk_get_name(&pk), name) == 0);
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100156
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100157 TEST_ASSERT(mbedtls_pk_get_bitlen(&pk) == bitlen);
158 TEST_ASSERT(mbedtls_pk_get_len(&pk) == bitlen / 8);
Manuel Pégourié-Gonnard0184b3c2018-10-31 10:36:51 +0100159
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100160 TEST_ASSERT(mbedtls_pk_can_do(&pk, MBEDTLS_PK_ECKEY) == 1);
161 TEST_ASSERT(mbedtls_pk_can_do(&pk, MBEDTLS_PK_ECDSA) == 1);
162 TEST_ASSERT(mbedtls_pk_can_do(&pk, MBEDTLS_PK_RSA) == 0);
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100163
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100164 /* unsupported operations: verify, decrypt, encrypt */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100165 TEST_ASSERT(mbedtls_pk_verify(&pk, md_alg,
166 b1, sizeof(b1), b2, sizeof(b2))
167 == MBEDTLS_ERR_PK_TYPE_MISMATCH);
168 TEST_ASSERT(mbedtls_pk_decrypt(&pk, b1, sizeof(b1),
169 b2, &len, sizeof(b2),
170 NULL, NULL)
171 == MBEDTLS_ERR_PK_TYPE_MISMATCH);
172 TEST_ASSERT(mbedtls_pk_encrypt(&pk, b1, sizeof(b1),
173 b2, &len, sizeof(b2),
174 NULL, NULL)
175 == MBEDTLS_ERR_PK_TYPE_MISMATCH);
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100176
177 /* unsupported functions: check_pair, debug */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100178 TEST_ASSERT(mbedtls_pk_setup(&pk2,
179 mbedtls_pk_info_from_type(MBEDTLS_PK_ECKEY)) == 0);
180 TEST_ASSERT(mbedtls_pk_check_pair(&pk, &pk2)
181 == MBEDTLS_ERR_PK_TYPE_MISMATCH);
182 TEST_ASSERT(mbedtls_pk_debug(&pk, &dbg)
183 == MBEDTLS_ERR_PK_TYPE_MISMATCH);
Manuel Pégourié-Gonnardd97390e2018-10-31 11:14:36 +0100184
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100185 /* test that freeing the context does not destroy the key */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100186 mbedtls_pk_free(&pk);
187 TEST_ASSERT(PSA_SUCCESS == psa_get_key_attributes(key, &attributes));
188 TEST_ASSERT(PSA_SUCCESS == psa_destroy_key(key));
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100189
190exit:
Ronald Cron3a4f0e32020-11-19 17:55:23 +0100191 /*
192 * Key attributes may have been returned by psa_get_key_attributes()
193 * thus reset them as required.
194 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100195 psa_reset_key_attributes(&attributes);
Ronald Cron3a4f0e32020-11-19 17:55:23 +0100196
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100197 mbedtls_pk_free(&pk); /* redundant except upon error */
198 mbedtls_pk_free(&pk2);
199 USE_PSA_DONE();
Manuel Pégourié-Gonnard7b5fe042018-10-31 09:57:45 +0100200}
201/* END_CASE */
202
203
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200204/* BEGIN_CASE */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100205void valid_parameters()
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500206{
207 mbedtls_pk_context pk;
208 unsigned char buf[1];
209 size_t len;
210 void *options = NULL;
211
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100212 mbedtls_pk_init(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +0200213 USE_PSA_INIT();
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500214
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100215 TEST_VALID_PARAM(mbedtls_pk_free(NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500216
217#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100218 TEST_VALID_PARAM(mbedtls_pk_restart_free(NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500219#endif
220
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100221 TEST_ASSERT(mbedtls_pk_setup(&pk, NULL) ==
222 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500223
224 /* In informational functions, we accept NULL where a context pointer
225 * is expected because that's what the library has done forever.
226 * We do not document that NULL is accepted, so we may wish to change
227 * the behavior in a future version. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100228 TEST_ASSERT(mbedtls_pk_get_bitlen(NULL) == 0);
229 TEST_ASSERT(mbedtls_pk_get_len(NULL) == 0);
230 TEST_ASSERT(mbedtls_pk_can_do(NULL, MBEDTLS_PK_NONE) == 0);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500231
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100232 TEST_ASSERT(mbedtls_pk_sign_restartable(&pk,
233 MBEDTLS_MD_NONE,
234 NULL, 0,
235 buf, &len,
236 mbedtls_test_rnd_std_rand, NULL,
237 NULL) ==
238 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
239
240 TEST_ASSERT(mbedtls_pk_sign_restartable(&pk,
241 MBEDTLS_MD_NONE,
242 NULL, 0,
243 buf, &len,
244 mbedtls_test_rnd_std_rand, NULL,
245 NULL) ==
246 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
247
248 TEST_ASSERT(mbedtls_pk_sign(&pk,
249 MBEDTLS_MD_NONE,
250 NULL, 0,
251 buf, &len,
252 mbedtls_test_rnd_std_rand, NULL) ==
253 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
254
255 TEST_ASSERT(mbedtls_pk_verify_restartable(&pk,
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500256 MBEDTLS_MD_NONE,
257 NULL, 0,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100258 buf, sizeof(buf),
259 NULL) ==
260 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500261
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100262 TEST_ASSERT(mbedtls_pk_verify(&pk,
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500263 MBEDTLS_MD_NONE,
264 NULL, 0,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100265 buf, sizeof(buf)) ==
266 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500267
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100268 TEST_ASSERT(mbedtls_pk_verify_ext(MBEDTLS_PK_NONE, options,
269 &pk,
270 MBEDTLS_MD_NONE,
271 NULL, 0,
272 buf, sizeof(buf)) ==
273 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500274
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100275 TEST_ASSERT(mbedtls_pk_encrypt(&pk,
276 NULL, 0,
277 NULL, &len, 0,
278 mbedtls_test_rnd_std_rand, NULL) ==
279 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500280
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100281 TEST_ASSERT(mbedtls_pk_decrypt(&pk,
282 NULL, 0,
283 NULL, &len, 0,
284 mbedtls_test_rnd_std_rand, NULL) ==
285 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500286
287#if defined(MBEDTLS_PK_PARSE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100288 TEST_ASSERT(mbedtls_pk_parse_key(&pk, NULL, 0, NULL, 1) ==
289 MBEDTLS_ERR_PK_KEY_INVALID_FORMAT);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500290
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100291 TEST_ASSERT(mbedtls_pk_parse_public_key(&pk, NULL, 0) ==
292 MBEDTLS_ERR_PK_KEY_INVALID_FORMAT);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500293#endif /* MBEDTLS_PK_PARSE_C */
Valerio Setti19c81962023-04-19 14:25:52 +0200294
295exit:
296 USE_PSA_DONE();
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500297}
298/* END_CASE */
299
300/* BEGIN_CASE depends_on:MBEDTLS_PK_WRITE_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100301void valid_parameters_pkwrite(data_t *key_data)
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500302{
303 mbedtls_pk_context pk;
304
305 /* For the write tests to be effective, we need a valid key pair. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100306 mbedtls_pk_init(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +0200307 USE_PSA_INIT();
308
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100309 TEST_ASSERT(mbedtls_pk_parse_key(&pk,
310 key_data->x, key_data->len,
311 NULL, 0) == 0);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500312
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100313 TEST_ASSERT(mbedtls_pk_write_key_der(&pk, NULL, 0) ==
314 MBEDTLS_ERR_ASN1_BUF_TOO_SMALL);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500315
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100316 TEST_ASSERT(mbedtls_pk_write_pubkey_der(&pk, NULL, 0) ==
317 MBEDTLS_ERR_ASN1_BUF_TOO_SMALL);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500318
319#if defined(MBEDTLS_PEM_WRITE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100320 TEST_ASSERT(mbedtls_pk_write_key_pem(&pk, NULL, 0) ==
321 MBEDTLS_ERR_BASE64_BUFFER_TOO_SMALL);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500322
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100323 TEST_ASSERT(mbedtls_pk_write_pubkey_pem(&pk, NULL, 0) ==
324 MBEDTLS_ERR_BASE64_BUFFER_TOO_SMALL);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500325#endif /* MBEDTLS_PEM_WRITE_C */
326
327exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100328 mbedtls_pk_free(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +0200329 USE_PSA_DONE();
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500330}
331/* END_CASE */
332
333/* BEGIN_CASE depends_on:MBEDTLS_CHECK_PARAMS:!MBEDTLS_PARAM_FAILED_ALT */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100334void invalid_parameters()
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500335{
336 size_t len;
337 unsigned char *null_buf = NULL;
338 unsigned char buf[1];
339 unsigned char *p = buf;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100340 char str[1] = { 0 };
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500341 mbedtls_pk_context pk;
342 mbedtls_md_type_t valid_md = MBEDTLS_MD_SHA256;
343 void *options = buf;
344
345 (void) null_buf;
346 (void) p;
347 (void) str;
348
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100349 mbedtls_pk_init(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +0200350 USE_PSA_INIT();
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500351
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100352 TEST_INVALID_PARAM(mbedtls_pk_init(NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500353
354#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100355 TEST_INVALID_PARAM(mbedtls_pk_restart_init(NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500356#endif
357
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100358 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
359 mbedtls_pk_setup(NULL, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500360
361#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100362 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
363 mbedtls_pk_setup_rsa_alt(NULL, buf,
364 NULL, NULL, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500365#endif
366
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100367 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
368 mbedtls_pk_verify_restartable(NULL,
369 MBEDTLS_MD_NONE,
370 buf, sizeof(buf),
371 buf, sizeof(buf),
372 NULL));
373 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
374 mbedtls_pk_verify_restartable(&pk,
375 MBEDTLS_MD_NONE,
376 NULL, sizeof(buf),
377 buf, sizeof(buf),
378 NULL));
379 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
380 mbedtls_pk_verify_restartable(&pk,
381 valid_md,
382 NULL, 0,
383 buf, sizeof(buf),
384 NULL));
385 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
386 mbedtls_pk_verify_restartable(&pk,
387 MBEDTLS_MD_NONE,
388 buf, sizeof(buf),
389 NULL, sizeof(buf),
390 NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500391
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100392 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
393 mbedtls_pk_verify(NULL,
394 MBEDTLS_MD_NONE,
395 buf, sizeof(buf),
396 buf, sizeof(buf)));
397 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
398 mbedtls_pk_verify(&pk,
399 MBEDTLS_MD_NONE,
400 NULL, sizeof(buf),
401 buf, sizeof(buf)));
402 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
403 mbedtls_pk_verify(&pk,
404 valid_md,
405 NULL, 0,
406 buf, sizeof(buf)));
407 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
408 mbedtls_pk_verify(&pk,
409 MBEDTLS_MD_NONE,
410 buf, sizeof(buf),
411 NULL, sizeof(buf)));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500412
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100413 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
414 mbedtls_pk_verify_ext(MBEDTLS_PK_NONE, options,
415 NULL,
416 MBEDTLS_MD_NONE,
417 buf, sizeof(buf),
418 buf, sizeof(buf)));
419 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
420 mbedtls_pk_verify_ext(MBEDTLS_PK_NONE, options,
421 &pk,
422 MBEDTLS_MD_NONE,
423 NULL, sizeof(buf),
424 buf, sizeof(buf)));
425 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
426 mbedtls_pk_verify_ext(MBEDTLS_PK_NONE, options,
427 &pk,
428 valid_md,
429 NULL, 0,
430 buf, sizeof(buf)));
431 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
432 mbedtls_pk_verify_ext(MBEDTLS_PK_NONE, options,
433 &pk,
434 MBEDTLS_MD_NONE,
435 buf, sizeof(buf),
436 NULL, sizeof(buf)));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500437
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100438 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
439 mbedtls_pk_sign_restartable(NULL, MBEDTLS_MD_NONE, buf, sizeof(buf),
440 buf, &len, mbedtls_test_rnd_std_rand,
441 NULL, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500442
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100443 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
444 mbedtls_pk_sign_restartable(&pk, MBEDTLS_MD_NONE, NULL, sizeof(buf),
445 buf, &len, mbedtls_test_rnd_std_rand,
446 NULL, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500447
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100448 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
449 mbedtls_pk_sign_restartable(&pk, valid_md, NULL, 0, buf, &len,
450 mbedtls_test_rnd_std_rand, NULL, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500451
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100452 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
453 mbedtls_pk_sign_restartable(&pk, MBEDTLS_MD_NONE, buf, sizeof(buf),
454 NULL, &len, mbedtls_test_rnd_std_rand,
455 NULL, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200456
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100457 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
458 mbedtls_pk_sign(NULL, MBEDTLS_MD_NONE, buf, sizeof(buf),
459 buf, &len, mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200460
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100461 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
462 mbedtls_pk_sign(&pk, MBEDTLS_MD_NONE, NULL, sizeof(buf),
463 buf, &len, mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200464
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100465 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
466 mbedtls_pk_sign(&pk, valid_md, NULL, 0, buf, &len,
467 mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200468
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100469 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
470 mbedtls_pk_sign(&pk, MBEDTLS_MD_NONE, buf, sizeof(buf), NULL, &len,
471 mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200472
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100473 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
474 mbedtls_pk_decrypt(NULL, buf, sizeof(buf), buf, &len, sizeof(buf),
475 mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200476
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100477 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
478 mbedtls_pk_decrypt(&pk, NULL, sizeof(buf), buf, &len, sizeof(buf),
479 mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200480
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100481 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
482 mbedtls_pk_decrypt(&pk, buf, sizeof(buf), NULL, &len, sizeof(buf),
483 mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200484
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100485 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
486 mbedtls_pk_decrypt(&pk, buf, sizeof(buf), buf, NULL, sizeof(buf),
487 mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200488
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100489 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
490 mbedtls_pk_encrypt(NULL, buf, sizeof(buf), buf, &len, sizeof(buf),
491 mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200492
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100493 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
494 mbedtls_pk_encrypt(&pk, NULL, sizeof(buf), buf, &len, sizeof(buf),
495 mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200496
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100497 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
498 mbedtls_pk_encrypt(&pk, buf, sizeof(buf), NULL, &len, sizeof(buf),
499 mbedtls_test_rnd_std_rand, NULL));
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200500
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100501 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
502 mbedtls_pk_encrypt(&pk, buf, sizeof(buf), buf, NULL, sizeof(buf),
503 mbedtls_test_rnd_std_rand, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500504
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100505 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
506 mbedtls_pk_check_pair(NULL, &pk));
507 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
508 mbedtls_pk_check_pair(&pk, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500509
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100510 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
511 mbedtls_pk_debug(NULL, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500512
513#if defined(MBEDTLS_PK_PARSE_C)
514#if defined(MBEDTLS_FS_IO)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100515 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
516 mbedtls_pk_load_file(NULL, &p, &len));
517 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
518 mbedtls_pk_load_file(str, NULL, &len));
519 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
520 mbedtls_pk_load_file(str, &p, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500521
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100522 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
523 mbedtls_pk_parse_keyfile(NULL, str, NULL));
524 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
525 mbedtls_pk_parse_keyfile(&pk, NULL, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500526
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100527 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
528 mbedtls_pk_parse_public_keyfile(NULL, str));
529 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
530 mbedtls_pk_parse_public_keyfile(&pk, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500531#endif
532
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100533 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
534 mbedtls_pk_parse_subpubkey(NULL, buf, &pk));
535 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
536 mbedtls_pk_parse_subpubkey(&null_buf, buf, &pk));
537 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
538 mbedtls_pk_parse_subpubkey(&p, NULL, &pk));
539 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
540 mbedtls_pk_parse_subpubkey(&p, buf, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500541
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100542 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
543 mbedtls_pk_parse_key(NULL,
544 buf, sizeof(buf),
545 buf, sizeof(buf)));
546 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
547 mbedtls_pk_parse_key(&pk,
548 NULL, sizeof(buf),
549 buf, sizeof(buf)));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500550
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100551 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
552 mbedtls_pk_parse_public_key(NULL,
553 buf, sizeof(buf)));
554 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
555 mbedtls_pk_parse_public_key(&pk,
556 NULL, sizeof(buf)));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500557#endif /* MBEDTLS_PK_PARSE_C */
558
559#if defined(MBEDTLS_PK_WRITE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100560 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
561 mbedtls_pk_write_pubkey(NULL, p, &pk));
562 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
563 mbedtls_pk_write_pubkey(&null_buf, p, &pk));
564 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
565 mbedtls_pk_write_pubkey(&p, NULL, &pk));
566 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
567 mbedtls_pk_write_pubkey(&p, p, NULL));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500568
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100569 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
570 mbedtls_pk_write_pubkey_der(NULL,
571 buf, sizeof(buf)));
572 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
573 mbedtls_pk_write_pubkey_der(&pk,
574 NULL, sizeof(buf)));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500575
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100576 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
577 mbedtls_pk_write_key_der(NULL,
578 buf, sizeof(buf)));
579 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
580 mbedtls_pk_write_key_der(&pk,
581 NULL, sizeof(buf)));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500582
583#if defined(MBEDTLS_PEM_WRITE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100584 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
585 mbedtls_pk_write_pubkey_pem(NULL,
586 buf, sizeof(buf)));
587 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
588 mbedtls_pk_write_pubkey_pem(&pk,
589 NULL, sizeof(buf)));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500590
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100591 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
592 mbedtls_pk_write_key_pem(NULL,
593 buf, sizeof(buf)));
594 TEST_INVALID_PARAM_RET(MBEDTLS_ERR_PK_BAD_INPUT_DATA,
595 mbedtls_pk_write_key_pem(&pk,
596 NULL, sizeof(buf)));
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500597#endif /* MBEDTLS_PEM_WRITE_C */
598
599#endif /* MBEDTLS_PK_WRITE_C */
Valerio Setti19c81962023-04-19 14:25:52 +0200600exit:
601 USE_PSA_DONE();
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500602}
603/* END_CASE */
604
605/* BEGIN_CASE */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100606void pk_utils(int type, int parameter, int bitlen, int len, char *name)
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200607{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200608 mbedtls_pk_context pk;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200609
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100610 mbedtls_pk_init(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +0200611 USE_PSA_INIT();
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200612
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100613 TEST_ASSERT(mbedtls_pk_setup(&pk, mbedtls_pk_info_from_type(type)) == 0);
614 TEST_ASSERT(pk_genkey(&pk, parameter) == 0);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200615
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100616 TEST_ASSERT((int) mbedtls_pk_get_type(&pk) == type);
617 TEST_ASSERT(mbedtls_pk_can_do(&pk, type));
618 TEST_ASSERT(mbedtls_pk_get_bitlen(&pk) == (unsigned) bitlen);
619 TEST_ASSERT(mbedtls_pk_get_len(&pk) == (unsigned) len);
620 TEST_ASSERT(strcmp(mbedtls_pk_get_name(&pk), name) == 0);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200621
Paul Bakkerbd51b262014-07-10 15:26:12 +0200622exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100623 mbedtls_pk_free(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +0200624 USE_PSA_DONE();
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200625}
626/* END_CASE */
627
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200628/* BEGIN_CASE depends_on:MBEDTLS_PK_PARSE_C:MBEDTLS_FS_IO */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100629void mbedtls_pk_check_pair(char *pub_file, char *prv_file, int ret)
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100630{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200631 mbedtls_pk_context pub, prv, alt;
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100632
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100633 mbedtls_pk_init(&pub);
634 mbedtls_pk_init(&prv);
635 mbedtls_pk_init(&alt);
Valerio Setti19c81962023-04-19 14:25:52 +0200636 USE_PSA_INIT();
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100637
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100638 TEST_ASSERT(mbedtls_pk_parse_public_keyfile(&pub, pub_file) == 0);
639 TEST_ASSERT(mbedtls_pk_parse_keyfile(&prv, prv_file, NULL) == 0);
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100640
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100641 TEST_ASSERT(mbedtls_pk_check_pair(&pub, &prv) == ret);
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100642
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200643#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100644 if (mbedtls_pk_get_type(&prv) == MBEDTLS_PK_RSA) {
645 TEST_ASSERT(mbedtls_pk_setup_rsa_alt(&alt, mbedtls_pk_rsa(prv),
646 mbedtls_rsa_decrypt_func, mbedtls_rsa_sign_func,
647 mbedtls_rsa_key_len_func) == 0);
648 TEST_ASSERT(mbedtls_pk_check_pair(&pub, &alt) == ret);
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100649 }
Manuel Pégourié-Gonnard7c13d692014-11-12 00:01:34 +0100650#endif
Manuel Pégourié-Gonnarda1efcb02014-11-08 17:08:08 +0100651
Valerio Setti19c81962023-04-19 14:25:52 +0200652exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100653 mbedtls_pk_free(&pub);
654 mbedtls_pk_free(&prv);
655 mbedtls_pk_free(&alt);
Valerio Setti19c81962023-04-19 14:25:52 +0200656 USE_PSA_DONE();
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100657}
658/* END_CASE */
659
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200660/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100661void pk_rsa_verify_test_vec(data_t *message_str, int digest, int mod,
662 char *input_N, char *input_E,
663 data_t *result_str, int result)
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200664{
Ron Eldor58e3f692018-11-21 13:44:31 +0200665 unsigned char hash_result[MBEDTLS_MD_MAX_SIZE];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200666 mbedtls_rsa_context *rsa;
667 mbedtls_pk_context pk;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200668 mbedtls_pk_restart_ctx *rs_ctx = NULL;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200669#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200670 mbedtls_pk_restart_ctx ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200671
672 rs_ctx = &ctx;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100673 mbedtls_pk_restart_init(rs_ctx);
Manuel Pégourié-Gonnard4edb9cb2018-07-02 12:23:23 +0200674 // this setting would ensure restart would happen if ECC was used
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100675 mbedtls_ecp_set_max_ops(1);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200676#endif
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200677
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100678 mbedtls_pk_init(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +0200679 USE_PSA_INIT();
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200680
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100681 memset(hash_result, 0x00, MBEDTLS_MD_MAX_SIZE);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200682
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100683 TEST_ASSERT(mbedtls_pk_setup(&pk, mbedtls_pk_info_from_type(MBEDTLS_PK_RSA)) == 0);
684 rsa = mbedtls_pk_rsa(pk);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200685
Paul Bakker42099c32014-01-27 11:45:49 +0100686 rsa->len = mod / 8;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100687 TEST_ASSERT(mbedtls_test_read_mpi(&rsa->N, input_N) == 0);
688 TEST_ASSERT(mbedtls_test_read_mpi(&rsa->E, input_E) == 0);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200689
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200690
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100691 if (mbedtls_md_info_from_type(digest) != NULL) {
692 TEST_ASSERT(mbedtls_md(mbedtls_md_info_from_type(digest), message_str->x, message_str->len,
693 hash_result) == 0);
694 }
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200695
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100696 TEST_ASSERT(mbedtls_pk_verify(&pk, digest, hash_result, 0,
697 result_str->x, mbedtls_pk_get_len(&pk)) == result);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200698
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100699 TEST_ASSERT(mbedtls_pk_verify_restartable(&pk, digest, hash_result, 0,
700 result_str->x, mbedtls_pk_get_len(
701 &pk), rs_ctx) == result);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200702
Paul Bakkerbd51b262014-07-10 15:26:12 +0200703exit:
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200704#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100705 mbedtls_pk_restart_free(rs_ctx);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200706#endif
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100707 mbedtls_pk_free(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +0200708 USE_PSA_DONE();
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200709}
710/* END_CASE */
711
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200712/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100713void pk_rsa_verify_ext_test_vec(data_t *message_str, int digest,
714 int mod, char *input_N,
715 char *input_E, data_t *result_str,
716 int pk_type, int mgf1_hash_id,
717 int salt_len, int result)
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200718{
Ron Eldor58e3f692018-11-21 13:44:31 +0200719 unsigned char hash_result[MBEDTLS_MD_MAX_SIZE];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200720 mbedtls_rsa_context *rsa;
721 mbedtls_pk_context pk;
722 mbedtls_pk_rsassa_pss_options pss_opts;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200723 void *options;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200724 size_t hash_len;
725
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100726 mbedtls_pk_init(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +0200727 USE_PSA_INIT();
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200728
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100729 memset(hash_result, 0x00, sizeof(hash_result));
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200730
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100731 TEST_ASSERT(mbedtls_pk_setup(&pk, mbedtls_pk_info_from_type(MBEDTLS_PK_RSA)) == 0);
732 rsa = mbedtls_pk_rsa(pk);
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200733
734 rsa->len = mod / 8;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100735 TEST_ASSERT(mbedtls_test_read_mpi(&rsa->N, input_N) == 0);
736 TEST_ASSERT(mbedtls_test_read_mpi(&rsa->E, input_E) == 0);
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200737
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200738
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100739 if (digest != MBEDTLS_MD_NONE) {
740 TEST_ASSERT(mbedtls_md(mbedtls_md_info_from_type(digest),
741 message_str->x, message_str->len, hash_result) == 0);
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200742 hash_len = 0;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100743 } else {
744 memcpy(hash_result, message_str->x, message_str->len);
Azim Khand30ca132017-06-09 04:32:58 +0100745 hash_len = message_str->len;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200746 }
747
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100748 if (mgf1_hash_id < 0) {
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200749 options = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100750 } else {
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200751 options = &pss_opts;
752
753 pss_opts.mgf1_hash_id = mgf1_hash_id;
754 pss_opts.expected_salt_len = salt_len;
755 }
756
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100757 TEST_ASSERT(mbedtls_pk_verify_ext(pk_type, options, &pk,
758 digest, hash_result, hash_len,
759 result_str->x, mbedtls_pk_get_len(&pk)) == result);
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200760
Paul Bakkerbd51b262014-07-10 15:26:12 +0200761exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100762 mbedtls_pk_free(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +0200763 USE_PSA_DONE();
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200764}
765/* END_CASE */
766
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200767/* BEGIN_CASE depends_on:MBEDTLS_ECDSA_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100768void pk_ec_test_vec(int type, int id, data_t *key, data_t *hash,
769 data_t *sig, int ret)
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200770{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200771 mbedtls_pk_context pk;
772 mbedtls_ecp_keypair *eckey;
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200773
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100774 mbedtls_pk_init(&pk);
775 USE_PSA_INIT();
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200776
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100777 TEST_ASSERT(mbedtls_pk_setup(&pk, mbedtls_pk_info_from_type(type)) == 0);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200778
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100779 TEST_ASSERT(mbedtls_pk_can_do(&pk, MBEDTLS_PK_ECDSA));
780 eckey = mbedtls_pk_ec(pk);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200781
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100782 TEST_ASSERT(mbedtls_ecp_group_load(&eckey->grp, id) == 0);
783 TEST_ASSERT(mbedtls_ecp_point_read_binary(&eckey->grp, &eckey->Q,
784 key->x, key->len) == 0);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200785
John Durkopd4efa8d2020-09-08 05:58:28 -0700786 // MBEDTLS_MD_NONE is used since it will be ignored.
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100787 TEST_ASSERT(mbedtls_pk_verify(&pk, MBEDTLS_MD_NONE,
788 hash->x, hash->len, sig->x, sig->len) == ret);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200789
Paul Bakkerbd51b262014-07-10 15:26:12 +0200790exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100791 mbedtls_pk_free(&pk);
792 USE_PSA_DONE();
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200793}
794/* END_CASE */
795
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200796/* BEGIN_CASE depends_on:MBEDTLS_ECP_RESTARTABLE:MBEDTLS_ECDSA_C:MBEDTLS_ECDSA_DETERMINISTIC */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100797void pk_sign_verify_restart(int pk_type, int grp_id, char *d_str,
798 char *QX_str, char *QY_str,
799 int md_alg, char *msg, data_t *sig_check,
800 int max_ops, int min_restart, int max_restart)
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200801{
802 int ret, cnt_restart;
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200803 mbedtls_pk_restart_ctx rs_ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200804 mbedtls_pk_context prv, pub;
805 unsigned char hash[MBEDTLS_MD_MAX_SIZE];
806 unsigned char sig[MBEDTLS_ECDSA_MAX_LEN];
Ronald Cron9ed40732020-06-25 09:03:34 +0200807 size_t hlen, slen;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200808 const mbedtls_md_info_t *md_info;
809
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100810 mbedtls_pk_restart_init(&rs_ctx);
811 mbedtls_pk_init(&prv);
812 mbedtls_pk_init(&pub);
813 memset(hash, 0, sizeof(hash));
814 memset(sig, 0, sizeof(sig));
Valerio Setti19c81962023-04-19 14:25:52 +0200815 USE_PSA_INIT();
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200816
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100817 TEST_ASSERT(mbedtls_pk_setup(&prv, mbedtls_pk_info_from_type(pk_type)) == 0);
818 TEST_ASSERT(mbedtls_ecp_group_load(&mbedtls_pk_ec(prv)->grp, grp_id) == 0);
819 TEST_ASSERT(mbedtls_test_read_mpi(&mbedtls_pk_ec(prv)->d, d_str) == 0);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200820
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100821 TEST_ASSERT(mbedtls_pk_setup(&pub, mbedtls_pk_info_from_type(pk_type)) == 0);
822 TEST_ASSERT(mbedtls_ecp_group_load(&mbedtls_pk_ec(pub)->grp, grp_id) == 0);
823 TEST_ASSERT(mbedtls_ecp_point_read_string(&mbedtls_pk_ec(pub)->Q, 16, QX_str, QY_str) == 0);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200824
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100825 md_info = mbedtls_md_info_from_type(md_alg);
826 TEST_ASSERT(md_info != NULL);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200827
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100828 hlen = mbedtls_md_get_size(md_info);
829 TEST_ASSERT(mbedtls_md(md_info,
830 (const unsigned char *) msg, strlen(msg),
831 hash) == 0);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200832
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100833 mbedtls_ecp_set_max_ops(max_ops);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200834
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100835 slen = sizeof(sig);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200836 cnt_restart = 0;
837 do {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100838 ret = mbedtls_pk_sign_restartable(&prv, md_alg, hash, hlen,
839 sig, &slen, NULL, NULL, &rs_ctx);
840 } while (ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200841
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100842 TEST_ASSERT(ret == 0);
843 TEST_ASSERT(slen == sig_check->len);
844 TEST_ASSERT(memcmp(sig, sig_check->x, slen) == 0);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200845
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100846 TEST_ASSERT(cnt_restart >= min_restart);
847 TEST_ASSERT(cnt_restart <= max_restart);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200848
849 cnt_restart = 0;
850 do {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100851 ret = mbedtls_pk_verify_restartable(&pub, md_alg,
852 hash, hlen, sig, slen, &rs_ctx);
853 } while (ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200854
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100855 TEST_ASSERT(ret == 0);
856 TEST_ASSERT(cnt_restart >= min_restart);
857 TEST_ASSERT(cnt_restart <= max_restart);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200858
859 hash[0]++;
860 do {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100861 ret = mbedtls_pk_verify_restartable(&pub, md_alg,
862 hash, hlen, sig, slen, &rs_ctx);
863 } while (ret == MBEDTLS_ERR_ECP_IN_PROGRESS);
864 TEST_ASSERT(ret != 0);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200865 hash[0]--;
866
867 sig[0]++;
868 do {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100869 ret = mbedtls_pk_verify_restartable(&pub, md_alg,
870 hash, hlen, sig, slen, &rs_ctx);
871 } while (ret == MBEDTLS_ERR_ECP_IN_PROGRESS);
872 TEST_ASSERT(ret != 0);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200873 sig[0]--;
874
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200875 /* Do we leak memory when aborting? try verify then sign
876 * This test only makes sense when we actually restart */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100877 if (min_restart > 0) {
878 ret = mbedtls_pk_verify_restartable(&pub, md_alg,
879 hash, hlen, sig, slen, &rs_ctx);
880 TEST_ASSERT(ret == MBEDTLS_ERR_ECP_IN_PROGRESS);
881 mbedtls_pk_restart_free(&rs_ctx);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200882
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100883 slen = sizeof(sig);
884 ret = mbedtls_pk_sign_restartable(&prv, md_alg, hash, hlen,
885 sig, &slen, NULL, NULL, &rs_ctx);
886 TEST_ASSERT(ret == MBEDTLS_ERR_ECP_IN_PROGRESS);
Manuel Pégourié-Gonnard46ba7f32017-08-28 12:20:39 +0200887 }
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200888
889exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100890 mbedtls_pk_restart_free(&rs_ctx);
891 mbedtls_pk_free(&prv);
892 mbedtls_pk_free(&pub);
Valerio Setti19c81962023-04-19 14:25:52 +0200893 USE_PSA_DONE();
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200894}
895/* END_CASE */
896
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200897/* BEGIN_CASE depends_on:MBEDTLS_SHA256_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100898void pk_sign_verify(int type, int parameter, int sign_ret, int verify_ret)
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200899{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200900 mbedtls_pk_context pk;
Nick Child8930e142021-06-17 11:59:29 -0400901 size_t sig_len, hash_len;
902 mbedtls_md_type_t md = MBEDTLS_MD_SHA256;
903 unsigned char *hash = NULL;
Gilles Peskineeba088a2019-11-05 16:32:32 +0100904 unsigned char sig[MBEDTLS_PK_SIGNATURE_MAX_SIZE];
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200905 void *rs_ctx = NULL;
906#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200907 mbedtls_pk_restart_ctx ctx;
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200908
909 rs_ctx = &ctx;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100910 mbedtls_pk_restart_init(rs_ctx);
Manuel Pégourié-Gonnard4edb9cb2018-07-02 12:23:23 +0200911 /* This value is large enough that the operation will complete in one run.
912 * See comments at the top of ecp_test_vect_restart in
913 * test_suite_ecp.function for estimates of operation counts. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100914 mbedtls_ecp_set_max_ops(42000);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200915#endif
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200916
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100917 hash_len = mbedtls_md_get_size(mbedtls_md_info_from_type(md));
Tom Cosgrove30ceb232023-09-04 11:20:19 +0100918 TEST_CALLOC(hash, hash_len);
Nick Child8930e142021-06-17 11:59:29 -0400919
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100920 mbedtls_pk_init(&pk);
921 USE_PSA_INIT();
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200922
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100923 memset(hash, 0x2a, hash_len);
Dave Rodgman18688702023-02-02 12:40:50 +0000924 memset(sig, 0, sizeof(sig));
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200925
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100926 TEST_ASSERT(mbedtls_pk_setup(&pk, mbedtls_pk_info_from_type(type)) == 0);
927 TEST_ASSERT(pk_genkey(&pk, parameter) == 0);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200928
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100929 TEST_ASSERT(mbedtls_pk_sign_restartable(&pk, md,
930 hash, hash_len, sig, &sig_len,
931 mbedtls_test_rnd_std_rand, NULL, rs_ctx) == sign_ret);
932 if (sign_ret == 0) {
933 TEST_ASSERT(sig_len <= MBEDTLS_PK_SIGNATURE_MAX_SIZE);
934 } else {
Gilles Peskinef85e4e62019-11-12 11:08:23 +0100935 sig_len = MBEDTLS_PK_SIGNATURE_MAX_SIZE;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100936 }
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200937
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100938 TEST_ASSERT(mbedtls_pk_verify(&pk, md,
939 hash, hash_len, sig, sig_len) == verify_ret);
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200940
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100941 if (verify_ret == 0) {
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200942 hash[0]++;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100943 TEST_ASSERT(mbedtls_pk_verify(&pk, md,
944 hash, hash_len, sig, sig_len) != 0);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200945 hash[0]--;
946
947 sig[0]++;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100948 TEST_ASSERT(mbedtls_pk_verify(&pk, md,
949 hash, hash_len, sig, sig_len) != 0);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200950 sig[0]--;
951 }
952
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100953 TEST_ASSERT(mbedtls_pk_sign(&pk, md, hash, hash_len,
954 sig, &sig_len,
955 mbedtls_test_rnd_std_rand,
956 NULL) == sign_ret);
957 if (sign_ret == 0) {
958 TEST_ASSERT(sig_len <= MBEDTLS_PK_SIGNATURE_MAX_SIZE);
959 } else {
Gilles Peskinef85e4e62019-11-12 11:08:23 +0100960 sig_len = MBEDTLS_PK_SIGNATURE_MAX_SIZE;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100961 }
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200962
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100963 TEST_ASSERT(mbedtls_pk_verify_restartable(&pk, md,
964 hash, hash_len, sig, sig_len, rs_ctx) == verify_ret);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200965
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100966 if (verify_ret == 0) {
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200967 hash[0]++;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100968 TEST_ASSERT(mbedtls_pk_verify_restartable(&pk, md,
969 hash, hash_len, sig, sig_len, rs_ctx) != 0);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200970 hash[0]--;
971
972 sig[0]++;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100973 TEST_ASSERT(mbedtls_pk_verify_restartable(&pk, md,
974 hash, hash_len, sig, sig_len, rs_ctx) != 0);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200975 sig[0]--;
976 }
977
Paul Bakkerbd51b262014-07-10 15:26:12 +0200978exit:
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200979#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100980 mbedtls_pk_restart_free(rs_ctx);
Manuel Pégourié-Gonnardc4ee9ac2017-05-08 10:09:36 +0200981#endif
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100982 mbedtls_pk_free(&pk);
983 mbedtls_free(hash);
984 USE_PSA_DONE();
Manuel Pégourié-Gonnardb0a467f2013-09-21 12:31:05 +0200985}
986/* END_CASE */
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200987
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200988/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100989void pk_rsa_encrypt_test_vec(data_t *message, int mod,
990 char *input_N, char *input_E,
991 data_t *result, int ret)
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200992{
Ron Eldor58e3f692018-11-21 13:44:31 +0200993 unsigned char output[300];
Ronald Cron351f0ee2020-06-10 12:12:18 +0200994 mbedtls_test_rnd_pseudo_info rnd_info;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200995 mbedtls_rsa_context *rsa;
996 mbedtls_pk_context pk;
Azim Khanf1aaec92017-05-30 14:23:15 +0100997 size_t olen;
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +0200998
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100999 memset(&rnd_info, 0, sizeof(mbedtls_test_rnd_pseudo_info));
1000 memset(output, 0, sizeof(output));
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001001
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001002 mbedtls_pk_init(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +02001003 USE_PSA_INIT();
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001004 TEST_ASSERT(mbedtls_pk_setup(&pk, mbedtls_pk_info_from_type(MBEDTLS_PK_RSA)) == 0);
1005 rsa = mbedtls_pk_rsa(pk);
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001006
1007 rsa->len = mod / 8;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001008 TEST_ASSERT(mbedtls_test_read_mpi(&rsa->N, input_N) == 0);
1009 TEST_ASSERT(mbedtls_test_read_mpi(&rsa->E, input_E) == 0);
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001010
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001011 TEST_ASSERT(mbedtls_pk_encrypt(&pk, message->x, message->len,
1012 output, &olen, sizeof(output),
1013 mbedtls_test_rnd_pseudo_rand, &rnd_info) == ret);
1014 TEST_ASSERT(olen == result->len);
1015 TEST_ASSERT(memcmp(output, result->x, olen) == 0);
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001016
Paul Bakkerbd51b262014-07-10 15:26:12 +02001017exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001018 mbedtls_pk_free(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +02001019 USE_PSA_DONE();
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001020}
1021/* END_CASE */
1022
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001023/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001024void pk_rsa_decrypt_test_vec(data_t *cipher, int mod,
1025 char *input_P, char *input_Q,
1026 char *input_N, char *input_E,
1027 data_t *clear, int ret)
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001028{
Ron Eldor58e3f692018-11-21 13:44:31 +02001029 unsigned char output[256];
Ronald Cron351f0ee2020-06-10 12:12:18 +02001030 mbedtls_test_rnd_pseudo_info rnd_info;
Hanno Beckerd71dc152017-08-23 06:32:42 +01001031 mbedtls_mpi N, P, Q, E;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001032 mbedtls_rsa_context *rsa;
1033 mbedtls_pk_context pk;
Azim Khanf1aaec92017-05-30 14:23:15 +01001034 size_t olen;
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001035
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001036 mbedtls_pk_init(&pk);
1037 mbedtls_mpi_init(&N); mbedtls_mpi_init(&P);
1038 mbedtls_mpi_init(&Q); mbedtls_mpi_init(&E);
Valerio Setti19c81962023-04-19 14:25:52 +02001039 USE_PSA_INIT();
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001040
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001041 memset(&rnd_info, 0, sizeof(mbedtls_test_rnd_pseudo_info));
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001042
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001043
1044 /* init pk-rsa context */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001045 TEST_ASSERT(mbedtls_pk_setup(&pk, mbedtls_pk_info_from_type(MBEDTLS_PK_RSA)) == 0);
1046 rsa = mbedtls_pk_rsa(pk);
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001047
1048 /* load public key */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001049 TEST_ASSERT(mbedtls_test_read_mpi(&N, input_N) == 0);
1050 TEST_ASSERT(mbedtls_test_read_mpi(&E, input_E) == 0);
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001051
1052 /* load private key */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001053 TEST_ASSERT(mbedtls_test_read_mpi(&P, input_P) == 0);
1054 TEST_ASSERT(mbedtls_test_read_mpi(&Q, input_Q) == 0);
1055 TEST_ASSERT(mbedtls_rsa_import(rsa, &N, &P, &Q, NULL, &E) == 0);
1056 TEST_ASSERT(mbedtls_rsa_get_len(rsa) == (size_t) (mod / 8));
1057 TEST_ASSERT(mbedtls_rsa_complete(rsa) == 0);
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001058
1059 /* decryption test */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001060 memset(output, 0, sizeof(output));
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001061 olen = 0;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001062 TEST_ASSERT(mbedtls_pk_decrypt(&pk, cipher->x, cipher->len,
1063 output, &olen, sizeof(output),
1064 mbedtls_test_rnd_pseudo_rand, &rnd_info) == ret);
1065 if (ret == 0) {
1066 TEST_ASSERT(olen == clear->len);
1067 TEST_ASSERT(memcmp(output, clear->x, olen) == 0);
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001068 }
1069
Paul Bakkerbd51b262014-07-10 15:26:12 +02001070exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001071 mbedtls_mpi_free(&N); mbedtls_mpi_free(&P);
1072 mbedtls_mpi_free(&Q); mbedtls_mpi_free(&E);
1073 mbedtls_pk_free(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +02001074 USE_PSA_DONE();
Manuel Pégourié-Gonnard67d45832013-10-17 12:34:16 +02001075}
1076/* END_CASE */
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001077
1078/* BEGIN_CASE */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001079void pk_ec_nocrypt(int type)
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001080{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001081 mbedtls_pk_context pk;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001082 unsigned char output[100];
1083 unsigned char input[100];
Ronald Cron351f0ee2020-06-10 12:12:18 +02001084 mbedtls_test_rnd_pseudo_info rnd_info;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001085 size_t olen = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001086 int ret = MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001087
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001088 mbedtls_pk_init(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +02001089 USE_PSA_INIT();
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001090
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001091 memset(&rnd_info, 0, sizeof(mbedtls_test_rnd_pseudo_info));
1092 memset(output, 0, sizeof(output));
1093 memset(input, 0, sizeof(input));
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001094
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001095 TEST_ASSERT(mbedtls_pk_setup(&pk, mbedtls_pk_info_from_type(type)) == 0);
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001096
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001097 TEST_ASSERT(mbedtls_pk_encrypt(&pk, input, sizeof(input),
1098 output, &olen, sizeof(output),
1099 mbedtls_test_rnd_pseudo_rand, &rnd_info) == ret);
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001100
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001101 TEST_ASSERT(mbedtls_pk_decrypt(&pk, input, sizeof(input),
1102 output, &olen, sizeof(output),
1103 mbedtls_test_rnd_pseudo_rand, &rnd_info) == ret);
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001104
Paul Bakkerbd51b262014-07-10 15:26:12 +02001105exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001106 mbedtls_pk_free(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +02001107 USE_PSA_DONE();
Manuel Pégourié-Gonnard75c78822013-10-17 12:46:39 +02001108}
1109/* END_CASE */
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001110
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +01001111/* BEGIN_CASE depends_on:MBEDTLS_RSA_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001112void pk_rsa_overflow()
Andres AG5c79d252017-02-15 10:52:32 +00001113{
1114 mbedtls_pk_context pk;
Valerio Setti57456b32023-04-24 09:19:45 +02001115 size_t hash_len = UINT_MAX + 1, sig_len = UINT_MAX + 1;
itayzafrir693a1d92018-02-26 12:02:10 +02001116 unsigned char hash[50], sig[100];
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +01001117
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001118 if (SIZE_MAX <= UINT_MAX) {
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +01001119 return;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001120 }
Andres AG5c79d252017-02-15 10:52:32 +00001121
Dave Rodgman18688702023-02-02 12:40:50 +00001122 memset(hash, 0x2a, sizeof(hash));
1123 memset(sig, 0, sizeof(sig));
Andres AG5c79d252017-02-15 10:52:32 +00001124
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001125 mbedtls_pk_init(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +02001126 USE_PSA_INIT();
Andres AG5c79d252017-02-15 10:52:32 +00001127
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001128 TEST_ASSERT(mbedtls_pk_setup(&pk,
1129 mbedtls_pk_info_from_type(MBEDTLS_PK_RSA)) == 0);
Andres AG5c79d252017-02-15 10:52:32 +00001130
1131#if defined(MBEDTLS_PKCS1_V21)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001132 TEST_ASSERT(mbedtls_pk_verify_ext(MBEDTLS_PK_RSASSA_PSS, NULL, &pk,
1133 MBEDTLS_MD_NONE, hash, hash_len, sig, sig_len) ==
1134 MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Andres AG5c79d252017-02-15 10:52:32 +00001135#endif /* MBEDTLS_PKCS1_V21 */
1136
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001137 TEST_ASSERT(mbedtls_pk_verify(&pk, MBEDTLS_MD_NONE, hash, hash_len,
1138 sig, sig_len) == MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Andres AG5c79d252017-02-15 10:52:32 +00001139
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001140 TEST_ASSERT(mbedtls_pk_sign(&pk, MBEDTLS_MD_NONE, hash, hash_len, sig,
1141 &sig_len, mbedtls_test_rnd_std_rand, NULL)
1142 == MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Andres AG5c79d252017-02-15 10:52:32 +00001143
1144exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001145 mbedtls_pk_free(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +02001146 USE_PSA_DONE();
Andres AG5c79d252017-02-15 10:52:32 +00001147}
1148/* END_CASE */
1149
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001150/* BEGIN_CASE depends_on:MBEDTLS_RSA_C:MBEDTLS_PK_RSA_ALT_SUPPORT */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001151void pk_rsa_alt()
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001152{
1153 /*
1154 * An rsa_alt context can only do private operations (decrypt, sign).
1155 * Test it against the public operations (encrypt, verify) of a
1156 * corresponding rsa context.
1157 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001158 mbedtls_rsa_context raw;
1159 mbedtls_pk_context rsa, alt;
1160 mbedtls_pk_debug_item dbg_items[10];
Ron Eldor58e3f692018-11-21 13:44:31 +02001161 unsigned char hash[50], sig[64];
1162 unsigned char msg[50], ciph[64], test[50];
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001163 size_t sig_len, ciph_len, test_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001164 int ret = MBEDTLS_ERR_PK_TYPE_MISMATCH;
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001165
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001166 mbedtls_rsa_init(&raw, MBEDTLS_RSA_PKCS_V15, MBEDTLS_MD_NONE);
Valerio Setti19c81962023-04-19 14:25:52 +02001167 mbedtls_pk_init(&rsa);
1168 mbedtls_pk_init(&alt);
1169 USE_PSA_INIT();
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001170
Dave Rodgman18688702023-02-02 12:40:50 +00001171 memset(hash, 0x2a, sizeof(hash));
1172 memset(sig, 0, sizeof(sig));
1173 memset(msg, 0x2a, sizeof(msg));
1174 memset(ciph, 0, sizeof(ciph));
1175 memset(test, 0, sizeof(test));
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001176
Shaun Case0e7791f2021-12-20 21:14:10 -08001177 /* Initialize PK RSA context with random key */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001178 TEST_ASSERT(mbedtls_pk_setup(&rsa,
1179 mbedtls_pk_info_from_type(MBEDTLS_PK_RSA)) == 0);
1180 TEST_ASSERT(pk_genkey(&rsa, RSA_KEY_SIZE) == 0);
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001181
1182 /* Extract key to the raw rsa context */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001183 TEST_ASSERT(mbedtls_rsa_copy(&raw, mbedtls_pk_rsa(rsa)) == 0);
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001184
1185 /* Initialize PK RSA_ALT context */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001186 TEST_ASSERT(mbedtls_pk_setup_rsa_alt(&alt, (void *) &raw,
1187 mbedtls_rsa_decrypt_func, mbedtls_rsa_sign_func,
1188 mbedtls_rsa_key_len_func) == 0);
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001189
1190 /* Test administrative functions */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001191 TEST_ASSERT(mbedtls_pk_can_do(&alt, MBEDTLS_PK_RSA));
1192 TEST_ASSERT(mbedtls_pk_get_bitlen(&alt) == RSA_KEY_SIZE);
1193 TEST_ASSERT(mbedtls_pk_get_len(&alt) == RSA_KEY_LEN);
1194 TEST_ASSERT(mbedtls_pk_get_type(&alt) == MBEDTLS_PK_RSA_ALT);
1195 TEST_ASSERT(strcmp(mbedtls_pk_get_name(&alt), "RSA-alt") == 0);
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001196
1197 /* Test signature */
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +01001198#if SIZE_MAX > UINT_MAX
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001199 TEST_ASSERT(mbedtls_pk_sign(&alt, MBEDTLS_MD_NONE, hash, SIZE_MAX, sig,
1200 &sig_len, mbedtls_test_rnd_std_rand, NULL)
1201 == MBEDTLS_ERR_PK_BAD_INPUT_DATA);
Andres Amaya Garcia7ea67272017-05-08 11:15:49 +01001202#endif /* SIZE_MAX > UINT_MAX */
Dave Rodgman18688702023-02-02 12:40:50 +00001203 TEST_ASSERT(mbedtls_pk_sign(&alt, MBEDTLS_MD_NONE, hash, sizeof(hash), sig,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001204 &sig_len, mbedtls_test_rnd_std_rand, NULL)
1205 == 0);
1206 TEST_ASSERT(sig_len == RSA_KEY_LEN);
1207 TEST_ASSERT(mbedtls_pk_verify(&rsa, MBEDTLS_MD_NONE,
Dave Rodgman18688702023-02-02 12:40:50 +00001208 hash, sizeof(hash), sig, sig_len) == 0);
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001209
1210 /* Test decrypt */
Dave Rodgman18688702023-02-02 12:40:50 +00001211 TEST_ASSERT(mbedtls_pk_encrypt(&rsa, msg, sizeof(msg),
1212 ciph, &ciph_len, sizeof(ciph),
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001213 mbedtls_test_rnd_std_rand, NULL) == 0);
1214 TEST_ASSERT(mbedtls_pk_decrypt(&alt, ciph, ciph_len,
Dave Rodgman18688702023-02-02 12:40:50 +00001215 test, &test_len, sizeof(test),
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001216 mbedtls_test_rnd_std_rand, NULL) == 0);
Dave Rodgman18688702023-02-02 12:40:50 +00001217 TEST_ASSERT(test_len == sizeof(msg));
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001218 TEST_ASSERT(memcmp(test, msg, test_len) == 0);
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001219
1220 /* Test forbidden operations */
Dave Rodgman18688702023-02-02 12:40:50 +00001221 TEST_ASSERT(mbedtls_pk_encrypt(&alt, msg, sizeof(msg),
1222 ciph, &ciph_len, sizeof(ciph),
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001223 mbedtls_test_rnd_std_rand, NULL) == ret);
1224 TEST_ASSERT(mbedtls_pk_verify(&alt, MBEDTLS_MD_NONE,
Dave Rodgman18688702023-02-02 12:40:50 +00001225 hash, sizeof(hash), sig, sig_len) == ret);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001226 TEST_ASSERT(mbedtls_pk_debug(&alt, dbg_items) == ret);
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001227
Paul Bakkerbd51b262014-07-10 15:26:12 +02001228exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001229 mbedtls_rsa_free(&raw);
Valerio Setti19c81962023-04-19 14:25:52 +02001230 mbedtls_pk_free(&rsa);
1231 mbedtls_pk_free(&alt);
1232 USE_PSA_DONE();
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +02001233}
1234/* END_CASE */
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001235
Gilles Peskine33b1c692019-12-19 00:09:47 +01001236/* BEGIN_CASE depends_on:MBEDTLS_SHA256_C:MBEDTLS_USE_PSA_CRYPTO:MBEDTLS_ECDSA_C */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001237void pk_psa_sign(int grpid_arg,
1238 int psa_curve_arg, int expected_bits_arg)
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001239{
Gilles Peskine33b1c692019-12-19 00:09:47 +01001240 mbedtls_ecp_group_id grpid = grpid_arg;
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001241 mbedtls_pk_context pk;
Gilles Peskine33b1c692019-12-19 00:09:47 +01001242 unsigned char hash[32];
1243 unsigned char sig[MBEDTLS_ECDSA_MAX_LEN];
1244 unsigned char pkey_legacy[200];
1245 unsigned char pkey_psa[200];
Hanno Becker56104ea2019-02-01 11:48:19 +00001246 unsigned char *pkey_legacy_start, *pkey_psa_start;
1247 size_t sig_len, klen_legacy, klen_psa;
1248 int ret;
Ronald Cron5425a212020-08-04 14:58:35 +02001249 mbedtls_svc_key_id_t key_id;
Gilles Peskine85f47c92019-12-18 20:44:15 +01001250 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001251 psa_key_type_t expected_type = PSA_KEY_TYPE_ECC_KEY_PAIR(psa_curve_arg);
Gilles Peskine33b1c692019-12-19 00:09:47 +01001252 size_t expected_bits = expected_bits_arg;
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001253
1254 /*
1255 * This tests making signatures with a wrapped PSA key:
Hanno Becker56104ea2019-02-01 11:48:19 +00001256 * - generate a fresh ECP legacy PK context
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001257 * - wrap it in a PK context and make a signature this way
1258 * - extract the public key
1259 * - parse it to a PK context and verify the signature this way
1260 */
1261
Hanno Becker56104ea2019-02-01 11:48:19 +00001262 /* Create legacy EC public/private key in PK context. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001263 mbedtls_pk_init(&pk);
Valerio Setti19c81962023-04-19 14:25:52 +02001264 USE_PSA_INIT();
1265
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001266 TEST_ASSERT(mbedtls_pk_setup(&pk,
1267 mbedtls_pk_info_from_type(MBEDTLS_PK_ECKEY)) == 0);
1268 TEST_ASSERT(mbedtls_ecp_gen_key(grpid,
1269 (mbedtls_ecp_keypair *) pk.pk_ctx,
1270 mbedtls_test_rnd_std_rand, NULL) == 0);
Hanno Becker56104ea2019-02-01 11:48:19 +00001271
1272 /* Export underlying public key for re-importing in a legacy context. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001273 ret = mbedtls_pk_write_pubkey_der(&pk, pkey_legacy,
1274 sizeof(pkey_legacy));
1275 TEST_ASSERT(ret >= 0);
Hanno Becker56104ea2019-02-01 11:48:19 +00001276 klen_legacy = (size_t) ret;
1277 /* mbedtls_pk_write_pubkey_der() writes backwards in the data buffer. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001278 pkey_legacy_start = pkey_legacy + sizeof(pkey_legacy) - klen_legacy;
Hanno Becker56104ea2019-02-01 11:48:19 +00001279
1280 /* Turn PK context into an opaque one. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001281 TEST_ASSERT(mbedtls_pk_wrap_as_opaque(&pk, &key_id,
1282 PSA_ALG_SHA_256) == 0);
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001283
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001284 PSA_ASSERT(psa_get_key_attributes(key_id, &attributes));
1285 TEST_EQUAL(psa_get_key_type(&attributes), expected_type);
1286 TEST_EQUAL(psa_get_key_bits(&attributes), expected_bits);
1287 TEST_EQUAL(psa_get_key_lifetime(&attributes),
1288 PSA_KEY_LIFETIME_VOLATILE);
Gilles Peskine85f47c92019-12-18 20:44:15 +01001289
Dave Rodgman18688702023-02-02 12:40:50 +00001290 memset(hash, 0x2a, sizeof(hash));
1291 memset(sig, 0, sizeof(sig));
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001292
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001293 TEST_ASSERT(mbedtls_pk_sign(&pk, MBEDTLS_MD_SHA256,
Dave Rodgman18688702023-02-02 12:40:50 +00001294 hash, sizeof(hash), sig, &sig_len,
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001295 NULL, NULL) == 0);
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001296
Hanno Becker56104ea2019-02-01 11:48:19 +00001297 /* Export underlying public key for re-importing in a psa context. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001298 ret = mbedtls_pk_write_pubkey_der(&pk, pkey_psa,
1299 sizeof(pkey_psa));
1300 TEST_ASSERT(ret >= 0);
Hanno Becker56104ea2019-02-01 11:48:19 +00001301 klen_psa = (size_t) ret;
1302 /* mbedtls_pk_write_pubkey_der() writes backwards in the data buffer. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001303 pkey_psa_start = pkey_psa + sizeof(pkey_psa) - klen_psa;
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001304
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001305 TEST_ASSERT(klen_psa == klen_legacy);
1306 TEST_ASSERT(memcmp(pkey_psa_start, pkey_legacy_start, klen_psa) == 0);
Hanno Becker56104ea2019-02-01 11:48:19 +00001307
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001308 mbedtls_pk_free(&pk);
1309 TEST_ASSERT(PSA_SUCCESS == psa_destroy_key(key_id));
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001310
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001311 mbedtls_pk_init(&pk);
1312 TEST_ASSERT(mbedtls_pk_parse_public_key(&pk, pkey_legacy_start,
1313 klen_legacy) == 0);
1314 TEST_ASSERT(mbedtls_pk_verify(&pk, MBEDTLS_MD_SHA256,
Dave Rodgman18688702023-02-02 12:40:50 +00001315 hash, sizeof(hash), sig, sig_len) == 0);
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001316
1317exit:
Ronald Cron3a4f0e32020-11-19 17:55:23 +01001318 /*
1319 * Key attributes may have been returned by psa_get_key_attributes()
1320 * thus reset them as required.
1321 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001322 psa_reset_key_attributes(&attributes);
Ronald Cron3a4f0e32020-11-19 17:55:23 +01001323
Gilles Peskine1b6c09a2023-01-11 14:52:35 +01001324 mbedtls_pk_free(&pk);
1325 USE_PSA_DONE();
Manuel Pégourié-Gonnard36867712018-10-31 16:22:49 +01001326}
1327/* END_CASE */