blob: 0082772c16a94832f444f4882f05599c3c9c0123 [file] [log] [blame]
Gilles Peskinee59236f2018-01-27 23:32:46 +01001/*
2 * PSA crypto layer on top of Mbed TLS crypto
3 */
4/* Copyright (C) 2018, ARM Limited, All Rights Reserved
5 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
18 *
19 * This file is part of mbed TLS (https://tls.mbed.org)
20 */
21
22#if !defined(MBEDTLS_CONFIG_FILE)
23#include "mbedtls/config.h"
24#else
25#include MBEDTLS_CONFIG_FILE
26#endif
27
28#if defined(MBEDTLS_PSA_CRYPTO_C)
29
30#include "psa/crypto.h"
31
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010032#include <stdlib.h>
33#include <string.h>
34#if defined(MBEDTLS_PLATFORM_C)
35#include "mbedtls/platform.h"
36#else
37#define mbedtls_calloc calloc
38#define mbedtls_free free
39#endif
40
Gilles Peskinea5905292018-02-07 20:59:33 +010041#include "mbedtls/arc4.h"
42#include "mbedtls/blowfish.h"
43#include "mbedtls/camellia.h"
44#include "mbedtls/cipher.h"
45#include "mbedtls/ccm.h"
46#include "mbedtls/cmac.h"
Gilles Peskinee59236f2018-01-27 23:32:46 +010047#include "mbedtls/ctr_drbg.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010048#include "mbedtls/des.h"
Gilles Peskine969ac722018-01-28 18:16:59 +010049#include "mbedtls/ecp.h"
Gilles Peskinee59236f2018-01-27 23:32:46 +010050#include "mbedtls/entropy.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010051#include "mbedtls/error.h"
52#include "mbedtls/gcm.h"
53#include "mbedtls/md2.h"
54#include "mbedtls/md4.h"
55#include "mbedtls/md5.h"
Gilles Peskine20035e32018-02-03 22:44:14 +010056#include "mbedtls/md.h"
57#include "mbedtls/md_internal.h"
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010058#include "mbedtls/pk.h"
Gilles Peskine969ac722018-01-28 18:16:59 +010059#include "mbedtls/pk_internal.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010060#include "mbedtls/ripemd160.h"
Gilles Peskine969ac722018-01-28 18:16:59 +010061#include "mbedtls/rsa.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010062#include "mbedtls/sha1.h"
63#include "mbedtls/sha256.h"
64#include "mbedtls/sha512.h"
65#include "mbedtls/xtea.h"
66
Gilles Peskinee59236f2018-01-27 23:32:46 +010067
68
69/* Implementation that should never be optimized out by the compiler */
70static void mbedtls_zeroize( void *v, size_t n )
71{
72 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
73}
74
Gilles Peskine9ef733f2018-02-07 21:05:37 +010075/* constant-time buffer comparison */
76static inline int safer_memcmp( const uint8_t *a, const uint8_t *b, size_t n )
77{
78 size_t i;
79 unsigned char diff = 0;
80
81 for( i = 0; i < n; i++ )
82 diff |= a[i] ^ b[i];
83
84 return( diff );
85}
86
87
88
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010089/****************************************************************/
90/* Global data, support functions and library management */
91/****************************************************************/
92
93/* Number of key slots (plus one because 0 is not used).
94 * The value is a compile-time constant for now, for simplicity. */
95#define MBEDTLS_PSA_KEY_SLOT_COUNT 32
96
97typedef struct {
98 psa_key_type_t type;
mohammad16038cc1cee2018-03-28 01:21:33 +030099 psa_key_policy_t policy;
mohammad1603804cd712018-03-20 22:44:08 +0200100 psa_key_lifetime_t lifetime;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100101 union {
102 struct raw_data {
103 uint8_t *data;
104 size_t bytes;
105 } raw;
Gilles Peskine969ac722018-01-28 18:16:59 +0100106#if defined(MBEDTLS_RSA_C)
107 mbedtls_rsa_context *rsa;
108#endif /* MBEDTLS_RSA_C */
109#if defined(MBEDTLS_ECP_C)
110 mbedtls_ecp_keypair *ecp;
111#endif /* MBEDTLS_ECP_C */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100112 } data;
113} key_slot_t;
114
Gilles Peskinee59236f2018-01-27 23:32:46 +0100115typedef struct {
116 int initialized;
117 mbedtls_entropy_context entropy;
118 mbedtls_ctr_drbg_context ctr_drbg;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100119 key_slot_t key_slots[MBEDTLS_PSA_KEY_SLOT_COUNT];
Gilles Peskinee59236f2018-01-27 23:32:46 +0100120} psa_global_data_t;
121
122static psa_global_data_t global_data;
123
124static psa_status_t mbedtls_to_psa_error( int ret )
125{
Gilles Peskinea5905292018-02-07 20:59:33 +0100126 /* If there's both a high-level code and low-level code, dispatch on
127 * the high-level code. */
128 switch( ret < -0x7f ? - ( -ret & 0x7f80 ) : ret )
Gilles Peskinee59236f2018-01-27 23:32:46 +0100129 {
130 case 0:
131 return( PSA_SUCCESS );
Gilles Peskinea5905292018-02-07 20:59:33 +0100132
133 case MBEDTLS_ERR_AES_INVALID_KEY_LENGTH:
134 case MBEDTLS_ERR_AES_INVALID_INPUT_LENGTH:
135 case MBEDTLS_ERR_AES_FEATURE_UNAVAILABLE:
136 return( PSA_ERROR_NOT_SUPPORTED );
137 case MBEDTLS_ERR_AES_HW_ACCEL_FAILED:
138 return( PSA_ERROR_HARDWARE_FAILURE );
139
140 case MBEDTLS_ERR_ARC4_HW_ACCEL_FAILED:
141 return( PSA_ERROR_HARDWARE_FAILURE );
142
143 case MBEDTLS_ERR_BLOWFISH_INVALID_KEY_LENGTH:
144 case MBEDTLS_ERR_BLOWFISH_INVALID_INPUT_LENGTH:
145 return( PSA_ERROR_NOT_SUPPORTED );
146 case MBEDTLS_ERR_BLOWFISH_HW_ACCEL_FAILED:
147 return( PSA_ERROR_HARDWARE_FAILURE );
148
149 case MBEDTLS_ERR_CAMELLIA_INVALID_KEY_LENGTH:
150 case MBEDTLS_ERR_CAMELLIA_INVALID_INPUT_LENGTH:
151 return( PSA_ERROR_NOT_SUPPORTED );
152 case MBEDTLS_ERR_CAMELLIA_HW_ACCEL_FAILED:
153 return( PSA_ERROR_HARDWARE_FAILURE );
154
155 case MBEDTLS_ERR_CCM_BAD_INPUT:
156 return( PSA_ERROR_INVALID_ARGUMENT );
157 case MBEDTLS_ERR_CCM_AUTH_FAILED:
158 return( PSA_ERROR_INVALID_SIGNATURE );
159 case MBEDTLS_ERR_CCM_HW_ACCEL_FAILED:
160 return( PSA_ERROR_HARDWARE_FAILURE );
161
162 case MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE:
163 return( PSA_ERROR_NOT_SUPPORTED );
164 case MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA:
165 return( PSA_ERROR_INVALID_ARGUMENT );
166 case MBEDTLS_ERR_CIPHER_ALLOC_FAILED:
167 return( PSA_ERROR_INSUFFICIENT_MEMORY );
168 case MBEDTLS_ERR_CIPHER_INVALID_PADDING:
169 return( PSA_ERROR_INVALID_PADDING );
170 case MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED:
171 return( PSA_ERROR_BAD_STATE );
172 case MBEDTLS_ERR_CIPHER_AUTH_FAILED:
173 return( PSA_ERROR_INVALID_SIGNATURE );
174 case MBEDTLS_ERR_CIPHER_INVALID_CONTEXT:
175 return( PSA_ERROR_TAMPERING_DETECTED );
176 case MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED:
177 return( PSA_ERROR_HARDWARE_FAILURE );
178
179 case MBEDTLS_ERR_CMAC_HW_ACCEL_FAILED:
180 return( PSA_ERROR_HARDWARE_FAILURE );
181
182 case MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED:
183 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
184 case MBEDTLS_ERR_CTR_DRBG_REQUEST_TOO_BIG:
185 case MBEDTLS_ERR_CTR_DRBG_INPUT_TOO_BIG:
186 return( PSA_ERROR_NOT_SUPPORTED );
187 case MBEDTLS_ERR_CTR_DRBG_FILE_IO_ERROR:
188 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
189
190 case MBEDTLS_ERR_DES_INVALID_INPUT_LENGTH:
191 return( PSA_ERROR_NOT_SUPPORTED );
192 case MBEDTLS_ERR_DES_HW_ACCEL_FAILED:
193 return( PSA_ERROR_HARDWARE_FAILURE );
194
Gilles Peskinee59236f2018-01-27 23:32:46 +0100195 case MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED:
196 case MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE:
197 case MBEDTLS_ERR_ENTROPY_SOURCE_FAILED:
198 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
Gilles Peskinea5905292018-02-07 20:59:33 +0100199
200 case MBEDTLS_ERR_GCM_AUTH_FAILED:
201 return( PSA_ERROR_INVALID_SIGNATURE );
202 case MBEDTLS_ERR_GCM_BAD_INPUT:
203 return( PSA_ERROR_NOT_SUPPORTED );
204 case MBEDTLS_ERR_GCM_HW_ACCEL_FAILED:
205 return( PSA_ERROR_HARDWARE_FAILURE );
206
207 case MBEDTLS_ERR_MD2_HW_ACCEL_FAILED:
208 case MBEDTLS_ERR_MD4_HW_ACCEL_FAILED:
209 case MBEDTLS_ERR_MD5_HW_ACCEL_FAILED:
210 return( PSA_ERROR_HARDWARE_FAILURE );
211
212 case MBEDTLS_ERR_MD_FEATURE_UNAVAILABLE:
213 return( PSA_ERROR_NOT_SUPPORTED );
214 case MBEDTLS_ERR_MD_BAD_INPUT_DATA:
215 return( PSA_ERROR_INVALID_ARGUMENT );
216 case MBEDTLS_ERR_MD_ALLOC_FAILED:
217 return( PSA_ERROR_INSUFFICIENT_MEMORY );
218 case MBEDTLS_ERR_MD_FILE_IO_ERROR:
219 return( PSA_ERROR_STORAGE_FAILURE );
220 case MBEDTLS_ERR_MD_HW_ACCEL_FAILED:
221 return( PSA_ERROR_HARDWARE_FAILURE );
222
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100223 case MBEDTLS_ERR_PK_ALLOC_FAILED:
224 return( PSA_ERROR_INSUFFICIENT_MEMORY );
225 case MBEDTLS_ERR_PK_TYPE_MISMATCH:
226 case MBEDTLS_ERR_PK_BAD_INPUT_DATA:
227 return( PSA_ERROR_INVALID_ARGUMENT );
228 case MBEDTLS_ERR_PK_FILE_IO_ERROR:
Gilles Peskinea5905292018-02-07 20:59:33 +0100229 return( PSA_ERROR_STORAGE_FAILURE );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100230 case MBEDTLS_ERR_PK_KEY_INVALID_VERSION:
231 case MBEDTLS_ERR_PK_KEY_INVALID_FORMAT:
232 return( PSA_ERROR_INVALID_ARGUMENT );
233 case MBEDTLS_ERR_PK_UNKNOWN_PK_ALG:
234 return( PSA_ERROR_NOT_SUPPORTED );
235 case MBEDTLS_ERR_PK_PASSWORD_REQUIRED:
236 case MBEDTLS_ERR_PK_PASSWORD_MISMATCH:
237 return( PSA_ERROR_NOT_PERMITTED );
238 case MBEDTLS_ERR_PK_INVALID_PUBKEY:
239 return( PSA_ERROR_INVALID_ARGUMENT );
240 case MBEDTLS_ERR_PK_INVALID_ALG:
241 case MBEDTLS_ERR_PK_UNKNOWN_NAMED_CURVE:
242 case MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE:
243 return( PSA_ERROR_NOT_SUPPORTED );
244 case MBEDTLS_ERR_PK_SIG_LEN_MISMATCH:
245 return( PSA_ERROR_INVALID_SIGNATURE );
Gilles Peskinea5905292018-02-07 20:59:33 +0100246 case MBEDTLS_ERR_PK_HW_ACCEL_FAILED:
247 return( PSA_ERROR_HARDWARE_FAILURE );
248
249 case MBEDTLS_ERR_RIPEMD160_HW_ACCEL_FAILED:
250 return( PSA_ERROR_HARDWARE_FAILURE );
251
252 case MBEDTLS_ERR_RSA_BAD_INPUT_DATA:
253 return( PSA_ERROR_INVALID_ARGUMENT );
254 case MBEDTLS_ERR_RSA_INVALID_PADDING:
255 return( PSA_ERROR_INVALID_PADDING );
256 case MBEDTLS_ERR_RSA_KEY_GEN_FAILED:
257 return( PSA_ERROR_HARDWARE_FAILURE );
258 case MBEDTLS_ERR_RSA_KEY_CHECK_FAILED:
259 return( PSA_ERROR_INVALID_ARGUMENT );
260 case MBEDTLS_ERR_RSA_PUBLIC_FAILED:
261 case MBEDTLS_ERR_RSA_PRIVATE_FAILED:
262 return( PSA_ERROR_TAMPERING_DETECTED );
263 case MBEDTLS_ERR_RSA_VERIFY_FAILED:
264 return( PSA_ERROR_INVALID_SIGNATURE );
265 case MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE:
266 return( PSA_ERROR_BUFFER_TOO_SMALL );
267 case MBEDTLS_ERR_RSA_RNG_FAILED:
268 return( PSA_ERROR_INSUFFICIENT_MEMORY );
269 case MBEDTLS_ERR_RSA_UNSUPPORTED_OPERATION:
270 return( PSA_ERROR_NOT_SUPPORTED );
271 case MBEDTLS_ERR_RSA_HW_ACCEL_FAILED:
272 return( PSA_ERROR_HARDWARE_FAILURE );
273
274 case MBEDTLS_ERR_SHA1_HW_ACCEL_FAILED:
275 case MBEDTLS_ERR_SHA256_HW_ACCEL_FAILED:
276 case MBEDTLS_ERR_SHA512_HW_ACCEL_FAILED:
277 return( PSA_ERROR_HARDWARE_FAILURE );
278
279 case MBEDTLS_ERR_XTEA_INVALID_INPUT_LENGTH:
280 return( PSA_ERROR_INVALID_ARGUMENT );
281 case MBEDTLS_ERR_XTEA_HW_ACCEL_FAILED:
282 return( PSA_ERROR_HARDWARE_FAILURE );
283
itayzafrir5c753392018-05-08 11:18:38 +0300284 case MBEDTLS_ERR_ECP_BAD_INPUT_DATA:
itayzafrir7b30f8b2018-05-09 16:07:36 +0300285 case MBEDTLS_ERR_ECP_INVALID_KEY:
itayzafrir5c753392018-05-08 11:18:38 +0300286 return( PSA_ERROR_INVALID_ARGUMENT );
itayzafrir7b30f8b2018-05-09 16:07:36 +0300287 case MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL:
288 return( PSA_ERROR_BUFFER_TOO_SMALL );
289 case MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE:
290 return( PSA_ERROR_NOT_SUPPORTED );
291 case MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH:
292 case MBEDTLS_ERR_ECP_VERIFY_FAILED:
293 return( PSA_ERROR_INVALID_SIGNATURE );
294 case MBEDTLS_ERR_ECP_ALLOC_FAILED:
295 return( PSA_ERROR_INSUFFICIENT_MEMORY );
296 case MBEDTLS_ERR_ECP_HW_ACCEL_FAILED:
297 return( PSA_ERROR_HARDWARE_FAILURE );
itayzafrir5c753392018-05-08 11:18:38 +0300298
Gilles Peskinee59236f2018-01-27 23:32:46 +0100299 default:
300 return( PSA_ERROR_UNKNOWN_ERROR );
301 }
302}
303
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100304
305
306/****************************************************************/
307/* Key management */
308/****************************************************************/
309
310psa_status_t psa_import_key(psa_key_slot_t key,
311 psa_key_type_t type,
312 const uint8_t *data,
313 size_t data_length)
314{
315 key_slot_t *slot;
316
317 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
318 return( PSA_ERROR_INVALID_ARGUMENT );
319 slot = &global_data.key_slots[key];
320 if( slot->type != PSA_KEY_TYPE_NONE )
321 return( PSA_ERROR_OCCUPIED_SLOT );
322
Gilles Peskine8c9def32018-02-08 10:02:12 +0100323 if( PSA_KEY_TYPE_IS_RAW_BYTES( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100324 {
Gilles Peskine6d912132018-03-07 16:41:37 +0100325 /* Ensure that a bytes-to-bit conversion won't overflow. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100326 if( data_length > SIZE_MAX / 8 )
327 return( PSA_ERROR_NOT_SUPPORTED );
328 slot->data.raw.data = mbedtls_calloc( 1, data_length );
329 if( slot->data.raw.data == NULL )
330 return( PSA_ERROR_INSUFFICIENT_MEMORY );
331 memcpy( slot->data.raw.data, data, data_length );
332 slot->data.raw.bytes = data_length;
333 }
334 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100335#if defined(MBEDTLS_PK_PARSE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100336 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
337 type == PSA_KEY_TYPE_RSA_KEYPAIR ||
338 PSA_KEY_TYPE_IS_ECC( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100339 {
340 int ret;
Gilles Peskine969ac722018-01-28 18:16:59 +0100341 mbedtls_pk_context pk;
342 mbedtls_pk_init( &pk );
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100343 if( PSA_KEY_TYPE_IS_KEYPAIR( type ) )
344 ret = mbedtls_pk_parse_key( &pk, data, data_length, NULL, 0 );
345 else
346 ret = mbedtls_pk_parse_public_key( &pk, data, data_length );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100347 if( ret != 0 )
348 return( mbedtls_to_psa_error( ret ) );
Gilles Peskine969ac722018-01-28 18:16:59 +0100349 switch( mbedtls_pk_get_type( &pk ) )
350 {
351#if defined(MBEDTLS_RSA_C)
352 case MBEDTLS_PK_RSA:
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100353 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
354 type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine969ac722018-01-28 18:16:59 +0100355 slot->data.rsa = pk.pk_ctx;
356 else
357 return( PSA_ERROR_INVALID_ARGUMENT );
358 break;
359#endif /* MBEDTLS_RSA_C */
360#if defined(MBEDTLS_ECP_C)
361 case MBEDTLS_PK_ECKEY:
362 if( PSA_KEY_TYPE_IS_ECC( type ) )
363 {
364 // TODO: check curve
365 slot->data.ecp = pk.pk_ctx;
366 }
367 else
368 return( PSA_ERROR_INVALID_ARGUMENT );
369 break;
370#endif /* MBEDTLS_ECP_C */
371 default:
372 return( PSA_ERROR_INVALID_ARGUMENT );
373 }
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100374 }
375 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100376#endif /* defined(MBEDTLS_PK_PARSE_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100377 {
378 return( PSA_ERROR_NOT_SUPPORTED );
379 }
380
381 slot->type = type;
382 return( PSA_SUCCESS );
383}
384
385psa_status_t psa_destroy_key(psa_key_slot_t key)
386{
387 key_slot_t *slot;
388
389 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
390 return( PSA_ERROR_INVALID_ARGUMENT );
391 slot = &global_data.key_slots[key];
392 if( slot->type == PSA_KEY_TYPE_NONE )
393 return( PSA_ERROR_EMPTY_SLOT );
394
Gilles Peskine8c9def32018-02-08 10:02:12 +0100395 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100396 {
397 mbedtls_free( slot->data.raw.data );
398 }
399 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100400#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100401 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
402 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100403 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100404 mbedtls_rsa_free( slot->data.rsa );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100405 mbedtls_free( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100406 }
407 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100408#endif /* defined(MBEDTLS_RSA_C) */
409#if defined(MBEDTLS_ECP_C)
410 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
411 {
412 mbedtls_ecp_keypair_free( slot->data.ecp );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100413 mbedtls_free( slot->data.ecp );
Gilles Peskine969ac722018-01-28 18:16:59 +0100414 }
415 else
416#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100417 {
418 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100419 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100420 return( PSA_ERROR_TAMPERING_DETECTED );
421 }
422
423 mbedtls_zeroize( slot, sizeof( *slot ) );
424 return( PSA_SUCCESS );
425}
426
427psa_status_t psa_get_key_information(psa_key_slot_t key,
428 psa_key_type_t *type,
429 size_t *bits)
430{
431 key_slot_t *slot;
432
433 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100434 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100435 slot = &global_data.key_slots[key];
436 if( type != NULL )
437 *type = slot->type;
438 if( bits != NULL )
439 *bits = 0;
440 if( slot->type == PSA_KEY_TYPE_NONE )
441 return( PSA_ERROR_EMPTY_SLOT );
442
Gilles Peskine8c9def32018-02-08 10:02:12 +0100443 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100444 {
445 if( bits != NULL )
446 *bits = slot->data.raw.bytes * 8;
447 }
448 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100449#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100450 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
451 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100452 {
453 if( bits != NULL )
Gilles Peskine969ac722018-01-28 18:16:59 +0100454 *bits = mbedtls_rsa_get_bitlen( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100455 }
456 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100457#endif /* defined(MBEDTLS_RSA_C) */
458#if defined(MBEDTLS_ECP_C)
459 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
460 {
461 if( bits != NULL )
462 *bits = slot->data.ecp->grp.pbits;
463 }
464 else
465#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100466 {
467 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100468 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100469 return( PSA_ERROR_TAMPERING_DETECTED );
470 }
471
472 return( PSA_SUCCESS );
473}
474
Moran Pekera998bc62018-04-16 18:16:20 +0300475static psa_status_t psa_internal_export_key(psa_key_slot_t key,
476 uint8_t *data,
477 size_t data_size,
478 size_t *data_length,
479 int export_public_key)
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100480{
481 key_slot_t *slot;
482
483 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100484 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100485 slot = &global_data.key_slots[key];
486 if( slot->type == PSA_KEY_TYPE_NONE )
487 return( PSA_ERROR_EMPTY_SLOT );
488
Moran Peker87567632018-06-04 18:41:37 +0300489 if( export_public_key && ( !( PSA_KEY_TYPE_IS_ASYMMETRIC( slot->type ) ) ) )
Moran Pekera998bc62018-04-16 18:16:20 +0300490 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad160306e79202018-03-28 13:17:44 +0300491
Moran Peker87567632018-06-04 18:41:37 +0300492 if( ( !export_public_key ) && ( !( PSA_KEY_TYPE_IS_PUBLIC_KEY( slot->type ) ) ) &&
493 ( !( slot->policy.usage & PSA_KEY_USAGE_EXPORT ) ) )
494 return( PSA_ERROR_NOT_PERMITTED );
495
Gilles Peskine8c9def32018-02-08 10:02:12 +0100496 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100497 {
498 if( slot->data.raw.bytes > data_size )
499 return( PSA_ERROR_BUFFER_TOO_SMALL );
500 memcpy( data, slot->data.raw.data, slot->data.raw.bytes );
501 *data_length = slot->data.raw.bytes;
502 return( PSA_SUCCESS );
503 }
504 else
Moran Peker17e36e12018-05-02 12:55:20 +0300505 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100506#if defined(MBEDTLS_PK_WRITE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100507 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
Moran Pekera998bc62018-04-16 18:16:20 +0300508 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR ||
509 PSA_KEY_TYPE_IS_ECC( slot->type ) )
Gilles Peskine969ac722018-01-28 18:16:59 +0100510 {
Moran Pekera998bc62018-04-16 18:16:20 +0300511 mbedtls_pk_context pk;
512 int ret;
513 mbedtls_pk_init( &pk );
514 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
515 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
516 {
517 pk.pk_info = &mbedtls_rsa_info;
518 pk.pk_ctx = slot->data.rsa;
519 }
520 else
521 {
522 pk.pk_info = &mbedtls_eckey_info;
523 pk.pk_ctx = slot->data.ecp;
524 }
Moran Pekerd7326592018-05-29 16:56:39 +0300525 if( export_public_key || PSA_KEY_TYPE_IS_PUBLIC_KEY( slot->type ) )
Moran Pekera998bc62018-04-16 18:16:20 +0300526 ret = mbedtls_pk_write_pubkey_der( &pk, data, data_size );
Moran Peker17e36e12018-05-02 12:55:20 +0300527 else
528 ret = mbedtls_pk_write_key_der( &pk, data, data_size );
Moran Peker60364322018-04-29 11:34:58 +0300529 if( ret < 0 )
Moran Pekera998bc62018-04-16 18:16:20 +0300530 return( mbedtls_to_psa_error( ret ) );
531 *data_length = ret;
532 return( PSA_SUCCESS );
Gilles Peskine969ac722018-01-28 18:16:59 +0100533 }
534 else
Gilles Peskine6d912132018-03-07 16:41:37 +0100535#endif /* defined(MBEDTLS_PK_WRITE_C) */
Moran Pekera998bc62018-04-16 18:16:20 +0300536 {
537 /* This shouldn't happen in the reference implementation, but
Gilles Peskine785fd552018-06-04 15:08:56 +0200538 it is valid for a special-purpose implementation to omit
539 support for exporting certain key types. */
Moran Pekera998bc62018-04-16 18:16:20 +0300540 return( PSA_ERROR_NOT_SUPPORTED );
541 }
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100542 }
543}
544
Moran Pekera998bc62018-04-16 18:16:20 +0300545psa_status_t psa_export_key(psa_key_slot_t key,
546 uint8_t *data,
547 size_t data_size,
548 size_t *data_length)
549{
550 return psa_internal_export_key( key, data, data_size,
551 data_length, 0 );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100552}
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100553
554
Moran Pekerdd4ea382018-04-03 15:30:03 +0300555psa_status_t psa_export_public_key(psa_key_slot_t key,
Moran Pekerb4d0ddd2018-04-04 12:47:52 +0300556 uint8_t *data,
557 size_t data_size,
558 size_t *data_length)
Moran Pekerdd4ea382018-04-03 15:30:03 +0300559{
Moran Pekera998bc62018-04-16 18:16:20 +0300560 return psa_internal_export_key( key, data, data_size,
561 data_length, 1 );
Moran Pekerdd4ea382018-04-03 15:30:03 +0300562}
563
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100564/****************************************************************/
Gilles Peskine20035e32018-02-03 22:44:14 +0100565/* Message digests */
566/****************************************************************/
567
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100568static const mbedtls_md_info_t *mbedtls_md_info_from_psa( psa_algorithm_t alg )
Gilles Peskine20035e32018-02-03 22:44:14 +0100569{
570 switch( alg )
571 {
572#if defined(MBEDTLS_MD2_C)
573 case PSA_ALG_MD2:
574 return( &mbedtls_md2_info );
575#endif
576#if defined(MBEDTLS_MD4_C)
577 case PSA_ALG_MD4:
578 return( &mbedtls_md4_info );
579#endif
580#if defined(MBEDTLS_MD5_C)
581 case PSA_ALG_MD5:
582 return( &mbedtls_md5_info );
583#endif
584#if defined(MBEDTLS_RIPEMD160_C)
585 case PSA_ALG_RIPEMD160:
586 return( &mbedtls_ripemd160_info );
587#endif
588#if defined(MBEDTLS_SHA1_C)
589 case PSA_ALG_SHA_1:
590 return( &mbedtls_sha1_info );
591#endif
592#if defined(MBEDTLS_SHA256_C)
593 case PSA_ALG_SHA_224:
594 return( &mbedtls_sha224_info );
595 case PSA_ALG_SHA_256:
596 return( &mbedtls_sha256_info );
597#endif
598#if defined(MBEDTLS_SHA512_C)
599 case PSA_ALG_SHA_384:
600 return( &mbedtls_sha384_info );
601 case PSA_ALG_SHA_512:
602 return( &mbedtls_sha512_info );
603#endif
604 default:
605 return( NULL );
606 }
607}
608
609#if 0
610static psa_algorithm_t mbedtls_md_alg_to_psa( mbedtls_md_type_t md_alg )
611{
612 switch( md_alg )
613 {
614 case MBEDTLS_MD_NONE:
615 return( 0 );
616 case MBEDTLS_MD_MD2:
617 return( PSA_ALG_MD2 );
618 case MBEDTLS_MD_MD4:
619 return( PSA_ALG_MD4 );
620 case MBEDTLS_MD_MD5:
621 return( PSA_ALG_MD5 );
622 case MBEDTLS_MD_SHA1:
623 return( PSA_ALG_SHA_1 );
624 case MBEDTLS_MD_SHA224:
625 return( PSA_ALG_SHA_224 );
626 case MBEDTLS_MD_SHA256:
627 return( PSA_ALG_SHA_256 );
628 case MBEDTLS_MD_SHA384:
629 return( PSA_ALG_SHA_384 );
630 case MBEDTLS_MD_SHA512:
631 return( PSA_ALG_SHA_512 );
632 case MBEDTLS_MD_RIPEMD160:
633 return( PSA_ALG_RIPEMD160 );
634 default:
Gilles Peskine47c1bc02018-03-20 17:55:04 +0100635 return( 0 );
Gilles Peskine20035e32018-02-03 22:44:14 +0100636 }
637}
638#endif
639
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100640psa_status_t psa_hash_abort( psa_hash_operation_t *operation )
641{
642 switch( operation->alg )
643 {
644#if defined(MBEDTLS_MD2_C)
645 case PSA_ALG_MD2:
646 mbedtls_md2_free( &operation->ctx.md2 );
647 break;
648#endif
649#if defined(MBEDTLS_MD4_C)
650 case PSA_ALG_MD4:
651 mbedtls_md4_free( &operation->ctx.md4 );
652 break;
653#endif
654#if defined(MBEDTLS_MD5_C)
655 case PSA_ALG_MD5:
656 mbedtls_md5_free( &operation->ctx.md5 );
657 break;
658#endif
659#if defined(MBEDTLS_RIPEMD160_C)
660 case PSA_ALG_RIPEMD160:
661 mbedtls_ripemd160_free( &operation->ctx.ripemd160 );
662 break;
663#endif
664#if defined(MBEDTLS_SHA1_C)
665 case PSA_ALG_SHA_1:
666 mbedtls_sha1_free( &operation->ctx.sha1 );
667 break;
668#endif
669#if defined(MBEDTLS_SHA256_C)
670 case PSA_ALG_SHA_224:
671 case PSA_ALG_SHA_256:
672 mbedtls_sha256_free( &operation->ctx.sha256 );
673 break;
674#endif
675#if defined(MBEDTLS_SHA512_C)
676 case PSA_ALG_SHA_384:
677 case PSA_ALG_SHA_512:
678 mbedtls_sha512_free( &operation->ctx.sha512 );
679 break;
680#endif
681 default:
682 return( PSA_ERROR_NOT_SUPPORTED );
683 }
684 operation->alg = 0;
685 return( PSA_SUCCESS );
686}
687
688psa_status_t psa_hash_start( psa_hash_operation_t *operation,
689 psa_algorithm_t alg )
690{
691 int ret;
692 operation->alg = 0;
693 switch( alg )
694 {
695#if defined(MBEDTLS_MD2_C)
696 case PSA_ALG_MD2:
697 mbedtls_md2_init( &operation->ctx.md2 );
698 ret = mbedtls_md2_starts_ret( &operation->ctx.md2 );
699 break;
700#endif
701#if defined(MBEDTLS_MD4_C)
702 case PSA_ALG_MD4:
703 mbedtls_md4_init( &operation->ctx.md4 );
704 ret = mbedtls_md4_starts_ret( &operation->ctx.md4 );
705 break;
706#endif
707#if defined(MBEDTLS_MD5_C)
708 case PSA_ALG_MD5:
709 mbedtls_md5_init( &operation->ctx.md5 );
710 ret = mbedtls_md5_starts_ret( &operation->ctx.md5 );
711 break;
712#endif
713#if defined(MBEDTLS_RIPEMD160_C)
714 case PSA_ALG_RIPEMD160:
715 mbedtls_ripemd160_init( &operation->ctx.ripemd160 );
716 ret = mbedtls_ripemd160_starts_ret( &operation->ctx.ripemd160 );
717 break;
718#endif
719#if defined(MBEDTLS_SHA1_C)
720 case PSA_ALG_SHA_1:
721 mbedtls_sha1_init( &operation->ctx.sha1 );
722 ret = mbedtls_sha1_starts_ret( &operation->ctx.sha1 );
723 break;
724#endif
725#if defined(MBEDTLS_SHA256_C)
726 case PSA_ALG_SHA_224:
727 mbedtls_sha256_init( &operation->ctx.sha256 );
728 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 1 );
729 break;
730 case PSA_ALG_SHA_256:
731 mbedtls_sha256_init( &operation->ctx.sha256 );
732 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 0 );
733 break;
734#endif
735#if defined(MBEDTLS_SHA512_C)
736 case PSA_ALG_SHA_384:
737 mbedtls_sha512_init( &operation->ctx.sha512 );
738 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 1 );
739 break;
740 case PSA_ALG_SHA_512:
741 mbedtls_sha512_init( &operation->ctx.sha512 );
742 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 0 );
743 break;
744#endif
745 default:
746 return( PSA_ERROR_NOT_SUPPORTED );
747 }
748 if( ret == 0 )
749 operation->alg = alg;
750 else
751 psa_hash_abort( operation );
752 return( mbedtls_to_psa_error( ret ) );
753}
754
755psa_status_t psa_hash_update( psa_hash_operation_t *operation,
756 const uint8_t *input,
757 size_t input_length )
758{
759 int ret;
760 switch( operation->alg )
761 {
762#if defined(MBEDTLS_MD2_C)
763 case PSA_ALG_MD2:
764 ret = mbedtls_md2_update_ret( &operation->ctx.md2,
765 input, input_length );
766 break;
767#endif
768#if defined(MBEDTLS_MD4_C)
769 case PSA_ALG_MD4:
770 ret = mbedtls_md4_update_ret( &operation->ctx.md4,
771 input, input_length );
772 break;
773#endif
774#if defined(MBEDTLS_MD5_C)
775 case PSA_ALG_MD5:
776 ret = mbedtls_md5_update_ret( &operation->ctx.md5,
777 input, input_length );
778 break;
779#endif
780#if defined(MBEDTLS_RIPEMD160_C)
781 case PSA_ALG_RIPEMD160:
782 ret = mbedtls_ripemd160_update_ret( &operation->ctx.ripemd160,
783 input, input_length );
784 break;
785#endif
786#if defined(MBEDTLS_SHA1_C)
787 case PSA_ALG_SHA_1:
788 ret = mbedtls_sha1_update_ret( &operation->ctx.sha1,
789 input, input_length );
790 break;
791#endif
792#if defined(MBEDTLS_SHA256_C)
793 case PSA_ALG_SHA_224:
794 case PSA_ALG_SHA_256:
795 ret = mbedtls_sha256_update_ret( &operation->ctx.sha256,
796 input, input_length );
797 break;
798#endif
799#if defined(MBEDTLS_SHA512_C)
800 case PSA_ALG_SHA_384:
801 case PSA_ALG_SHA_512:
802 ret = mbedtls_sha512_update_ret( &operation->ctx.sha512,
803 input, input_length );
804 break;
805#endif
806 default:
807 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
808 break;
809 }
810 if( ret != 0 )
811 psa_hash_abort( operation );
812 return( mbedtls_to_psa_error( ret ) );
813}
814
815psa_status_t psa_hash_finish( psa_hash_operation_t *operation,
816 uint8_t *hash,
817 size_t hash_size,
818 size_t *hash_length )
819{
820 int ret;
821 size_t actual_hash_length = PSA_HASH_FINAL_SIZE( operation->alg );
822
823 /* Fill the output buffer with something that isn't a valid hash
824 * (barring an attack on the hash and deliberately-crafted input),
825 * in case the caller doesn't check the return status properly. */
826 *hash_length = actual_hash_length;
827 memset( hash, '!', hash_size );
828
829 if( hash_size < actual_hash_length )
830 return( PSA_ERROR_BUFFER_TOO_SMALL );
831
832 switch( operation->alg )
833 {
834#if defined(MBEDTLS_MD2_C)
835 case PSA_ALG_MD2:
836 ret = mbedtls_md2_finish_ret( &operation->ctx.md2, hash );
837 break;
838#endif
839#if defined(MBEDTLS_MD4_C)
840 case PSA_ALG_MD4:
841 ret = mbedtls_md4_finish_ret( &operation->ctx.md4, hash );
842 break;
843#endif
844#if defined(MBEDTLS_MD5_C)
845 case PSA_ALG_MD5:
846 ret = mbedtls_md5_finish_ret( &operation->ctx.md5, hash );
847 break;
848#endif
849#if defined(MBEDTLS_RIPEMD160_C)
850 case PSA_ALG_RIPEMD160:
851 ret = mbedtls_ripemd160_finish_ret( &operation->ctx.ripemd160, hash );
852 break;
853#endif
854#if defined(MBEDTLS_SHA1_C)
855 case PSA_ALG_SHA_1:
856 ret = mbedtls_sha1_finish_ret( &operation->ctx.sha1, hash );
857 break;
858#endif
859#if defined(MBEDTLS_SHA256_C)
860 case PSA_ALG_SHA_224:
861 case PSA_ALG_SHA_256:
862 ret = mbedtls_sha256_finish_ret( &operation->ctx.sha256, hash );
863 break;
864#endif
865#if defined(MBEDTLS_SHA512_C)
866 case PSA_ALG_SHA_384:
867 case PSA_ALG_SHA_512:
868 ret = mbedtls_sha512_finish_ret( &operation->ctx.sha512, hash );
869 break;
870#endif
871 default:
872 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
873 break;
874 }
875
876 if( ret == 0 )
877 {
878 return( psa_hash_abort( operation ) );
879 }
880 else
881 {
882 psa_hash_abort( operation );
883 return( mbedtls_to_psa_error( ret ) );
884 }
885}
886
887psa_status_t psa_hash_verify(psa_hash_operation_t *operation,
888 const uint8_t *hash,
889 size_t hash_length)
890{
891 uint8_t actual_hash[MBEDTLS_MD_MAX_SIZE];
892 size_t actual_hash_length;
893 psa_status_t status = psa_hash_finish( operation,
894 actual_hash, sizeof( actual_hash ),
895 &actual_hash_length );
896 if( status != PSA_SUCCESS )
897 return( status );
898 if( actual_hash_length != hash_length )
899 return( PSA_ERROR_INVALID_SIGNATURE );
900 if( safer_memcmp( hash, actual_hash, actual_hash_length ) != 0 )
901 return( PSA_ERROR_INVALID_SIGNATURE );
902 return( PSA_SUCCESS );
903}
904
905
906
907
908/****************************************************************/
Gilles Peskine8c9def32018-02-08 10:02:12 +0100909/* MAC */
910/****************************************************************/
911
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100912static const mbedtls_cipher_info_t *mbedtls_cipher_info_from_psa(
Gilles Peskine8c9def32018-02-08 10:02:12 +0100913 psa_algorithm_t alg,
914 psa_key_type_t key_type,
915 size_t key_bits )
916{
917 mbedtls_cipher_id_t cipher_id;
918 mbedtls_cipher_mode_t mode;
919
920 if( PSA_ALG_IS_CIPHER( alg ) || PSA_ALG_IS_AEAD( alg ) )
921 {
922 if( PSA_ALG_IS_BLOCK_CIPHER( alg ) )
923 alg &= ~PSA_ALG_BLOCK_CIPHER_MODE_MASK;
924 switch( alg )
925 {
926 case PSA_ALG_STREAM_CIPHER:
927 mode = MBEDTLS_MODE_STREAM;
928 break;
929 case PSA_ALG_CBC_BASE:
930 mode = MBEDTLS_MODE_CBC;
931 break;
932 case PSA_ALG_CFB_BASE:
933 mode = MBEDTLS_MODE_CFB;
934 break;
935 case PSA_ALG_OFB_BASE:
936 mode = MBEDTLS_MODE_OFB;
937 break;
938 case PSA_ALG_CTR:
939 mode = MBEDTLS_MODE_CTR;
940 break;
941 case PSA_ALG_CCM:
942 mode = MBEDTLS_MODE_CCM;
943 break;
944 case PSA_ALG_GCM:
945 mode = MBEDTLS_MODE_GCM;
946 break;
947 default:
948 return( NULL );
949 }
950 }
951 else if( alg == PSA_ALG_CMAC )
952 mode = MBEDTLS_MODE_ECB;
953 else if( alg == PSA_ALG_GMAC )
954 mode = MBEDTLS_MODE_GCM;
955 else
956 return( NULL );
957
958 switch( key_type )
959 {
960 case PSA_KEY_TYPE_AES:
961 cipher_id = MBEDTLS_CIPHER_ID_AES;
962 break;
963 case PSA_KEY_TYPE_DES:
964 if( key_bits == 64 )
965 cipher_id = MBEDTLS_CIPHER_ID_DES;
966 else
967 cipher_id = MBEDTLS_CIPHER_ID_3DES;
968 break;
969 case PSA_KEY_TYPE_CAMELLIA:
970 cipher_id = MBEDTLS_CIPHER_ID_CAMELLIA;
971 break;
972 case PSA_KEY_TYPE_ARC4:
973 cipher_id = MBEDTLS_CIPHER_ID_ARC4;
974 break;
975 default:
976 return( NULL );
977 }
978
979 return( mbedtls_cipher_info_from_values( cipher_id, key_bits, mode ) );
980}
981
982psa_status_t psa_mac_abort( psa_mac_operation_t *operation )
983{
984 switch( operation->alg )
985 {
986#if defined(MBEDTLS_CMAC_C)
987 case PSA_ALG_CMAC:
988 mbedtls_cipher_free( &operation->ctx.cmac );
989 break;
990#endif /* MBEDTLS_CMAC_C */
991 default:
992#if defined(MBEDTLS_MD_C)
993 if( PSA_ALG_IS_HMAC( operation->alg ) )
994 mbedtls_md_free( &operation->ctx.hmac );
995 else
996#endif /* MBEDTLS_MD_C */
997 return( PSA_ERROR_NOT_SUPPORTED );
998 }
999 operation->alg = 0;
1000 operation->key_set = 0;
1001 operation->iv_set = 0;
1002 operation->iv_required = 0;
1003 operation->has_input = 0;
1004 return( PSA_SUCCESS );
1005}
1006
1007psa_status_t psa_mac_start( psa_mac_operation_t *operation,
1008 psa_key_slot_t key,
1009 psa_algorithm_t alg )
1010{
1011 int ret = MBEDTLS_ERR_MD_FEATURE_UNAVAILABLE;
1012 psa_status_t status;
1013 key_slot_t *slot;
1014 psa_key_type_t key_type;
1015 size_t key_bits;
1016 const mbedtls_cipher_info_t *cipher_info = NULL;
1017
1018 operation->alg = 0;
1019 operation->key_set = 0;
1020 operation->iv_set = 0;
1021 operation->iv_required = 1;
1022 operation->has_input = 0;
1023
1024 status = psa_get_key_information( key, &key_type, &key_bits );
1025 if( status != PSA_SUCCESS )
1026 return( status );
1027 slot = &global_data.key_slots[key];
1028
Moran Pekerd7326592018-05-29 16:56:39 +03001029 if( ( slot->policy.usage & PSA_KEY_USAGE_SIGN ) != 0 )
mohammad16036df908f2018-04-02 08:34:15 -07001030 operation->key_usage_sign = 1;
1031
Moran Pekerd7326592018-05-29 16:56:39 +03001032 if( ( slot->policy.usage & PSA_KEY_USAGE_VERIFY ) != 0 )
mohammad16036df908f2018-04-02 08:34:15 -07001033 operation->key_usage_verify = 1;
1034
Gilles Peskine8c9def32018-02-08 10:02:12 +01001035 if( ! PSA_ALG_IS_HMAC( alg ) )
1036 {
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001037 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type, key_bits );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001038 if( cipher_info == NULL )
1039 return( PSA_ERROR_NOT_SUPPORTED );
1040 operation->mac_size = cipher_info->block_size;
1041 }
1042 switch( alg )
1043 {
1044#if defined(MBEDTLS_CMAC_C)
1045 case PSA_ALG_CMAC:
1046 operation->iv_required = 0;
1047 mbedtls_cipher_init( &operation->ctx.cmac );
1048 ret = mbedtls_cipher_setup( &operation->ctx.cmac, cipher_info );
1049 if( ret != 0 )
1050 break;
1051 ret = mbedtls_cipher_cmac_starts( &operation->ctx.cmac,
1052 slot->data.raw.data,
1053 key_bits );
1054 break;
1055#endif /* MBEDTLS_CMAC_C */
1056 default:
1057#if defined(MBEDTLS_MD_C)
1058 if( PSA_ALG_IS_HMAC( alg ) )
1059 {
1060 const mbedtls_md_info_t *md_info =
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001061 mbedtls_md_info_from_psa( PSA_ALG_HMAC_HASH( alg ) );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001062 if( md_info == NULL )
1063 return( PSA_ERROR_NOT_SUPPORTED );
1064 if( key_type != PSA_KEY_TYPE_HMAC )
1065 return( PSA_ERROR_INVALID_ARGUMENT );
1066 operation->iv_required = 0;
1067 operation->mac_size = mbedtls_md_get_size( md_info );
1068 mbedtls_md_init( &operation->ctx.hmac );
1069 ret = mbedtls_md_setup( &operation->ctx.hmac, md_info, 1 );
1070 if( ret != 0 )
1071 break;
1072 ret = mbedtls_md_hmac_starts( &operation->ctx.hmac,
1073 slot->data.raw.data,
1074 slot->data.raw.bytes );
1075 break;
1076 }
1077 else
1078#endif /* MBEDTLS_MD_C */
1079 return( PSA_ERROR_NOT_SUPPORTED );
1080 }
1081
1082 /* If we reach this point, then the algorithm-specific part of the
1083 * context has at least been initialized, and may contain data that
1084 * needs to be wiped on error. */
1085 operation->alg = alg;
1086 if( ret != 0 )
1087 {
1088 psa_mac_abort( operation );
1089 return( mbedtls_to_psa_error( ret ) );
1090 }
1091 operation->key_set = 1;
Gilles Peskine47c1bc02018-03-20 17:55:04 +01001092 return( PSA_SUCCESS );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001093}
1094
1095psa_status_t psa_mac_update( psa_mac_operation_t *operation,
1096 const uint8_t *input,
1097 size_t input_length )
1098{
1099 int ret;
1100 if( ! operation->key_set )
1101 return( PSA_ERROR_BAD_STATE );
1102 if( operation->iv_required && ! operation->iv_set )
1103 return( PSA_ERROR_BAD_STATE );
1104 operation->has_input = 1;
1105
1106 switch( operation->alg )
1107 {
1108#if defined(MBEDTLS_CMAC_C)
1109 case PSA_ALG_CMAC:
1110 ret = mbedtls_cipher_cmac_update( &operation->ctx.cmac,
1111 input, input_length );
1112 break;
1113#endif /* MBEDTLS_CMAC_C */
1114 default:
1115#if defined(MBEDTLS_MD_C)
1116 if( PSA_ALG_IS_HMAC( operation->alg ) )
1117 {
1118 ret = mbedtls_md_hmac_update( &operation->ctx.hmac,
1119 input, input_length );
1120 }
1121 else
1122#endif /* MBEDTLS_MD_C */
1123 {
1124 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1125 }
1126 break;
1127 }
1128 if( ret != 0 )
1129 psa_mac_abort( operation );
1130 return( mbedtls_to_psa_error( ret ) );
1131}
1132
mohammad16036df908f2018-04-02 08:34:15 -07001133static psa_status_t psa_mac_finish_internal( psa_mac_operation_t *operation,
Gilles Peskine8c9def32018-02-08 10:02:12 +01001134 uint8_t *mac,
1135 size_t mac_size,
1136 size_t *mac_length )
1137{
1138 int ret;
1139 if( ! operation->key_set )
1140 return( PSA_ERROR_BAD_STATE );
1141 if( operation->iv_required && ! operation->iv_set )
1142 return( PSA_ERROR_BAD_STATE );
1143
1144 /* Fill the output buffer with something that isn't a valid mac
1145 * (barring an attack on the mac and deliberately-crafted input),
1146 * in case the caller doesn't check the return status properly. */
1147 *mac_length = operation->mac_size;
1148 memset( mac, '!', mac_size );
1149
1150 if( mac_size < operation->mac_size )
1151 return( PSA_ERROR_BUFFER_TOO_SMALL );
1152
1153 switch( operation->alg )
1154 {
1155#if defined(MBEDTLS_CMAC_C)
1156 case PSA_ALG_CMAC:
1157 ret = mbedtls_cipher_cmac_finish( &operation->ctx.cmac, mac );
1158 break;
1159#endif /* MBEDTLS_CMAC_C */
1160 default:
1161#if defined(MBEDTLS_MD_C)
1162 if( PSA_ALG_IS_HMAC( operation->alg ) )
1163 {
1164 ret = mbedtls_md_hmac_finish( &operation->ctx.hmac, mac );
1165 }
1166 else
1167#endif /* MBEDTLS_MD_C */
1168 {
1169 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1170 }
1171 break;
1172 }
1173
1174 if( ret == 0 )
1175 {
1176 return( psa_mac_abort( operation ) );
1177 }
1178 else
1179 {
1180 psa_mac_abort( operation );
1181 return( mbedtls_to_psa_error( ret ) );
1182 }
1183}
1184
mohammad16036df908f2018-04-02 08:34:15 -07001185psa_status_t psa_mac_finish( psa_mac_operation_t *operation,
1186 uint8_t *mac,
1187 size_t mac_size,
1188 size_t *mac_length )
1189{
1190 if( !( operation->key_usage_sign ) )
1191 return( PSA_ERROR_NOT_PERMITTED );
1192
1193 return( psa_mac_finish_internal(operation, mac, mac_size, mac_length ) );
1194}
1195
Gilles Peskine8c9def32018-02-08 10:02:12 +01001196#define MBEDTLS_PSA_MAC_MAX_SIZE \
1197 ( MBEDTLS_MD_MAX_SIZE > MBEDTLS_MAX_BLOCK_LENGTH ? \
1198 MBEDTLS_MD_MAX_SIZE : \
1199 MBEDTLS_MAX_BLOCK_LENGTH )
1200psa_status_t psa_mac_verify( psa_mac_operation_t *operation,
1201 const uint8_t *mac,
1202 size_t mac_length )
1203{
1204 uint8_t actual_mac[MBEDTLS_PSA_MAC_MAX_SIZE];
1205 size_t actual_mac_length;
mohammad16036df908f2018-04-02 08:34:15 -07001206 psa_status_t status;
1207
1208 if( !( operation->key_usage_verify ) )
1209 return( PSA_ERROR_NOT_PERMITTED );
1210
1211 status = psa_mac_finish_internal( operation,
1212 actual_mac, sizeof( actual_mac ),
1213 &actual_mac_length );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001214 if( status != PSA_SUCCESS )
1215 return( status );
1216 if( actual_mac_length != mac_length )
1217 return( PSA_ERROR_INVALID_SIGNATURE );
1218 if( safer_memcmp( mac, actual_mac, actual_mac_length ) != 0 )
1219 return( PSA_ERROR_INVALID_SIGNATURE );
1220 return( PSA_SUCCESS );
1221}
1222
1223
Gilles Peskine20035e32018-02-03 22:44:14 +01001224
1225
1226/****************************************************************/
1227/* Asymmetric cryptography */
1228/****************************************************************/
1229
1230psa_status_t psa_asymmetric_sign(psa_key_slot_t key,
1231 psa_algorithm_t alg,
1232 const uint8_t *hash,
1233 size_t hash_length,
1234 const uint8_t *salt,
1235 size_t salt_length,
1236 uint8_t *signature,
1237 size_t signature_size,
1238 size_t *signature_length)
1239{
1240 key_slot_t *slot;
1241
Gilles Peskine93aa0332018-02-03 23:58:03 +01001242 *signature_length = 0;
1243 (void) salt;
1244 (void) salt_length;
1245
Gilles Peskine20035e32018-02-03 22:44:14 +01001246 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1247 return( PSA_ERROR_EMPTY_SLOT );
1248 slot = &global_data.key_slots[key];
1249 if( slot->type == PSA_KEY_TYPE_NONE )
1250 return( PSA_ERROR_EMPTY_SLOT );
1251 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
1252 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad160306e79202018-03-28 13:17:44 +03001253 if( !( slot->policy.usage & PSA_KEY_USAGE_SIGN ) )
1254 return( PSA_ERROR_NOT_PERMITTED );
Gilles Peskine20035e32018-02-03 22:44:14 +01001255
Gilles Peskine20035e32018-02-03 22:44:14 +01001256#if defined(MBEDTLS_RSA_C)
1257 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
1258 {
1259 mbedtls_rsa_context *rsa = slot->data.rsa;
1260 int ret;
1261 psa_algorithm_t hash_alg = PSA_ALG_RSA_GET_HASH( alg );
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001262 const mbedtls_md_info_t *md_info = mbedtls_md_info_from_psa( hash_alg );
Gilles Peskine20035e32018-02-03 22:44:14 +01001263 mbedtls_md_type_t md_alg =
1264 hash_alg == 0 ? MBEDTLS_MD_NONE : mbedtls_md_get_type( md_info );
1265 if( md_alg == MBEDTLS_MD_NONE )
1266 {
1267#if SIZE_MAX > UINT_MAX
1268 if( hash_length > UINT_MAX )
1269 return( PSA_ERROR_INVALID_ARGUMENT );
1270#endif
1271 }
1272 else
1273 {
1274 if( mbedtls_md_get_size( md_info ) != hash_length )
1275 return( PSA_ERROR_INVALID_ARGUMENT );
1276 if( md_info == NULL )
1277 return( PSA_ERROR_NOT_SUPPORTED );
1278 }
1279 if( signature_size < rsa->len )
1280 return( PSA_ERROR_BUFFER_TOO_SMALL );
1281#if defined(MBEDTLS_PKCS1_V15)
Gilles Peskinea5926232018-03-28 14:16:50 +02001282 if( PSA_ALG_IS_RSA_PKCS1V15_SIGN( alg ) )
Gilles Peskine20035e32018-02-03 22:44:14 +01001283 {
1284 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V15,
1285 MBEDTLS_MD_NONE );
1286 ret = mbedtls_rsa_pkcs1_sign( rsa,
1287 mbedtls_ctr_drbg_random,
1288 &global_data.ctr_drbg,
1289 MBEDTLS_RSA_PRIVATE,
1290 md_alg, hash_length, hash,
1291 signature );
1292 }
1293 else
1294#endif /* MBEDTLS_PKCS1_V15 */
1295#if defined(MBEDTLS_PKCS1_V21)
1296 if( alg == PSA_ALG_RSA_PSS_MGF1 )
1297 {
1298 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V21, md_alg );
1299 ret = mbedtls_rsa_rsassa_pss_sign( rsa,
1300 mbedtls_ctr_drbg_random,
1301 &global_data.ctr_drbg,
1302 MBEDTLS_RSA_PRIVATE,
1303 md_alg, hash_length, hash,
1304 signature );
1305 }
1306 else
1307#endif /* MBEDTLS_PKCS1_V21 */
1308 {
1309 return( PSA_ERROR_INVALID_ARGUMENT );
1310 }
Gilles Peskine93aa0332018-02-03 23:58:03 +01001311 if( ret == 0 )
1312 *signature_length = rsa->len;
Gilles Peskine20035e32018-02-03 22:44:14 +01001313 return( mbedtls_to_psa_error( ret ) );
1314 }
1315 else
1316#endif /* defined(MBEDTLS_RSA_C) */
1317#if defined(MBEDTLS_ECP_C)
1318 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
1319 {
itayzafrir5c753392018-05-08 11:18:38 +03001320 mbedtls_ecp_keypair *ecdsa = slot->data.ecp;
1321 int ret;
1322 const mbedtls_md_info_t *md_info;
1323 mbedtls_md_type_t md_alg;
1324 if( signature_size < PSA_ECDSA_SIGNATURE_SIZE( ecdsa->grp.pbits ) )
1325 return( PSA_ERROR_BUFFER_TOO_SMALL );
1326 md_info = mbedtls_md_info_from_psa( alg );
1327 md_alg = mbedtls_md_get_type( md_info );
1328 ret = mbedtls_ecdsa_write_signature( ecdsa, md_alg, hash, hash_length,
1329 signature, signature_length, mbedtls_ctr_drbg_random,
1330 &global_data.ctr_drbg );
1331 return( mbedtls_to_psa_error( ret ) );
1332 }
1333 else
1334#endif /* defined(MBEDTLS_ECP_C) */
1335 {
Gilles Peskine20035e32018-02-03 22:44:14 +01001336 return( PSA_ERROR_NOT_SUPPORTED );
1337 }
itayzafrir5c753392018-05-08 11:18:38 +03001338}
1339
1340psa_status_t psa_asymmetric_verify( psa_key_slot_t key,
1341 psa_algorithm_t alg,
1342 const uint8_t *hash,
1343 size_t hash_length,
1344 const uint8_t *salt,
1345 size_t salt_length,
1346 uint8_t *signature,
1347 size_t signature_size )
1348{
1349 key_slot_t *slot;
1350 (void) salt;
1351 (void) salt_length;
1352
1353 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1354 return( PSA_ERROR_INVALID_ARGUMENT );
1355 slot = &global_data.key_slots[key];
1356 if( slot->type == PSA_KEY_TYPE_NONE )
1357 return( PSA_ERROR_EMPTY_SLOT );
1358 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
1359 return( PSA_ERROR_INVALID_ARGUMENT );
1360 if( !( slot->policy.usage & PSA_KEY_USAGE_VERIFY ) )
1361 return( PSA_ERROR_NOT_PERMITTED );
1362
1363#if defined(MBEDTLS_ECP_C)
1364 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
1365 {
1366 mbedtls_ecp_keypair *ecdsa = slot->data.ecp;
1367 int ret;
1368 (void) alg;
1369 ret = mbedtls_ecdsa_read_signature( ecdsa, hash, hash_length, signature,
1370 signature_size );
1371 return( mbedtls_to_psa_error( ret ) );
1372 }
Gilles Peskine20035e32018-02-03 22:44:14 +01001373 else
1374#endif /* defined(MBEDTLS_ECP_C) */
1375 {
1376 return( PSA_ERROR_NOT_SUPPORTED );
1377 }
1378}
1379
1380
Gilles Peskinea0655c32018-04-30 17:06:50 +02001381
mohammad16038cc1cee2018-03-28 01:21:33 +03001382/****************************************************************/
1383/* Key Policy */
1384/****************************************************************/
1385
1386void psa_key_policy_init(psa_key_policy_t *policy)
1387{
mohammad16036df908f2018-04-02 08:34:15 -07001388 memset( policy, 0, sizeof( psa_key_policy_t ) );
mohammad16038cc1cee2018-03-28 01:21:33 +03001389}
1390
1391void psa_key_policy_set_usage(psa_key_policy_t *policy,
1392 psa_key_usage_t usage,
1393 psa_algorithm_t alg)
1394{
mohammad16034eed7572018-03-28 05:14:59 -07001395 policy->usage = usage;
1396 policy->alg = alg;
mohammad16038cc1cee2018-03-28 01:21:33 +03001397}
1398
1399psa_key_usage_t psa_key_policy_get_usage(psa_key_policy_t *policy)
1400{
mohammad16036df908f2018-04-02 08:34:15 -07001401 return( policy->usage );
mohammad16038cc1cee2018-03-28 01:21:33 +03001402}
1403
1404psa_algorithm_t psa_key_policy_get_algorithm(psa_key_policy_t *policy)
1405{
mohammad16036df908f2018-04-02 08:34:15 -07001406 return( policy->alg );
mohammad16038cc1cee2018-03-28 01:21:33 +03001407}
1408
1409psa_status_t psa_set_key_policy(psa_key_slot_t key,
1410 const psa_key_policy_t *policy)
1411{
1412 key_slot_t *slot;
mohammad16038cc1cee2018-03-28 01:21:33 +03001413
1414 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT || policy == NULL )
1415 return( PSA_ERROR_INVALID_ARGUMENT );
1416
1417 slot = &global_data.key_slots[key];
1418 if( slot->type != PSA_KEY_TYPE_NONE )
1419 return( PSA_ERROR_OCCUPIED_SLOT );
1420
mohammad16036df908f2018-04-02 08:34:15 -07001421 if( ( policy->usage & ~( PSA_KEY_USAGE_EXPORT | PSA_KEY_USAGE_ENCRYPT
1422 | PSA_KEY_USAGE_DECRYPT | PSA_KEY_USAGE_SIGN
1423 | PSA_KEY_USAGE_VERIFY ) ) != 0 )
mohammad16035feda722018-04-16 04:38:57 -07001424 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16038cc1cee2018-03-28 01:21:33 +03001425
mohammad16036df908f2018-04-02 08:34:15 -07001426 slot->policy = *policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03001427
1428 return( PSA_SUCCESS );
1429}
1430
1431psa_status_t psa_get_key_policy(psa_key_slot_t key,
1432 psa_key_policy_t *policy)
1433{
1434 key_slot_t *slot;
1435
1436 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT || policy == NULL )
1437 return( PSA_ERROR_INVALID_ARGUMENT );
1438
1439 slot = &global_data.key_slots[key];
mohammad16038cc1cee2018-03-28 01:21:33 +03001440
mohammad16036df908f2018-04-02 08:34:15 -07001441 *policy = slot->policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03001442
1443 return( PSA_SUCCESS );
1444}
Gilles Peskine20035e32018-02-03 22:44:14 +01001445
Gilles Peskinea0655c32018-04-30 17:06:50 +02001446
1447
mohammad1603804cd712018-03-20 22:44:08 +02001448/****************************************************************/
1449/* Key Lifetime */
1450/****************************************************************/
1451
1452psa_status_t psa_get_key_lifetime(psa_key_slot_t key,
1453 psa_key_lifetime_t *lifetime)
1454{
1455 key_slot_t *slot;
1456
1457 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1458 return( PSA_ERROR_INVALID_ARGUMENT );
1459
1460 slot = &global_data.key_slots[key];
mohammad1603804cd712018-03-20 22:44:08 +02001461
1462 *lifetime = slot->lifetime;
1463
1464 return( PSA_SUCCESS );
1465}
1466
1467psa_status_t psa_set_key_lifetime(psa_key_slot_t key,
1468 const psa_key_lifetime_t lifetime)
1469{
1470 key_slot_t *slot;
1471
1472 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1473 return( PSA_ERROR_INVALID_ARGUMENT );
1474
mohammad1603ba178512018-03-21 04:35:20 -07001475 if( lifetime != PSA_KEY_LIFETIME_VOLATILE &&
1476 lifetime != PSA_KEY_LIFETIME_PERSISTENT &&
1477 lifetime != PSA_KEY_LIFETIME_WRITE_ONCE)
1478 return( PSA_ERROR_INVALID_ARGUMENT );
1479
mohammad1603804cd712018-03-20 22:44:08 +02001480 slot = &global_data.key_slots[key];
mohammad16035d7ec202018-03-28 01:29:41 +03001481 if( slot->type != PSA_KEY_TYPE_NONE )
1482 return( PSA_ERROR_OCCUPIED_SLOT );
mohammad1603804cd712018-03-20 22:44:08 +02001483
Moran Pekerd7326592018-05-29 16:56:39 +03001484 if( lifetime != PSA_KEY_LIFETIME_VOLATILE )
mohammad1603ba178512018-03-21 04:35:20 -07001485 return( PSA_ERROR_NOT_SUPPORTED );
mohammad1603804cd712018-03-20 22:44:08 +02001486
mohammad1603060ad8a2018-03-20 14:28:38 -07001487 slot->lifetime = lifetime;
mohammad1603804cd712018-03-20 22:44:08 +02001488
1489 return( PSA_SUCCESS );
1490}
1491
Gilles Peskine20035e32018-02-03 22:44:14 +01001492
Gilles Peskinea0655c32018-04-30 17:06:50 +02001493
Gilles Peskine20035e32018-02-03 22:44:14 +01001494/****************************************************************/
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01001495/* Module setup */
1496/****************************************************************/
1497
Gilles Peskinee59236f2018-01-27 23:32:46 +01001498void mbedtls_psa_crypto_free( void )
1499{
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01001500 size_t key;
1501 for( key = 1; key < MBEDTLS_PSA_KEY_SLOT_COUNT; key++ )
1502 psa_destroy_key( key );
Gilles Peskinee59236f2018-01-27 23:32:46 +01001503 mbedtls_ctr_drbg_free( &global_data.ctr_drbg );
1504 mbedtls_entropy_free( &global_data.entropy );
1505 mbedtls_zeroize( &global_data, sizeof( global_data ) );
1506}
1507
1508psa_status_t psa_crypto_init( void )
1509{
1510 int ret;
1511 const unsigned char drbg_seed[] = "PSA";
1512
1513 if( global_data.initialized != 0 )
1514 return( PSA_SUCCESS );
1515
1516 mbedtls_zeroize( &global_data, sizeof( global_data ) );
1517 mbedtls_entropy_init( &global_data.entropy );
1518 mbedtls_ctr_drbg_init( &global_data.ctr_drbg );
1519
1520 ret = mbedtls_ctr_drbg_seed( &global_data.ctr_drbg,
1521 mbedtls_entropy_func,
1522 &global_data.entropy,
1523 drbg_seed, sizeof( drbg_seed ) - 1 );
1524 if( ret != 0 )
1525 goto exit;
1526
Gilles Peskinee4ebc122018-03-07 14:16:44 +01001527 global_data.initialized = 1;
1528
Gilles Peskinee59236f2018-01-27 23:32:46 +01001529exit:
1530 if( ret != 0 )
1531 mbedtls_psa_crypto_free( );
1532 return( mbedtls_to_psa_error( ret ) );
1533}
1534
1535#endif /* MBEDTLS_PSA_CRYPTO_C */