blob: cb6da7f44c7492c38b8ad9e191c6d818393cc629 [file] [log] [blame]
Gilles Peskinee59236f2018-01-27 23:32:46 +01001/* BEGIN_HEADER */
itayzafrir3e02b3b2018-06-12 17:06:52 +03002#include <stdint.h>
Gilles Peskinee59236f2018-01-27 23:32:46 +01003#include "psa/crypto.h"
itayzafrir3e02b3b2018-06-12 17:06:52 +03004
5#if(UINT32_MAX > SIZE_MAX)
Gilles Peskine2d277862018-06-18 15:41:12 +02006#define PSA_CRYPTO_TEST_SIZE_T_RANGE( x ) ( ( x ) <= SIZE_MAX )
itayzafrir3e02b3b2018-06-12 17:06:52 +03007#else
Gilles Peskine2d277862018-06-18 15:41:12 +02008#define PSA_CRYPTO_TEST_SIZE_T_RANGE( x ) 1
itayzafrir3e02b3b2018-06-12 17:06:52 +03009#endif
Gilles Peskinee66ca3b2018-06-20 00:11:45 +020010
Jaeden Amerof24c7f82018-06-27 17:20:43 +010011/** An invalid export length that will never be set by psa_export_key(). */
12static const size_t INVALID_EXPORT_LENGTH = ~0U;
13
Gilles Peskinee66ca3b2018-06-20 00:11:45 +020014/** Test if a buffer is not all-bits zero.
15 *
16 * \param buffer Pointer to the beginning of the buffer.
17 * \param size Size of the buffer in bytes.
18 *
Gilles Peskine3f669c32018-06-21 09:21:51 +020019 * \return 1 if the buffer is all-bits-zero.
20 * \return 0 if there is at least one nonzero byte.
Gilles Peskinee66ca3b2018-06-20 00:11:45 +020021 */
Gilles Peskine3f669c32018-06-21 09:21:51 +020022static int mem_is_zero( void *buffer, size_t size )
Gilles Peskinee66ca3b2018-06-20 00:11:45 +020023{
24 size_t i;
25 for( i = 0; i < size; i++ )
26 {
27 if( ( (unsigned char *) buffer )[i] != 0 )
Gilles Peskine3f669c32018-06-21 09:21:51 +020028 return( 0 );
Gilles Peskinee66ca3b2018-06-20 00:11:45 +020029 }
Gilles Peskine3f669c32018-06-21 09:21:51 +020030 return( 1 );
Gilles Peskinee66ca3b2018-06-20 00:11:45 +020031}
Gilles Peskine818ca122018-06-20 18:16:48 +020032
Gilles Peskine48c0ea12018-06-21 14:15:31 +020033static int key_type_is_raw_bytes( psa_key_type_t type )
34{
35 psa_key_type_t category = type & PSA_KEY_TYPE_CATEGORY_MASK;
36 return( category == PSA_KEY_TYPE_RAW_DATA ||
37 category == PSA_KEY_TYPE_CATEGORY_SYMMETRIC );
38}
39
Gilles Peskine818ca122018-06-20 18:16:48 +020040static int exercise_mac_key( psa_key_slot_t key,
41 psa_key_usage_t usage,
42 psa_algorithm_t alg )
43{
44 psa_mac_operation_t operation;
45 const unsigned char input[] = "foo";
46 unsigned char mac[64] = {0};
47 size_t mac_length = sizeof( mac );
48
49 if( usage & PSA_KEY_USAGE_SIGN )
50 {
51 TEST_ASSERT( psa_mac_start( &operation, key, alg ) == PSA_SUCCESS );
52 TEST_ASSERT( psa_mac_update( &operation,
53 input, sizeof( input ) ) == PSA_SUCCESS );
54 TEST_ASSERT( psa_mac_finish( &operation,
55 mac, sizeof( input ),
56 &mac_length ) == PSA_SUCCESS );
57 }
58
59 if( usage & PSA_KEY_USAGE_VERIFY )
60 {
61 psa_status_t verify_status =
62 ( usage & PSA_KEY_USAGE_SIGN ?
63 PSA_SUCCESS :
64 PSA_ERROR_INVALID_SIGNATURE );
65 TEST_ASSERT( psa_mac_start( &operation, key, alg ) == PSA_SUCCESS );
66 TEST_ASSERT( psa_mac_update( &operation,
67 input, sizeof( input ) ) == PSA_SUCCESS );
68 TEST_ASSERT( psa_mac_verify( &operation, mac, mac_length ) == verify_status );
69 }
70
71 return( 1 );
72
73exit:
74 psa_mac_abort( &operation );
75 return( 0 );
76}
77
78static int exercise_cipher_key( psa_key_slot_t key,
79 psa_key_usage_t usage,
80 psa_algorithm_t alg )
81{
82 psa_cipher_operation_t operation;
83 unsigned char iv[16] = {0};
84 size_t iv_length = sizeof( iv );
85 const unsigned char plaintext[16] = "Hello, world...";
86 unsigned char ciphertext[32] = "(wabblewebblewibblewobblewubble)";
87 size_t ciphertext_length = sizeof( ciphertext );
88 unsigned char decrypted[sizeof( ciphertext )];
89 size_t part_length;
90
91 if( usage & PSA_KEY_USAGE_ENCRYPT )
92 {
93 TEST_ASSERT( psa_encrypt_setup( &operation, key, alg ) == PSA_SUCCESS );
94 TEST_ASSERT( psa_encrypt_generate_iv( &operation,
95 iv, sizeof( iv ),
96 &iv_length ) == PSA_SUCCESS );
97 TEST_ASSERT( psa_cipher_update( &operation,
98 plaintext, sizeof( plaintext ),
99 ciphertext, sizeof( ciphertext ),
100 &ciphertext_length ) == PSA_SUCCESS );
101 TEST_ASSERT( psa_cipher_finish( &operation,
102 ciphertext + ciphertext_length,
103 sizeof( ciphertext ) - ciphertext_length,
104 &part_length ) == PSA_SUCCESS );
105 ciphertext_length += part_length;
106 }
107
108 if( usage & PSA_KEY_USAGE_DECRYPT )
109 {
110 psa_status_t status;
Mohammad AboMokhadb9b232018-06-28 01:52:54 -0700111 psa_key_type_t type = PSA_KEY_TYPE_NONE;
Gilles Peskine818ca122018-06-20 18:16:48 +0200112 if( ! ( usage & PSA_KEY_USAGE_ENCRYPT ) )
113 {
Gilles Peskine818ca122018-06-20 18:16:48 +0200114 size_t bits;
115 TEST_ASSERT( psa_get_key_information( key, &type, &bits ) );
116 iv_length = PSA_BLOCK_CIPHER_BLOCK_SIZE( type );
117 }
118 TEST_ASSERT( psa_decrypt_setup( &operation, key, alg ) == PSA_SUCCESS );
119 TEST_ASSERT( psa_encrypt_set_iv( &operation,
120 iv, iv_length ) == PSA_SUCCESS );
121 TEST_ASSERT( psa_cipher_update( &operation,
122 ciphertext, ciphertext_length,
123 decrypted, sizeof( decrypted ),
124 &part_length ) == PSA_SUCCESS );
125 status = psa_cipher_finish( &operation,
126 decrypted + part_length,
127 sizeof( decrypted ) - part_length,
128 &part_length );
129 /* For a stream cipher, all inputs are valid. For a block cipher,
130 * if the input is some aribtrary data rather than an actual
131 ciphertext, a padding error is likely. */
Mohammad AboMokh65fa0b82018-06-28 02:14:00 -0700132 if( ( usage & PSA_KEY_USAGE_ENCRYPT ) ||
Mohammad AboMokhadb9b232018-06-28 01:52:54 -0700133 PSA_BLOCK_CIPHER_BLOCK_SIZE( type ) == 1 )
Gilles Peskine818ca122018-06-20 18:16:48 +0200134 TEST_ASSERT( status == PSA_SUCCESS );
135 else
136 TEST_ASSERT( status == PSA_SUCCESS ||
137 status == PSA_ERROR_INVALID_PADDING );
138 }
139
140 return( 1 );
141
142exit:
143 psa_cipher_abort( &operation );
144 return( 0 );
145}
146
147static int exercise_aead_key( psa_key_slot_t key,
148 psa_key_usage_t usage,
149 psa_algorithm_t alg )
150{
151 unsigned char nonce[16] = {0};
152 size_t nonce_length = sizeof( nonce );
153 unsigned char plaintext[16] = "Hello, world...";
154 unsigned char ciphertext[48] = "(wabblewebblewibblewobblewubble)";
155 size_t ciphertext_length = sizeof( ciphertext );
156 size_t plaintext_length = sizeof( ciphertext );
157
158 if( usage & PSA_KEY_USAGE_ENCRYPT )
159 {
160 TEST_ASSERT( psa_aead_encrypt( key, alg,
161 nonce, nonce_length,
162 NULL, 0,
163 plaintext, sizeof( plaintext ),
164 ciphertext, sizeof( ciphertext ),
165 &ciphertext_length ) == PSA_SUCCESS );
166 }
167
168 if( usage & PSA_KEY_USAGE_DECRYPT )
169 {
170 psa_status_t verify_status =
171 ( usage & PSA_KEY_USAGE_ENCRYPT ?
172 PSA_SUCCESS :
173 PSA_ERROR_INVALID_SIGNATURE );
174 TEST_ASSERT( psa_aead_decrypt( key, alg,
175 nonce, nonce_length,
176 NULL, 0,
177 ciphertext, ciphertext_length,
178 plaintext, sizeof( plaintext ),
179 &plaintext_length ) == verify_status );
180 }
181
182 return( 1 );
183
184exit:
185 return( 0 );
186}
187
188static int exercise_signature_key( psa_key_slot_t key,
189 psa_key_usage_t usage,
190 psa_algorithm_t alg )
191{
Gilles Peskineca45c352018-06-26 16:13:09 +0200192 unsigned char payload[16] = {1};
Gilles Peskine818ca122018-06-20 18:16:48 +0200193 size_t payload_length = sizeof( payload );
194 unsigned char signature[256] = {0};
195 size_t signature_length = sizeof( signature );
196
197 if( usage & PSA_KEY_USAGE_SIGN )
198 {
199 TEST_ASSERT( psa_asymmetric_sign( key, alg,
200 payload, payload_length,
201 NULL, 0,
202 signature, sizeof( signature ),
203 &signature_length ) == PSA_SUCCESS );
204 }
205
206 if( usage & PSA_KEY_USAGE_VERIFY )
207 {
208 psa_status_t verify_status =
209 ( usage & PSA_KEY_USAGE_SIGN ?
210 PSA_SUCCESS :
211 PSA_ERROR_INVALID_SIGNATURE );
212 TEST_ASSERT( psa_asymmetric_verify( key, alg,
213 payload, payload_length,
214 NULL, 0,
215 signature, signature_length ) ==
216 verify_status );
217 }
218
219 return( 1 );
220
221exit:
222 return( 0 );
223}
224
225static int exercise_asymmetric_encryption_key( psa_key_slot_t key,
226 psa_key_usage_t usage,
227 psa_algorithm_t alg )
228{
229 unsigned char plaintext[256] = "Hello, world...";
230 unsigned char ciphertext[256] = "(wabblewebblewibblewobblewubble)";
231 size_t ciphertext_length = sizeof( ciphertext );
232 size_t plaintext_length = 16;
233
234 if( usage & PSA_KEY_USAGE_ENCRYPT )
235 {
236 TEST_ASSERT(
237 psa_asymmetric_encrypt( key, alg,
238 plaintext, plaintext_length,
239 NULL, 0,
240 ciphertext, sizeof( ciphertext ),
241 &ciphertext_length ) == PSA_SUCCESS );
242 }
243
244 if( usage & PSA_KEY_USAGE_DECRYPT )
245 {
246 psa_status_t status =
247 psa_asymmetric_decrypt( key, alg,
248 ciphertext, ciphertext_length,
249 NULL, 0,
250 plaintext, sizeof( plaintext ),
251 &plaintext_length );
252 TEST_ASSERT( status == PSA_SUCCESS ||
253 ( ( usage & PSA_KEY_USAGE_ENCRYPT ) == 0 &&
254 ( status == PSA_ERROR_INVALID_ARGUMENT ||
255 status == PSA_ERROR_INVALID_PADDING ) ) );
256 }
257
258 return( 1 );
259
260exit:
261 return( 0 );
262}
Gilles Peskinee59236f2018-01-27 23:32:46 +0100263/* END_HEADER */
264
265/* BEGIN_DEPENDENCIES
266 * depends_on:MBEDTLS_PSA_CRYPTO_C
267 * END_DEPENDENCIES
268 */
269
270/* BEGIN_CASE */
Gilles Peskine2d277862018-06-18 15:41:12 +0200271void init_deinit( )
Gilles Peskinee59236f2018-01-27 23:32:46 +0100272{
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100273 psa_status_t status;
Gilles Peskinee59236f2018-01-27 23:32:46 +0100274 int i;
275 for( i = 0; i <= 1; i++ )
276 {
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100277 status = psa_crypto_init( );
278 TEST_ASSERT( status == PSA_SUCCESS );
279 status = psa_crypto_init( );
280 TEST_ASSERT( status == PSA_SUCCESS );
Gilles Peskinee59236f2018-01-27 23:32:46 +0100281 mbedtls_psa_crypto_free( );
282 }
283}
284/* END_CASE */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100285
286/* BEGIN_CASE */
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200287void import( data_t *data, int type, int expected_status_arg )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100288{
289 int slot = 1;
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200290 psa_status_t expected_status = expected_status_arg;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100291 psa_status_t status;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100292
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100293 TEST_ASSERT( data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300294 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( data->len ) );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100295 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
296
Gilles Peskine4abf7412018-06-18 16:35:34 +0200297 status = psa_import_key( slot, type, data->x, data->len );
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200298 TEST_ASSERT( status == expected_status );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100299 if( status == PSA_SUCCESS )
300 TEST_ASSERT( psa_destroy_key( slot ) == PSA_SUCCESS );
301
302exit:
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100303 mbedtls_psa_crypto_free( );
304}
305/* END_CASE */
306
307/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +0300308void import_export( data_t *data,
Moran Pekera964a8f2018-06-04 18:42:36 +0300309 int type_arg,
310 int alg_arg,
311 int usage_arg,
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100312 int expected_bits,
313 int export_size_delta,
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200314 int expected_export_status_arg,
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100315 int canonical_input )
316{
317 int slot = 1;
318 int slot2 = slot + 1;
319 psa_key_type_t type = type_arg;
Gilles Peskine4abf7412018-06-18 16:35:34 +0200320 psa_algorithm_t alg = alg_arg;
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200321 psa_status_t expected_export_status = expected_export_status_arg;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100322 psa_status_t status;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100323 unsigned char *exported = NULL;
324 unsigned char *reexported = NULL;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100325 size_t export_size;
Jaeden Amerof24c7f82018-06-27 17:20:43 +0100326 size_t exported_length = INVALID_EXPORT_LENGTH;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100327 size_t reexported_length;
328 psa_key_type_t got_type;
329 size_t got_bits;
Gilles Peskinedec72612018-06-18 18:12:37 +0200330 psa_key_policy_t policy;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100331
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100332 TEST_ASSERT( data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300333 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( data->len ) );
334 export_size = (ssize_t) data->len + export_size_delta;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100335 exported = mbedtls_calloc( 1, export_size );
336 TEST_ASSERT( exported != NULL );
337 if( ! canonical_input )
338 {
339 reexported = mbedtls_calloc( 1, export_size );
340 TEST_ASSERT( reexported != NULL );
341 }
342 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
343
mohammad1603a97cb8c2018-03-28 03:46:26 -0700344 psa_key_policy_init( &policy );
Gilles Peskine4abf7412018-06-18 16:35:34 +0200345 psa_key_policy_set_usage( &policy, usage_arg, alg );
mohammad1603a97cb8c2018-03-28 03:46:26 -0700346 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
347
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100348 /* Import the key */
349 TEST_ASSERT( psa_import_key( slot, type,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200350 data->x, data->len ) == PSA_SUCCESS );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100351
352 /* Test the key information */
353 TEST_ASSERT( psa_get_key_information( slot,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200354 &got_type,
355 &got_bits ) == PSA_SUCCESS );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100356 TEST_ASSERT( got_type == type );
357 TEST_ASSERT( got_bits == (size_t) expected_bits );
358
359 /* Export the key */
360 status = psa_export_key( slot,
361 exported, export_size,
362 &exported_length );
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200363 TEST_ASSERT( status == expected_export_status );
Jaeden Amerof24c7f82018-06-27 17:20:43 +0100364
365 /* The exported length must be set by psa_export_key() to a value between 0
366 * and export_size. On errors, the exported length must be 0. */
367 TEST_ASSERT( exported_length != INVALID_EXPORT_LENGTH );
368 TEST_ASSERT( status == PSA_SUCCESS || exported_length == 0 );
369 TEST_ASSERT( exported_length <= export_size );
370
Gilles Peskine3f669c32018-06-21 09:21:51 +0200371 TEST_ASSERT( mem_is_zero( exported + exported_length,
372 export_size - exported_length ) );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100373 if( status != PSA_SUCCESS )
Gilles Peskinee66ca3b2018-06-20 00:11:45 +0200374 {
375 TEST_ASSERT( exported_length == 0 );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100376 goto destroy;
Gilles Peskinee66ca3b2018-06-20 00:11:45 +0200377 }
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100378
379 if( canonical_input )
380 {
Gilles Peskine4abf7412018-06-18 16:35:34 +0200381 TEST_ASSERT( exported_length == data->len );
382 TEST_ASSERT( memcmp( exported, data->x, data->len ) == 0 );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100383 }
384 else
385 {
mohammad1603a97cb8c2018-03-28 03:46:26 -0700386 TEST_ASSERT( psa_set_key_policy( slot2, &policy ) == PSA_SUCCESS );
387
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100388 TEST_ASSERT( psa_import_key( slot2, type,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200389 exported,
390 export_size ) == PSA_SUCCESS );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100391 TEST_ASSERT( psa_export_key( slot2,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200392 reexported,
393 export_size,
394 &reexported_length ) == PSA_SUCCESS );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100395 TEST_ASSERT( reexported_length == exported_length );
396 TEST_ASSERT( memcmp( reexported, exported,
397 exported_length ) == 0 );
398 }
399
400destroy:
401 /* Destroy the key */
402 TEST_ASSERT( psa_destroy_key( slot ) == PSA_SUCCESS );
403 TEST_ASSERT( psa_get_key_information(
404 slot, NULL, NULL ) == PSA_ERROR_EMPTY_SLOT );
405
406exit:
itayzafrir3e02b3b2018-06-12 17:06:52 +0300407 mbedtls_free( exported );
408 mbedtls_free( reexported );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100409 mbedtls_psa_crypto_free( );
410}
411/* END_CASE */
Gilles Peskine20035e32018-02-03 22:44:14 +0100412
Moran Pekerf709f4a2018-06-06 17:26:04 +0300413/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +0300414void import_export_public_key( data_t *data,
Gilles Peskine2d277862018-06-18 15:41:12 +0200415 int type_arg,
416 int alg_arg,
417 int expected_bits,
418 int public_key_expected_length,
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200419 int expected_export_status_arg )
Moran Pekerf709f4a2018-06-06 17:26:04 +0300420{
421 int slot = 1;
422 psa_key_type_t type = type_arg;
Gilles Peskine4abf7412018-06-18 16:35:34 +0200423 psa_algorithm_t alg = alg_arg;
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200424 psa_status_t expected_export_status = expected_export_status_arg;
Moran Pekerf709f4a2018-06-06 17:26:04 +0300425 psa_status_t status;
Moran Pekerf709f4a2018-06-06 17:26:04 +0300426 unsigned char *exported = NULL;
Moran Pekerf709f4a2018-06-06 17:26:04 +0300427 size_t export_size;
Jaeden Amero2a671e92018-06-27 17:47:40 +0100428 size_t exported_length = INVALID_EXPORT_LENGTH;
Moran Pekerf709f4a2018-06-06 17:26:04 +0300429 psa_key_type_t got_type;
430 size_t got_bits;
Gilles Peskinedec72612018-06-18 18:12:37 +0200431 psa_key_policy_t policy;
Moran Pekerf709f4a2018-06-06 17:26:04 +0300432
Moran Pekerf709f4a2018-06-06 17:26:04 +0300433 TEST_ASSERT( data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300434 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( data->len ) );
435 export_size = (ssize_t) data->len;
Moran Pekerf709f4a2018-06-06 17:26:04 +0300436 exported = mbedtls_calloc( 1, export_size );
437 TEST_ASSERT( exported != NULL );
438
439 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
440
441 psa_key_policy_init( &policy );
Gilles Peskine4abf7412018-06-18 16:35:34 +0200442 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_EXPORT, alg );
Moran Pekerf709f4a2018-06-06 17:26:04 +0300443 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
444
445 /* Import the key */
446 TEST_ASSERT( psa_import_key( slot, type,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200447 data->x, data->len ) == PSA_SUCCESS );
Moran Pekerf709f4a2018-06-06 17:26:04 +0300448
449 /* Test the key information */
450 TEST_ASSERT( psa_get_key_information( slot,
Gilles Peskinec1bb6c82018-06-18 16:04:39 +0200451 &got_type,
452 &got_bits ) == PSA_SUCCESS );
Moran Pekerf709f4a2018-06-06 17:26:04 +0300453 TEST_ASSERT( got_type == type );
454 TEST_ASSERT( got_bits == (size_t) expected_bits );
455
456 /* Export the key */
457 status = psa_export_public_key( slot,
Gilles Peskine2d277862018-06-18 15:41:12 +0200458 exported, export_size,
459 &exported_length );
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200460 TEST_ASSERT( status == expected_export_status );
Jaeden Amero2a671e92018-06-27 17:47:40 +0100461 TEST_ASSERT( exported_length == (size_t) public_key_expected_length );
462 TEST_ASSERT( mem_is_zero( exported + exported_length,
463 export_size - exported_length ) );
Moran Pekerf709f4a2018-06-06 17:26:04 +0300464 if( status != PSA_SUCCESS )
465 goto destroy;
466
Moran Pekerf709f4a2018-06-06 17:26:04 +0300467destroy:
468 /* Destroy the key */
469 TEST_ASSERT( psa_destroy_key( slot ) == PSA_SUCCESS );
470 TEST_ASSERT( psa_get_key_information(
471 slot, NULL, NULL ) == PSA_ERROR_EMPTY_SLOT );
472
473exit:
itayzafrir3e02b3b2018-06-12 17:06:52 +0300474 mbedtls_free( exported );
Moran Pekerf709f4a2018-06-06 17:26:04 +0300475 mbedtls_psa_crypto_free( );
476}
477/* END_CASE */
478
Gilles Peskine20035e32018-02-03 22:44:14 +0100479/* BEGIN_CASE */
Gilles Peskinea680c7a2018-06-26 16:12:43 +0200480void import_and_exercise_key( data_t *data,
481 int type_arg,
482 int bits_arg,
483 int alg_arg )
484{
485 int slot = 1;
486 psa_key_type_t type = type_arg;
487 size_t bits = bits_arg;
488 psa_algorithm_t alg = alg_arg;
489 psa_key_usage_t usage =
490 ( PSA_ALG_IS_MAC( alg ) || PSA_ALG_IS_SIGN( alg ) ?
491 ( PSA_KEY_TYPE_IS_PUBLIC_KEY( type ) ?
492 PSA_KEY_USAGE_VERIFY :
493 PSA_KEY_USAGE_SIGN | PSA_KEY_USAGE_VERIFY ) :
494 PSA_ALG_IS_CIPHER( alg ) || PSA_ALG_IS_AEAD( alg ) ||
495 PSA_ALG_IS_ASYMMETRIC_ENCRYPTION( alg ) ?
496 ( PSA_KEY_TYPE_IS_PUBLIC_KEY( type ) ?
497 PSA_KEY_USAGE_ENCRYPT :
498 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT ) :
499 0 );
500 psa_key_policy_t policy;
501 psa_key_type_t got_type;
502 size_t got_bits;
503 psa_status_t status;
504
505 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
506
507 psa_key_policy_init( &policy );
508 psa_key_policy_set_usage( &policy, usage, alg );
509 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
510
511 /* Import the key */
512 status = psa_import_key( slot, type, data->x, data->len );
513 TEST_ASSERT( status == PSA_SUCCESS );
514
515 /* Test the key information */
516 TEST_ASSERT( psa_get_key_information( slot,
517 &got_type,
518 &got_bits ) == PSA_SUCCESS );
519 TEST_ASSERT( got_type == type );
520 TEST_ASSERT( got_bits == bits );
521
522 /* Do something with the key according to its type and permitted usage. */
523 if( PSA_ALG_IS_MAC( alg ) )
524 exercise_mac_key( slot, usage, alg );
525 else if( PSA_ALG_IS_CIPHER( alg ) )
526 exercise_cipher_key( slot, usage, alg );
527 else if( PSA_ALG_IS_AEAD( alg ) )
528 exercise_aead_key( slot, usage, alg );
529 else if( PSA_ALG_IS_SIGN( alg ) )
530 exercise_signature_key( slot, usage, alg );
531 else if( PSA_ALG_IS_ASYMMETRIC_ENCRYPTION( alg ) )
532 exercise_asymmetric_encryption_key( slot, usage, alg );
533
534exit:
535 psa_destroy_key( slot );
536 mbedtls_psa_crypto_free( );
537}
538/* END_CASE */
539
540/* BEGIN_CASE */
Gilles Peskined5b33222018-06-18 22:20:03 +0200541void key_policy( int usage_arg, int alg_arg )
542{
543 int key_slot = 1;
544 psa_algorithm_t alg = alg_arg;
545 psa_key_usage_t usage = usage_arg;
546 psa_key_type_t key_type = PSA_KEY_TYPE_AES;
547 unsigned char key[32] = {0};
548 psa_key_policy_t policy_set;
549 psa_key_policy_t policy_get;
550
551 memset( key, 0x2a, sizeof( key ) );
552
553 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
554
555 psa_key_policy_init( &policy_set );
556 psa_key_policy_init( &policy_get );
557
558 psa_key_policy_set_usage( &policy_set, usage, alg );
559
560 TEST_ASSERT( psa_key_policy_get_usage( &policy_set ) == usage );
561 TEST_ASSERT( psa_key_policy_get_algorithm( &policy_set ) == alg );
562 TEST_ASSERT( psa_set_key_policy( key_slot, &policy_set ) == PSA_SUCCESS );
563
564 TEST_ASSERT( psa_import_key( key_slot, key_type,
565 key, sizeof( key ) ) == PSA_SUCCESS );
566
567 TEST_ASSERT( psa_get_key_policy( key_slot, &policy_get ) == PSA_SUCCESS );
568
569 TEST_ASSERT( policy_get.usage == policy_set.usage );
570 TEST_ASSERT( policy_get.alg == policy_set.alg );
571
572exit:
573 psa_destroy_key( key_slot );
574 mbedtls_psa_crypto_free( );
575}
576/* END_CASE */
577
578/* BEGIN_CASE */
579void key_policy_fail( int usage_arg, int alg_arg, int expected_status,
580 data_t *keypair )
581{
582 int key_slot = 1;
583 psa_algorithm_t alg = alg_arg;
584 psa_key_usage_t usage = usage_arg;
585 size_t signature_length = 0;
586 psa_key_policy_t policy;
587 int actual_status = PSA_SUCCESS;
588
589 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
590
591 psa_key_policy_init( &policy );
592 psa_key_policy_set_usage( &policy, usage, alg );
593 TEST_ASSERT( psa_set_key_policy( key_slot, &policy ) == PSA_SUCCESS );
594
595 if( usage & PSA_KEY_USAGE_EXPORT )
596 {
597 TEST_ASSERT( keypair != NULL );
598 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( keypair->len ) );
599 TEST_ASSERT( psa_import_key( key_slot,
600 PSA_KEY_TYPE_RSA_KEYPAIR,
601 keypair->x,
602 keypair->len ) == PSA_SUCCESS );
603 actual_status = psa_asymmetric_sign( key_slot, alg,
604 NULL, 0,
605 NULL, 0,
606 NULL, 0, &signature_length );
607 }
608
609 if( usage & PSA_KEY_USAGE_SIGN )
610 {
Jaeden Amerof24c7f82018-06-27 17:20:43 +0100611 size_t data_length;
Gilles Peskined5b33222018-06-18 22:20:03 +0200612 TEST_ASSERT( keypair != NULL );
613 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( keypair->len ) );
614 TEST_ASSERT( psa_import_key( key_slot,
615 PSA_KEY_TYPE_RSA_KEYPAIR,
616 keypair->x,
617 keypair->len ) == PSA_SUCCESS );
Jaeden Amerof24c7f82018-06-27 17:20:43 +0100618 actual_status = psa_export_key( key_slot, NULL, 0, &data_length );
Gilles Peskined5b33222018-06-18 22:20:03 +0200619 }
620
621 TEST_ASSERT( actual_status == expected_status );
622
623exit:
624 psa_destroy_key( key_slot );
625 mbedtls_psa_crypto_free( );
626}
627/* END_CASE */
628
629/* BEGIN_CASE */
630void key_lifetime( int lifetime_arg )
631{
632 int key_slot = 1;
633 psa_key_type_t key_type = PSA_ALG_CBC_BASE;
634 unsigned char key[32] = {0};
635 psa_key_lifetime_t lifetime_set = lifetime_arg;
636 psa_key_lifetime_t lifetime_get;
637
638 memset( key, 0x2a, sizeof( key ) );
639
640 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
641
642 TEST_ASSERT( psa_set_key_lifetime( key_slot,
643 lifetime_set ) == PSA_SUCCESS );
644
645 TEST_ASSERT( psa_import_key( key_slot, key_type,
646 key, sizeof( key ) ) == PSA_SUCCESS );
647
648 TEST_ASSERT( psa_get_key_lifetime( key_slot,
649 &lifetime_get ) == PSA_SUCCESS );
650
651 TEST_ASSERT( lifetime_get == lifetime_set );
652
653exit:
654 psa_destroy_key( key_slot );
655 mbedtls_psa_crypto_free( );
656}
657/* END_CASE */
658
659/* BEGIN_CASE */
660void key_lifetime_set_fail( int key_slot_arg,
661 int lifetime_arg,
662 int expected_status_arg )
663{
664 psa_key_slot_t key_slot = key_slot_arg;
665 psa_key_lifetime_t lifetime_set = lifetime_arg;
666 psa_status_t actual_status;
667 psa_status_t expected_status = expected_status_arg;
668
669 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
670
671 actual_status = psa_set_key_lifetime( key_slot, lifetime_set );
672
673 if( actual_status == PSA_SUCCESS )
674 actual_status = psa_set_key_lifetime( key_slot, lifetime_set );
675
676 TEST_ASSERT( expected_status == actual_status );
677
678exit:
679 psa_destroy_key( key_slot );
680 mbedtls_psa_crypto_free( );
681}
682/* END_CASE */
683
684/* BEGIN_CASE */
Gilles Peskine16c0f4f2018-06-20 16:05:20 +0200685void hash_setup( int alg_arg,
686 int expected_status_arg )
687{
688 psa_algorithm_t alg = alg_arg;
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200689 psa_status_t expected_status = expected_status_arg;
Gilles Peskine16c0f4f2018-06-20 16:05:20 +0200690 psa_hash_operation_t operation;
691 psa_status_t status;
692
693 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
694
695 status = psa_hash_start( &operation, alg );
696 psa_hash_abort( &operation );
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200697 TEST_ASSERT( status == expected_status );
Gilles Peskine16c0f4f2018-06-20 16:05:20 +0200698
699exit:
700 mbedtls_psa_crypto_free( );
701}
702/* END_CASE */
703
704/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +0300705void hash_finish( int alg_arg, data_t *input, data_t *expected_hash )
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100706{
707 psa_algorithm_t alg = alg_arg;
Gilles Peskineb3e6e5d2018-06-18 22:16:43 +0200708 unsigned char actual_hash[PSA_HASH_MAX_SIZE];
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100709 size_t actual_hash_length;
710 psa_hash_operation_t operation;
711
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100712 TEST_ASSERT( input != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300713 TEST_ASSERT( expected_hash != NULL );
714 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input->len ) );
715 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( expected_hash->len ) );
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100716
717 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
718
719 TEST_ASSERT( psa_hash_start( &operation, alg ) == PSA_SUCCESS );
720 TEST_ASSERT( psa_hash_update( &operation,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200721 input->x, input->len ) == PSA_SUCCESS );
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100722 TEST_ASSERT( psa_hash_finish( &operation,
723 actual_hash, sizeof( actual_hash ),
724 &actual_hash_length ) == PSA_SUCCESS );
Gilles Peskine4abf7412018-06-18 16:35:34 +0200725 TEST_ASSERT( actual_hash_length == expected_hash->len );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300726 TEST_ASSERT( memcmp( expected_hash->x, actual_hash,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200727 expected_hash->len ) == 0 );
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100728
729exit:
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100730 mbedtls_psa_crypto_free( );
731}
732/* END_CASE */
733
734/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +0300735void hash_verify( int alg_arg, data_t *input, data_t *expected_hash )
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100736{
737 psa_algorithm_t alg = alg_arg;
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100738 psa_hash_operation_t operation;
739
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100740 TEST_ASSERT( input != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300741 TEST_ASSERT( expected_hash != NULL );
742 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input->len ) );
743 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( expected_hash->len ) );
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100744
745 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
746
747 TEST_ASSERT( psa_hash_start( &operation, alg ) == PSA_SUCCESS );
748 TEST_ASSERT( psa_hash_update( &operation,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200749 input->x,
750 input->len ) == PSA_SUCCESS );
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100751 TEST_ASSERT( psa_hash_verify( &operation,
itayzafrir3e02b3b2018-06-12 17:06:52 +0300752 expected_hash->x,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200753 expected_hash->len ) == PSA_SUCCESS );
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100754
755exit:
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100756 mbedtls_psa_crypto_free( );
757}
758/* END_CASE */
759
760/* BEGIN_CASE */
Gilles Peskine16c0f4f2018-06-20 16:05:20 +0200761void mac_setup( int key_type_arg,
762 data_t *key,
763 int alg_arg,
764 int expected_status_arg )
765{
766 int key_slot = 1;
767 psa_key_type_t key_type = key_type_arg;
768 psa_algorithm_t alg = alg_arg;
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200769 psa_status_t expected_status = expected_status_arg;
Gilles Peskine16c0f4f2018-06-20 16:05:20 +0200770 psa_mac_operation_t operation;
771 psa_key_policy_t policy;
772 psa_status_t status;
773
774 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
775
776 psa_key_policy_init( &policy );
777 psa_key_policy_set_usage( &policy,
778 PSA_KEY_USAGE_SIGN | PSA_KEY_USAGE_VERIFY,
779 alg );
780 TEST_ASSERT( psa_set_key_policy( key_slot, &policy ) == PSA_SUCCESS );
781
782 TEST_ASSERT( psa_import_key( key_slot, key_type,
783 key->x, key->len ) == PSA_SUCCESS );
784
785 status = psa_mac_start( &operation, key_slot, alg );
786 psa_mac_abort( &operation );
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200787 TEST_ASSERT( status == expected_status );
Gilles Peskine16c0f4f2018-06-20 16:05:20 +0200788
789exit:
790 psa_destroy_key( key_slot );
791 mbedtls_psa_crypto_free( );
792}
793/* END_CASE */
794
795/* BEGIN_CASE */
Gilles Peskinec0ec9722018-06-18 17:03:37 +0200796void mac_verify( int key_type_arg,
797 data_t *key,
798 int alg_arg,
799 data_t *input,
800 data_t *expected_mac )
Gilles Peskine8c9def32018-02-08 10:02:12 +0100801{
802 int key_slot = 1;
803 psa_key_type_t key_type = key_type_arg;
804 psa_algorithm_t alg = alg_arg;
Gilles Peskine8c9def32018-02-08 10:02:12 +0100805 psa_mac_operation_t operation;
mohammad16036df908f2018-04-02 08:34:15 -0700806 psa_key_policy_t policy;
Gilles Peskine8c9def32018-02-08 10:02:12 +0100807
Gilles Peskine8c9def32018-02-08 10:02:12 +0100808 TEST_ASSERT( key != NULL );
Gilles Peskine8c9def32018-02-08 10:02:12 +0100809 TEST_ASSERT( input != NULL );
Gilles Peskine8c9def32018-02-08 10:02:12 +0100810 TEST_ASSERT( expected_mac != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300811 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key->len ) );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300812 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input->len ) );
813 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( expected_mac->len ) );
Gilles Peskine8c9def32018-02-08 10:02:12 +0100814
815 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
816
mohammad16036df908f2018-04-02 08:34:15 -0700817 psa_key_policy_init( &policy );
Gilles Peskine4abf7412018-06-18 16:35:34 +0200818 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_VERIFY, alg );
mohammad16036df908f2018-04-02 08:34:15 -0700819 TEST_ASSERT( psa_set_key_policy( key_slot, &policy ) == PSA_SUCCESS );
820
Gilles Peskine8c9def32018-02-08 10:02:12 +0100821 TEST_ASSERT( psa_import_key( key_slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200822 key->x, key->len ) == PSA_SUCCESS );
Gilles Peskinec0ec9722018-06-18 17:03:37 +0200823
Gilles Peskine8c9def32018-02-08 10:02:12 +0100824 TEST_ASSERT( psa_mac_start( &operation, key_slot, alg ) == PSA_SUCCESS );
825 TEST_ASSERT( psa_destroy_key( key_slot ) == PSA_SUCCESS );
826 TEST_ASSERT( psa_mac_update( &operation,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200827 input->x, input->len ) == PSA_SUCCESS );
Gilles Peskine8c9def32018-02-08 10:02:12 +0100828 TEST_ASSERT( psa_mac_verify( &operation,
itayzafrir3e02b3b2018-06-12 17:06:52 +0300829 expected_mac->x,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200830 expected_mac->len ) == PSA_SUCCESS );
Gilles Peskine8c9def32018-02-08 10:02:12 +0100831
832exit:
Gilles Peskine8c9def32018-02-08 10:02:12 +0100833 psa_destroy_key( key_slot );
834 mbedtls_psa_crypto_free( );
835}
836/* END_CASE */
837
838/* BEGIN_CASE */
Gilles Peskine16c0f4f2018-06-20 16:05:20 +0200839void cipher_setup( int key_type_arg,
840 data_t *key,
841 int alg_arg,
842 int expected_status_arg )
843{
844 int key_slot = 1;
845 psa_key_type_t key_type = key_type_arg;
846 psa_algorithm_t alg = alg_arg;
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200847 psa_status_t expected_status = expected_status_arg;
Gilles Peskine16c0f4f2018-06-20 16:05:20 +0200848 psa_cipher_operation_t operation;
849 psa_key_policy_t policy;
850 psa_status_t status;
851
852 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
853
854 psa_key_policy_init( &policy );
855 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_ENCRYPT, alg );
856 TEST_ASSERT( psa_set_key_policy( key_slot, &policy ) == PSA_SUCCESS );
857
858 TEST_ASSERT( psa_import_key( key_slot, key_type,
859 key->x, key->len ) == PSA_SUCCESS );
860
861 status = psa_encrypt_setup( &operation, key_slot, alg );
862 psa_cipher_abort( &operation );
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200863 TEST_ASSERT( status == expected_status );
Gilles Peskine16c0f4f2018-06-20 16:05:20 +0200864
865exit:
866 psa_destroy_key( key_slot );
867 mbedtls_psa_crypto_free( );
868}
869/* END_CASE */
870
871/* BEGIN_CASE */
Gilles Peskine50e586b2018-06-08 14:28:46 +0200872void cipher_encrypt( int alg_arg, int key_type_arg,
itayzafrir3e02b3b2018-06-12 17:06:52 +0300873 data_t *key,
874 data_t *input, data_t *expected_output,
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200875 int expected_status_arg )
Gilles Peskine50e586b2018-06-08 14:28:46 +0200876{
877 int key_slot = 1;
878 psa_status_t status;
879 psa_key_type_t key_type = key_type_arg;
880 psa_algorithm_t alg = alg_arg;
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200881 psa_status_t expected_status = expected_status_arg;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200882 unsigned char iv[16] = {0};
Gilles Peskine9ad29e22018-06-21 09:40:04 +0200883 size_t iv_size;
itayzafrir3e02b3b2018-06-12 17:06:52 +0300884 unsigned char *output = NULL;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200885 size_t output_buffer_size = 0;
886 size_t function_output_length = 0;
Gilles Peskinea7ec95f2018-06-08 14:40:59 +0200887 size_t total_output_length = 0;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200888 psa_cipher_operation_t operation;
889
Gilles Peskine50e586b2018-06-08 14:28:46 +0200890 TEST_ASSERT( key != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200891 TEST_ASSERT( input != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200892 TEST_ASSERT( expected_output != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300893 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key->len ) );
894 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input->len ) );
895 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( expected_output->len ) );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200896
Gilles Peskine9ad29e22018-06-21 09:40:04 +0200897 iv_size = PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type );
898 memset( iv, 0x2a, iv_size );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200899
900 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
901
902 TEST_ASSERT( psa_import_key( key_slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200903 key->x, key->len ) == PSA_SUCCESS );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200904
Gilles Peskinec1bb6c82018-06-18 16:04:39 +0200905 TEST_ASSERT( psa_encrypt_setup( &operation,
906 key_slot, alg ) == PSA_SUCCESS );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200907
908 TEST_ASSERT( psa_encrypt_set_iv( &operation,
Gilles Peskine9ad29e22018-06-21 09:40:04 +0200909 iv, iv_size ) == PSA_SUCCESS );
Gilles Peskine4abf7412018-06-18 16:35:34 +0200910 output_buffer_size = input->len + operation.block_size;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200911 output = mbedtls_calloc( 1, output_buffer_size );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300912 TEST_ASSERT( output != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200913
Gilles Peskine4abf7412018-06-18 16:35:34 +0200914 TEST_ASSERT( psa_cipher_update( &operation,
915 input->x, input->len,
Gilles Peskine50e586b2018-06-08 14:28:46 +0200916 output, output_buffer_size,
917 &function_output_length ) == PSA_SUCCESS );
Gilles Peskinea7ec95f2018-06-08 14:40:59 +0200918 total_output_length += function_output_length;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200919 status = psa_cipher_finish( &operation,
920 output + function_output_length,
921 output_buffer_size,
922 &function_output_length );
Gilles Peskinea7ec95f2018-06-08 14:40:59 +0200923 total_output_length += function_output_length;
924
Gilles Peskineb866e2b2018-06-21 09:25:10 +0200925 TEST_ASSERT( status == expected_status );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200926 if( expected_status == PSA_SUCCESS )
927 {
928 TEST_ASSERT( psa_cipher_abort( &operation ) == PSA_SUCCESS );
Gilles Peskine4abf7412018-06-18 16:35:34 +0200929 TEST_ASSERT( total_output_length == expected_output->len );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300930 TEST_ASSERT( memcmp( expected_output->x, output,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200931 expected_output->len ) == 0 );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200932 }
Gilles Peskinea7ec95f2018-06-08 14:40:59 +0200933
Gilles Peskine50e586b2018-06-08 14:28:46 +0200934exit:
itayzafrir3e02b3b2018-06-12 17:06:52 +0300935 mbedtls_free( output );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200936 psa_destroy_key( key_slot );
937 mbedtls_psa_crypto_free( );
938}
939/* END_CASE */
940
941/* BEGIN_CASE */
942void cipher_encrypt_multipart( int alg_arg, int key_type_arg,
itayzafrir3e02b3b2018-06-12 17:06:52 +0300943 data_t *key,
944 data_t *input,
945 int first_part_size,
946 data_t *expected_output )
Gilles Peskine50e586b2018-06-08 14:28:46 +0200947{
948 int key_slot = 1;
949 psa_key_type_t key_type = key_type_arg;
950 psa_algorithm_t alg = alg_arg;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200951 unsigned char iv[16] = {0};
Gilles Peskine9ad29e22018-06-21 09:40:04 +0200952 size_t iv_size;
itayzafrir3e02b3b2018-06-12 17:06:52 +0300953 unsigned char *output = NULL;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200954 size_t output_buffer_size = 0;
955 size_t function_output_length = 0;
Gilles Peskinea7ec95f2018-06-08 14:40:59 +0200956 size_t total_output_length = 0;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200957 psa_cipher_operation_t operation;
958
Gilles Peskine50e586b2018-06-08 14:28:46 +0200959 TEST_ASSERT( key != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200960 TEST_ASSERT( input != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200961 TEST_ASSERT( expected_output != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300962 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key->len ) );
963 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input->len ) );
964 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( expected_output->len ) );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200965
Gilles Peskine9ad29e22018-06-21 09:40:04 +0200966 iv_size = PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type );
967 memset( iv, 0x2a, iv_size );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200968
969 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
970
971 TEST_ASSERT( psa_import_key( key_slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200972 key->x, key->len ) == PSA_SUCCESS );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200973
Gilles Peskinec1bb6c82018-06-18 16:04:39 +0200974 TEST_ASSERT( psa_encrypt_setup( &operation,
975 key_slot, alg ) == PSA_SUCCESS );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200976
977 TEST_ASSERT( psa_encrypt_set_iv( &operation,
978 iv, sizeof( iv ) ) == PSA_SUCCESS );
Gilles Peskine4abf7412018-06-18 16:35:34 +0200979 output_buffer_size = input->len + operation.block_size;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200980 output = mbedtls_calloc( 1, output_buffer_size );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300981 TEST_ASSERT( output != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +0200982
Gilles Peskine4abf7412018-06-18 16:35:34 +0200983 TEST_ASSERT( (unsigned int) first_part_size < input->len );
itayzafrir3e02b3b2018-06-12 17:06:52 +0300984 TEST_ASSERT( psa_cipher_update( &operation, input->x, first_part_size,
Gilles Peskine50e586b2018-06-08 14:28:46 +0200985 output, output_buffer_size,
986 &function_output_length ) == PSA_SUCCESS );
Gilles Peskinea7ec95f2018-06-08 14:40:59 +0200987 total_output_length += function_output_length;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200988 TEST_ASSERT( psa_cipher_update( &operation,
itayzafrir3e02b3b2018-06-12 17:06:52 +0300989 input->x + first_part_size,
Gilles Peskine4abf7412018-06-18 16:35:34 +0200990 input->len - first_part_size,
Gilles Peskine50e586b2018-06-08 14:28:46 +0200991 output, output_buffer_size,
992 &function_output_length ) == PSA_SUCCESS );
Gilles Peskinea7ec95f2018-06-08 14:40:59 +0200993 total_output_length += function_output_length;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200994 TEST_ASSERT( psa_cipher_finish( &operation,
995 output + function_output_length,
996 output_buffer_size,
997 &function_output_length ) == PSA_SUCCESS );
Gilles Peskinea7ec95f2018-06-08 14:40:59 +0200998 total_output_length += function_output_length;
Gilles Peskine50e586b2018-06-08 14:28:46 +0200999 TEST_ASSERT( psa_cipher_abort( &operation ) == PSA_SUCCESS );
1000
Gilles Peskine4abf7412018-06-18 16:35:34 +02001001 TEST_ASSERT( total_output_length == expected_output->len );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001002 TEST_ASSERT( memcmp( expected_output->x, output,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001003 expected_output->len ) == 0 );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001004
1005exit:
itayzafrir3e02b3b2018-06-12 17:06:52 +03001006 mbedtls_free( output );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001007 psa_destroy_key( key_slot );
1008 mbedtls_psa_crypto_free( );
1009}
1010/* END_CASE */
1011
1012/* BEGIN_CASE */
1013void cipher_decrypt_multipart( int alg_arg, int key_type_arg,
itayzafrir3e02b3b2018-06-12 17:06:52 +03001014 data_t *key,
1015 data_t *input,
1016 int first_part_size,
1017 data_t *expected_output )
Gilles Peskine50e586b2018-06-08 14:28:46 +02001018{
1019 int key_slot = 1;
1020
1021 psa_key_type_t key_type = key_type_arg;
1022 psa_algorithm_t alg = alg_arg;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001023 unsigned char iv[16] = {0};
Gilles Peskine9ad29e22018-06-21 09:40:04 +02001024 size_t iv_size;
itayzafrir3e02b3b2018-06-12 17:06:52 +03001025 unsigned char *output = NULL;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001026 size_t output_buffer_size = 0;
1027 size_t function_output_length = 0;
Gilles Peskinea7ec95f2018-06-08 14:40:59 +02001028 size_t total_output_length = 0;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001029 psa_cipher_operation_t operation;
1030
Gilles Peskine50e586b2018-06-08 14:28:46 +02001031 TEST_ASSERT( key != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001032 TEST_ASSERT( input != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001033 TEST_ASSERT( expected_output != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001034 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key->len ) );
1035 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input->len ) );
1036 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( expected_output->len ) );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001037
Gilles Peskine9ad29e22018-06-21 09:40:04 +02001038 iv_size = PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type );
1039 memset( iv, 0x2a, iv_size );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001040
1041 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1042
1043 TEST_ASSERT( psa_import_key( key_slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001044 key->x, key->len ) == PSA_SUCCESS );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001045
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001046 TEST_ASSERT( psa_decrypt_setup( &operation,
1047 key_slot, alg ) == PSA_SUCCESS );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001048
1049 TEST_ASSERT( psa_encrypt_set_iv( &operation,
1050 iv, sizeof( iv ) ) == PSA_SUCCESS );
1051
Gilles Peskine4abf7412018-06-18 16:35:34 +02001052 output_buffer_size = input->len + operation.block_size;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001053 output = mbedtls_calloc( 1, output_buffer_size );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001054 TEST_ASSERT( output != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001055
Gilles Peskine4abf7412018-06-18 16:35:34 +02001056 TEST_ASSERT( (unsigned int) first_part_size < input->len );
1057 TEST_ASSERT( psa_cipher_update( &operation,
1058 input->x, first_part_size,
Gilles Peskine50e586b2018-06-08 14:28:46 +02001059 output, output_buffer_size,
1060 &function_output_length ) == PSA_SUCCESS );
Gilles Peskinea7ec95f2018-06-08 14:40:59 +02001061 total_output_length += function_output_length;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001062 TEST_ASSERT( psa_cipher_update( &operation,
itayzafrir3e02b3b2018-06-12 17:06:52 +03001063 input->x + first_part_size,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001064 input->len - first_part_size,
Gilles Peskine50e586b2018-06-08 14:28:46 +02001065 output, output_buffer_size,
1066 &function_output_length ) == PSA_SUCCESS );
Gilles Peskinea7ec95f2018-06-08 14:40:59 +02001067 total_output_length += function_output_length;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001068 TEST_ASSERT( psa_cipher_finish( &operation,
1069 output + function_output_length,
1070 output_buffer_size,
1071 &function_output_length ) == PSA_SUCCESS );
Gilles Peskinea7ec95f2018-06-08 14:40:59 +02001072 total_output_length += function_output_length;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001073 TEST_ASSERT( psa_cipher_abort( &operation ) == PSA_SUCCESS );
1074
Gilles Peskine4abf7412018-06-18 16:35:34 +02001075 TEST_ASSERT( total_output_length == expected_output->len );
Gilles Peskine2d277862018-06-18 15:41:12 +02001076 TEST_ASSERT( memcmp( expected_output->x, output,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001077 expected_output->len ) == 0 );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001078
1079exit:
itayzafrir3e02b3b2018-06-12 17:06:52 +03001080 mbedtls_free( output );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001081 psa_destroy_key( key_slot );
1082 mbedtls_psa_crypto_free( );
1083}
1084/* END_CASE */
1085
Gilles Peskine50e586b2018-06-08 14:28:46 +02001086/* BEGIN_CASE */
1087void cipher_decrypt( int alg_arg, int key_type_arg,
itayzafrir3e02b3b2018-06-12 17:06:52 +03001088 data_t *key,
1089 data_t *input, data_t *expected_output,
Gilles Peskineb866e2b2018-06-21 09:25:10 +02001090 int expected_status_arg )
Gilles Peskine50e586b2018-06-08 14:28:46 +02001091{
1092 int key_slot = 1;
1093 psa_status_t status;
1094 psa_key_type_t key_type = key_type_arg;
1095 psa_algorithm_t alg = alg_arg;
Gilles Peskineb866e2b2018-06-21 09:25:10 +02001096 psa_status_t expected_status = expected_status_arg;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001097 unsigned char iv[16] = {0};
Gilles Peskine9ad29e22018-06-21 09:40:04 +02001098 size_t iv_size;
itayzafrir3e02b3b2018-06-12 17:06:52 +03001099 unsigned char *output = NULL;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001100 size_t output_buffer_size = 0;
1101 size_t function_output_length = 0;
Gilles Peskinea7ec95f2018-06-08 14:40:59 +02001102 size_t total_output_length = 0;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001103 psa_cipher_operation_t operation;
1104
Gilles Peskine50e586b2018-06-08 14:28:46 +02001105 TEST_ASSERT( key != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001106 TEST_ASSERT( input != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001107 TEST_ASSERT( expected_output != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001108 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key->len ) );
1109 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input->len ) );
1110 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( expected_output->len ) );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001111
Gilles Peskine9ad29e22018-06-21 09:40:04 +02001112 iv_size = PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type );
1113 memset( iv, 0x2a, iv_size );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001114
1115 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1116
1117 TEST_ASSERT( psa_import_key( key_slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001118 key->x, key->len ) == PSA_SUCCESS );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001119
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001120 TEST_ASSERT( psa_decrypt_setup( &operation,
1121 key_slot, alg ) == PSA_SUCCESS );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001122
1123 TEST_ASSERT( psa_encrypt_set_iv( &operation,
Gilles Peskine9ad29e22018-06-21 09:40:04 +02001124 iv, iv_size ) == PSA_SUCCESS );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001125
Gilles Peskine4abf7412018-06-18 16:35:34 +02001126 output_buffer_size = input->len + operation.block_size;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001127 output = mbedtls_calloc( 1, output_buffer_size );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001128 TEST_ASSERT( output != NULL );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001129
Gilles Peskine4abf7412018-06-18 16:35:34 +02001130 TEST_ASSERT( psa_cipher_update( &operation,
1131 input->x, input->len,
Gilles Peskine50e586b2018-06-08 14:28:46 +02001132 output, output_buffer_size,
1133 &function_output_length ) == PSA_SUCCESS );
Gilles Peskinea7ec95f2018-06-08 14:40:59 +02001134 total_output_length += function_output_length;
Gilles Peskine50e586b2018-06-08 14:28:46 +02001135 status = psa_cipher_finish( &operation,
1136 output + function_output_length,
1137 output_buffer_size,
1138 &function_output_length );
Gilles Peskinea7ec95f2018-06-08 14:40:59 +02001139 total_output_length += function_output_length;
Gilles Peskineb866e2b2018-06-21 09:25:10 +02001140 TEST_ASSERT( status == expected_status );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001141
1142 if( expected_status == PSA_SUCCESS )
1143 {
1144 TEST_ASSERT( psa_cipher_abort( &operation ) == PSA_SUCCESS );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001145 TEST_ASSERT( total_output_length == expected_output->len );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001146 TEST_ASSERT( memcmp( expected_output->x, output,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001147 expected_output->len ) == 0 );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001148 }
1149
Gilles Peskine50e586b2018-06-08 14:28:46 +02001150exit:
itayzafrir3e02b3b2018-06-12 17:06:52 +03001151 mbedtls_free( output );
Gilles Peskine50e586b2018-06-08 14:28:46 +02001152 psa_destroy_key( key_slot );
1153 mbedtls_psa_crypto_free( );
1154}
1155/* END_CASE */
1156
Gilles Peskine50e586b2018-06-08 14:28:46 +02001157/* BEGIN_CASE */
1158void cipher_verify_output( int alg_arg, int key_type_arg,
itayzafrir3e02b3b2018-06-12 17:06:52 +03001159 data_t *key,
1160 data_t *input )
mohammad1603d7d7ba52018-03-12 18:51:53 +02001161{
1162 int key_slot = 1;
1163 psa_key_type_t key_type = key_type_arg;
1164 psa_algorithm_t alg = alg_arg;
mohammad1603e6b67a12018-03-12 10:38:49 -07001165 unsigned char iv[16] = {0};
mohammad1603d7d7ba52018-03-12 18:51:53 +02001166 size_t iv_size = 16;
1167 size_t iv_length = 0;
itayzafrir3e02b3b2018-06-12 17:06:52 +03001168 unsigned char *output1 = NULL;
mohammad1603d7d7ba52018-03-12 18:51:53 +02001169 size_t output1_size = 0;
1170 size_t output1_length = 0;
itayzafrir3e02b3b2018-06-12 17:06:52 +03001171 unsigned char *output2 = NULL;
mohammad1603d7d7ba52018-03-12 18:51:53 +02001172 size_t output2_size = 0;
1173 size_t output2_length = 0;
Gilles Peskine048b7f02018-06-08 14:20:49 +02001174 size_t function_output_length = 0;
mohammad1603d7d7ba52018-03-12 18:51:53 +02001175 psa_cipher_operation_t operation1;
1176 psa_cipher_operation_t operation2;
1177
mohammad1603d7d7ba52018-03-12 18:51:53 +02001178 TEST_ASSERT( key != NULL );
mohammad1603d7d7ba52018-03-12 18:51:53 +02001179 TEST_ASSERT( input != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001180 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key->len ) );
1181 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input->len ) );
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001182
mohammad1603d7d7ba52018-03-12 18:51:53 +02001183 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1184
1185 TEST_ASSERT( psa_import_key( key_slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001186 key->x, key->len ) == PSA_SUCCESS );
mohammad1603d7d7ba52018-03-12 18:51:53 +02001187
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001188 TEST_ASSERT( psa_encrypt_setup( &operation1,
1189 key_slot, alg ) == PSA_SUCCESS );
1190 TEST_ASSERT( psa_decrypt_setup( &operation2,
1191 key_slot, alg ) == PSA_SUCCESS );
mohammad1603d7d7ba52018-03-12 18:51:53 +02001192
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001193 TEST_ASSERT( psa_encrypt_generate_iv( &operation1,
1194 iv, iv_size,
1195 &iv_length ) == PSA_SUCCESS );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001196 output1_size = input->len + operation1.block_size;
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001197 output1 = mbedtls_calloc( 1, output1_size );
1198 TEST_ASSERT( output1 != NULL );
Moran Pekerded84402018-06-06 16:36:50 +03001199
Gilles Peskine4abf7412018-06-18 16:35:34 +02001200 TEST_ASSERT( psa_cipher_update( &operation1, input->x, input->len,
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001201 output1, output1_size,
1202 &output1_length ) == PSA_SUCCESS );
1203 TEST_ASSERT( psa_cipher_finish( &operation1,
1204 output1 + output1_length, output1_size,
Gilles Peskine048b7f02018-06-08 14:20:49 +02001205 &function_output_length ) == PSA_SUCCESS );
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001206
Gilles Peskine048b7f02018-06-08 14:20:49 +02001207 output1_length += function_output_length;
Moran Pekerded84402018-06-06 16:36:50 +03001208
1209 TEST_ASSERT( psa_cipher_abort( &operation1 ) == PSA_SUCCESS );
1210
1211 output2_size = output1_length;
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001212 output2 = mbedtls_calloc( 1, output2_size );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001213 TEST_ASSERT( output2 != NULL );
Moran Pekerded84402018-06-06 16:36:50 +03001214
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001215 TEST_ASSERT( psa_encrypt_set_iv( &operation2,
1216 iv, iv_length ) == PSA_SUCCESS );
1217 TEST_ASSERT( psa_cipher_update( &operation2, output1, output1_length,
1218 output2, output2_size,
1219 &output2_length ) == PSA_SUCCESS );
Gilles Peskine048b7f02018-06-08 14:20:49 +02001220 function_output_length = 0;
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001221 TEST_ASSERT( psa_cipher_finish( &operation2,
1222 output2 + output2_length,
1223 output2_size,
Gilles Peskine048b7f02018-06-08 14:20:49 +02001224 &function_output_length ) == PSA_SUCCESS );
Moran Pekerded84402018-06-06 16:36:50 +03001225
Gilles Peskine048b7f02018-06-08 14:20:49 +02001226 output2_length += function_output_length;
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001227
Moran Pekerded84402018-06-06 16:36:50 +03001228 TEST_ASSERT( psa_cipher_abort( &operation1 ) == PSA_SUCCESS );
1229
Gilles Peskine4abf7412018-06-18 16:35:34 +02001230 TEST_ASSERT( input->len == output2_length );
1231 TEST_ASSERT( memcmp( input->x, output2, input->len ) == 0 );
Moran Pekerded84402018-06-06 16:36:50 +03001232
1233exit:
itayzafrir3e02b3b2018-06-12 17:06:52 +03001234 mbedtls_free( output1 );
1235 mbedtls_free( output2 );
Moran Pekerded84402018-06-06 16:36:50 +03001236 psa_destroy_key( key_slot );
1237 mbedtls_psa_crypto_free( );
1238}
1239/* END_CASE */
1240
1241/* BEGIN_CASE */
Gilles Peskine50e586b2018-06-08 14:28:46 +02001242void cipher_verify_output_multipart( int alg_arg,
1243 int key_type_arg,
itayzafrir3e02b3b2018-06-12 17:06:52 +03001244 data_t *key,
1245 data_t *input,
Gilles Peskine50e586b2018-06-08 14:28:46 +02001246 int first_part_size )
Moran Pekerded84402018-06-06 16:36:50 +03001247{
1248 int key_slot = 1;
1249 psa_key_type_t key_type = key_type_arg;
1250 psa_algorithm_t alg = alg_arg;
Moran Pekerded84402018-06-06 16:36:50 +03001251 unsigned char iv[16] = {0};
1252 size_t iv_size = 16;
1253 size_t iv_length = 0;
itayzafrir3e02b3b2018-06-12 17:06:52 +03001254 unsigned char *output1 = NULL;
Gilles Peskine048b7f02018-06-08 14:20:49 +02001255 size_t output1_buffer_size = 0;
Moran Pekerded84402018-06-06 16:36:50 +03001256 size_t output1_length = 0;
itayzafrir3e02b3b2018-06-12 17:06:52 +03001257 unsigned char *output2 = NULL;
Gilles Peskine048b7f02018-06-08 14:20:49 +02001258 size_t output2_buffer_size = 0;
Moran Pekerded84402018-06-06 16:36:50 +03001259 size_t output2_length = 0;
Gilles Peskine048b7f02018-06-08 14:20:49 +02001260 size_t function_output_length;
Moran Pekerded84402018-06-06 16:36:50 +03001261 psa_cipher_operation_t operation1;
1262 psa_cipher_operation_t operation2;
1263
Moran Pekerded84402018-06-06 16:36:50 +03001264 TEST_ASSERT( key != NULL );
Moran Pekerded84402018-06-06 16:36:50 +03001265 TEST_ASSERT( input != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001266 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key->len ) );
1267 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input->len ) );
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001268
Moran Pekerded84402018-06-06 16:36:50 +03001269 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1270
1271 TEST_ASSERT( psa_import_key( key_slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001272 key->x, key->len ) == PSA_SUCCESS );
Moran Pekerded84402018-06-06 16:36:50 +03001273
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001274 TEST_ASSERT( psa_encrypt_setup( &operation1,
1275 key_slot, alg ) == PSA_SUCCESS );
1276 TEST_ASSERT( psa_decrypt_setup( &operation2,
1277 key_slot, alg ) == PSA_SUCCESS );
Moran Pekerded84402018-06-06 16:36:50 +03001278
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001279 TEST_ASSERT( psa_encrypt_generate_iv( &operation1,
1280 iv, iv_size,
1281 &iv_length ) == PSA_SUCCESS );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001282 output1_buffer_size = input->len + operation1.block_size;
Gilles Peskine048b7f02018-06-08 14:20:49 +02001283 output1 = mbedtls_calloc( 1, output1_buffer_size );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001284 TEST_ASSERT( output1 != NULL );
Moran Pekerded84402018-06-06 16:36:50 +03001285
Gilles Peskine4abf7412018-06-18 16:35:34 +02001286 TEST_ASSERT( (unsigned int) first_part_size < input->len );
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001287
itayzafrir3e02b3b2018-06-12 17:06:52 +03001288 TEST_ASSERT( psa_cipher_update( &operation1, input->x, first_part_size,
Gilles Peskine048b7f02018-06-08 14:20:49 +02001289 output1, output1_buffer_size,
1290 &function_output_length ) == PSA_SUCCESS );
1291 output1_length += function_output_length;
Moran Pekerded84402018-06-06 16:36:50 +03001292
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001293 TEST_ASSERT( psa_cipher_update( &operation1,
itayzafrir3e02b3b2018-06-12 17:06:52 +03001294 input->x + first_part_size,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001295 input->len - first_part_size,
Gilles Peskine048b7f02018-06-08 14:20:49 +02001296 output1, output1_buffer_size,
1297 &function_output_length ) == PSA_SUCCESS );
1298 output1_length += function_output_length;
Moran Pekerded84402018-06-06 16:36:50 +03001299
Gilles Peskine048b7f02018-06-08 14:20:49 +02001300 TEST_ASSERT( psa_cipher_finish( &operation1,
1301 output1 + output1_length,
1302 output1_buffer_size - output1_length,
1303 &function_output_length ) == PSA_SUCCESS );
1304 output1_length += function_output_length;
mohammad1603d7d7ba52018-03-12 18:51:53 +02001305
1306 TEST_ASSERT( psa_cipher_abort( &operation1 ) == PSA_SUCCESS );
1307
Gilles Peskine048b7f02018-06-08 14:20:49 +02001308 output2_buffer_size = output1_length;
1309 output2 = mbedtls_calloc( 1, output2_buffer_size );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001310 TEST_ASSERT( output2 != NULL );
mohammad1603d7d7ba52018-03-12 18:51:53 +02001311
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001312 TEST_ASSERT( psa_encrypt_set_iv( &operation2,
1313 iv, iv_length ) == PSA_SUCCESS );
Moran Pekerded84402018-06-06 16:36:50 +03001314
1315 TEST_ASSERT( psa_cipher_update( &operation2, output1, first_part_size,
Gilles Peskine048b7f02018-06-08 14:20:49 +02001316 output2, output2_buffer_size,
1317 &function_output_length ) == PSA_SUCCESS );
1318 output2_length += function_output_length;
Moran Pekerded84402018-06-06 16:36:50 +03001319
Gilles Peskine048b7f02018-06-08 14:20:49 +02001320 TEST_ASSERT( psa_cipher_update( &operation2,
1321 output1 + first_part_size,
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001322 output1_length - first_part_size,
Gilles Peskine048b7f02018-06-08 14:20:49 +02001323 output2, output2_buffer_size,
1324 &function_output_length ) == PSA_SUCCESS );
1325 output2_length += function_output_length;
Moran Pekerded84402018-06-06 16:36:50 +03001326
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001327 TEST_ASSERT( psa_cipher_finish( &operation2,
1328 output2 + output2_length,
Gilles Peskine048b7f02018-06-08 14:20:49 +02001329 output2_buffer_size - output2_length,
1330 &function_output_length ) == PSA_SUCCESS );
1331 output2_length += function_output_length;
Gilles Peskine4ca9c3f2018-06-06 18:44:09 +02001332
mohammad1603d7d7ba52018-03-12 18:51:53 +02001333 TEST_ASSERT( psa_cipher_abort( &operation1 ) == PSA_SUCCESS );
1334
Gilles Peskine4abf7412018-06-18 16:35:34 +02001335 TEST_ASSERT( input->len == output2_length );
1336 TEST_ASSERT( memcmp( input->x, output2, input->len ) == 0 );
mohammad1603d7d7ba52018-03-12 18:51:53 +02001337
1338exit:
itayzafrir3e02b3b2018-06-12 17:06:52 +03001339 mbedtls_free( output1 );
1340 mbedtls_free( output2 );
mohammad1603d7d7ba52018-03-12 18:51:53 +02001341 psa_destroy_key( key_slot );
1342 mbedtls_psa_crypto_free( );
1343}
1344/* END_CASE */
Gilles Peskine7268afc2018-06-06 15:19:24 +02001345
Gilles Peskine20035e32018-02-03 22:44:14 +01001346/* BEGIN_CASE */
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001347void aead_encrypt_decrypt( int key_type_arg,
1348 data_t * key_data,
1349 int alg_arg,
1350 data_t * input_data,
1351 data_t * nonce,
1352 data_t * additional_data,
1353 int expected_result_arg )
Gilles Peskinea1cac842018-06-11 19:33:02 +02001354{
1355 int slot = 1;
1356 psa_key_type_t key_type = key_type_arg;
1357 psa_algorithm_t alg = alg_arg;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001358 unsigned char *output_data = NULL;
1359 size_t output_size = 0;
1360 size_t output_length = 0;
1361 unsigned char *output_data2 = NULL;
1362 size_t output_length2 = 0;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001363 size_t tag_length = 16;
Gilles Peskine4abf7412018-06-18 16:35:34 +02001364 psa_status_t expected_result = expected_result_arg;
Gilles Peskinedec72612018-06-18 18:12:37 +02001365 psa_key_policy_t policy;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001366
Gilles Peskinea1cac842018-06-11 19:33:02 +02001367 TEST_ASSERT( key_data != NULL );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001368 TEST_ASSERT( input_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001369 TEST_ASSERT( nonce != NULL );
1370 TEST_ASSERT( additional_data != NULL );
1371 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1372 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input_data->len ) );
1373 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( nonce->len ) );
1374 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( additional_data->len ) );
1375
Gilles Peskine4abf7412018-06-18 16:35:34 +02001376 output_size = input_data->len + tag_length;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001377 output_data = mbedtls_calloc( 1, output_size );
1378 TEST_ASSERT( output_data != NULL );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001379
1380 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1381
1382 psa_key_policy_init( &policy );
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001383 psa_key_policy_set_usage( &policy,
1384 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT,
1385 alg );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001386 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1387
1388 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001389 key_data->x, key_data->len ) == PSA_SUCCESS );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001390
1391 TEST_ASSERT( psa_aead_encrypt( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001392 nonce->x, nonce->len,
Gilles Peskine2d277862018-06-18 15:41:12 +02001393 additional_data->x,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001394 additional_data->len,
1395 input_data->x, input_data->len,
1396 output_data, output_size,
1397 &output_length ) == expected_result );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001398
1399 if( PSA_SUCCESS == expected_result )
1400 {
1401 output_data2 = mbedtls_calloc( 1, output_length );
1402 TEST_ASSERT( output_data2 != NULL );
1403
1404 TEST_ASSERT( psa_aead_decrypt( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001405 nonce->x, nonce->len,
Gilles Peskine2d277862018-06-18 15:41:12 +02001406 additional_data->x,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001407 additional_data->len,
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001408 output_data, output_length,
1409 output_data2, output_length,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001410 &output_length2 ) == expected_result );
Gilles Peskine2d277862018-06-18 15:41:12 +02001411
itayzafrir3e02b3b2018-06-12 17:06:52 +03001412 TEST_ASSERT( memcmp( input_data->x, output_data2,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001413 input_data->len ) == 0 );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001414 }
Gilles Peskine2d277862018-06-18 15:41:12 +02001415
Gilles Peskinea1cac842018-06-11 19:33:02 +02001416exit:
1417 psa_destroy_key( slot );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001418 mbedtls_free( output_data );
1419 mbedtls_free( output_data2 );
1420 mbedtls_psa_crypto_free( );
1421}
1422/* END_CASE */
1423
1424/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +03001425void aead_encrypt( int key_type_arg, data_t * key_data,
Gilles Peskine2d277862018-06-18 15:41:12 +02001426 int alg_arg, data_t * input_data,
1427 data_t * additional_data, data_t * nonce,
1428 data_t * expected_result )
Gilles Peskinea1cac842018-06-11 19:33:02 +02001429{
1430 int slot = 1;
1431 psa_key_type_t key_type = key_type_arg;
1432 psa_algorithm_t alg = alg_arg;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001433 unsigned char *output_data = NULL;
1434 size_t output_size = 0;
1435 size_t output_length = 0;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001436 size_t tag_length = 16;
Gilles Peskinedec72612018-06-18 18:12:37 +02001437 psa_key_policy_t policy;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001438
Gilles Peskinea1cac842018-06-11 19:33:02 +02001439 TEST_ASSERT( key_data != NULL );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001440 TEST_ASSERT( input_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001441 TEST_ASSERT( additional_data != NULL );
1442 TEST_ASSERT( nonce != NULL );
1443 TEST_ASSERT( expected_result != NULL );
1444 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1445 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input_data->len ) );
1446 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( additional_data->len ) );
1447 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( nonce->len ) );
1448 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( expected_result->len ) );
1449
Gilles Peskine4abf7412018-06-18 16:35:34 +02001450 output_size = input_data->len + tag_length;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001451 output_data = mbedtls_calloc( 1, output_size );
1452 TEST_ASSERT( output_data != NULL );
Gilles Peskine2d277862018-06-18 15:41:12 +02001453
Gilles Peskinea1cac842018-06-11 19:33:02 +02001454 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1455
1456 psa_key_policy_init( &policy );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001457 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_ENCRYPT , alg );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001458 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1459
1460 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001461 key_data->x,
1462 key_data->len ) == PSA_SUCCESS );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001463
1464 TEST_ASSERT( psa_aead_encrypt( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001465 nonce->x, nonce->len,
1466 additional_data->x, additional_data->len,
1467 input_data->x, input_data->len,
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001468 output_data, output_size,
1469 &output_length ) == PSA_SUCCESS );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001470
itayzafrir3e02b3b2018-06-12 17:06:52 +03001471 TEST_ASSERT( memcmp( output_data, expected_result->x,
Gilles Peskine2d277862018-06-18 15:41:12 +02001472 output_length ) == 0 );
1473
Gilles Peskinea1cac842018-06-11 19:33:02 +02001474exit:
1475 psa_destroy_key( slot );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001476 mbedtls_free( output_data );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001477 mbedtls_psa_crypto_free( );
1478}
1479/* END_CASE */
1480
1481/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +03001482void aead_decrypt( int key_type_arg, data_t * key_data,
Gilles Peskine2d277862018-06-18 15:41:12 +02001483 int alg_arg, data_t * input_data,
1484 data_t * additional_data, data_t * nonce,
1485 data_t * expected_data, int expected_result_arg )
Gilles Peskinea1cac842018-06-11 19:33:02 +02001486{
1487 int slot = 1;
1488 psa_key_type_t key_type = key_type_arg;
1489 psa_algorithm_t alg = alg_arg;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001490 unsigned char *output_data = NULL;
1491 size_t output_size = 0;
1492 size_t output_length = 0;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001493 size_t tag_length = 16;
Gilles Peskinedec72612018-06-18 18:12:37 +02001494 psa_key_policy_t policy;
Gilles Peskine4abf7412018-06-18 16:35:34 +02001495 psa_status_t expected_result = expected_result_arg;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001496
Gilles Peskinea1cac842018-06-11 19:33:02 +02001497 TEST_ASSERT( key_data != NULL );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001498 TEST_ASSERT( input_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001499 TEST_ASSERT( additional_data != NULL );
1500 TEST_ASSERT( nonce != NULL );
1501 TEST_ASSERT( expected_data != NULL );
1502 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1503 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input_data->len ) );
1504 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( additional_data->len ) );
1505 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( nonce->len ) );
1506 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( expected_data->len ) );
1507
Gilles Peskine4abf7412018-06-18 16:35:34 +02001508 output_size = input_data->len + tag_length;
Gilles Peskinea1cac842018-06-11 19:33:02 +02001509 output_data = mbedtls_calloc( 1, output_size );
1510 TEST_ASSERT( output_data != NULL );
Gilles Peskine2d277862018-06-18 15:41:12 +02001511
Gilles Peskinea1cac842018-06-11 19:33:02 +02001512 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1513
1514 psa_key_policy_init( &policy );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001515 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_DECRYPT , alg );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001516 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1517
1518 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001519 key_data->x,
1520 key_data->len ) == PSA_SUCCESS );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001521
1522 TEST_ASSERT( psa_aead_decrypt( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001523 nonce->x, nonce->len,
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001524 additional_data->x,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001525 additional_data->len,
1526 input_data->x, input_data->len,
1527 output_data, output_size,
1528 &output_length ) == expected_result );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001529
Gilles Peskine2d277862018-06-18 15:41:12 +02001530 if( expected_result == PSA_SUCCESS )
Gilles Peskinea1cac842018-06-11 19:33:02 +02001531 {
itayzafrir3e02b3b2018-06-12 17:06:52 +03001532 TEST_ASSERT( memcmp( output_data, expected_data->x,
Gilles Peskine2d277862018-06-18 15:41:12 +02001533 output_length ) == 0 );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001534 }
1535
Gilles Peskinea1cac842018-06-11 19:33:02 +02001536exit:
1537 psa_destroy_key( slot );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001538 mbedtls_free( output_data );
Gilles Peskinea1cac842018-06-11 19:33:02 +02001539 mbedtls_psa_crypto_free( );
1540}
1541/* END_CASE */
1542
1543/* BEGIN_CASE */
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001544void signature_size( int type_arg,
1545 int bits,
1546 int alg_arg,
1547 int expected_size_arg )
Gilles Peskinee59236f2018-01-27 23:32:46 +01001548{
1549 psa_key_type_t type = type_arg;
1550 psa_algorithm_t alg = alg_arg;
Gilles Peskine2d277862018-06-18 15:41:12 +02001551 size_t actual_size = PSA_ASYMMETRIC_SIGN_OUTPUT_SIZE( type, bits, alg );
Gilles Peskinee59236f2018-01-27 23:32:46 +01001552 TEST_ASSERT( actual_size == (size_t) expected_size_arg );
1553exit:
1554 ;
1555}
1556/* END_CASE */
1557
1558/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +03001559void sign_deterministic( int key_type_arg, data_t *key_data,
1560 int alg_arg, data_t *input_data,
1561 data_t *output_data )
Gilles Peskinee59236f2018-01-27 23:32:46 +01001562{
1563 int slot = 1;
1564 psa_key_type_t key_type = key_type_arg;
1565 psa_algorithm_t alg = alg_arg;
Gilles Peskine20035e32018-02-03 22:44:14 +01001566 size_t key_bits;
Gilles Peskine20035e32018-02-03 22:44:14 +01001567 unsigned char *signature = NULL;
1568 size_t signature_size;
1569 size_t signature_length = 0xdeadbeef;
Gilles Peskinedec72612018-06-18 18:12:37 +02001570 psa_key_policy_t policy;
Gilles Peskine20035e32018-02-03 22:44:14 +01001571
Gilles Peskine20035e32018-02-03 22:44:14 +01001572 TEST_ASSERT( key_data != NULL );
Gilles Peskine20035e32018-02-03 22:44:14 +01001573 TEST_ASSERT( input_data != NULL );
Gilles Peskine20035e32018-02-03 22:44:14 +01001574 TEST_ASSERT( output_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001575 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1576 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input_data->len ) );
1577 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( output_data->len ) );
Gilles Peskine20035e32018-02-03 22:44:14 +01001578
1579 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1580
mohammad1603a97cb8c2018-03-28 03:46:26 -07001581 psa_key_policy_init( &policy );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001582 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_SIGN, alg );
mohammad1603a97cb8c2018-03-28 03:46:26 -07001583 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1584
Gilles Peskine20035e32018-02-03 22:44:14 +01001585 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001586 key_data->x,
1587 key_data->len ) == PSA_SUCCESS );
Gilles Peskine20035e32018-02-03 22:44:14 +01001588 TEST_ASSERT( psa_get_key_information( slot,
1589 NULL,
1590 &key_bits ) == PSA_SUCCESS );
1591
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001592 signature_size = PSA_ASYMMETRIC_SIGN_OUTPUT_SIZE( key_type,
1593 key_bits, alg );
Gilles Peskine20035e32018-02-03 22:44:14 +01001594 TEST_ASSERT( signature_size != 0 );
1595 signature = mbedtls_calloc( 1, signature_size );
1596 TEST_ASSERT( signature != NULL );
1597
1598 TEST_ASSERT( psa_asymmetric_sign( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001599 input_data->x, input_data->len,
Gilles Peskine20035e32018-02-03 22:44:14 +01001600 NULL, 0,
1601 signature, signature_size,
1602 &signature_length ) == PSA_SUCCESS );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001603 TEST_ASSERT( signature_length == output_data->len );
Gilles Peskine2d277862018-06-18 15:41:12 +02001604 TEST_ASSERT( memcmp( signature, output_data->x,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001605 output_data->len ) == 0 );
Gilles Peskine20035e32018-02-03 22:44:14 +01001606
1607exit:
1608 psa_destroy_key( slot );
Gilles Peskine0189e752018-02-03 23:57:22 +01001609 mbedtls_free( signature );
Gilles Peskine20035e32018-02-03 22:44:14 +01001610 mbedtls_psa_crypto_free( );
1611}
1612/* END_CASE */
1613
1614/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +03001615void sign_fail( int key_type_arg, data_t *key_data,
1616 int alg_arg, data_t *input_data,
Gilles Peskine20035e32018-02-03 22:44:14 +01001617 int signature_size, int expected_status_arg )
1618{
1619 int slot = 1;
1620 psa_key_type_t key_type = key_type_arg;
1621 psa_algorithm_t alg = alg_arg;
Gilles Peskine20035e32018-02-03 22:44:14 +01001622 psa_status_t actual_status;
1623 psa_status_t expected_status = expected_status_arg;
Gilles Peskine40f68b92018-03-07 16:43:36 +01001624 unsigned char *signature = NULL;
Gilles Peskine93aa0332018-02-03 23:58:03 +01001625 size_t signature_length = 0xdeadbeef;
Gilles Peskinedec72612018-06-18 18:12:37 +02001626 psa_key_policy_t policy;
Gilles Peskine20035e32018-02-03 22:44:14 +01001627
Gilles Peskine20035e32018-02-03 22:44:14 +01001628 TEST_ASSERT( key_data != NULL );
Gilles Peskine20035e32018-02-03 22:44:14 +01001629 TEST_ASSERT( input_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001630 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1631 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input_data->len ) );
1632
Gilles Peskine20035e32018-02-03 22:44:14 +01001633 signature = mbedtls_calloc( 1, signature_size );
1634 TEST_ASSERT( signature != NULL );
1635
1636 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1637
mohammad1603a97cb8c2018-03-28 03:46:26 -07001638 psa_key_policy_init( &policy );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001639 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_SIGN, alg );
mohammad1603a97cb8c2018-03-28 03:46:26 -07001640 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1641
Gilles Peskine20035e32018-02-03 22:44:14 +01001642 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001643 key_data->x,
1644 key_data->len ) == PSA_SUCCESS );
Gilles Peskine20035e32018-02-03 22:44:14 +01001645
1646 actual_status = psa_asymmetric_sign( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001647 input_data->x, input_data->len,
Gilles Peskine20035e32018-02-03 22:44:14 +01001648 NULL, 0,
1649 signature, signature_size,
1650 &signature_length );
1651 TEST_ASSERT( actual_status == expected_status );
Gilles Peskine93aa0332018-02-03 23:58:03 +01001652 TEST_ASSERT( signature_length == 0 );
Gilles Peskine20035e32018-02-03 22:44:14 +01001653
1654exit:
1655 psa_destroy_key( slot );
Gilles Peskine20035e32018-02-03 22:44:14 +01001656 mbedtls_free( signature );
1657 mbedtls_psa_crypto_free( );
1658}
1659/* END_CASE */
mohammad16038cc1cee2018-03-28 01:21:33 +03001660
1661/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +03001662void asymmetric_verify( int key_type_arg, data_t *key_data,
1663 int alg_arg, data_t *hash_data,
1664 data_t *signature_data )
itayzafrir5c753392018-05-08 11:18:38 +03001665{
1666 int slot = 1;
1667 psa_key_type_t key_type = key_type_arg;
1668 psa_algorithm_t alg = alg_arg;
Gilles Peskinedec72612018-06-18 18:12:37 +02001669 psa_key_policy_t policy;
itayzafrir5c753392018-05-08 11:18:38 +03001670
itayzafrir5c753392018-05-08 11:18:38 +03001671 TEST_ASSERT( key_data != NULL );
itayzafrir5c753392018-05-08 11:18:38 +03001672 TEST_ASSERT( hash_data != NULL );
itayzafrir5c753392018-05-08 11:18:38 +03001673 TEST_ASSERT( signature_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001674 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1675 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( hash_data->len ) );
1676 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( signature_data->len ) );
itayzafrir5c753392018-05-08 11:18:38 +03001677
1678 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1679
1680 psa_key_policy_init( &policy );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001681 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_VERIFY, alg );
itayzafrir5c753392018-05-08 11:18:38 +03001682 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1683
1684 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001685 key_data->x,
1686 key_data->len ) == PSA_SUCCESS );
itayzafrir5c753392018-05-08 11:18:38 +03001687
1688 TEST_ASSERT( psa_asymmetric_verify( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001689 hash_data->x, hash_data->len,
itayzafrir5c753392018-05-08 11:18:38 +03001690 NULL, 0,
itayzafrir3e02b3b2018-06-12 17:06:52 +03001691 signature_data->x,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001692 signature_data->len ) == PSA_SUCCESS );
itayzafrir5c753392018-05-08 11:18:38 +03001693exit:
1694 psa_destroy_key( slot );
itayzafrir5c753392018-05-08 11:18:38 +03001695 mbedtls_psa_crypto_free( );
1696}
1697/* END_CASE */
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001698
1699/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +03001700void asymmetric_verify_fail( int key_type_arg, data_t *key_data,
1701 int alg_arg, data_t *hash_data,
1702 data_t *signature_data,
1703 int expected_status_arg )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001704{
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001705 int slot = 1;
1706 psa_key_type_t key_type = key_type_arg;
1707 psa_algorithm_t alg = alg_arg;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001708 psa_status_t actual_status;
1709 psa_status_t expected_status = expected_status_arg;
Gilles Peskinedec72612018-06-18 18:12:37 +02001710 psa_key_policy_t policy;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001711
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001712 TEST_ASSERT( key_data != NULL );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001713 TEST_ASSERT( hash_data != NULL );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001714 TEST_ASSERT( signature_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001715 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1716 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( hash_data->len ) );
1717 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( signature_data->len ) );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001718
1719 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1720
Nir Sonnenscheind7082602018-06-04 16:45:27 +03001721 psa_key_policy_init( &policy );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001722 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_VERIFY, alg );
Nir Sonnenscheind7082602018-06-04 16:45:27 +03001723 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1724
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001725 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001726 key_data->x,
1727 key_data->len ) == PSA_SUCCESS );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001728
1729 actual_status = psa_asymmetric_verify( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001730 hash_data->x, hash_data->len,
Gilles Peskine2d277862018-06-18 15:41:12 +02001731 NULL, 0,
1732 signature_data->x,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001733 signature_data->len );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001734
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001735 TEST_ASSERT( actual_status == expected_status );
1736
1737exit:
1738 psa_destroy_key( slot );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001739 mbedtls_psa_crypto_free( );
1740}
1741/* END_CASE */
1742
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001743/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +03001744void asymmetric_encrypt_decrypt( int key_type_arg, data_t *key_data,
1745 int alg_arg, data_t *input_data )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001746{
1747 int slot = 1;
1748 psa_key_type_t key_type = key_type_arg;
1749 psa_algorithm_t alg = alg_arg;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001750 unsigned char *output = NULL;
Nir Sonnenscheind70bc482018-06-04 16:31:13 +03001751 size_t output_size = 0;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001752 size_t output_length = 0;
Nir Sonnenschein0f3bdbd2018-05-02 23:56:12 +03001753 unsigned char *output2 = NULL;
Nir Sonnenscheind70bc482018-06-04 16:31:13 +03001754 size_t output2_size = 0;
Nir Sonnenschein0f3bdbd2018-05-02 23:56:12 +03001755 size_t output2_length = 0;
Gilles Peskinedec72612018-06-18 18:12:37 +02001756 psa_key_policy_t policy;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001757
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001758 TEST_ASSERT( key_data != NULL );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001759 TEST_ASSERT( input_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001760 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1761 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input_data->len ) );
1762
Gilles Peskine4abf7412018-06-18 16:35:34 +02001763 output_size = key_data->len;
itayzafrir3e02b3b2018-06-12 17:06:52 +03001764 output2_size = output_size;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001765 output = mbedtls_calloc( 1, output_size );
1766 TEST_ASSERT( output != NULL );
Nir Sonnenschein0f3bdbd2018-05-02 23:56:12 +03001767 output2 = mbedtls_calloc( 1, output2_size );
1768 TEST_ASSERT( output2 != NULL );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001769
1770 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1771
Nir Sonnenscheind7082602018-06-04 16:45:27 +03001772 psa_key_policy_init( &policy );
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001773 psa_key_policy_set_usage( &policy,
1774 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001775 alg );
Nir Sonnenscheind7082602018-06-04 16:45:27 +03001776 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1777
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001778 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001779 key_data->x,
1780 key_data->len ) == PSA_SUCCESS );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001781
Gilles Peskineeebd7382018-06-08 18:11:54 +02001782 /* We test encryption by checking that encrypt-then-decrypt gives back
1783 * the original plaintext because of the non-optional random
1784 * part of encryption process which prevents using fixed vectors. */
Gilles Peskine2d277862018-06-18 15:41:12 +02001785 TEST_ASSERT( psa_asymmetric_encrypt( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001786 input_data->x, input_data->len,
Gilles Peskine2d277862018-06-18 15:41:12 +02001787 NULL, 0,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001788 output, output_size,
Gilles Peskine2d277862018-06-18 15:41:12 +02001789 &output_length ) == PSA_SUCCESS );
Nir Sonnenschein0f3bdbd2018-05-02 23:56:12 +03001790
Gilles Peskine2d277862018-06-18 15:41:12 +02001791 TEST_ASSERT( psa_asymmetric_decrypt( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001792 output, output_length,
Gilles Peskine2d277862018-06-18 15:41:12 +02001793 NULL, 0,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001794 output2, output2_size,
Gilles Peskine2d277862018-06-18 15:41:12 +02001795 &output2_length ) == PSA_SUCCESS );
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001796 TEST_ASSERT( memcmp( input_data->x, output2,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001797 input_data->len ) == 0 );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001798
1799exit:
1800 psa_destroy_key( slot );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001801 mbedtls_free( output );
1802 mbedtls_free( output2 );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001803 mbedtls_psa_crypto_free( );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001804}
1805/* END_CASE */
1806
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001807/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +03001808void asymmetric_encrypt_fail( int key_type_arg, data_t *key_data,
Gilles Peskine2d277862018-06-18 15:41:12 +02001809 int alg_arg, data_t *input_data,
1810 int expected_status_arg )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001811{
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001812 int slot = 1;
1813 psa_key_type_t key_type = key_type_arg;
1814 psa_algorithm_t alg = alg_arg;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001815 unsigned char *output = NULL;
Nir Sonnenscheind70bc482018-06-04 16:31:13 +03001816 size_t output_size = 0;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001817 size_t output_length = 0;
1818 psa_status_t actual_status;
1819 psa_status_t expected_status = expected_status_arg;
Gilles Peskinedec72612018-06-18 18:12:37 +02001820 psa_key_policy_t policy;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001821
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001822 TEST_ASSERT( key_data != NULL );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001823 TEST_ASSERT( input_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001824 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1825 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input_data->len ) );
1826
Gilles Peskine4abf7412018-06-18 16:35:34 +02001827 output_size = key_data->len;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001828 output = mbedtls_calloc( 1, output_size );
1829 TEST_ASSERT( output != NULL );
Gilles Peskine5b051bc2018-05-31 13:25:48 +02001830
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001831 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1832
Nir Sonnenscheind7082602018-06-04 16:45:27 +03001833 psa_key_policy_init( &policy );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001834 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_ENCRYPT, alg );
Nir Sonnenscheind7082602018-06-04 16:45:27 +03001835 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1836
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001837 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001838 key_data->x,
1839 key_data->len ) == PSA_SUCCESS );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001840
Gilles Peskine2d277862018-06-18 15:41:12 +02001841 actual_status = psa_asymmetric_encrypt( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001842 input_data->x, input_data->len,
Gilles Peskine2d277862018-06-18 15:41:12 +02001843 NULL, 0,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001844 output, output_size,
Gilles Peskine2d277862018-06-18 15:41:12 +02001845 &output_length );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001846 TEST_ASSERT( actual_status == expected_status );
1847
1848exit:
1849 psa_destroy_key( slot );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001850 mbedtls_free( output );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001851 mbedtls_psa_crypto_free( );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001852}
1853/* END_CASE */
1854
1855/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +03001856void asymmetric_decrypt( int key_type_arg, data_t *key_data,
1857 int alg_arg, data_t *input_data,
1858 data_t *expected_data, int expected_size )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001859{
1860 int slot = 1;
1861 psa_key_type_t key_type = key_type_arg;
1862 psa_algorithm_t alg = alg_arg;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001863 unsigned char *output = NULL;
Nir Sonnenscheind70bc482018-06-04 16:31:13 +03001864 size_t output_size = 0;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001865 size_t output_length = 0;
Gilles Peskinedec72612018-06-18 18:12:37 +02001866 psa_key_policy_t policy;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001867
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001868 TEST_ASSERT( key_data != NULL );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001869 TEST_ASSERT( input_data != NULL );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001870 TEST_ASSERT( expected_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001871 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1872 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input_data->len ) );
1873 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( expected_data->len ) );
1874
Gilles Peskine4abf7412018-06-18 16:35:34 +02001875 output_size = key_data->len;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001876 output = mbedtls_calloc( 1, output_size );
1877 TEST_ASSERT( output != NULL );
Gilles Peskine5b051bc2018-05-31 13:25:48 +02001878
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001879 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1880
Nir Sonnenscheind7082602018-06-04 16:45:27 +03001881 psa_key_policy_init( &policy );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001882 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_DECRYPT, alg );
Nir Sonnenscheind7082602018-06-04 16:45:27 +03001883 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1884
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001885 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001886 key_data->x,
1887 key_data->len ) == PSA_SUCCESS );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001888
Nir Sonnenschein0f3bdbd2018-05-02 23:56:12 +03001889 TEST_ASSERT( psa_asymmetric_decrypt( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001890 input_data->x, input_data->len,
Gilles Peskine2d277862018-06-18 15:41:12 +02001891 NULL, 0,
1892 output,
1893 output_size,
1894 &output_length ) == PSA_SUCCESS );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001895 TEST_ASSERT( (size_t) expected_size == output_length );
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001896 TEST_ASSERT( memcmp( expected_data->x, output, output_length ) == 0 );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001897
1898exit:
1899 psa_destroy_key( slot );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001900 mbedtls_free( output );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001901 mbedtls_psa_crypto_free( );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001902}
1903/* END_CASE */
1904
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001905/* BEGIN_CASE */
itayzafrir3e02b3b2018-06-12 17:06:52 +03001906void asymmetric_decrypt_fail( int key_type_arg, data_t *key_data,
Gilles Peskine2d277862018-06-18 15:41:12 +02001907 int alg_arg, data_t *input_data,
1908 int expected_status_arg )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001909{
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001910 int slot = 1;
1911 psa_key_type_t key_type = key_type_arg;
1912 psa_algorithm_t alg = alg_arg;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001913 unsigned char *output = NULL;
Nir Sonnenscheind70bc482018-06-04 16:31:13 +03001914 size_t output_size = 0;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001915 size_t output_length = 0;
1916 psa_status_t actual_status;
1917 psa_status_t expected_status = expected_status_arg;
Gilles Peskinedec72612018-06-18 18:12:37 +02001918 psa_key_policy_t policy;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001919
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001920 TEST_ASSERT( key_data != NULL );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001921 TEST_ASSERT( input_data != NULL );
itayzafrir3e02b3b2018-06-12 17:06:52 +03001922 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( key_data->len ) );
1923 TEST_ASSERT( PSA_CRYPTO_TEST_SIZE_T_RANGE( input_data->len ) );
1924
Gilles Peskine4abf7412018-06-18 16:35:34 +02001925 output_size = key_data->len;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001926 output = mbedtls_calloc( 1, output_size );
1927 TEST_ASSERT( output != NULL );
Gilles Peskine5b051bc2018-05-31 13:25:48 +02001928
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001929 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1930
Nir Sonnenscheind7082602018-06-04 16:45:27 +03001931 psa_key_policy_init( &policy );
Gilles Peskine4abf7412018-06-18 16:35:34 +02001932 psa_key_policy_set_usage( &policy, PSA_KEY_USAGE_DECRYPT, alg );
Nir Sonnenscheind7082602018-06-04 16:45:27 +03001933 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
1934
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001935 TEST_ASSERT( psa_import_key( slot, key_type,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001936 key_data->x,
1937 key_data->len ) == PSA_SUCCESS );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001938
Gilles Peskine2d277862018-06-18 15:41:12 +02001939 actual_status = psa_asymmetric_decrypt( slot, alg,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001940 input_data->x, input_data->len,
Gilles Peskine2d277862018-06-18 15:41:12 +02001941 NULL, 0,
Gilles Peskine4abf7412018-06-18 16:35:34 +02001942 output, output_size,
Gilles Peskine2d277862018-06-18 15:41:12 +02001943 &output_length );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001944 TEST_ASSERT( actual_status == expected_status );
1945
1946exit:
1947 psa_destroy_key( slot );
Gilles Peskine2d277862018-06-18 15:41:12 +02001948 mbedtls_free( output );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001949 mbedtls_psa_crypto_free( );
1950}
Gilles Peskine5b051bc2018-05-31 13:25:48 +02001951/* END_CASE */
Gilles Peskine05d69892018-06-19 22:00:52 +02001952
1953/* BEGIN_CASE */
Gilles Peskinea50d7392018-06-21 10:22:13 +02001954void generate_random( int bytes_arg )
Gilles Peskine05d69892018-06-19 22:00:52 +02001955{
Gilles Peskinea50d7392018-06-21 10:22:13 +02001956 size_t bytes = bytes_arg;
1957 const unsigned char trail[] = "don't overwrite me";
1958 unsigned char *output = mbedtls_calloc( 1, bytes + sizeof( trail ) );
1959 unsigned char *changed = mbedtls_calloc( 1, bytes );
1960 size_t i;
1961 unsigned run;
Gilles Peskine05d69892018-06-19 22:00:52 +02001962
Gilles Peskinea50d7392018-06-21 10:22:13 +02001963 TEST_ASSERT( output != NULL );
1964 TEST_ASSERT( changed != NULL );
1965 memcpy( output + bytes, trail, sizeof( trail ) );
Gilles Peskine05d69892018-06-19 22:00:52 +02001966
1967 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
1968
Gilles Peskinea50d7392018-06-21 10:22:13 +02001969 /* Run several times, to ensure that every output byte will be
1970 * nonzero at least once with overwhelming probability
1971 * (2^(-8*number_of_runs)). */
1972 for( run = 0; run < 10; run++ )
Gilles Peskine05d69892018-06-19 22:00:52 +02001973 {
Gilles Peskinea50d7392018-06-21 10:22:13 +02001974 memset( output, 0, bytes );
1975 TEST_ASSERT( psa_generate_random( output, bytes ) == PSA_SUCCESS );
1976
1977 /* Check that no more than bytes have been overwritten */
1978 TEST_ASSERT( memcmp( output + bytes, trail, sizeof( trail ) ) == 0 );
1979
1980 for( i = 0; i < bytes; i++ )
1981 {
1982 if( output[i] != 0 )
1983 ++changed[i];
1984 }
Gilles Peskine05d69892018-06-19 22:00:52 +02001985 }
Gilles Peskinea50d7392018-06-21 10:22:13 +02001986
1987 /* Check that every byte was changed to nonzero at least once. This
1988 * validates that psa_generate_random is overwriting every byte of
1989 * the output buffer. */
1990 for( i = 0; i < bytes; i++ )
1991 {
1992 TEST_ASSERT( changed[i] != 0 );
1993 }
Gilles Peskine05d69892018-06-19 22:00:52 +02001994
1995exit:
1996 mbedtls_psa_crypto_free( );
Gilles Peskinea50d7392018-06-21 10:22:13 +02001997 mbedtls_free( output );
1998 mbedtls_free( changed );
Gilles Peskine05d69892018-06-19 22:00:52 +02001999}
2000/* END_CASE */
Gilles Peskine12313cd2018-06-20 00:20:32 +02002001
2002/* BEGIN_CASE */
2003void generate_key( int type_arg,
2004 int bits_arg,
2005 int usage_arg,
2006 int alg_arg,
2007 int expected_status_arg )
2008{
2009 int slot = 1;
2010 psa_key_type_t type = type_arg;
2011 psa_key_usage_t usage = usage_arg;
2012 size_t bits = bits_arg;
2013 psa_algorithm_t alg = alg_arg;
2014 psa_status_t expected_status = expected_status_arg;
2015 psa_key_type_t got_type;
2016 size_t got_bits;
2017 unsigned char exported[616] = {0}; /* enough for a 1024-bit RSA key */
2018 size_t exported_length;
2019 psa_status_t expected_export_status =
2020 usage & PSA_KEY_USAGE_EXPORT ? PSA_SUCCESS : PSA_ERROR_NOT_PERMITTED;
2021 psa_status_t expected_info_status =
2022 expected_status == PSA_SUCCESS ? PSA_SUCCESS : PSA_ERROR_EMPTY_SLOT;
2023 psa_key_policy_t policy;
2024
2025 TEST_ASSERT( psa_crypto_init( ) == PSA_SUCCESS );
2026
2027 psa_key_policy_init( &policy );
2028 psa_key_policy_set_usage( &policy, usage, alg );
2029 TEST_ASSERT( psa_set_key_policy( slot, &policy ) == PSA_SUCCESS );
2030
2031 /* Generate a key */
2032 TEST_ASSERT( psa_generate_key( slot, type, bits,
2033 NULL, 0 ) == expected_status );
2034
2035 /* Test the key information */
2036 TEST_ASSERT( psa_get_key_information( slot,
2037 &got_type,
2038 &got_bits ) == expected_info_status );
2039 if( expected_info_status != PSA_SUCCESS )
2040 goto exit;
2041 TEST_ASSERT( got_type == type );
2042 TEST_ASSERT( got_bits == bits );
2043
2044 /* Export the key */
2045 TEST_ASSERT( psa_export_key( slot,
2046 exported, sizeof( exported ),
2047 &exported_length ) == expected_export_status );
2048 if( expected_export_status == PSA_SUCCESS )
2049 {
Gilles Peskine48c0ea12018-06-21 14:15:31 +02002050 if( key_type_is_raw_bytes( type ) )
Gilles Peskine12313cd2018-06-20 00:20:32 +02002051 TEST_ASSERT( exported_length == ( bits + 7 ) / 8 );
2052#if defined(MBEDTLS_DES_C)
2053 if( type == PSA_KEY_TYPE_DES )
2054 {
2055 /* Check the parity bits. */
2056 unsigned i;
2057 for( i = 0; i < bits / 8; i++ )
2058 {
2059 unsigned bit_count = 0;
2060 unsigned m;
2061 for( m = 1; m <= 0x100; m <<= 1 )
2062 {
2063 if( exported[i] & m )
2064 ++bit_count;
2065 }
2066 TEST_ASSERT( bit_count % 2 != 0 );
2067 }
2068 }
2069#endif
2070#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_PK_PARSE_C)
2071 if( type == PSA_KEY_TYPE_RSA_KEYPAIR )
2072 {
2073 /* Sanity check: does this look like the beginning of a PKCS#8
2074 * RSA key pair? Assumes bits is a multiple of 8. */
2075 size_t n_bytes = bits / 8 + 1;
2076 size_t n_encoded_bytes;
2077 unsigned char *n_end;
2078 TEST_ASSERT( exported_length >= 7 + ( n_bytes + 3 ) * 9 / 2 );
2079 TEST_ASSERT( exported[0] == 0x30 );
2080 TEST_ASSERT( exported[1] == 0x82 ); // assumes >=416-bit key
2081 TEST_ASSERT( exported[4] == 0x02 );
2082 TEST_ASSERT( exported[5] == 0x01 );
2083 TEST_ASSERT( exported[6] == 0x00 );
2084 TEST_ASSERT( exported[7] == 0x02 );
2085 n_encoded_bytes = exported[8];
2086 n_end = exported + 9 + n_encoded_bytes;
2087 if( n_encoded_bytes & 0x80 )
2088 {
2089 n_encoded_bytes = ( n_encoded_bytes & 0x7f ) << 7;
2090 n_encoded_bytes |= exported[9] & 0x7f;
2091 n_end += 1;
2092 }
2093 /* The encoding of n should start with a 0 byte since it should
2094 * have its high bit set. However Mbed TLS is not compliant and
2095 * generates an invalid, but widely tolerated, encoding of
2096 * positive INTEGERs with a bit size that is a multiple of 8
2097 * with no leading 0 byte. Accept this here. */
2098 TEST_ASSERT( n_bytes == n_encoded_bytes ||
2099 n_bytes == n_encoded_bytes + 1 );
2100 if( n_bytes == n_encoded_bytes )
2101 TEST_ASSERT( exported[n_encoded_bytes <= 127 ? 9 : 10] == 0x00 );
2102 /* Sanity check: e must be 3 */
2103 TEST_ASSERT( n_end[0] == 0x02 );
2104 TEST_ASSERT( n_end[1] == 0x03 );
2105 TEST_ASSERT( n_end[2] == 0x01 );
2106 TEST_ASSERT( n_end[3] == 0x00 );
2107 TEST_ASSERT( n_end[4] == 0x01 );
2108 TEST_ASSERT( n_end[5] == 0x02 );
2109 }
2110#endif /* MBEDTLS_RSA_C */
2111#if defined(MBEDTLS_ECP_C)
2112 if( PSA_KEY_TYPE_IS_ECC( type ) )
2113 {
2114 /* Sanity check: does this look like the beginning of a PKCS#8
2115 * elliptic curve key pair? */
2116 TEST_ASSERT( exported_length >= bits * 3 / 8 + 10 );
2117 TEST_ASSERT( exported[0] == 0x30 );
2118 }
2119#endif /* MBEDTLS_ECP_C */
2120 }
2121
Gilles Peskine818ca122018-06-20 18:16:48 +02002122 /* Do something with the key according to its type and permitted usage. */
2123 if( PSA_ALG_IS_MAC( alg ) )
2124 exercise_mac_key( slot, usage, alg );
2125 else if( PSA_ALG_IS_CIPHER( alg ) )
2126 exercise_cipher_key( slot, usage, alg );
2127 else if( PSA_ALG_IS_AEAD( alg ) )
2128 exercise_aead_key( slot, usage, alg );
2129 else if( PSA_ALG_IS_SIGN( alg ) )
2130 exercise_signature_key( slot, usage, alg );
2131 else if( PSA_ALG_IS_ASYMMETRIC_ENCRYPTION( alg ) )
2132 exercise_asymmetric_encryption_key( slot, usage, alg );
Gilles Peskine12313cd2018-06-20 00:20:32 +02002133
2134exit:
2135 psa_destroy_key( slot );
2136 mbedtls_psa_crypto_free( );
2137}
2138/* END_CASE */