blob: ddc007bc8a9cabb2f0eaab9f14c39656e476b45c [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
Gilles Peskinee59236f2018-01-27 23:32:46 +0100284 default:
285 return( PSA_ERROR_UNKNOWN_ERROR );
286 }
287}
288
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100289/****************************************************************/
290/* Key management */
291/****************************************************************/
292
293psa_status_t psa_import_key(psa_key_slot_t key,
294 psa_key_type_t type,
295 const uint8_t *data,
296 size_t data_length)
297{
298 key_slot_t *slot;
299
300 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
301 return( PSA_ERROR_INVALID_ARGUMENT );
302 slot = &global_data.key_slots[key];
303 if( slot->type != PSA_KEY_TYPE_NONE )
304 return( PSA_ERROR_OCCUPIED_SLOT );
305
Gilles Peskine8c9def32018-02-08 10:02:12 +0100306 if( PSA_KEY_TYPE_IS_RAW_BYTES( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100307 {
Gilles Peskine6d912132018-03-07 16:41:37 +0100308 /* Ensure that a bytes-to-bit conversion won't overflow. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100309 if( data_length > SIZE_MAX / 8 )
310 return( PSA_ERROR_NOT_SUPPORTED );
311 slot->data.raw.data = mbedtls_calloc( 1, data_length );
312 if( slot->data.raw.data == NULL )
313 return( PSA_ERROR_INSUFFICIENT_MEMORY );
314 memcpy( slot->data.raw.data, data, data_length );
315 slot->data.raw.bytes = data_length;
316 }
317 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100318#if defined(MBEDTLS_PK_PARSE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100319 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
320 type == PSA_KEY_TYPE_RSA_KEYPAIR ||
321 PSA_KEY_TYPE_IS_ECC( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100322 {
323 int ret;
Gilles Peskine969ac722018-01-28 18:16:59 +0100324 mbedtls_pk_context pk;
325 mbedtls_pk_init( &pk );
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100326 if( PSA_KEY_TYPE_IS_KEYPAIR( type ) )
327 ret = mbedtls_pk_parse_key( &pk, data, data_length, NULL, 0 );
328 else
329 ret = mbedtls_pk_parse_public_key( &pk, data, data_length );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100330 if( ret != 0 )
331 return( mbedtls_to_psa_error( ret ) );
Gilles Peskine969ac722018-01-28 18:16:59 +0100332 switch( mbedtls_pk_get_type( &pk ) )
333 {
334#if defined(MBEDTLS_RSA_C)
335 case MBEDTLS_PK_RSA:
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100336 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
337 type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine969ac722018-01-28 18:16:59 +0100338 slot->data.rsa = pk.pk_ctx;
339 else
340 return( PSA_ERROR_INVALID_ARGUMENT );
341 break;
342#endif /* MBEDTLS_RSA_C */
343#if defined(MBEDTLS_ECP_C)
344 case MBEDTLS_PK_ECKEY:
345 if( PSA_KEY_TYPE_IS_ECC( type ) )
346 {
347 // TODO: check curve
348 slot->data.ecp = pk.pk_ctx;
349 }
350 else
351 return( PSA_ERROR_INVALID_ARGUMENT );
352 break;
353#endif /* MBEDTLS_ECP_C */
354 default:
355 return( PSA_ERROR_INVALID_ARGUMENT );
356 }
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100357 }
358 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100359#endif /* defined(MBEDTLS_PK_PARSE_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100360 {
361 return( PSA_ERROR_NOT_SUPPORTED );
362 }
363
364 slot->type = type;
365 return( PSA_SUCCESS );
366}
367
368psa_status_t psa_destroy_key(psa_key_slot_t key)
369{
370 key_slot_t *slot;
371
372 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
373 return( PSA_ERROR_INVALID_ARGUMENT );
374 slot = &global_data.key_slots[key];
375 if( slot->type == PSA_KEY_TYPE_NONE )
376 return( PSA_ERROR_EMPTY_SLOT );
377
Gilles Peskine8c9def32018-02-08 10:02:12 +0100378 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100379 {
380 mbedtls_free( slot->data.raw.data );
381 }
382 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100383#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100384 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
385 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100386 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100387 mbedtls_rsa_free( slot->data.rsa );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100388 mbedtls_free( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100389 }
390 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100391#endif /* defined(MBEDTLS_RSA_C) */
392#if defined(MBEDTLS_ECP_C)
393 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
394 {
395 mbedtls_ecp_keypair_free( slot->data.ecp );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100396 mbedtls_free( slot->data.ecp );
Gilles Peskine969ac722018-01-28 18:16:59 +0100397 }
398 else
399#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100400 {
401 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100402 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100403 return( PSA_ERROR_TAMPERING_DETECTED );
404 }
405
406 mbedtls_zeroize( slot, sizeof( *slot ) );
407 return( PSA_SUCCESS );
408}
409
410psa_status_t psa_get_key_information(psa_key_slot_t key,
411 psa_key_type_t *type,
412 size_t *bits)
413{
414 key_slot_t *slot;
415
416 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100417 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100418 slot = &global_data.key_slots[key];
419 if( type != NULL )
420 *type = slot->type;
421 if( bits != NULL )
422 *bits = 0;
423 if( slot->type == PSA_KEY_TYPE_NONE )
424 return( PSA_ERROR_EMPTY_SLOT );
425
Gilles Peskine8c9def32018-02-08 10:02:12 +0100426 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100427 {
428 if( bits != NULL )
429 *bits = slot->data.raw.bytes * 8;
430 }
431 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100432#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100433 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
434 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100435 {
436 if( bits != NULL )
Gilles Peskine969ac722018-01-28 18:16:59 +0100437 *bits = mbedtls_rsa_get_bitlen( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100438 }
439 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100440#endif /* defined(MBEDTLS_RSA_C) */
441#if defined(MBEDTLS_ECP_C)
442 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
443 {
444 if( bits != NULL )
445 *bits = slot->data.ecp->grp.pbits;
446 }
447 else
448#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100449 {
450 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100451 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100452 return( PSA_ERROR_TAMPERING_DETECTED );
453 }
454
455 return( PSA_SUCCESS );
456}
457
458psa_status_t psa_export_key(psa_key_slot_t key,
459 uint8_t *data,
460 size_t data_size,
461 size_t *data_length)
462{
463 key_slot_t *slot;
464
465 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100466 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100467 slot = &global_data.key_slots[key];
468 if( slot->type == PSA_KEY_TYPE_NONE )
469 return( PSA_ERROR_EMPTY_SLOT );
470
mohammad160306e79202018-03-28 13:17:44 +0300471 if( !( slot->policy.usage & PSA_KEY_USAGE_EXPORT ) )
472 return( PSA_ERROR_NOT_PERMITTED );
473
Gilles Peskine8c9def32018-02-08 10:02:12 +0100474 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100475 {
476 if( slot->data.raw.bytes > data_size )
477 return( PSA_ERROR_BUFFER_TOO_SMALL );
478 memcpy( data, slot->data.raw.data, slot->data.raw.bytes );
479 *data_length = slot->data.raw.bytes;
480 return( PSA_SUCCESS );
481 }
482 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100483#if defined(MBEDTLS_PK_WRITE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100484 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
485 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR ||
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100486 PSA_KEY_TYPE_IS_ECC( slot->type ) )
487 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100488 mbedtls_pk_context pk;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100489 int ret;
Gilles Peskine969ac722018-01-28 18:16:59 +0100490 mbedtls_pk_init( &pk );
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100491 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
492 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine969ac722018-01-28 18:16:59 +0100493 {
494 pk.pk_info = &mbedtls_rsa_info;
495 pk.pk_ctx = slot->data.rsa;
496 }
497 else
498 {
499 pk.pk_info = &mbedtls_eckey_info;
500 pk.pk_ctx = slot->data.ecp;
501 }
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100502 if( PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
503 ret = mbedtls_pk_write_key_der( &pk, data, data_size );
504 else
505 ret = mbedtls_pk_write_pubkey_der( &pk, data, data_size );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100506 if( ret < 0 )
507 return( mbedtls_to_psa_error( ret ) );
508 *data_length = ret;
509 return( PSA_SUCCESS );
510 }
511 else
Gilles Peskine6d912132018-03-07 16:41:37 +0100512#endif /* defined(MBEDTLS_PK_WRITE_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100513 {
Gilles Peskine6d912132018-03-07 16:41:37 +0100514 /* This shouldn't happen in the reference implementation, but
515 it is valid for a special-purpose implementation to omit
516 support for exporting certain key types. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100517 return( PSA_ERROR_NOT_SUPPORTED );
518 }
519}
520
521
522
523/****************************************************************/
Gilles Peskine20035e32018-02-03 22:44:14 +0100524/* Message digests */
525/****************************************************************/
526
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100527static const mbedtls_md_info_t *mbedtls_md_info_from_psa( psa_algorithm_t alg )
Gilles Peskine20035e32018-02-03 22:44:14 +0100528{
529 switch( alg )
530 {
531#if defined(MBEDTLS_MD2_C)
532 case PSA_ALG_MD2:
533 return( &mbedtls_md2_info );
534#endif
535#if defined(MBEDTLS_MD4_C)
536 case PSA_ALG_MD4:
537 return( &mbedtls_md4_info );
538#endif
539#if defined(MBEDTLS_MD5_C)
540 case PSA_ALG_MD5:
541 return( &mbedtls_md5_info );
542#endif
543#if defined(MBEDTLS_RIPEMD160_C)
544 case PSA_ALG_RIPEMD160:
545 return( &mbedtls_ripemd160_info );
546#endif
547#if defined(MBEDTLS_SHA1_C)
548 case PSA_ALG_SHA_1:
549 return( &mbedtls_sha1_info );
550#endif
551#if defined(MBEDTLS_SHA256_C)
552 case PSA_ALG_SHA_224:
553 return( &mbedtls_sha224_info );
554 case PSA_ALG_SHA_256:
555 return( &mbedtls_sha256_info );
556#endif
557#if defined(MBEDTLS_SHA512_C)
558 case PSA_ALG_SHA_384:
559 return( &mbedtls_sha384_info );
560 case PSA_ALG_SHA_512:
561 return( &mbedtls_sha512_info );
562#endif
563 default:
564 return( NULL );
565 }
566}
567
568#if 0
569static psa_algorithm_t mbedtls_md_alg_to_psa( mbedtls_md_type_t md_alg )
570{
571 switch( md_alg )
572 {
573 case MBEDTLS_MD_NONE:
574 return( 0 );
575 case MBEDTLS_MD_MD2:
576 return( PSA_ALG_MD2 );
577 case MBEDTLS_MD_MD4:
578 return( PSA_ALG_MD4 );
579 case MBEDTLS_MD_MD5:
580 return( PSA_ALG_MD5 );
581 case MBEDTLS_MD_SHA1:
582 return( PSA_ALG_SHA_1 );
583 case MBEDTLS_MD_SHA224:
584 return( PSA_ALG_SHA_224 );
585 case MBEDTLS_MD_SHA256:
586 return( PSA_ALG_SHA_256 );
587 case MBEDTLS_MD_SHA384:
588 return( PSA_ALG_SHA_384 );
589 case MBEDTLS_MD_SHA512:
590 return( PSA_ALG_SHA_512 );
591 case MBEDTLS_MD_RIPEMD160:
592 return( PSA_ALG_RIPEMD160 );
593 default:
Gilles Peskine47c1bc02018-03-20 17:55:04 +0100594 return( 0 );
Gilles Peskine20035e32018-02-03 22:44:14 +0100595 }
596}
597#endif
598
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100599psa_status_t psa_hash_abort( psa_hash_operation_t *operation )
600{
601 switch( operation->alg )
602 {
603#if defined(MBEDTLS_MD2_C)
604 case PSA_ALG_MD2:
605 mbedtls_md2_free( &operation->ctx.md2 );
606 break;
607#endif
608#if defined(MBEDTLS_MD4_C)
609 case PSA_ALG_MD4:
610 mbedtls_md4_free( &operation->ctx.md4 );
611 break;
612#endif
613#if defined(MBEDTLS_MD5_C)
614 case PSA_ALG_MD5:
615 mbedtls_md5_free( &operation->ctx.md5 );
616 break;
617#endif
618#if defined(MBEDTLS_RIPEMD160_C)
619 case PSA_ALG_RIPEMD160:
620 mbedtls_ripemd160_free( &operation->ctx.ripemd160 );
621 break;
622#endif
623#if defined(MBEDTLS_SHA1_C)
624 case PSA_ALG_SHA_1:
625 mbedtls_sha1_free( &operation->ctx.sha1 );
626 break;
627#endif
628#if defined(MBEDTLS_SHA256_C)
629 case PSA_ALG_SHA_224:
630 case PSA_ALG_SHA_256:
631 mbedtls_sha256_free( &operation->ctx.sha256 );
632 break;
633#endif
634#if defined(MBEDTLS_SHA512_C)
635 case PSA_ALG_SHA_384:
636 case PSA_ALG_SHA_512:
637 mbedtls_sha512_free( &operation->ctx.sha512 );
638 break;
639#endif
640 default:
641 return( PSA_ERROR_NOT_SUPPORTED );
642 }
643 operation->alg = 0;
644 return( PSA_SUCCESS );
645}
646
647psa_status_t psa_hash_start( psa_hash_operation_t *operation,
648 psa_algorithm_t alg )
649{
650 int ret;
651 operation->alg = 0;
652 switch( alg )
653 {
654#if defined(MBEDTLS_MD2_C)
655 case PSA_ALG_MD2:
656 mbedtls_md2_init( &operation->ctx.md2 );
657 ret = mbedtls_md2_starts_ret( &operation->ctx.md2 );
658 break;
659#endif
660#if defined(MBEDTLS_MD4_C)
661 case PSA_ALG_MD4:
662 mbedtls_md4_init( &operation->ctx.md4 );
663 ret = mbedtls_md4_starts_ret( &operation->ctx.md4 );
664 break;
665#endif
666#if defined(MBEDTLS_MD5_C)
667 case PSA_ALG_MD5:
668 mbedtls_md5_init( &operation->ctx.md5 );
669 ret = mbedtls_md5_starts_ret( &operation->ctx.md5 );
670 break;
671#endif
672#if defined(MBEDTLS_RIPEMD160_C)
673 case PSA_ALG_RIPEMD160:
674 mbedtls_ripemd160_init( &operation->ctx.ripemd160 );
675 ret = mbedtls_ripemd160_starts_ret( &operation->ctx.ripemd160 );
676 break;
677#endif
678#if defined(MBEDTLS_SHA1_C)
679 case PSA_ALG_SHA_1:
680 mbedtls_sha1_init( &operation->ctx.sha1 );
681 ret = mbedtls_sha1_starts_ret( &operation->ctx.sha1 );
682 break;
683#endif
684#if defined(MBEDTLS_SHA256_C)
685 case PSA_ALG_SHA_224:
686 mbedtls_sha256_init( &operation->ctx.sha256 );
687 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 1 );
688 break;
689 case PSA_ALG_SHA_256:
690 mbedtls_sha256_init( &operation->ctx.sha256 );
691 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 0 );
692 break;
693#endif
694#if defined(MBEDTLS_SHA512_C)
695 case PSA_ALG_SHA_384:
696 mbedtls_sha512_init( &operation->ctx.sha512 );
697 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 1 );
698 break;
699 case PSA_ALG_SHA_512:
700 mbedtls_sha512_init( &operation->ctx.sha512 );
701 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 0 );
702 break;
703#endif
704 default:
705 return( PSA_ERROR_NOT_SUPPORTED );
706 }
707 if( ret == 0 )
708 operation->alg = alg;
709 else
710 psa_hash_abort( operation );
711 return( mbedtls_to_psa_error( ret ) );
712}
713
714psa_status_t psa_hash_update( psa_hash_operation_t *operation,
715 const uint8_t *input,
716 size_t input_length )
717{
718 int ret;
719 switch( operation->alg )
720 {
721#if defined(MBEDTLS_MD2_C)
722 case PSA_ALG_MD2:
723 ret = mbedtls_md2_update_ret( &operation->ctx.md2,
724 input, input_length );
725 break;
726#endif
727#if defined(MBEDTLS_MD4_C)
728 case PSA_ALG_MD4:
729 ret = mbedtls_md4_update_ret( &operation->ctx.md4,
730 input, input_length );
731 break;
732#endif
733#if defined(MBEDTLS_MD5_C)
734 case PSA_ALG_MD5:
735 ret = mbedtls_md5_update_ret( &operation->ctx.md5,
736 input, input_length );
737 break;
738#endif
739#if defined(MBEDTLS_RIPEMD160_C)
740 case PSA_ALG_RIPEMD160:
741 ret = mbedtls_ripemd160_update_ret( &operation->ctx.ripemd160,
742 input, input_length );
743 break;
744#endif
745#if defined(MBEDTLS_SHA1_C)
746 case PSA_ALG_SHA_1:
747 ret = mbedtls_sha1_update_ret( &operation->ctx.sha1,
748 input, input_length );
749 break;
750#endif
751#if defined(MBEDTLS_SHA256_C)
752 case PSA_ALG_SHA_224:
753 case PSA_ALG_SHA_256:
754 ret = mbedtls_sha256_update_ret( &operation->ctx.sha256,
755 input, input_length );
756 break;
757#endif
758#if defined(MBEDTLS_SHA512_C)
759 case PSA_ALG_SHA_384:
760 case PSA_ALG_SHA_512:
761 ret = mbedtls_sha512_update_ret( &operation->ctx.sha512,
762 input, input_length );
763 break;
764#endif
765 default:
766 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
767 break;
768 }
769 if( ret != 0 )
770 psa_hash_abort( operation );
771 return( mbedtls_to_psa_error( ret ) );
772}
773
774psa_status_t psa_hash_finish( psa_hash_operation_t *operation,
775 uint8_t *hash,
776 size_t hash_size,
777 size_t *hash_length )
778{
779 int ret;
780 size_t actual_hash_length = PSA_HASH_FINAL_SIZE( operation->alg );
781
782 /* Fill the output buffer with something that isn't a valid hash
783 * (barring an attack on the hash and deliberately-crafted input),
784 * in case the caller doesn't check the return status properly. */
785 *hash_length = actual_hash_length;
786 memset( hash, '!', hash_size );
787
788 if( hash_size < actual_hash_length )
789 return( PSA_ERROR_BUFFER_TOO_SMALL );
790
791 switch( operation->alg )
792 {
793#if defined(MBEDTLS_MD2_C)
794 case PSA_ALG_MD2:
795 ret = mbedtls_md2_finish_ret( &operation->ctx.md2, hash );
796 break;
797#endif
798#if defined(MBEDTLS_MD4_C)
799 case PSA_ALG_MD4:
800 ret = mbedtls_md4_finish_ret( &operation->ctx.md4, hash );
801 break;
802#endif
803#if defined(MBEDTLS_MD5_C)
804 case PSA_ALG_MD5:
805 ret = mbedtls_md5_finish_ret( &operation->ctx.md5, hash );
806 break;
807#endif
808#if defined(MBEDTLS_RIPEMD160_C)
809 case PSA_ALG_RIPEMD160:
810 ret = mbedtls_ripemd160_finish_ret( &operation->ctx.ripemd160, hash );
811 break;
812#endif
813#if defined(MBEDTLS_SHA1_C)
814 case PSA_ALG_SHA_1:
815 ret = mbedtls_sha1_finish_ret( &operation->ctx.sha1, hash );
816 break;
817#endif
818#if defined(MBEDTLS_SHA256_C)
819 case PSA_ALG_SHA_224:
820 case PSA_ALG_SHA_256:
821 ret = mbedtls_sha256_finish_ret( &operation->ctx.sha256, hash );
822 break;
823#endif
824#if defined(MBEDTLS_SHA512_C)
825 case PSA_ALG_SHA_384:
826 case PSA_ALG_SHA_512:
827 ret = mbedtls_sha512_finish_ret( &operation->ctx.sha512, hash );
828 break;
829#endif
830 default:
831 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
832 break;
833 }
834
835 if( ret == 0 )
836 {
837 return( psa_hash_abort( operation ) );
838 }
839 else
840 {
841 psa_hash_abort( operation );
842 return( mbedtls_to_psa_error( ret ) );
843 }
844}
845
846psa_status_t psa_hash_verify(psa_hash_operation_t *operation,
847 const uint8_t *hash,
848 size_t hash_length)
849{
850 uint8_t actual_hash[MBEDTLS_MD_MAX_SIZE];
851 size_t actual_hash_length;
852 psa_status_t status = psa_hash_finish( operation,
853 actual_hash, sizeof( actual_hash ),
854 &actual_hash_length );
855 if( status != PSA_SUCCESS )
856 return( status );
857 if( actual_hash_length != hash_length )
858 return( PSA_ERROR_INVALID_SIGNATURE );
859 if( safer_memcmp( hash, actual_hash, actual_hash_length ) != 0 )
860 return( PSA_ERROR_INVALID_SIGNATURE );
861 return( PSA_SUCCESS );
862}
863
864
865
866
867/****************************************************************/
Gilles Peskine8c9def32018-02-08 10:02:12 +0100868/* MAC */
869/****************************************************************/
870
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100871static const mbedtls_cipher_info_t *mbedtls_cipher_info_from_psa(
Gilles Peskine8c9def32018-02-08 10:02:12 +0100872 psa_algorithm_t alg,
873 psa_key_type_t key_type,
874 size_t key_bits )
875{
876 mbedtls_cipher_id_t cipher_id;
877 mbedtls_cipher_mode_t mode;
878
879 if( PSA_ALG_IS_CIPHER( alg ) || PSA_ALG_IS_AEAD( alg ) )
880 {
mohammad16038481e742018-03-18 13:57:31 +0200881 if( PSA_ALG_IS_BLOCK_CIPHER( alg ) )
882 {
883 alg &= ~PSA_ALG_BLOCK_CIPHER_PADDING_MASK;
884 }
Gilles Peskine8c9def32018-02-08 10:02:12 +0100885 switch( alg )
886 {
887 case PSA_ALG_STREAM_CIPHER:
888 mode = MBEDTLS_MODE_STREAM;
889 break;
890 case PSA_ALG_CBC_BASE:
891 mode = MBEDTLS_MODE_CBC;
892 break;
893 case PSA_ALG_CFB_BASE:
894 mode = MBEDTLS_MODE_CFB;
895 break;
896 case PSA_ALG_OFB_BASE:
897 mode = MBEDTLS_MODE_OFB;
898 break;
899 case PSA_ALG_CTR:
900 mode = MBEDTLS_MODE_CTR;
901 break;
902 case PSA_ALG_CCM:
903 mode = MBEDTLS_MODE_CCM;
904 break;
905 case PSA_ALG_GCM:
906 mode = MBEDTLS_MODE_GCM;
907 break;
908 default:
909 return( NULL );
910 }
911 }
912 else if( alg == PSA_ALG_CMAC )
913 mode = MBEDTLS_MODE_ECB;
914 else if( alg == PSA_ALG_GMAC )
915 mode = MBEDTLS_MODE_GCM;
916 else
917 return( NULL );
918
919 switch( key_type )
920 {
921 case PSA_KEY_TYPE_AES:
922 cipher_id = MBEDTLS_CIPHER_ID_AES;
923 break;
924 case PSA_KEY_TYPE_DES:
925 if( key_bits == 64 )
926 cipher_id = MBEDTLS_CIPHER_ID_DES;
927 else
928 cipher_id = MBEDTLS_CIPHER_ID_3DES;
929 break;
930 case PSA_KEY_TYPE_CAMELLIA:
931 cipher_id = MBEDTLS_CIPHER_ID_CAMELLIA;
932 break;
933 case PSA_KEY_TYPE_ARC4:
934 cipher_id = MBEDTLS_CIPHER_ID_ARC4;
935 break;
936 default:
937 return( NULL );
938 }
939
940 return( mbedtls_cipher_info_from_values( cipher_id, key_bits, mode ) );
941}
942
943psa_status_t psa_mac_abort( psa_mac_operation_t *operation )
944{
945 switch( operation->alg )
946 {
947#if defined(MBEDTLS_CMAC_C)
948 case PSA_ALG_CMAC:
949 mbedtls_cipher_free( &operation->ctx.cmac );
950 break;
951#endif /* MBEDTLS_CMAC_C */
952 default:
953#if defined(MBEDTLS_MD_C)
954 if( PSA_ALG_IS_HMAC( operation->alg ) )
955 mbedtls_md_free( &operation->ctx.hmac );
956 else
957#endif /* MBEDTLS_MD_C */
958 return( PSA_ERROR_NOT_SUPPORTED );
959 }
Moran Peker41deec42018-04-04 15:43:05 +0300960
961 operation->alg = 0;
Moran Peker4c80d832018-04-22 20:15:31 +0300962 operation->key_set = 0;
963 operation->iv_set = 0;
964 operation->iv_required = 0;
Moran Peker41deec42018-04-04 15:43:05 +0300965 operation->has_input = 0;
966
Gilles Peskine8c9def32018-02-08 10:02:12 +0100967 return( PSA_SUCCESS );
968}
969
970psa_status_t psa_mac_start( psa_mac_operation_t *operation,
971 psa_key_slot_t key,
972 psa_algorithm_t alg )
973{
974 int ret = MBEDTLS_ERR_MD_FEATURE_UNAVAILABLE;
975 psa_status_t status;
976 key_slot_t *slot;
977 psa_key_type_t key_type;
978 size_t key_bits;
979 const mbedtls_cipher_info_t *cipher_info = NULL;
980
Moran Peker41deec42018-04-04 15:43:05 +0300981 operation->alg = 0;
Moran Peker4c80d832018-04-22 20:15:31 +0300982 operation->key_set = 0;
983 operation->iv_set = 0;
984 operation->iv_required = 1;
Moran Peker41deec42018-04-04 15:43:05 +0300985 operation->has_input = 0;
Gilles Peskine8c9def32018-02-08 10:02:12 +0100986
987 status = psa_get_key_information( key, &key_type, &key_bits );
988 if( status != PSA_SUCCESS )
989 return( status );
990 slot = &global_data.key_slots[key];
991
Moran Peker70531162018-05-31 14:04:45 +0300992 if( ( slot->policy.usage & PSA_KEY_USAGE_SIGN ) != 0 )
mohammad16036df908f2018-04-02 08:34:15 -0700993 operation->key_usage_sign = 1;
994
Moran Pekera28258c2018-05-29 16:25:04 +0300995 if( ( slot->policy.usage & PSA_KEY_USAGE_VERIFY ) != 0 )
mohammad16036df908f2018-04-02 08:34:15 -0700996 operation->key_usage_verify = 1;
997
Gilles Peskine8c9def32018-02-08 10:02:12 +0100998 if( ! PSA_ALG_IS_HMAC( alg ) )
999 {
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001000 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type, key_bits );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001001 if( cipher_info == NULL )
1002 return( PSA_ERROR_NOT_SUPPORTED );
1003 operation->mac_size = cipher_info->block_size;
1004 }
1005 switch( alg )
1006 {
1007#if defined(MBEDTLS_CMAC_C)
1008 case PSA_ALG_CMAC:
1009 operation->iv_required = 0;
1010 mbedtls_cipher_init( &operation->ctx.cmac );
1011 ret = mbedtls_cipher_setup( &operation->ctx.cmac, cipher_info );
1012 if( ret != 0 )
1013 break;
1014 ret = mbedtls_cipher_cmac_starts( &operation->ctx.cmac,
1015 slot->data.raw.data,
1016 key_bits );
1017 break;
1018#endif /* MBEDTLS_CMAC_C */
1019 default:
1020#if defined(MBEDTLS_MD_C)
1021 if( PSA_ALG_IS_HMAC( alg ) )
1022 {
1023 const mbedtls_md_info_t *md_info =
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001024 mbedtls_md_info_from_psa( PSA_ALG_HMAC_HASH( alg ) );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001025 if( md_info == NULL )
1026 return( PSA_ERROR_NOT_SUPPORTED );
1027 if( key_type != PSA_KEY_TYPE_HMAC )
1028 return( PSA_ERROR_INVALID_ARGUMENT );
1029 operation->iv_required = 0;
1030 operation->mac_size = mbedtls_md_get_size( md_info );
1031 mbedtls_md_init( &operation->ctx.hmac );
1032 ret = mbedtls_md_setup( &operation->ctx.hmac, md_info, 1 );
1033 if( ret != 0 )
1034 break;
1035 ret = mbedtls_md_hmac_starts( &operation->ctx.hmac,
1036 slot->data.raw.data,
1037 slot->data.raw.bytes );
1038 break;
1039 }
1040 else
1041#endif /* MBEDTLS_MD_C */
1042 return( PSA_ERROR_NOT_SUPPORTED );
1043 }
1044
1045 /* If we reach this point, then the algorithm-specific part of the
1046 * context has at least been initialized, and may contain data that
1047 * needs to be wiped on error. */
1048 operation->alg = alg;
1049 if( ret != 0 )
1050 {
1051 psa_mac_abort( operation );
1052 return( mbedtls_to_psa_error( ret ) );
1053 }
1054 operation->key_set = 1;
Gilles Peskine47c1bc02018-03-20 17:55:04 +01001055 return( PSA_SUCCESS );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001056}
1057
1058psa_status_t psa_mac_update( psa_mac_operation_t *operation,
1059 const uint8_t *input,
1060 size_t input_length )
1061{
1062 int ret;
1063 if( ! operation->key_set )
1064 return( PSA_ERROR_BAD_STATE );
1065 if( operation->iv_required && ! operation->iv_set )
1066 return( PSA_ERROR_BAD_STATE );
1067 operation->has_input = 1;
1068
1069 switch( operation->alg )
1070 {
1071#if defined(MBEDTLS_CMAC_C)
1072 case PSA_ALG_CMAC:
1073 ret = mbedtls_cipher_cmac_update( &operation->ctx.cmac,
1074 input, input_length );
1075 break;
1076#endif /* MBEDTLS_CMAC_C */
1077 default:
1078#if defined(MBEDTLS_MD_C)
1079 if( PSA_ALG_IS_HMAC( operation->alg ) )
1080 {
1081 ret = mbedtls_md_hmac_update( &operation->ctx.hmac,
1082 input, input_length );
1083 }
1084 else
1085#endif /* MBEDTLS_MD_C */
1086 {
1087 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1088 }
1089 break;
1090 }
1091 if( ret != 0 )
1092 psa_mac_abort( operation );
1093 return( mbedtls_to_psa_error( ret ) );
1094}
1095
mohammad16036df908f2018-04-02 08:34:15 -07001096static psa_status_t psa_mac_finish_internal( psa_mac_operation_t *operation,
Gilles Peskine8c9def32018-02-08 10:02:12 +01001097 uint8_t *mac,
1098 size_t mac_size,
1099 size_t *mac_length )
1100{
1101 int ret;
1102 if( ! operation->key_set )
1103 return( PSA_ERROR_BAD_STATE );
1104 if( operation->iv_required && ! operation->iv_set )
1105 return( PSA_ERROR_BAD_STATE );
1106
1107 /* Fill the output buffer with something that isn't a valid mac
1108 * (barring an attack on the mac and deliberately-crafted input),
1109 * in case the caller doesn't check the return status properly. */
1110 *mac_length = operation->mac_size;
1111 memset( mac, '!', mac_size );
1112
1113 if( mac_size < operation->mac_size )
1114 return( PSA_ERROR_BUFFER_TOO_SMALL );
1115
1116 switch( operation->alg )
1117 {
1118#if defined(MBEDTLS_CMAC_C)
1119 case PSA_ALG_CMAC:
1120 ret = mbedtls_cipher_cmac_finish( &operation->ctx.cmac, mac );
1121 break;
1122#endif /* MBEDTLS_CMAC_C */
1123 default:
1124#if defined(MBEDTLS_MD_C)
1125 if( PSA_ALG_IS_HMAC( operation->alg ) )
1126 {
1127 ret = mbedtls_md_hmac_finish( &operation->ctx.hmac, mac );
1128 }
1129 else
1130#endif /* MBEDTLS_MD_C */
1131 {
1132 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1133 }
1134 break;
1135 }
1136
1137 if( ret == 0 )
1138 {
1139 return( psa_mac_abort( operation ) );
1140 }
1141 else
1142 {
1143 psa_mac_abort( operation );
1144 return( mbedtls_to_psa_error( ret ) );
1145 }
1146}
1147
mohammad16036df908f2018-04-02 08:34:15 -07001148psa_status_t psa_mac_finish( psa_mac_operation_t *operation,
1149 uint8_t *mac,
1150 size_t mac_size,
1151 size_t *mac_length )
1152{
1153 if( !( operation->key_usage_sign ) )
1154 return( PSA_ERROR_NOT_PERMITTED );
1155
1156 return( psa_mac_finish_internal(operation, mac, mac_size, mac_length ) );
1157}
1158
Gilles Peskine8c9def32018-02-08 10:02:12 +01001159#define MBEDTLS_PSA_MAC_MAX_SIZE \
1160 ( MBEDTLS_MD_MAX_SIZE > MBEDTLS_MAX_BLOCK_LENGTH ? \
1161 MBEDTLS_MD_MAX_SIZE : \
1162 MBEDTLS_MAX_BLOCK_LENGTH )
1163psa_status_t psa_mac_verify( psa_mac_operation_t *operation,
1164 const uint8_t *mac,
1165 size_t mac_length )
1166{
1167 uint8_t actual_mac[MBEDTLS_PSA_MAC_MAX_SIZE];
1168 size_t actual_mac_length;
mohammad16036df908f2018-04-02 08:34:15 -07001169 psa_status_t status;
1170
1171 if( !( operation->key_usage_verify ) )
1172 return( PSA_ERROR_NOT_PERMITTED );
1173
1174 status = psa_mac_finish_internal( operation,
1175 actual_mac, sizeof( actual_mac ),
1176 &actual_mac_length );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001177 if( status != PSA_SUCCESS )
1178 return( status );
1179 if( actual_mac_length != mac_length )
1180 return( PSA_ERROR_INVALID_SIGNATURE );
1181 if( safer_memcmp( mac, actual_mac, actual_mac_length ) != 0 )
1182 return( PSA_ERROR_INVALID_SIGNATURE );
1183 return( PSA_SUCCESS );
1184}
1185
1186
Gilles Peskine20035e32018-02-03 22:44:14 +01001187
1188
1189/****************************************************************/
1190/* Asymmetric cryptography */
1191/****************************************************************/
1192
1193psa_status_t psa_asymmetric_sign(psa_key_slot_t key,
1194 psa_algorithm_t alg,
1195 const uint8_t *hash,
1196 size_t hash_length,
1197 const uint8_t *salt,
1198 size_t salt_length,
1199 uint8_t *signature,
1200 size_t signature_size,
1201 size_t *signature_length)
1202{
1203 key_slot_t *slot;
1204
Gilles Peskine93aa0332018-02-03 23:58:03 +01001205 *signature_length = 0;
1206 (void) salt;
1207 (void) salt_length;
1208
Gilles Peskine20035e32018-02-03 22:44:14 +01001209 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1210 return( PSA_ERROR_EMPTY_SLOT );
1211 slot = &global_data.key_slots[key];
1212 if( slot->type == PSA_KEY_TYPE_NONE )
1213 return( PSA_ERROR_EMPTY_SLOT );
1214 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
1215 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad160306e79202018-03-28 13:17:44 +03001216 if( !( slot->policy.usage & PSA_KEY_USAGE_SIGN ) )
1217 return( PSA_ERROR_NOT_PERMITTED );
Gilles Peskine20035e32018-02-03 22:44:14 +01001218
Gilles Peskine20035e32018-02-03 22:44:14 +01001219#if defined(MBEDTLS_RSA_C)
1220 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
1221 {
1222 mbedtls_rsa_context *rsa = slot->data.rsa;
1223 int ret;
1224 psa_algorithm_t hash_alg = PSA_ALG_RSA_GET_HASH( alg );
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001225 const mbedtls_md_info_t *md_info = mbedtls_md_info_from_psa( hash_alg );
Gilles Peskine20035e32018-02-03 22:44:14 +01001226 mbedtls_md_type_t md_alg =
1227 hash_alg == 0 ? MBEDTLS_MD_NONE : mbedtls_md_get_type( md_info );
1228 if( md_alg == MBEDTLS_MD_NONE )
1229 {
1230#if SIZE_MAX > UINT_MAX
1231 if( hash_length > UINT_MAX )
1232 return( PSA_ERROR_INVALID_ARGUMENT );
1233#endif
1234 }
1235 else
1236 {
1237 if( mbedtls_md_get_size( md_info ) != hash_length )
1238 return( PSA_ERROR_INVALID_ARGUMENT );
1239 if( md_info == NULL )
1240 return( PSA_ERROR_NOT_SUPPORTED );
1241 }
1242 if( signature_size < rsa->len )
1243 return( PSA_ERROR_BUFFER_TOO_SMALL );
1244#if defined(MBEDTLS_PKCS1_V15)
Gilles Peskinea5926232018-03-28 14:16:50 +02001245 if( PSA_ALG_IS_RSA_PKCS1V15_SIGN( alg ) )
Gilles Peskine20035e32018-02-03 22:44:14 +01001246 {
1247 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V15,
1248 MBEDTLS_MD_NONE );
1249 ret = mbedtls_rsa_pkcs1_sign( rsa,
1250 mbedtls_ctr_drbg_random,
1251 &global_data.ctr_drbg,
1252 MBEDTLS_RSA_PRIVATE,
1253 md_alg, hash_length, hash,
1254 signature );
1255 }
1256 else
1257#endif /* MBEDTLS_PKCS1_V15 */
1258#if defined(MBEDTLS_PKCS1_V21)
1259 if( alg == PSA_ALG_RSA_PSS_MGF1 )
1260 {
1261 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V21, md_alg );
1262 ret = mbedtls_rsa_rsassa_pss_sign( rsa,
1263 mbedtls_ctr_drbg_random,
1264 &global_data.ctr_drbg,
1265 MBEDTLS_RSA_PRIVATE,
1266 md_alg, hash_length, hash,
1267 signature );
1268 }
1269 else
1270#endif /* MBEDTLS_PKCS1_V21 */
1271 {
1272 return( PSA_ERROR_INVALID_ARGUMENT );
1273 }
Gilles Peskine93aa0332018-02-03 23:58:03 +01001274 if( ret == 0 )
1275 *signature_length = rsa->len;
Gilles Peskine20035e32018-02-03 22:44:14 +01001276 return( mbedtls_to_psa_error( ret ) );
1277 }
1278 else
1279#endif /* defined(MBEDTLS_RSA_C) */
1280#if defined(MBEDTLS_ECP_C)
1281 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
1282 {
1283 // TODO
1284 return( PSA_ERROR_NOT_SUPPORTED );
1285 }
1286 else
1287#endif /* defined(MBEDTLS_ECP_C) */
1288 {
1289 return( PSA_ERROR_NOT_SUPPORTED );
1290 }
1291}
1292
1293
mohammad1603503973b2018-03-12 15:59:30 +02001294/****************************************************************/
1295/* Symmetric cryptography */
1296/****************************************************************/
1297
Gilles Peskinee553c652018-06-04 16:22:46 +02001298static psa_status_t psa_cipher_setup( psa_cipher_operation_t *operation,
1299 psa_key_slot_t key,
mohammad16038481e742018-03-18 13:57:31 +02001300 psa_algorithm_t alg, mbedtls_operation_t cipher_operation)
mohammad1603503973b2018-03-12 15:59:30 +02001301{
1302 int ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
1303 psa_status_t status;
1304 key_slot_t *slot;
1305 psa_key_type_t key_type;
1306 size_t key_bits;
1307 const mbedtls_cipher_info_t *cipher_info = NULL;
mohammad16038481e742018-03-18 13:57:31 +02001308 psa_algorithm_t padding_mode = PSA_ALG_BLOCK_CIPHER_PAD_NONE;
1309 mbedtls_cipher_padding_t mode = MBEDTLS_PADDING_NONE;
mohammad1603503973b2018-03-12 15:59:30 +02001310
Moran Peker41deec42018-04-04 15:43:05 +03001311 operation->alg = alg;
Moran Pekerad9d82c2018-04-30 12:31:04 +03001312 operation->key_set = 0;
1313 operation->iv_set = 0;
1314 operation->iv_required = 1;
1315 operation->iv_size = 0;
Moran Peker41deec42018-04-04 15:43:05 +03001316 operation->block_size = 0;
mohammad1603503973b2018-03-12 15:59:30 +02001317
1318 status = psa_get_key_information( key, &key_type, &key_bits );
1319 if( status != PSA_SUCCESS )
1320 return( status );
1321 slot = &global_data.key_slots[key];
1322
1323 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type, key_bits );
1324 if( cipher_info == NULL )
1325 return( PSA_ERROR_NOT_SUPPORTED );
1326
mohammad1603503973b2018-03-12 15:59:30 +02001327 mbedtls_cipher_init( &operation->ctx.cipher );
1328 ret = mbedtls_cipher_setup( &operation->ctx.cipher, cipher_info );
Moran Peker41deec42018-04-04 15:43:05 +03001329 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02001330 {
1331 psa_cipher_abort( operation );
1332 return( mbedtls_to_psa_error( ret ) );
1333 }
1334
1335 ret = mbedtls_cipher_setkey( &operation->ctx.cipher, slot->data.raw.data,
Gilles Peskinee553c652018-06-04 16:22:46 +02001336 key_bits, cipher_operation );
Moran Peker41deec42018-04-04 15:43:05 +03001337 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02001338 {
1339 psa_cipher_abort( operation );
1340 return( mbedtls_to_psa_error( ret ) );
1341 }
1342
mohammad16038481e742018-03-18 13:57:31 +02001343#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Moran Peker41deec42018-04-04 15:43:05 +03001344 if( ( alg & PSA_ALG_CBC_BASE) == PSA_ALG_CBC_BASE )
mohammad16038481e742018-03-18 13:57:31 +02001345 {
1346 padding_mode = alg & PSA_ALG_BLOCK_CIPHER_PADDING_MASK;
1347
Moran Pekera28258c2018-05-29 16:25:04 +03001348 switch ( padding_mode )
mohammad16038481e742018-03-18 13:57:31 +02001349 {
1350 case PSA_ALG_BLOCK_CIPHER_PAD_PKCS7:
1351 mode = MBEDTLS_PADDING_PKCS7;
1352 break;
1353 case PSA_ALG_BLOCK_CIPHER_PAD_NONE:
1354 mode = MBEDTLS_PADDING_NONE;
1355 break;
1356 default:
Moran Pekerae382792018-05-31 14:06:17 +03001357 psa_cipher_abort( operation );
1358 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16038481e742018-03-18 13:57:31 +02001359 }
1360 ret = mbedtls_cipher_set_padding_mode( &operation->ctx.cipher, mode );
Moran Pekera28258c2018-05-29 16:25:04 +03001361 if( ret != 0 )
Moran Peker71f19ae2018-04-22 20:23:16 +03001362 {
1363 psa_cipher_abort( operation );
mohammad16038481e742018-03-18 13:57:31 +02001364 return( mbedtls_to_psa_error( ret ) );
Moran Peker71f19ae2018-04-22 20:23:16 +03001365 }
mohammad16038481e742018-03-18 13:57:31 +02001366 }
1367#endif //MBEDTLS_CIPHER_MODE_WITH_PADDING
1368
mohammad1603503973b2018-03-12 15:59:30 +02001369 operation->key_set = 1;
1370 operation->alg = alg;
mohammad1603b152d4d2018-04-11 23:51:20 -07001371 operation->block_size = PSA_ALG_IS_BLOCK_CIPHER( alg ) ? PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type ) : 1;
Moran Peker41deec42018-04-04 15:43:05 +03001372 if( PSA_ALG_IS_BLOCK_CIPHER( alg ) || ( alg == PSA_ALG_CTR ) )
mohammad16038481e742018-03-18 13:57:31 +02001373 {
mohammad160389e0f462018-04-12 08:48:45 +03001374 operation->iv_size = PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type );
mohammad16038481e742018-03-18 13:57:31 +02001375 }
mohammad1603503973b2018-03-12 15:59:30 +02001376
Moran Peker395db872018-05-31 14:07:14 +03001377 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02001378}
1379
Gilles Peskinee553c652018-06-04 16:22:46 +02001380psa_status_t psa_encrypt_setup( psa_cipher_operation_t *operation,
1381 psa_key_slot_t key,
1382 psa_algorithm_t alg )
mohammad16038481e742018-03-18 13:57:31 +02001383{
Moran Pekera28258c2018-05-29 16:25:04 +03001384 return psa_cipher_setup( operation, key, alg, MBEDTLS_ENCRYPT );
mohammad16038481e742018-03-18 13:57:31 +02001385}
1386
Gilles Peskinee553c652018-06-04 16:22:46 +02001387psa_status_t psa_decrypt_setup( psa_cipher_operation_t *operation,
1388 psa_key_slot_t key,
1389 psa_algorithm_t alg )
mohammad16038481e742018-03-18 13:57:31 +02001390{
Moran Pekera28258c2018-05-29 16:25:04 +03001391 return psa_cipher_setup( operation, key, alg, MBEDTLS_DECRYPT );
mohammad16038481e742018-03-18 13:57:31 +02001392}
1393
Gilles Peskinee553c652018-06-04 16:22:46 +02001394psa_status_t psa_encrypt_generate_iv( psa_cipher_operation_t *operation,
1395 unsigned char *iv,
1396 size_t iv_size,
1397 size_t *iv_length )
mohammad1603503973b2018-03-12 15:59:30 +02001398{
Moran Peker41deec42018-04-04 15:43:05 +03001399 int ret = PSA_SUCCESS;
Moran Pekerad9d82c2018-04-30 12:31:04 +03001400 if( operation->iv_set || !( operation->iv_required ) )
Moran Peker41deec42018-04-04 15:43:05 +03001401 return( PSA_ERROR_BAD_STATE );
1402 if( iv_size < operation->iv_size )
mohammad1603503973b2018-03-12 15:59:30 +02001403 {
Moran Peker41deec42018-04-04 15:43:05 +03001404 ret = PSA_ERROR_BUFFER_TOO_SMALL;
1405 goto exit;
1406 }
mohammad160389e0f462018-04-12 08:48:45 +03001407 ret = mbedtls_ctr_drbg_random( &global_data.ctr_drbg, iv, operation->iv_size );
Moran Peker41deec42018-04-04 15:43:05 +03001408 if( ret != 0 )
1409 {
1410 ret = mbedtls_to_psa_error( ret );
Gilles Peskinee553c652018-06-04 16:22:46 +02001411 goto exit;
mohammad1603503973b2018-03-12 15:59:30 +02001412 }
Gilles Peskinee553c652018-06-04 16:22:46 +02001413
mohammad16038481e742018-03-18 13:57:31 +02001414 *iv_length = operation->iv_size;
mohammad160389e0f462018-04-12 08:48:45 +03001415 ret = psa_encrypt_set_iv( operation, iv, *iv_length );
Moran Peker41deec42018-04-04 15:43:05 +03001416
Moran Peker395db872018-05-31 14:07:14 +03001417exit:
1418 if( ret != PSA_SUCCESS )
1419 psa_cipher_abort( operation );
1420 return( ret );
mohammad1603503973b2018-03-12 15:59:30 +02001421}
1422
Gilles Peskinee553c652018-06-04 16:22:46 +02001423psa_status_t psa_encrypt_set_iv( psa_cipher_operation_t *operation,
1424 const unsigned char *iv,
1425 size_t iv_length )
mohammad1603503973b2018-03-12 15:59:30 +02001426{
Moran Peker41deec42018-04-04 15:43:05 +03001427 int ret = PSA_SUCCESS;
Moran Pekerad9d82c2018-04-30 12:31:04 +03001428 if( operation->iv_set || !( operation->iv_required ) )
Moran Peker41deec42018-04-04 15:43:05 +03001429 return( PSA_ERROR_BAD_STATE );
Moran Pekera28258c2018-05-29 16:25:04 +03001430 if( iv_length != operation->iv_size )
Moran Peker71f19ae2018-04-22 20:23:16 +03001431 {
Moran Pekerae382792018-05-31 14:06:17 +03001432 psa_cipher_abort( operation );
1433 return( PSA_ERROR_INVALID_ARGUMENT );
Moran Peker71f19ae2018-04-22 20:23:16 +03001434 }
mohammad1603503973b2018-03-12 15:59:30 +02001435 ret = mbedtls_cipher_set_iv( &operation->ctx.cipher, iv, iv_length );
Moran Peker41deec42018-04-04 15:43:05 +03001436 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02001437 {
1438 psa_cipher_abort( operation );
1439 return( mbedtls_to_psa_error( ret ) );
1440 }
1441
1442 operation->iv_set = 1;
mohammad1603503973b2018-03-12 15:59:30 +02001443
Moran Peker395db872018-05-31 14:07:14 +03001444 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02001445}
1446
Gilles Peskinee553c652018-06-04 16:22:46 +02001447psa_status_t psa_cipher_update( psa_cipher_operation_t *operation,
1448 const uint8_t *input,
1449 size_t input_length,
1450 unsigned char *output,
1451 size_t output_size,
1452 size_t *output_length )
mohammad1603503973b2018-03-12 15:59:30 +02001453{
1454 int ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Moran Peker395db872018-05-31 14:07:14 +03001455 size_t expected_output_size = ( ( operation->ctx.cipher.unprocessed_len + input_length )/operation->block_size )*operation->block_size;
Gilles Peskinee553c652018-06-04 16:22:46 +02001456 if( ( ( PSA_ALG_IS_STREAM_CIPHER( operation->alg ) ) &&
1457 ( output_size < input_length ) ) ||
1458 ( ( PSA_ALG_IS_BLOCK_CIPHER( operation->alg ) ) &&
1459 ( output_size < expected_output_size ) ) )
Moran Peker395db872018-05-31 14:07:14 +03001460 return( PSA_ERROR_BUFFER_TOO_SMALL );
mohammad160382759612018-03-12 18:16:40 +02001461
mohammad1603503973b2018-03-12 15:59:30 +02001462 ret = mbedtls_cipher_update( &operation->ctx.cipher, input,
Gilles Peskinee553c652018-06-04 16:22:46 +02001463 input_length, output, output_length );
Moran Peker41deec42018-04-04 15:43:05 +03001464 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02001465 {
1466 psa_cipher_abort( operation );
1467 return( mbedtls_to_psa_error( ret ) );
1468 }
1469
Moran Peker395db872018-05-31 14:07:14 +03001470 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02001471}
1472
Gilles Peskinee553c652018-06-04 16:22:46 +02001473psa_status_t psa_cipher_finish( psa_cipher_operation_t *operation,
1474 uint8_t *output,
1475 size_t output_size,
1476 size_t *output_length )
mohammad1603503973b2018-03-12 15:59:30 +02001477{
1478 int ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Gilles Peskinee553c652018-06-04 16:22:46 +02001479 uint8_t temp_output_buffer[MBEDTLS_MAX_BLOCK_LENGTH];
Moran Pekerbed71a22018-04-22 20:19:20 +03001480
mohammad1603503973b2018-03-12 15:59:30 +02001481 if( ! operation->key_set )
1482 return( PSA_ERROR_BAD_STATE );
Moran Pekera28258c2018-05-29 16:25:04 +03001483 if( operation->iv_required && ! operation->iv_set )
mohammad1603503973b2018-03-12 15:59:30 +02001484 return( PSA_ERROR_BAD_STATE );
1485
Moran Pekera28258c2018-05-29 16:25:04 +03001486 if( operation->ctx.cipher.operation == MBEDTLS_ENCRYPT )
Moran Pekerdc38ebc2018-04-30 15:45:34 +03001487 {
1488 if( operation->ctx.cipher.unprocessed_len > operation->block_size )
1489 return( PSA_ERROR_INVALID_ARGUMENT );
Moran Peker2cab25a2018-05-02 16:43:13 +03001490 if( ( ( operation->alg & PSA_ALG_BLOCK_CIPHER_PADDING_MASK ) == PSA_ALG_BLOCK_CIPHER_PAD_NONE )
Moran Pekerdc38ebc2018-04-30 15:45:34 +03001491 && ( operation->ctx.cipher.unprocessed_len != 0 ) )
1492 return( PSA_ERROR_INVALID_ARGUMENT );
Moran Peker2cab25a2018-05-02 16:43:13 +03001493 if( ( ( operation->alg & PSA_ALG_BLOCK_CIPHER_PADDING_MASK ) == PSA_ALG_BLOCK_CIPHER_PAD_PKCS7 )
1494 && ( *output_length != operation->block_size ) )
Moran Pekerdc38ebc2018-04-30 15:45:34 +03001495 return( PSA_ERROR_INVALID_ARGUMENT );
1496 }
1497
1498 ret = mbedtls_cipher_finish( &operation->ctx.cipher, temp_output_buffer,
Gilles Peskinee553c652018-06-04 16:22:46 +02001499 output_length );
Moran Peker41deec42018-04-04 15:43:05 +03001500 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02001501 {
1502 psa_cipher_abort( operation );
1503 return( mbedtls_to_psa_error( ret ) );
1504 }
Gilles Peskinee553c652018-06-04 16:22:46 +02001505 if( output_size >= *output_length )
Moran Pekerdc38ebc2018-04-30 15:45:34 +03001506 memcpy( output, temp_output_buffer, *output_length );
1507 else
1508 {
1509 psa_cipher_abort( operation );
1510 return( PSA_ERROR_BUFFER_TOO_SMALL );
1511 }
mohammad1603503973b2018-03-12 15:59:30 +02001512
Moran Peker4c80d832018-04-22 20:15:31 +03001513 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02001514}
1515
Gilles Peskinee553c652018-06-04 16:22:46 +02001516psa_status_t psa_cipher_abort( psa_cipher_operation_t *operation )
1517{
mohammad1603503973b2018-03-12 15:59:30 +02001518 mbedtls_cipher_free( &operation->ctx.cipher );
Gilles Peskinee553c652018-06-04 16:22:46 +02001519
Moran Peker41deec42018-04-04 15:43:05 +03001520 operation->alg = 0;
Moran Pekerad9d82c2018-04-30 12:31:04 +03001521 operation->key_set = 0;
1522 operation->iv_set = 0;
1523 operation->iv_size = 0;
Moran Peker41deec42018-04-04 15:43:05 +03001524 operation->block_size = 0;
Moran Pekerad9d82c2018-04-30 12:31:04 +03001525 operation->iv_required = 0;
Moran Peker41deec42018-04-04 15:43:05 +03001526
Moran Peker395db872018-05-31 14:07:14 +03001527 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02001528}
1529
Gilles Peskinea0655c32018-04-30 17:06:50 +02001530
mohammad16038cc1cee2018-03-28 01:21:33 +03001531/****************************************************************/
1532/* Key Policy */
1533/****************************************************************/
1534
1535void psa_key_policy_init(psa_key_policy_t *policy)
1536{
mohammad16036df908f2018-04-02 08:34:15 -07001537 memset( policy, 0, sizeof( psa_key_policy_t ) );
mohammad16038cc1cee2018-03-28 01:21:33 +03001538}
1539
1540void psa_key_policy_set_usage(psa_key_policy_t *policy,
1541 psa_key_usage_t usage,
1542 psa_algorithm_t alg)
1543{
mohammad16034eed7572018-03-28 05:14:59 -07001544 policy->usage = usage;
1545 policy->alg = alg;
mohammad16038cc1cee2018-03-28 01:21:33 +03001546}
1547
1548psa_key_usage_t psa_key_policy_get_usage(psa_key_policy_t *policy)
1549{
mohammad16036df908f2018-04-02 08:34:15 -07001550 return( policy->usage );
mohammad16038cc1cee2018-03-28 01:21:33 +03001551}
1552
1553psa_algorithm_t psa_key_policy_get_algorithm(psa_key_policy_t *policy)
1554{
mohammad16036df908f2018-04-02 08:34:15 -07001555 return( policy->alg );
mohammad16038cc1cee2018-03-28 01:21:33 +03001556}
1557
1558psa_status_t psa_set_key_policy(psa_key_slot_t key,
1559 const psa_key_policy_t *policy)
1560{
1561 key_slot_t *slot;
mohammad16038cc1cee2018-03-28 01:21:33 +03001562
1563 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT || policy == NULL )
1564 return( PSA_ERROR_INVALID_ARGUMENT );
1565
1566 slot = &global_data.key_slots[key];
1567 if( slot->type != PSA_KEY_TYPE_NONE )
1568 return( PSA_ERROR_OCCUPIED_SLOT );
1569
mohammad16036df908f2018-04-02 08:34:15 -07001570 if( ( policy->usage & ~( PSA_KEY_USAGE_EXPORT | PSA_KEY_USAGE_ENCRYPT
1571 | PSA_KEY_USAGE_DECRYPT | PSA_KEY_USAGE_SIGN
1572 | PSA_KEY_USAGE_VERIFY ) ) != 0 )
mohammad16035feda722018-04-16 04:38:57 -07001573 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16038cc1cee2018-03-28 01:21:33 +03001574
mohammad16036df908f2018-04-02 08:34:15 -07001575 slot->policy = *policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03001576
1577 return( PSA_SUCCESS );
1578}
1579
1580psa_status_t psa_get_key_policy(psa_key_slot_t key,
1581 psa_key_policy_t *policy)
1582{
1583 key_slot_t *slot;
1584
1585 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT || policy == NULL )
1586 return( PSA_ERROR_INVALID_ARGUMENT );
1587
1588 slot = &global_data.key_slots[key];
mohammad16038cc1cee2018-03-28 01:21:33 +03001589
mohammad16036df908f2018-04-02 08:34:15 -07001590 *policy = slot->policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03001591
1592 return( PSA_SUCCESS );
1593}
Gilles Peskine20035e32018-02-03 22:44:14 +01001594
Gilles Peskinea0655c32018-04-30 17:06:50 +02001595
1596
mohammad1603804cd712018-03-20 22:44:08 +02001597/****************************************************************/
1598/* Key Lifetime */
1599/****************************************************************/
1600
1601psa_status_t psa_get_key_lifetime(psa_key_slot_t key,
1602 psa_key_lifetime_t *lifetime)
1603{
1604 key_slot_t *slot;
1605
1606 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1607 return( PSA_ERROR_INVALID_ARGUMENT );
1608
1609 slot = &global_data.key_slots[key];
mohammad1603804cd712018-03-20 22:44:08 +02001610
1611 *lifetime = slot->lifetime;
1612
1613 return( PSA_SUCCESS );
1614}
1615
1616psa_status_t psa_set_key_lifetime(psa_key_slot_t key,
1617 const psa_key_lifetime_t lifetime)
1618{
1619 key_slot_t *slot;
1620
1621 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1622 return( PSA_ERROR_INVALID_ARGUMENT );
1623
mohammad1603ba178512018-03-21 04:35:20 -07001624 if( lifetime != PSA_KEY_LIFETIME_VOLATILE &&
1625 lifetime != PSA_KEY_LIFETIME_PERSISTENT &&
1626 lifetime != PSA_KEY_LIFETIME_WRITE_ONCE)
1627 return( PSA_ERROR_INVALID_ARGUMENT );
1628
mohammad1603804cd712018-03-20 22:44:08 +02001629 slot = &global_data.key_slots[key];
mohammad16035d7ec202018-03-28 01:29:41 +03001630 if( slot->type != PSA_KEY_TYPE_NONE )
1631 return( PSA_ERROR_OCCUPIED_SLOT );
mohammad1603804cd712018-03-20 22:44:08 +02001632
Moran Pekera28258c2018-05-29 16:25:04 +03001633 if( lifetime != PSA_KEY_LIFETIME_VOLATILE )
mohammad1603ba178512018-03-21 04:35:20 -07001634 return( PSA_ERROR_NOT_SUPPORTED );
mohammad1603804cd712018-03-20 22:44:08 +02001635
mohammad1603060ad8a2018-03-20 14:28:38 -07001636 slot->lifetime = lifetime;
mohammad1603804cd712018-03-20 22:44:08 +02001637
1638 return( PSA_SUCCESS );
1639}
1640
Gilles Peskine20035e32018-02-03 22:44:14 +01001641
Gilles Peskinea0655c32018-04-30 17:06:50 +02001642
Gilles Peskine20035e32018-02-03 22:44:14 +01001643/****************************************************************/
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01001644/* Module setup */
1645/****************************************************************/
1646
Gilles Peskinee59236f2018-01-27 23:32:46 +01001647void mbedtls_psa_crypto_free( void )
1648{
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01001649 size_t key;
1650 for( key = 1; key < MBEDTLS_PSA_KEY_SLOT_COUNT; key++ )
1651 psa_destroy_key( key );
Gilles Peskinee59236f2018-01-27 23:32:46 +01001652 mbedtls_ctr_drbg_free( &global_data.ctr_drbg );
1653 mbedtls_entropy_free( &global_data.entropy );
1654 mbedtls_zeroize( &global_data, sizeof( global_data ) );
1655}
1656
1657psa_status_t psa_crypto_init( void )
1658{
1659 int ret;
1660 const unsigned char drbg_seed[] = "PSA";
1661
1662 if( global_data.initialized != 0 )
1663 return( PSA_SUCCESS );
1664
1665 mbedtls_zeroize( &global_data, sizeof( global_data ) );
1666 mbedtls_entropy_init( &global_data.entropy );
1667 mbedtls_ctr_drbg_init( &global_data.ctr_drbg );
1668
1669 ret = mbedtls_ctr_drbg_seed( &global_data.ctr_drbg,
1670 mbedtls_entropy_func,
1671 &global_data.entropy,
1672 drbg_seed, sizeof( drbg_seed ) - 1 );
1673 if( ret != 0 )
1674 goto exit;
1675
Gilles Peskinee4ebc122018-03-07 14:16:44 +01001676 global_data.initialized = 1;
1677
Gilles Peskinee59236f2018-01-27 23:32:46 +01001678exit:
1679 if( ret != 0 )
1680 mbedtls_psa_crypto_free( );
1681 return( mbedtls_to_psa_error( ret ) );
1682}
1683
1684#endif /* MBEDTLS_PSA_CRYPTO_C */