blob: 190341fbd81639119d0115f65d225a74b9b65e06 [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
Gilles Peskine2d277862018-06-18 15:41:12 +020097typedef struct
98{
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010099 psa_key_type_t type;
mohammad16038cc1cee2018-03-28 01:21:33 +0300100 psa_key_policy_t policy;
mohammad1603804cd712018-03-20 22:44:08 +0200101 psa_key_lifetime_t lifetime;
Gilles Peskine2d277862018-06-18 15:41:12 +0200102 union
103 {
104 struct raw_data
105 {
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100106 uint8_t *data;
107 size_t bytes;
108 } raw;
Gilles Peskine969ac722018-01-28 18:16:59 +0100109#if defined(MBEDTLS_RSA_C)
110 mbedtls_rsa_context *rsa;
111#endif /* MBEDTLS_RSA_C */
112#if defined(MBEDTLS_ECP_C)
113 mbedtls_ecp_keypair *ecp;
114#endif /* MBEDTLS_ECP_C */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100115 } data;
116} key_slot_t;
117
Gilles Peskine2d277862018-06-18 15:41:12 +0200118typedef struct
119{
Gilles Peskinee59236f2018-01-27 23:32:46 +0100120 int initialized;
121 mbedtls_entropy_context entropy;
122 mbedtls_ctr_drbg_context ctr_drbg;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100123 key_slot_t key_slots[MBEDTLS_PSA_KEY_SLOT_COUNT];
Gilles Peskinee59236f2018-01-27 23:32:46 +0100124} psa_global_data_t;
125
126static psa_global_data_t global_data;
127
128static psa_status_t mbedtls_to_psa_error( int ret )
129{
Gilles Peskinea5905292018-02-07 20:59:33 +0100130 /* If there's both a high-level code and low-level code, dispatch on
131 * the high-level code. */
132 switch( ret < -0x7f ? - ( -ret & 0x7f80 ) : ret )
Gilles Peskinee59236f2018-01-27 23:32:46 +0100133 {
134 case 0:
135 return( PSA_SUCCESS );
Gilles Peskinea5905292018-02-07 20:59:33 +0100136
137 case MBEDTLS_ERR_AES_INVALID_KEY_LENGTH:
138 case MBEDTLS_ERR_AES_INVALID_INPUT_LENGTH:
139 case MBEDTLS_ERR_AES_FEATURE_UNAVAILABLE:
140 return( PSA_ERROR_NOT_SUPPORTED );
141 case MBEDTLS_ERR_AES_HW_ACCEL_FAILED:
142 return( PSA_ERROR_HARDWARE_FAILURE );
143
144 case MBEDTLS_ERR_ARC4_HW_ACCEL_FAILED:
145 return( PSA_ERROR_HARDWARE_FAILURE );
146
147 case MBEDTLS_ERR_BLOWFISH_INVALID_KEY_LENGTH:
148 case MBEDTLS_ERR_BLOWFISH_INVALID_INPUT_LENGTH:
149 return( PSA_ERROR_NOT_SUPPORTED );
150 case MBEDTLS_ERR_BLOWFISH_HW_ACCEL_FAILED:
151 return( PSA_ERROR_HARDWARE_FAILURE );
152
153 case MBEDTLS_ERR_CAMELLIA_INVALID_KEY_LENGTH:
154 case MBEDTLS_ERR_CAMELLIA_INVALID_INPUT_LENGTH:
155 return( PSA_ERROR_NOT_SUPPORTED );
156 case MBEDTLS_ERR_CAMELLIA_HW_ACCEL_FAILED:
157 return( PSA_ERROR_HARDWARE_FAILURE );
158
159 case MBEDTLS_ERR_CCM_BAD_INPUT:
160 return( PSA_ERROR_INVALID_ARGUMENT );
161 case MBEDTLS_ERR_CCM_AUTH_FAILED:
162 return( PSA_ERROR_INVALID_SIGNATURE );
163 case MBEDTLS_ERR_CCM_HW_ACCEL_FAILED:
164 return( PSA_ERROR_HARDWARE_FAILURE );
165
166 case MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE:
167 return( PSA_ERROR_NOT_SUPPORTED );
168 case MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA:
169 return( PSA_ERROR_INVALID_ARGUMENT );
170 case MBEDTLS_ERR_CIPHER_ALLOC_FAILED:
171 return( PSA_ERROR_INSUFFICIENT_MEMORY );
172 case MBEDTLS_ERR_CIPHER_INVALID_PADDING:
173 return( PSA_ERROR_INVALID_PADDING );
174 case MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED:
175 return( PSA_ERROR_BAD_STATE );
176 case MBEDTLS_ERR_CIPHER_AUTH_FAILED:
177 return( PSA_ERROR_INVALID_SIGNATURE );
178 case MBEDTLS_ERR_CIPHER_INVALID_CONTEXT:
179 return( PSA_ERROR_TAMPERING_DETECTED );
180 case MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED:
181 return( PSA_ERROR_HARDWARE_FAILURE );
182
183 case MBEDTLS_ERR_CMAC_HW_ACCEL_FAILED:
184 return( PSA_ERROR_HARDWARE_FAILURE );
185
186 case MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED:
187 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
188 case MBEDTLS_ERR_CTR_DRBG_REQUEST_TOO_BIG:
189 case MBEDTLS_ERR_CTR_DRBG_INPUT_TOO_BIG:
190 return( PSA_ERROR_NOT_SUPPORTED );
191 case MBEDTLS_ERR_CTR_DRBG_FILE_IO_ERROR:
192 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
193
194 case MBEDTLS_ERR_DES_INVALID_INPUT_LENGTH:
195 return( PSA_ERROR_NOT_SUPPORTED );
196 case MBEDTLS_ERR_DES_HW_ACCEL_FAILED:
197 return( PSA_ERROR_HARDWARE_FAILURE );
198
Gilles Peskinee59236f2018-01-27 23:32:46 +0100199 case MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED:
200 case MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE:
201 case MBEDTLS_ERR_ENTROPY_SOURCE_FAILED:
202 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
Gilles Peskinea5905292018-02-07 20:59:33 +0100203
204 case MBEDTLS_ERR_GCM_AUTH_FAILED:
205 return( PSA_ERROR_INVALID_SIGNATURE );
206 case MBEDTLS_ERR_GCM_BAD_INPUT:
207 return( PSA_ERROR_NOT_SUPPORTED );
208 case MBEDTLS_ERR_GCM_HW_ACCEL_FAILED:
209 return( PSA_ERROR_HARDWARE_FAILURE );
210
211 case MBEDTLS_ERR_MD2_HW_ACCEL_FAILED:
212 case MBEDTLS_ERR_MD4_HW_ACCEL_FAILED:
213 case MBEDTLS_ERR_MD5_HW_ACCEL_FAILED:
214 return( PSA_ERROR_HARDWARE_FAILURE );
215
216 case MBEDTLS_ERR_MD_FEATURE_UNAVAILABLE:
217 return( PSA_ERROR_NOT_SUPPORTED );
218 case MBEDTLS_ERR_MD_BAD_INPUT_DATA:
219 return( PSA_ERROR_INVALID_ARGUMENT );
220 case MBEDTLS_ERR_MD_ALLOC_FAILED:
221 return( PSA_ERROR_INSUFFICIENT_MEMORY );
222 case MBEDTLS_ERR_MD_FILE_IO_ERROR:
223 return( PSA_ERROR_STORAGE_FAILURE );
224 case MBEDTLS_ERR_MD_HW_ACCEL_FAILED:
225 return( PSA_ERROR_HARDWARE_FAILURE );
226
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100227 case MBEDTLS_ERR_PK_ALLOC_FAILED:
228 return( PSA_ERROR_INSUFFICIENT_MEMORY );
229 case MBEDTLS_ERR_PK_TYPE_MISMATCH:
230 case MBEDTLS_ERR_PK_BAD_INPUT_DATA:
231 return( PSA_ERROR_INVALID_ARGUMENT );
232 case MBEDTLS_ERR_PK_FILE_IO_ERROR:
Gilles Peskinea5905292018-02-07 20:59:33 +0100233 return( PSA_ERROR_STORAGE_FAILURE );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100234 case MBEDTLS_ERR_PK_KEY_INVALID_VERSION:
235 case MBEDTLS_ERR_PK_KEY_INVALID_FORMAT:
236 return( PSA_ERROR_INVALID_ARGUMENT );
237 case MBEDTLS_ERR_PK_UNKNOWN_PK_ALG:
238 return( PSA_ERROR_NOT_SUPPORTED );
239 case MBEDTLS_ERR_PK_PASSWORD_REQUIRED:
240 case MBEDTLS_ERR_PK_PASSWORD_MISMATCH:
241 return( PSA_ERROR_NOT_PERMITTED );
242 case MBEDTLS_ERR_PK_INVALID_PUBKEY:
243 return( PSA_ERROR_INVALID_ARGUMENT );
244 case MBEDTLS_ERR_PK_INVALID_ALG:
245 case MBEDTLS_ERR_PK_UNKNOWN_NAMED_CURVE:
246 case MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE:
247 return( PSA_ERROR_NOT_SUPPORTED );
248 case MBEDTLS_ERR_PK_SIG_LEN_MISMATCH:
249 return( PSA_ERROR_INVALID_SIGNATURE );
Gilles Peskinea5905292018-02-07 20:59:33 +0100250 case MBEDTLS_ERR_PK_HW_ACCEL_FAILED:
251 return( PSA_ERROR_HARDWARE_FAILURE );
252
253 case MBEDTLS_ERR_RIPEMD160_HW_ACCEL_FAILED:
254 return( PSA_ERROR_HARDWARE_FAILURE );
255
256 case MBEDTLS_ERR_RSA_BAD_INPUT_DATA:
257 return( PSA_ERROR_INVALID_ARGUMENT );
258 case MBEDTLS_ERR_RSA_INVALID_PADDING:
259 return( PSA_ERROR_INVALID_PADDING );
260 case MBEDTLS_ERR_RSA_KEY_GEN_FAILED:
261 return( PSA_ERROR_HARDWARE_FAILURE );
262 case MBEDTLS_ERR_RSA_KEY_CHECK_FAILED:
263 return( PSA_ERROR_INVALID_ARGUMENT );
264 case MBEDTLS_ERR_RSA_PUBLIC_FAILED:
265 case MBEDTLS_ERR_RSA_PRIVATE_FAILED:
266 return( PSA_ERROR_TAMPERING_DETECTED );
267 case MBEDTLS_ERR_RSA_VERIFY_FAILED:
268 return( PSA_ERROR_INVALID_SIGNATURE );
269 case MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE:
270 return( PSA_ERROR_BUFFER_TOO_SMALL );
271 case MBEDTLS_ERR_RSA_RNG_FAILED:
272 return( PSA_ERROR_INSUFFICIENT_MEMORY );
273 case MBEDTLS_ERR_RSA_UNSUPPORTED_OPERATION:
274 return( PSA_ERROR_NOT_SUPPORTED );
275 case MBEDTLS_ERR_RSA_HW_ACCEL_FAILED:
276 return( PSA_ERROR_HARDWARE_FAILURE );
277
278 case MBEDTLS_ERR_SHA1_HW_ACCEL_FAILED:
279 case MBEDTLS_ERR_SHA256_HW_ACCEL_FAILED:
280 case MBEDTLS_ERR_SHA512_HW_ACCEL_FAILED:
281 return( PSA_ERROR_HARDWARE_FAILURE );
282
283 case MBEDTLS_ERR_XTEA_INVALID_INPUT_LENGTH:
284 return( PSA_ERROR_INVALID_ARGUMENT );
285 case MBEDTLS_ERR_XTEA_HW_ACCEL_FAILED:
286 return( PSA_ERROR_HARDWARE_FAILURE );
287
itayzafrir5c753392018-05-08 11:18:38 +0300288 case MBEDTLS_ERR_ECP_BAD_INPUT_DATA:
itayzafrir7b30f8b2018-05-09 16:07:36 +0300289 case MBEDTLS_ERR_ECP_INVALID_KEY:
itayzafrir5c753392018-05-08 11:18:38 +0300290 return( PSA_ERROR_INVALID_ARGUMENT );
itayzafrir7b30f8b2018-05-09 16:07:36 +0300291 case MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL:
292 return( PSA_ERROR_BUFFER_TOO_SMALL );
293 case MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE:
294 return( PSA_ERROR_NOT_SUPPORTED );
295 case MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH:
296 case MBEDTLS_ERR_ECP_VERIFY_FAILED:
297 return( PSA_ERROR_INVALID_SIGNATURE );
298 case MBEDTLS_ERR_ECP_ALLOC_FAILED:
299 return( PSA_ERROR_INSUFFICIENT_MEMORY );
300 case MBEDTLS_ERR_ECP_HW_ACCEL_FAILED:
301 return( PSA_ERROR_HARDWARE_FAILURE );
itayzafrir5c753392018-05-08 11:18:38 +0300302
Gilles Peskinee59236f2018-01-27 23:32:46 +0100303 default:
304 return( PSA_ERROR_UNKNOWN_ERROR );
305 }
306}
307
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100308/****************************************************************/
309/* Key management */
310/****************************************************************/
311
Gilles Peskine2d277862018-06-18 15:41:12 +0200312psa_status_t psa_import_key( psa_key_slot_t key,
313 psa_key_type_t type,
314 const uint8_t *data,
315 size_t data_length )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100316{
317 key_slot_t *slot;
318
319 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
320 return( PSA_ERROR_INVALID_ARGUMENT );
321 slot = &global_data.key_slots[key];
322 if( slot->type != PSA_KEY_TYPE_NONE )
323 return( PSA_ERROR_OCCUPIED_SLOT );
324
Gilles Peskine8c9def32018-02-08 10:02:12 +0100325 if( PSA_KEY_TYPE_IS_RAW_BYTES( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100326 {
Gilles Peskine6d912132018-03-07 16:41:37 +0100327 /* Ensure that a bytes-to-bit conversion won't overflow. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100328 if( data_length > SIZE_MAX / 8 )
329 return( PSA_ERROR_NOT_SUPPORTED );
330 slot->data.raw.data = mbedtls_calloc( 1, data_length );
331 if( slot->data.raw.data == NULL )
332 return( PSA_ERROR_INSUFFICIENT_MEMORY );
333 memcpy( slot->data.raw.data, data, data_length );
334 slot->data.raw.bytes = data_length;
335 }
336 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100337#if defined(MBEDTLS_PK_PARSE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100338 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
339 type == PSA_KEY_TYPE_RSA_KEYPAIR ||
340 PSA_KEY_TYPE_IS_ECC( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100341 {
342 int ret;
Gilles Peskine969ac722018-01-28 18:16:59 +0100343 mbedtls_pk_context pk;
344 mbedtls_pk_init( &pk );
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100345 if( PSA_KEY_TYPE_IS_KEYPAIR( type ) )
346 ret = mbedtls_pk_parse_key( &pk, data, data_length, NULL, 0 );
347 else
348 ret = mbedtls_pk_parse_public_key( &pk, data, data_length );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100349 if( ret != 0 )
350 return( mbedtls_to_psa_error( ret ) );
Gilles Peskine969ac722018-01-28 18:16:59 +0100351 switch( mbedtls_pk_get_type( &pk ) )
352 {
353#if defined(MBEDTLS_RSA_C)
354 case MBEDTLS_PK_RSA:
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100355 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
356 type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine969ac722018-01-28 18:16:59 +0100357 slot->data.rsa = pk.pk_ctx;
358 else
359 return( PSA_ERROR_INVALID_ARGUMENT );
360 break;
361#endif /* MBEDTLS_RSA_C */
362#if defined(MBEDTLS_ECP_C)
363 case MBEDTLS_PK_ECKEY:
364 if( PSA_KEY_TYPE_IS_ECC( type ) )
365 {
366 // TODO: check curve
367 slot->data.ecp = pk.pk_ctx;
368 }
369 else
370 return( PSA_ERROR_INVALID_ARGUMENT );
371 break;
372#endif /* MBEDTLS_ECP_C */
373 default:
374 return( PSA_ERROR_INVALID_ARGUMENT );
375 }
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100376 }
377 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100378#endif /* defined(MBEDTLS_PK_PARSE_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100379 {
380 return( PSA_ERROR_NOT_SUPPORTED );
381 }
382
383 slot->type = type;
384 return( PSA_SUCCESS );
385}
386
Gilles Peskine2d277862018-06-18 15:41:12 +0200387psa_status_t psa_destroy_key( psa_key_slot_t key )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100388{
389 key_slot_t *slot;
390
391 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
392 return( PSA_ERROR_INVALID_ARGUMENT );
393 slot = &global_data.key_slots[key];
394 if( slot->type == PSA_KEY_TYPE_NONE )
Gilles Peskine154bd952018-04-19 08:38:16 +0200395 {
396 /* No key material to clean, but do zeroize the slot below to wipe
397 * metadata such as policies. */
398 }
399 else if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100400 {
401 mbedtls_free( slot->data.raw.data );
402 }
403 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100404#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100405 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
406 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100407 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100408 mbedtls_rsa_free( slot->data.rsa );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100409 mbedtls_free( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100410 }
411 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100412#endif /* defined(MBEDTLS_RSA_C) */
413#if defined(MBEDTLS_ECP_C)
414 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
415 {
416 mbedtls_ecp_keypair_free( slot->data.ecp );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100417 mbedtls_free( slot->data.ecp );
Gilles Peskine969ac722018-01-28 18:16:59 +0100418 }
419 else
420#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100421 {
422 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100423 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100424 return( PSA_ERROR_TAMPERING_DETECTED );
425 }
426
427 mbedtls_zeroize( slot, sizeof( *slot ) );
428 return( PSA_SUCCESS );
429}
430
Gilles Peskine2d277862018-06-18 15:41:12 +0200431psa_status_t psa_get_key_information( psa_key_slot_t key,
432 psa_key_type_t *type,
433 size_t *bits )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100434{
435 key_slot_t *slot;
436
437 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100438 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100439 slot = &global_data.key_slots[key];
440 if( type != NULL )
441 *type = slot->type;
442 if( bits != NULL )
443 *bits = 0;
444 if( slot->type == PSA_KEY_TYPE_NONE )
445 return( PSA_ERROR_EMPTY_SLOT );
446
Gilles Peskine8c9def32018-02-08 10:02:12 +0100447 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100448 {
449 if( bits != NULL )
450 *bits = slot->data.raw.bytes * 8;
451 }
452 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100453#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100454 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
455 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100456 {
457 if( bits != NULL )
Gilles Peskine969ac722018-01-28 18:16:59 +0100458 *bits = mbedtls_rsa_get_bitlen( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100459 }
460 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100461#endif /* defined(MBEDTLS_RSA_C) */
462#if defined(MBEDTLS_ECP_C)
463 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
464 {
465 if( bits != NULL )
466 *bits = slot->data.ecp->grp.pbits;
467 }
468 else
469#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100470 {
471 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100472 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100473 return( PSA_ERROR_TAMPERING_DETECTED );
474 }
475
476 return( PSA_SUCCESS );
477}
478
Gilles Peskine2d277862018-06-18 15:41:12 +0200479static psa_status_t psa_internal_export_key( psa_key_slot_t key,
480 uint8_t *data,
481 size_t data_size,
482 size_t *data_length,
483 int export_public_key )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100484{
485 key_slot_t *slot;
486
487 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100488 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100489 slot = &global_data.key_slots[key];
490 if( slot->type == PSA_KEY_TYPE_NONE )
491 return( PSA_ERROR_EMPTY_SLOT );
492
Gilles Peskinec1bb6c82018-06-18 16:04:39 +0200493 if( export_public_key && ! PSA_KEY_TYPE_IS_ASYMMETRIC( slot->type ) )
Moran Pekera998bc62018-04-16 18:16:20 +0300494 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad160306e79202018-03-28 13:17:44 +0300495
Gilles Peskinec1bb6c82018-06-18 16:04:39 +0200496 if( ! export_public_key &&
497 ! PSA_KEY_TYPE_IS_PUBLIC_KEY( slot->type ) &&
498 ( slot->policy.usage & PSA_KEY_USAGE_EXPORT ) == 0 )
Moran Peker87567632018-06-04 18:41:37 +0300499 return( PSA_ERROR_NOT_PERMITTED );
Gilles Peskine2d277862018-06-18 15:41:12 +0200500
Gilles Peskine8c9def32018-02-08 10:02:12 +0100501 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100502 {
503 if( slot->data.raw.bytes > data_size )
504 return( PSA_ERROR_BUFFER_TOO_SMALL );
505 memcpy( data, slot->data.raw.data, slot->data.raw.bytes );
506 *data_length = slot->data.raw.bytes;
507 return( PSA_SUCCESS );
508 }
509 else
Moran Peker17e36e12018-05-02 12:55:20 +0300510 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100511#if defined(MBEDTLS_PK_WRITE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100512 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
Moran Pekera998bc62018-04-16 18:16:20 +0300513 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR ||
514 PSA_KEY_TYPE_IS_ECC( slot->type ) )
Gilles Peskine969ac722018-01-28 18:16:59 +0100515 {
Moran Pekera998bc62018-04-16 18:16:20 +0300516 mbedtls_pk_context pk;
517 int ret;
518 mbedtls_pk_init( &pk );
519 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
520 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
521 {
522 pk.pk_info = &mbedtls_rsa_info;
523 pk.pk_ctx = slot->data.rsa;
524 }
525 else
526 {
527 pk.pk_info = &mbedtls_eckey_info;
528 pk.pk_ctx = slot->data.ecp;
529 }
Moran Pekerd7326592018-05-29 16:56:39 +0300530 if( export_public_key || PSA_KEY_TYPE_IS_PUBLIC_KEY( slot->type ) )
Moran Pekera998bc62018-04-16 18:16:20 +0300531 ret = mbedtls_pk_write_pubkey_der( &pk, data, data_size );
Moran Peker17e36e12018-05-02 12:55:20 +0300532 else
533 ret = mbedtls_pk_write_key_der( &pk, data, data_size );
Moran Peker60364322018-04-29 11:34:58 +0300534 if( ret < 0 )
Moran Pekera998bc62018-04-16 18:16:20 +0300535 return( mbedtls_to_psa_error( ret ) );
536 *data_length = ret;
537 return( PSA_SUCCESS );
Gilles Peskine969ac722018-01-28 18:16:59 +0100538 }
539 else
Gilles Peskine6d912132018-03-07 16:41:37 +0100540#endif /* defined(MBEDTLS_PK_WRITE_C) */
Moran Pekera998bc62018-04-16 18:16:20 +0300541 {
542 /* This shouldn't happen in the reference implementation, but
Gilles Peskine785fd552018-06-04 15:08:56 +0200543 it is valid for a special-purpose implementation to omit
544 support for exporting certain key types. */
Moran Pekera998bc62018-04-16 18:16:20 +0300545 return( PSA_ERROR_NOT_SUPPORTED );
546 }
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100547 }
548}
549
Gilles Peskine2d277862018-06-18 15:41:12 +0200550psa_status_t psa_export_key( psa_key_slot_t key,
551 uint8_t *data,
552 size_t data_size,
553 size_t *data_length )
Moran Pekera998bc62018-04-16 18:16:20 +0300554{
Gilles Peskinec1bb6c82018-06-18 16:04:39 +0200555 return( psa_internal_export_key( key, data, data_size,
556 data_length, 0 ) );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100557}
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100558
559
Gilles Peskine2d277862018-06-18 15:41:12 +0200560psa_status_t psa_export_public_key( psa_key_slot_t key,
561 uint8_t *data,
562 size_t data_size,
563 size_t *data_length )
Moran Pekerdd4ea382018-04-03 15:30:03 +0300564{
Gilles Peskinec1bb6c82018-06-18 16:04:39 +0200565 return( psa_internal_export_key( key, data, data_size,
566 data_length, 1 ) );
Moran Pekerdd4ea382018-04-03 15:30:03 +0300567}
568
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100569/****************************************************************/
Gilles Peskine20035e32018-02-03 22:44:14 +0100570/* Message digests */
571/****************************************************************/
572
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100573static const mbedtls_md_info_t *mbedtls_md_info_from_psa( psa_algorithm_t alg )
Gilles Peskine20035e32018-02-03 22:44:14 +0100574{
575 switch( alg )
576 {
577#if defined(MBEDTLS_MD2_C)
578 case PSA_ALG_MD2:
579 return( &mbedtls_md2_info );
580#endif
581#if defined(MBEDTLS_MD4_C)
582 case PSA_ALG_MD4:
583 return( &mbedtls_md4_info );
584#endif
585#if defined(MBEDTLS_MD5_C)
586 case PSA_ALG_MD5:
587 return( &mbedtls_md5_info );
588#endif
589#if defined(MBEDTLS_RIPEMD160_C)
590 case PSA_ALG_RIPEMD160:
591 return( &mbedtls_ripemd160_info );
592#endif
593#if defined(MBEDTLS_SHA1_C)
594 case PSA_ALG_SHA_1:
595 return( &mbedtls_sha1_info );
596#endif
597#if defined(MBEDTLS_SHA256_C)
598 case PSA_ALG_SHA_224:
599 return( &mbedtls_sha224_info );
600 case PSA_ALG_SHA_256:
601 return( &mbedtls_sha256_info );
602#endif
603#if defined(MBEDTLS_SHA512_C)
604 case PSA_ALG_SHA_384:
605 return( &mbedtls_sha384_info );
606 case PSA_ALG_SHA_512:
607 return( &mbedtls_sha512_info );
608#endif
609 default:
610 return( NULL );
611 }
612}
613
614#if 0
615static psa_algorithm_t mbedtls_md_alg_to_psa( mbedtls_md_type_t md_alg )
616{
617 switch( md_alg )
618 {
619 case MBEDTLS_MD_NONE:
620 return( 0 );
621 case MBEDTLS_MD_MD2:
622 return( PSA_ALG_MD2 );
623 case MBEDTLS_MD_MD4:
624 return( PSA_ALG_MD4 );
625 case MBEDTLS_MD_MD5:
626 return( PSA_ALG_MD5 );
627 case MBEDTLS_MD_SHA1:
628 return( PSA_ALG_SHA_1 );
629 case MBEDTLS_MD_SHA224:
630 return( PSA_ALG_SHA_224 );
631 case MBEDTLS_MD_SHA256:
632 return( PSA_ALG_SHA_256 );
633 case MBEDTLS_MD_SHA384:
634 return( PSA_ALG_SHA_384 );
635 case MBEDTLS_MD_SHA512:
636 return( PSA_ALG_SHA_512 );
637 case MBEDTLS_MD_RIPEMD160:
638 return( PSA_ALG_RIPEMD160 );
639 default:
Gilles Peskine47c1bc02018-03-20 17:55:04 +0100640 return( 0 );
Gilles Peskine20035e32018-02-03 22:44:14 +0100641 }
642}
643#endif
644
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100645psa_status_t psa_hash_abort( psa_hash_operation_t *operation )
646{
647 switch( operation->alg )
648 {
649#if defined(MBEDTLS_MD2_C)
650 case PSA_ALG_MD2:
651 mbedtls_md2_free( &operation->ctx.md2 );
652 break;
653#endif
654#if defined(MBEDTLS_MD4_C)
655 case PSA_ALG_MD4:
656 mbedtls_md4_free( &operation->ctx.md4 );
657 break;
658#endif
659#if defined(MBEDTLS_MD5_C)
660 case PSA_ALG_MD5:
661 mbedtls_md5_free( &operation->ctx.md5 );
662 break;
663#endif
664#if defined(MBEDTLS_RIPEMD160_C)
665 case PSA_ALG_RIPEMD160:
666 mbedtls_ripemd160_free( &operation->ctx.ripemd160 );
667 break;
668#endif
669#if defined(MBEDTLS_SHA1_C)
670 case PSA_ALG_SHA_1:
671 mbedtls_sha1_free( &operation->ctx.sha1 );
672 break;
673#endif
674#if defined(MBEDTLS_SHA256_C)
675 case PSA_ALG_SHA_224:
676 case PSA_ALG_SHA_256:
677 mbedtls_sha256_free( &operation->ctx.sha256 );
678 break;
679#endif
680#if defined(MBEDTLS_SHA512_C)
681 case PSA_ALG_SHA_384:
682 case PSA_ALG_SHA_512:
683 mbedtls_sha512_free( &operation->ctx.sha512 );
684 break;
685#endif
686 default:
687 return( PSA_ERROR_NOT_SUPPORTED );
688 }
689 operation->alg = 0;
690 return( PSA_SUCCESS );
691}
692
693psa_status_t psa_hash_start( psa_hash_operation_t *operation,
694 psa_algorithm_t alg )
695{
696 int ret;
697 operation->alg = 0;
698 switch( alg )
699 {
700#if defined(MBEDTLS_MD2_C)
701 case PSA_ALG_MD2:
702 mbedtls_md2_init( &operation->ctx.md2 );
703 ret = mbedtls_md2_starts_ret( &operation->ctx.md2 );
704 break;
705#endif
706#if defined(MBEDTLS_MD4_C)
707 case PSA_ALG_MD4:
708 mbedtls_md4_init( &operation->ctx.md4 );
709 ret = mbedtls_md4_starts_ret( &operation->ctx.md4 );
710 break;
711#endif
712#if defined(MBEDTLS_MD5_C)
713 case PSA_ALG_MD5:
714 mbedtls_md5_init( &operation->ctx.md5 );
715 ret = mbedtls_md5_starts_ret( &operation->ctx.md5 );
716 break;
717#endif
718#if defined(MBEDTLS_RIPEMD160_C)
719 case PSA_ALG_RIPEMD160:
720 mbedtls_ripemd160_init( &operation->ctx.ripemd160 );
721 ret = mbedtls_ripemd160_starts_ret( &operation->ctx.ripemd160 );
722 break;
723#endif
724#if defined(MBEDTLS_SHA1_C)
725 case PSA_ALG_SHA_1:
726 mbedtls_sha1_init( &operation->ctx.sha1 );
727 ret = mbedtls_sha1_starts_ret( &operation->ctx.sha1 );
728 break;
729#endif
730#if defined(MBEDTLS_SHA256_C)
731 case PSA_ALG_SHA_224:
732 mbedtls_sha256_init( &operation->ctx.sha256 );
733 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 1 );
734 break;
735 case PSA_ALG_SHA_256:
736 mbedtls_sha256_init( &operation->ctx.sha256 );
737 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 0 );
738 break;
739#endif
740#if defined(MBEDTLS_SHA512_C)
741 case PSA_ALG_SHA_384:
742 mbedtls_sha512_init( &operation->ctx.sha512 );
743 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 1 );
744 break;
745 case PSA_ALG_SHA_512:
746 mbedtls_sha512_init( &operation->ctx.sha512 );
747 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 0 );
748 break;
749#endif
750 default:
751 return( PSA_ERROR_NOT_SUPPORTED );
752 }
753 if( ret == 0 )
754 operation->alg = alg;
755 else
756 psa_hash_abort( operation );
757 return( mbedtls_to_psa_error( ret ) );
758}
759
760psa_status_t psa_hash_update( psa_hash_operation_t *operation,
761 const uint8_t *input,
762 size_t input_length )
763{
764 int ret;
765 switch( operation->alg )
766 {
767#if defined(MBEDTLS_MD2_C)
768 case PSA_ALG_MD2:
769 ret = mbedtls_md2_update_ret( &operation->ctx.md2,
770 input, input_length );
771 break;
772#endif
773#if defined(MBEDTLS_MD4_C)
774 case PSA_ALG_MD4:
775 ret = mbedtls_md4_update_ret( &operation->ctx.md4,
776 input, input_length );
777 break;
778#endif
779#if defined(MBEDTLS_MD5_C)
780 case PSA_ALG_MD5:
781 ret = mbedtls_md5_update_ret( &operation->ctx.md5,
782 input, input_length );
783 break;
784#endif
785#if defined(MBEDTLS_RIPEMD160_C)
786 case PSA_ALG_RIPEMD160:
787 ret = mbedtls_ripemd160_update_ret( &operation->ctx.ripemd160,
788 input, input_length );
789 break;
790#endif
791#if defined(MBEDTLS_SHA1_C)
792 case PSA_ALG_SHA_1:
793 ret = mbedtls_sha1_update_ret( &operation->ctx.sha1,
794 input, input_length );
795 break;
796#endif
797#if defined(MBEDTLS_SHA256_C)
798 case PSA_ALG_SHA_224:
799 case PSA_ALG_SHA_256:
800 ret = mbedtls_sha256_update_ret( &operation->ctx.sha256,
801 input, input_length );
802 break;
803#endif
804#if defined(MBEDTLS_SHA512_C)
805 case PSA_ALG_SHA_384:
806 case PSA_ALG_SHA_512:
807 ret = mbedtls_sha512_update_ret( &operation->ctx.sha512,
808 input, input_length );
809 break;
810#endif
811 default:
812 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
813 break;
814 }
815 if( ret != 0 )
816 psa_hash_abort( operation );
817 return( mbedtls_to_psa_error( ret ) );
818}
819
820psa_status_t psa_hash_finish( psa_hash_operation_t *operation,
821 uint8_t *hash,
822 size_t hash_size,
823 size_t *hash_length )
824{
825 int ret;
Gilles Peskine71bb7b72018-04-19 08:29:59 +0200826 size_t actual_hash_length = PSA_HASH_SIZE( operation->alg );
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100827
828 /* Fill the output buffer with something that isn't a valid hash
829 * (barring an attack on the hash and deliberately-crafted input),
830 * in case the caller doesn't check the return status properly. */
831 *hash_length = actual_hash_length;
832 memset( hash, '!', hash_size );
833
834 if( hash_size < actual_hash_length )
835 return( PSA_ERROR_BUFFER_TOO_SMALL );
836
837 switch( operation->alg )
838 {
839#if defined(MBEDTLS_MD2_C)
840 case PSA_ALG_MD2:
841 ret = mbedtls_md2_finish_ret( &operation->ctx.md2, hash );
842 break;
843#endif
844#if defined(MBEDTLS_MD4_C)
845 case PSA_ALG_MD4:
846 ret = mbedtls_md4_finish_ret( &operation->ctx.md4, hash );
847 break;
848#endif
849#if defined(MBEDTLS_MD5_C)
850 case PSA_ALG_MD5:
851 ret = mbedtls_md5_finish_ret( &operation->ctx.md5, hash );
852 break;
853#endif
854#if defined(MBEDTLS_RIPEMD160_C)
855 case PSA_ALG_RIPEMD160:
856 ret = mbedtls_ripemd160_finish_ret( &operation->ctx.ripemd160, hash );
857 break;
858#endif
859#if defined(MBEDTLS_SHA1_C)
860 case PSA_ALG_SHA_1:
861 ret = mbedtls_sha1_finish_ret( &operation->ctx.sha1, hash );
862 break;
863#endif
864#if defined(MBEDTLS_SHA256_C)
865 case PSA_ALG_SHA_224:
866 case PSA_ALG_SHA_256:
867 ret = mbedtls_sha256_finish_ret( &operation->ctx.sha256, hash );
868 break;
869#endif
870#if defined(MBEDTLS_SHA512_C)
871 case PSA_ALG_SHA_384:
872 case PSA_ALG_SHA_512:
873 ret = mbedtls_sha512_finish_ret( &operation->ctx.sha512, hash );
874 break;
875#endif
876 default:
877 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
878 break;
879 }
880
881 if( ret == 0 )
882 {
883 return( psa_hash_abort( operation ) );
884 }
885 else
886 {
887 psa_hash_abort( operation );
888 return( mbedtls_to_psa_error( ret ) );
889 }
890}
891
Gilles Peskine2d277862018-06-18 15:41:12 +0200892psa_status_t psa_hash_verify( psa_hash_operation_t *operation,
893 const uint8_t *hash,
894 size_t hash_length )
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100895{
896 uint8_t actual_hash[MBEDTLS_MD_MAX_SIZE];
897 size_t actual_hash_length;
898 psa_status_t status = psa_hash_finish( operation,
899 actual_hash, sizeof( actual_hash ),
900 &actual_hash_length );
901 if( status != PSA_SUCCESS )
902 return( status );
903 if( actual_hash_length != hash_length )
904 return( PSA_ERROR_INVALID_SIGNATURE );
905 if( safer_memcmp( hash, actual_hash, actual_hash_length ) != 0 )
906 return( PSA_ERROR_INVALID_SIGNATURE );
907 return( PSA_SUCCESS );
908}
909
910
911
912
913/****************************************************************/
Gilles Peskine8c9def32018-02-08 10:02:12 +0100914/* MAC */
915/****************************************************************/
916
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100917static const mbedtls_cipher_info_t *mbedtls_cipher_info_from_psa(
Gilles Peskine8c9def32018-02-08 10:02:12 +0100918 psa_algorithm_t alg,
919 psa_key_type_t key_type,
Gilles Peskine2d277862018-06-18 15:41:12 +0200920 size_t key_bits,
mohammad1603f4f0d612018-06-03 15:04:51 +0300921 mbedtls_cipher_id_t* cipher_id )
Gilles Peskine8c9def32018-02-08 10:02:12 +0100922{
Gilles Peskine8c9def32018-02-08 10:02:12 +0100923 mbedtls_cipher_mode_t mode;
mohammad1603f4f0d612018-06-03 15:04:51 +0300924 mbedtls_cipher_id_t cipher_id_tmp;
Gilles Peskine8c9def32018-02-08 10:02:12 +0100925
926 if( PSA_ALG_IS_CIPHER( alg ) || PSA_ALG_IS_AEAD( alg ) )
927 {
928 if( PSA_ALG_IS_BLOCK_CIPHER( alg ) )
mohammad16038481e742018-03-18 13:57:31 +0200929 {
930 alg &= ~PSA_ALG_BLOCK_CIPHER_PADDING_MASK;
931 }
Gilles Peskine7e454bc2018-06-11 17:26:17 +0200932
Nir Sonnenscheine9664c32018-06-17 14:41:30 +0300933 switch( alg )
Gilles Peskine8c9def32018-02-08 10:02:12 +0100934 {
935 case PSA_ALG_STREAM_CIPHER:
936 mode = MBEDTLS_MODE_STREAM;
937 break;
938 case PSA_ALG_CBC_BASE:
939 mode = MBEDTLS_MODE_CBC;
940 break;
941 case PSA_ALG_CFB_BASE:
942 mode = MBEDTLS_MODE_CFB;
943 break;
944 case PSA_ALG_OFB_BASE:
945 mode = MBEDTLS_MODE_OFB;
946 break;
947 case PSA_ALG_CTR:
948 mode = MBEDTLS_MODE_CTR;
949 break;
950 case PSA_ALG_CCM:
951 mode = MBEDTLS_MODE_CCM;
952 break;
953 case PSA_ALG_GCM:
954 mode = MBEDTLS_MODE_GCM;
955 break;
956 default:
957 return( NULL );
958 }
959 }
960 else if( alg == PSA_ALG_CMAC )
961 mode = MBEDTLS_MODE_ECB;
962 else if( alg == PSA_ALG_GMAC )
963 mode = MBEDTLS_MODE_GCM;
964 else
965 return( NULL );
966
967 switch( key_type )
968 {
969 case PSA_KEY_TYPE_AES:
mohammad1603f4f0d612018-06-03 15:04:51 +0300970 cipher_id_tmp = MBEDTLS_CIPHER_ID_AES;
Gilles Peskine8c9def32018-02-08 10:02:12 +0100971 break;
972 case PSA_KEY_TYPE_DES:
973 if( key_bits == 64 )
mohammad1603f4f0d612018-06-03 15:04:51 +0300974 cipher_id_tmp = MBEDTLS_CIPHER_ID_DES;
Gilles Peskine8c9def32018-02-08 10:02:12 +0100975 else
mohammad1603f4f0d612018-06-03 15:04:51 +0300976 cipher_id_tmp = MBEDTLS_CIPHER_ID_3DES;
Gilles Peskine8c9def32018-02-08 10:02:12 +0100977 break;
978 case PSA_KEY_TYPE_CAMELLIA:
mohammad1603f4f0d612018-06-03 15:04:51 +0300979 cipher_id_tmp = MBEDTLS_CIPHER_ID_CAMELLIA;
Gilles Peskine8c9def32018-02-08 10:02:12 +0100980 break;
981 case PSA_KEY_TYPE_ARC4:
mohammad1603f4f0d612018-06-03 15:04:51 +0300982 cipher_id_tmp = MBEDTLS_CIPHER_ID_ARC4;
Gilles Peskine8c9def32018-02-08 10:02:12 +0100983 break;
984 default:
985 return( NULL );
986 }
mohammad1603f4f0d612018-06-03 15:04:51 +0300987 if( cipher_id != NULL )
mohammad160360a64d02018-06-03 17:20:42 +0300988 *cipher_id = cipher_id_tmp;
Gilles Peskine8c9def32018-02-08 10:02:12 +0100989
mohammad1603f4f0d612018-06-03 15:04:51 +0300990 return( mbedtls_cipher_info_from_values( cipher_id_tmp, key_bits, mode ) );
Gilles Peskine8c9def32018-02-08 10:02:12 +0100991}
992
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +0300993static size_t psa_get_hash_block_size( psa_algorithm_t alg )
Nir Sonnenschein96272412018-06-17 14:41:10 +0300994{
Gilles Peskine2d277862018-06-18 15:41:12 +0200995 switch( alg )
Nir Sonnenschein96272412018-06-17 14:41:10 +0300996 {
997 case PSA_ALG_MD2:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +0300998 return( 16 );
Nir Sonnenschein96272412018-06-17 14:41:10 +0300999 case PSA_ALG_MD4:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001000 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001001 case PSA_ALG_MD5:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001002 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001003 case PSA_ALG_RIPEMD160:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001004 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001005 case PSA_ALG_SHA_1:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001006 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001007 case PSA_ALG_SHA_224:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001008 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001009 case PSA_ALG_SHA_256:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001010 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001011 case PSA_ALG_SHA_384:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001012 return( 128 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001013 case PSA_ALG_SHA_512:
Gilles Peskine2d277862018-06-18 15:41:12 +02001014 return( 128 );
1015 default:
1016 return( 0 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001017 }
1018}
Nir Sonnenschein0c9ec532018-06-07 13:27:47 +03001019
Gilles Peskine8c9def32018-02-08 10:02:12 +01001020psa_status_t psa_mac_abort( psa_mac_operation_t *operation )
1021{
1022 switch( operation->alg )
1023 {
1024#if defined(MBEDTLS_CMAC_C)
1025 case PSA_ALG_CMAC:
1026 mbedtls_cipher_free( &operation->ctx.cmac );
1027 break;
1028#endif /* MBEDTLS_CMAC_C */
1029 default:
1030#if defined(MBEDTLS_MD_C)
1031 if( PSA_ALG_IS_HMAC( operation->alg ) )
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001032 {
Gilles Peskine99bc6492018-06-11 17:13:00 +02001033 unsigned int block_size =
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001034 psa_get_hash_block_size( PSA_ALG_HMAC_HASH( operation->alg ) );
Nir Sonnenschein084832d2018-06-08 22:52:24 +03001035
Gilles Peskine99bc6492018-06-11 17:13:00 +02001036 if( block_size == 0 )
Nir Sonnenschein084832d2018-06-08 22:52:24 +03001037 return( PSA_ERROR_NOT_SUPPORTED );
1038
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001039 psa_hash_abort( &operation->ctx.hmac.hash_ctx );
Gilles Peskine2d277862018-06-18 15:41:12 +02001040 mbedtls_zeroize( operation->ctx.hmac.opad, block_size );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001041 }
Gilles Peskine8c9def32018-02-08 10:02:12 +01001042 else
1043#endif /* MBEDTLS_MD_C */
1044 return( PSA_ERROR_NOT_SUPPORTED );
1045 }
Moran Peker41deec42018-04-04 15:43:05 +03001046
Gilles Peskine8c9def32018-02-08 10:02:12 +01001047 operation->alg = 0;
1048 operation->key_set = 0;
1049 operation->iv_set = 0;
1050 operation->iv_required = 0;
1051 operation->has_input = 0;
Moran Peker41deec42018-04-04 15:43:05 +03001052
Gilles Peskine8c9def32018-02-08 10:02:12 +01001053 return( PSA_SUCCESS );
1054}
1055
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001056static int psa_cmac_start( psa_mac_operation_t *operation,
1057 size_t key_bits,
1058 key_slot_t *slot,
1059 const mbedtls_cipher_info_t *cipher_info )
1060{
1061 int ret;
1062
1063 operation->mac_size = cipher_info->block_size;
1064 operation->iv_required = 0;
1065 mbedtls_cipher_init( &operation->ctx.cmac );
1066
1067 ret = mbedtls_cipher_setup( &operation->ctx.cmac, cipher_info );
1068 if( ret != 0 )
1069 return( ret );
1070
1071 ret = mbedtls_cipher_cmac_starts( &operation->ctx.cmac,
1072 slot->data.raw.data,
1073 key_bits );
1074 return( ret );
1075}
1076
1077static int psa_hmac_start( psa_mac_operation_t *operation,
1078 psa_key_type_t key_type,
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001079 key_slot_t *slot,
1080 psa_algorithm_t alg )
1081{
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001082 unsigned char ipad[PSA_CRYPTO_MD_BLOCK_SIZE];
Nir Sonnenschein5ca65472018-06-17 14:03:40 +03001083 unsigned char *opad = operation->ctx.hmac.opad;
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001084 size_t i;
Gilles Peskinee1bc6802018-06-11 17:36:05 +02001085 size_t block_size =
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001086 psa_get_hash_block_size( PSA_ALG_HMAC_HASH( alg ) );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001087 unsigned int digest_size =
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001088 PSA_HASH_SIZE( PSA_ALG_HMAC_HASH( alg ) );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001089 size_t key_length = slot->data.raw.bytes;
1090 psa_status_t status;
1091
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001092 if( block_size == 0 || digest_size == 0 )
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001093 return( PSA_ERROR_NOT_SUPPORTED );
1094
1095 if( key_type != PSA_KEY_TYPE_HMAC )
1096 return( PSA_ERROR_INVALID_ARGUMENT );
1097
1098 operation->iv_required = 0;
1099 operation->mac_size = digest_size;
1100
1101 status = psa_hash_start( &operation->ctx.hmac.hash_ctx,
1102 PSA_ALG_HMAC_HASH( alg ) );
1103 if( status != PSA_SUCCESS )
1104 return( status );
1105
Gilles Peskined223b522018-06-11 18:12:58 +02001106 if( key_length > block_size )
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001107 {
1108 status = psa_hash_update( &operation->ctx.hmac.hash_ctx,
Gilles Peskined223b522018-06-11 18:12:58 +02001109 slot->data.raw.data, slot->data.raw.bytes );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001110 if( status != PSA_SUCCESS )
1111 return( status );
1112 status = psa_hash_finish( &operation->ctx.hmac.hash_ctx,
Gilles Peskined223b522018-06-11 18:12:58 +02001113 ipad, sizeof( ipad ), &key_length );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001114 if( status != PSA_SUCCESS )
1115 return( status );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001116 }
Gilles Peskined223b522018-06-11 18:12:58 +02001117 else
1118 memcpy( ipad, slot->data.raw.data, slot->data.raw.bytes );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001119
Gilles Peskined223b522018-06-11 18:12:58 +02001120 /* ipad contains the key followed by garbage. Xor and fill with 0x36
1121 * to create the ipad value. */
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001122 for( i = 0; i < key_length; i++ )
Gilles Peskined223b522018-06-11 18:12:58 +02001123 ipad[i] ^= 0x36;
1124 memset( ipad + key_length, 0x36, block_size - key_length );
1125
1126 /* Copy the key material from ipad to opad, flipping the requisite bits,
1127 * and filling the rest of opad with the requisite constant. */
1128 for( i = 0; i < key_length; i++ )
1129 opad[i] = ipad[i] ^ 0x36 ^ 0x5C;
1130 memset( opad + key_length, 0x5C, block_size - key_length );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001131
1132 status = psa_hash_start( &operation->ctx.hmac.hash_ctx,
1133 PSA_ALG_HMAC_HASH( alg ) );
1134 if( status != PSA_SUCCESS )
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001135 goto cleanup;
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001136
1137 status = psa_hash_update( &operation->ctx.hmac.hash_ctx, ipad,
1138 block_size );
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001139
1140cleanup:
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001141 mbedtls_zeroize( ipad, key_length );
1142 /* opad is in the context. It needs to stay in memory if this function
1143 * succeeds, and it will be wiped by psa_mac_abort() called from
1144 * psa_mac_start in the error case. */
1145
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001146 return( status );
1147}
1148
Gilles Peskine8c9def32018-02-08 10:02:12 +01001149psa_status_t psa_mac_start( psa_mac_operation_t *operation,
1150 psa_key_slot_t key,
1151 psa_algorithm_t alg )
1152{
Gilles Peskine8c9def32018-02-08 10:02:12 +01001153 psa_status_t status;
1154 key_slot_t *slot;
1155 psa_key_type_t key_type;
1156 size_t key_bits;
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001157 const mbedtls_cipher_info_t *cipher_info;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001158
1159 operation->alg = 0;
1160 operation->key_set = 0;
1161 operation->iv_set = 0;
1162 operation->iv_required = 1;
1163 operation->has_input = 0;
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001164 operation->key_usage_sign = 0;
1165 operation->key_usage_verify = 0;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001166
1167 status = psa_get_key_information( key, &key_type, &key_bits );
1168 if( status != PSA_SUCCESS )
1169 return( status );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001170
Gilles Peskine8c9def32018-02-08 10:02:12 +01001171 slot = &global_data.key_slots[key];
Gilles Peskine99bc6492018-06-11 17:13:00 +02001172 if( slot->type == PSA_KEY_TYPE_NONE )
1173 return( PSA_ERROR_EMPTY_SLOT );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001174
Moran Pekerd7326592018-05-29 16:56:39 +03001175 if( ( slot->policy.usage & PSA_KEY_USAGE_SIGN ) != 0 )
mohammad16036df908f2018-04-02 08:34:15 -07001176 operation->key_usage_sign = 1;
1177
Moran Pekerd7326592018-05-29 16:56:39 +03001178 if( ( slot->policy.usage & PSA_KEY_USAGE_VERIFY ) != 0 )
mohammad16036df908f2018-04-02 08:34:15 -07001179 operation->key_usage_verify = 1;
1180
Gilles Peskine8c9def32018-02-08 10:02:12 +01001181 if( ! PSA_ALG_IS_HMAC( alg ) )
1182 {
mohammad1603f4f0d612018-06-03 15:04:51 +03001183 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type, key_bits, NULL );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001184 if( cipher_info == NULL )
1185 return( PSA_ERROR_NOT_SUPPORTED );
1186 operation->mac_size = cipher_info->block_size;
1187 }
1188 switch( alg )
1189 {
1190#if defined(MBEDTLS_CMAC_C)
1191 case PSA_ALG_CMAC:
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001192 status = mbedtls_to_psa_error( psa_cmac_start( operation,
1193 key_bits,
1194 slot,
1195 cipher_info ) );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001196 break;
1197#endif /* MBEDTLS_CMAC_C */
1198 default:
1199#if defined(MBEDTLS_MD_C)
1200 if( PSA_ALG_IS_HMAC( alg ) )
Gilles Peskined223b522018-06-11 18:12:58 +02001201 status = psa_hmac_start( operation, key_type, slot, alg );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001202 else
1203#endif /* MBEDTLS_MD_C */
1204 return( PSA_ERROR_NOT_SUPPORTED );
1205 }
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001206
Gilles Peskine8c9def32018-02-08 10:02:12 +01001207 /* If we reach this point, then the algorithm-specific part of the
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001208
1209 * context may contain data that needs to be wiped on error. */
1210 if( status != PSA_SUCCESS )
Gilles Peskine8c9def32018-02-08 10:02:12 +01001211 {
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001212 psa_mac_abort( operation );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001213 }
Gilles Peskine99bc6492018-06-11 17:13:00 +02001214
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001215 else
1216 {
1217 operation->alg = alg;
1218 operation->key_set = 1;
1219 }
1220 return( status );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001221}
1222
1223psa_status_t psa_mac_update( psa_mac_operation_t *operation,
1224 const uint8_t *input,
1225 size_t input_length )
1226{
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001227 int ret = 0 ;
1228 psa_status_t status = PSA_SUCCESS;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001229 if( ! operation->key_set )
1230 return( PSA_ERROR_BAD_STATE );
1231 if( operation->iv_required && ! operation->iv_set )
1232 return( PSA_ERROR_BAD_STATE );
1233 operation->has_input = 1;
1234
1235 switch( operation->alg )
1236 {
1237#if defined(MBEDTLS_CMAC_C)
1238 case PSA_ALG_CMAC:
1239 ret = mbedtls_cipher_cmac_update( &operation->ctx.cmac,
1240 input, input_length );
1241 break;
1242#endif /* MBEDTLS_CMAC_C */
1243 default:
1244#if defined(MBEDTLS_MD_C)
1245 if( PSA_ALG_IS_HMAC( operation->alg ) )
1246 {
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001247 status = psa_hash_update( &operation->ctx.hmac.hash_ctx, input,
Gilles Peskine2d277862018-06-18 15:41:12 +02001248 input_length );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001249 }
1250 else
1251#endif /* MBEDTLS_MD_C */
1252 {
1253 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1254 }
1255 break;
1256 }
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001257 if( ret != 0 || status != PSA_SUCCESS )
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001258 {
Nir Sonnenscheine9664c32018-06-17 14:41:30 +03001259 psa_mac_abort( operation );
Gilles Peskine2d277862018-06-18 15:41:12 +02001260 if( ret != 0 )
Nir Sonnenscheine9664c32018-06-17 14:41:30 +03001261 status = mbedtls_to_psa_error( ret );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001262 }
1263
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001264 return( status );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001265}
1266
mohammad16036df908f2018-04-02 08:34:15 -07001267static psa_status_t psa_mac_finish_internal( psa_mac_operation_t *operation,
Gilles Peskine2d277862018-06-18 15:41:12 +02001268 uint8_t *mac,
1269 size_t mac_size,
1270 size_t *mac_length )
Gilles Peskine8c9def32018-02-08 10:02:12 +01001271{
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001272 int ret = 0;
1273 psa_status_t status = PSA_SUCCESS;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001274 if( ! operation->key_set )
1275 return( PSA_ERROR_BAD_STATE );
1276 if( operation->iv_required && ! operation->iv_set )
1277 return( PSA_ERROR_BAD_STATE );
1278
1279 /* Fill the output buffer with something that isn't a valid mac
1280 * (barring an attack on the mac and deliberately-crafted input),
1281 * in case the caller doesn't check the return status properly. */
1282 *mac_length = operation->mac_size;
1283 memset( mac, '!', mac_size );
1284
1285 if( mac_size < operation->mac_size )
1286 return( PSA_ERROR_BUFFER_TOO_SMALL );
1287
1288 switch( operation->alg )
1289 {
1290#if defined(MBEDTLS_CMAC_C)
1291 case PSA_ALG_CMAC:
1292 ret = mbedtls_cipher_cmac_finish( &operation->ctx.cmac, mac );
1293 break;
1294#endif /* MBEDTLS_CMAC_C */
1295 default:
1296#if defined(MBEDTLS_MD_C)
1297 if( PSA_ALG_IS_HMAC( operation->alg ) )
1298 {
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001299 unsigned char tmp[MBEDTLS_MD_MAX_SIZE];
Nir Sonnenschein5ca65472018-06-17 14:03:40 +03001300 unsigned char *opad = operation->ctx.hmac.opad;
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001301 size_t hash_size = 0;
Nir Sonnenschein96272412018-06-17 14:41:10 +03001302 size_t block_size =
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001303 psa_get_hash_block_size( PSA_ALG_HMAC_HASH( operation->alg ) );
Nir Sonnenschein084832d2018-06-08 22:52:24 +03001304
Gilles Peskine99bc6492018-06-11 17:13:00 +02001305 if( block_size == 0 )
1306 return( PSA_ERROR_NOT_SUPPORTED );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001307
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001308 status = psa_hash_finish( &operation->ctx.hmac.hash_ctx, tmp,
Gilles Peskine99bc6492018-06-11 17:13:00 +02001309 sizeof( tmp ), &hash_size );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001310 if( status != PSA_SUCCESS )
1311 goto cleanup;
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001312 /* From here on, tmp needs to be wiped. */
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001313
1314 status = psa_hash_start( &operation->ctx.hmac.hash_ctx,
1315 PSA_ALG_HMAC_HASH( operation->alg ) );
1316 if( status != PSA_SUCCESS )
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001317 goto hmac_cleanup;
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001318
1319 status = psa_hash_update( &operation->ctx.hmac.hash_ctx, opad,
Nir Sonnenschein0c9ec532018-06-07 13:27:47 +03001320 block_size );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001321 if( status != PSA_SUCCESS )
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001322 goto hmac_cleanup;
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001323
1324 status = psa_hash_update( &operation->ctx.hmac.hash_ctx, tmp,
Gilles Peskine2d277862018-06-18 15:41:12 +02001325 hash_size );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001326 if( status != PSA_SUCCESS )
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001327 goto hmac_cleanup;
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001328
1329 status = psa_hash_finish( &operation->ctx.hmac.hash_ctx, mac,
1330 mac_size, mac_length );
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001331 hmac_cleanup:
1332 mbedtls_zeroize( tmp, hash_size );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001333 }
1334 else
1335#endif /* MBEDTLS_MD_C */
1336 {
1337 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1338 }
1339 break;
1340 }
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001341cleanup:
Gilles Peskine8c9def32018-02-08 10:02:12 +01001342
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001343 if( ret == 0 && status == PSA_SUCCESS )
Gilles Peskine8c9def32018-02-08 10:02:12 +01001344 {
1345 return( psa_mac_abort( operation ) );
1346 }
1347 else
1348 {
1349 psa_mac_abort( operation );
Gilles Peskine99bc6492018-06-11 17:13:00 +02001350 if( ret != 0 )
Gilles Peskine2d277862018-06-18 15:41:12 +02001351 status = mbedtls_to_psa_error( ret );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001352
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001353 return( status );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001354 }
1355}
1356
mohammad16036df908f2018-04-02 08:34:15 -07001357psa_status_t psa_mac_finish( psa_mac_operation_t *operation,
1358 uint8_t *mac,
1359 size_t mac_size,
1360 size_t *mac_length )
1361{
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001362 if( ! operation->key_usage_sign )
mohammad16036df908f2018-04-02 08:34:15 -07001363 return( PSA_ERROR_NOT_PERMITTED );
1364
Gilles Peskine99bc6492018-06-11 17:13:00 +02001365 return( psa_mac_finish_internal( operation, mac,
1366 mac_size, mac_length ) );
mohammad16036df908f2018-04-02 08:34:15 -07001367}
1368
Gilles Peskine2d277862018-06-18 15:41:12 +02001369#define MBEDTLS_PSA_MAC_MAX_SIZE \
1370 ( MBEDTLS_MD_MAX_SIZE > MBEDTLS_MAX_BLOCK_LENGTH ? \
1371 MBEDTLS_MD_MAX_SIZE : \
Gilles Peskine8c9def32018-02-08 10:02:12 +01001372 MBEDTLS_MAX_BLOCK_LENGTH )
1373psa_status_t psa_mac_verify( psa_mac_operation_t *operation,
1374 const uint8_t *mac,
1375 size_t mac_length )
1376{
1377 uint8_t actual_mac[MBEDTLS_PSA_MAC_MAX_SIZE];
1378 size_t actual_mac_length;
mohammad16036df908f2018-04-02 08:34:15 -07001379 psa_status_t status;
1380
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001381 if( ! operation->key_usage_verify )
mohammad16036df908f2018-04-02 08:34:15 -07001382 return( PSA_ERROR_NOT_PERMITTED );
1383
1384 status = psa_mac_finish_internal( operation,
1385 actual_mac, sizeof( actual_mac ),
1386 &actual_mac_length );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001387 if( status != PSA_SUCCESS )
1388 return( status );
1389 if( actual_mac_length != mac_length )
1390 return( PSA_ERROR_INVALID_SIGNATURE );
1391 if( safer_memcmp( mac, actual_mac, actual_mac_length ) != 0 )
1392 return( PSA_ERROR_INVALID_SIGNATURE );
1393 return( PSA_SUCCESS );
1394}
1395
1396
Gilles Peskine20035e32018-02-03 22:44:14 +01001397
1398
1399/****************************************************************/
1400/* Asymmetric cryptography */
1401/****************************************************************/
1402
Gilles Peskine8b18a4f2018-06-08 16:34:46 +02001403/* Decode the hash algorithm from alg and store the mbedtls encoding in
1404 * md_alg. Verify that the hash length is consistent. */
1405static psa_status_t psa_rsa_decode_md_type( psa_algorithm_t alg,
1406 size_t hash_length,
1407 mbedtls_md_type_t *md_alg )
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001408{
Gilles Peskine61b91d42018-06-08 16:09:36 +02001409 psa_algorithm_t hash_alg = PSA_ALG_RSA_GET_HASH( alg );
1410 const mbedtls_md_info_t *md_info = mbedtls_md_info_from_psa( hash_alg );
1411 *md_alg = hash_alg == 0 ? MBEDTLS_MD_NONE : mbedtls_md_get_type( md_info );
1412 if( *md_alg == MBEDTLS_MD_NONE )
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001413 {
1414#if SIZE_MAX > UINT_MAX
Gilles Peskine61b91d42018-06-08 16:09:36 +02001415 if( hash_length > UINT_MAX )
1416 return( PSA_ERROR_INVALID_ARGUMENT );
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001417#endif
1418 }
1419 else
1420 {
Gilles Peskine61b91d42018-06-08 16:09:36 +02001421 if( mbedtls_md_get_size( md_info ) != hash_length )
1422 return( PSA_ERROR_INVALID_ARGUMENT );
1423 if( md_info == NULL )
1424 return( PSA_ERROR_NOT_SUPPORTED );
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001425 }
Gilles Peskine61b91d42018-06-08 16:09:36 +02001426 return( PSA_SUCCESS );
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001427}
1428
Gilles Peskine61b91d42018-06-08 16:09:36 +02001429psa_status_t psa_asymmetric_sign( psa_key_slot_t key,
1430 psa_algorithm_t alg,
1431 const uint8_t *hash,
1432 size_t hash_length,
1433 const uint8_t *salt,
1434 size_t salt_length,
1435 uint8_t *signature,
1436 size_t signature_size,
1437 size_t *signature_length )
Gilles Peskine20035e32018-02-03 22:44:14 +01001438{
1439 key_slot_t *slot;
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001440 psa_status_t status;
Gilles Peskine93aa0332018-02-03 23:58:03 +01001441 *signature_length = 0;
1442 (void) salt;
1443 (void) salt_length;
1444
Gilles Peskine20035e32018-02-03 22:44:14 +01001445 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1446 return( PSA_ERROR_EMPTY_SLOT );
1447 slot = &global_data.key_slots[key];
1448 if( slot->type == PSA_KEY_TYPE_NONE )
1449 return( PSA_ERROR_EMPTY_SLOT );
1450 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
1451 return( PSA_ERROR_INVALID_ARGUMENT );
Gilles Peskine61b91d42018-06-08 16:09:36 +02001452 if( ! ( slot->policy.usage & PSA_KEY_USAGE_SIGN ) )
mohammad160306e79202018-03-28 13:17:44 +03001453 return( PSA_ERROR_NOT_PERMITTED );
Gilles Peskine20035e32018-02-03 22:44:14 +01001454
Gilles Peskine20035e32018-02-03 22:44:14 +01001455#if defined(MBEDTLS_RSA_C)
1456 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
1457 {
1458 mbedtls_rsa_context *rsa = slot->data.rsa;
1459 int ret;
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001460 mbedtls_md_type_t md_alg;
Gilles Peskine8b18a4f2018-06-08 16:34:46 +02001461 status = psa_rsa_decode_md_type( alg, hash_length, &md_alg );
Gilles Peskine61b91d42018-06-08 16:09:36 +02001462 if( status != PSA_SUCCESS )
1463 return( status );
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001464
Gilles Peskine20035e32018-02-03 22:44:14 +01001465 if( signature_size < rsa->len )
1466 return( PSA_ERROR_BUFFER_TOO_SMALL );
1467#if defined(MBEDTLS_PKCS1_V15)
Gilles Peskinea5926232018-03-28 14:16:50 +02001468 if( PSA_ALG_IS_RSA_PKCS1V15_SIGN( alg ) )
Gilles Peskine20035e32018-02-03 22:44:14 +01001469 {
1470 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V15,
1471 MBEDTLS_MD_NONE );
1472 ret = mbedtls_rsa_pkcs1_sign( rsa,
1473 mbedtls_ctr_drbg_random,
1474 &global_data.ctr_drbg,
1475 MBEDTLS_RSA_PRIVATE,
1476 md_alg, hash_length, hash,
1477 signature );
1478 }
1479 else
1480#endif /* MBEDTLS_PKCS1_V15 */
1481#if defined(MBEDTLS_PKCS1_V21)
1482 if( alg == PSA_ALG_RSA_PSS_MGF1 )
1483 {
1484 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V21, md_alg );
1485 ret = mbedtls_rsa_rsassa_pss_sign( rsa,
1486 mbedtls_ctr_drbg_random,
1487 &global_data.ctr_drbg,
1488 MBEDTLS_RSA_PRIVATE,
1489 md_alg, hash_length, hash,
1490 signature );
1491 }
1492 else
1493#endif /* MBEDTLS_PKCS1_V21 */
1494 {
1495 return( PSA_ERROR_INVALID_ARGUMENT );
1496 }
Gilles Peskine93aa0332018-02-03 23:58:03 +01001497 if( ret == 0 )
1498 *signature_length = rsa->len;
Gilles Peskine20035e32018-02-03 22:44:14 +01001499 return( mbedtls_to_psa_error( ret ) );
1500 }
1501 else
1502#endif /* defined(MBEDTLS_RSA_C) */
1503#if defined(MBEDTLS_ECP_C)
1504 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
1505 {
itayzafrir5c753392018-05-08 11:18:38 +03001506 mbedtls_ecp_keypair *ecdsa = slot->data.ecp;
1507 int ret;
1508 const mbedtls_md_info_t *md_info;
1509 mbedtls_md_type_t md_alg;
1510 if( signature_size < PSA_ECDSA_SIGNATURE_SIZE( ecdsa->grp.pbits ) )
1511 return( PSA_ERROR_BUFFER_TOO_SMALL );
1512 md_info = mbedtls_md_info_from_psa( alg );
1513 md_alg = mbedtls_md_get_type( md_info );
1514 ret = mbedtls_ecdsa_write_signature( ecdsa, md_alg, hash, hash_length,
Gilles Peskine61b91d42018-06-08 16:09:36 +02001515 signature, signature_length,
1516 mbedtls_ctr_drbg_random,
1517 &global_data.ctr_drbg );
itayzafrir5c753392018-05-08 11:18:38 +03001518 return( mbedtls_to_psa_error( ret ) );
1519 }
1520 else
1521#endif /* defined(MBEDTLS_ECP_C) */
1522 {
Gilles Peskine20035e32018-02-03 22:44:14 +01001523 return( PSA_ERROR_NOT_SUPPORTED );
1524 }
itayzafrir5c753392018-05-08 11:18:38 +03001525}
1526
1527psa_status_t psa_asymmetric_verify( psa_key_slot_t key,
1528 psa_algorithm_t alg,
1529 const uint8_t *hash,
1530 size_t hash_length,
1531 const uint8_t *salt,
1532 size_t salt_length,
1533 uint8_t *signature,
1534 size_t signature_size )
1535{
1536 key_slot_t *slot;
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001537 psa_status_t status;
itayzafrir5c753392018-05-08 11:18:38 +03001538 (void) salt;
1539 (void) salt_length;
1540
1541 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1542 return( PSA_ERROR_INVALID_ARGUMENT );
1543 slot = &global_data.key_slots[key];
1544 if( slot->type == PSA_KEY_TYPE_NONE )
1545 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine61b91d42018-06-08 16:09:36 +02001546 if( ! ( slot->policy.usage & PSA_KEY_USAGE_VERIFY ) )
itayzafrir5c753392018-05-08 11:18:38 +03001547 return( PSA_ERROR_NOT_PERMITTED );
1548
Gilles Peskine61b91d42018-06-08 16:09:36 +02001549#if defined(MBEDTLS_RSA_C)
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001550 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR ||
1551 slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001552 {
1553 mbedtls_rsa_context *rsa = slot->data.rsa;
1554 int ret;
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001555 mbedtls_md_type_t md_alg;
Gilles Peskine8b18a4f2018-06-08 16:34:46 +02001556 status = psa_rsa_decode_md_type( alg, hash_length, &md_alg );
Gilles Peskine61b91d42018-06-08 16:09:36 +02001557 if( status != PSA_SUCCESS )
1558 return( status );
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001559
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001560 if( signature_size < rsa->len )
1561 return( PSA_ERROR_BUFFER_TOO_SMALL );
1562#if defined(MBEDTLS_PKCS1_V15)
Gilles Peskine6afe7892018-05-31 13:16:08 +02001563 if( PSA_ALG_IS_RSA_PKCS1V15_SIGN( alg ) )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001564 {
1565 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V15,
1566 MBEDTLS_MD_NONE );
1567
1568 ret = mbedtls_rsa_pkcs1_verify( rsa,
Gilles Peskine61b91d42018-06-08 16:09:36 +02001569 mbedtls_ctr_drbg_random,
1570 &global_data.ctr_drbg,
1571 MBEDTLS_RSA_PUBLIC,
1572 md_alg,
1573 hash_length,
1574 hash,
1575 signature );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001576
1577 }
1578 else
1579#endif /* MBEDTLS_PKCS1_V15 */
1580#if defined(MBEDTLS_PKCS1_V21)
1581 if( alg == PSA_ALG_RSA_PSS_MGF1 )
1582 {
Gilles Peskinebeb49482018-06-08 17:44:35 +02001583 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V21, md_alg );
1584 ret = mbedtls_rsa_rsassa_pss_verify( rsa,
1585 mbedtls_ctr_drbg_random,
1586 &global_data.ctr_drbg,
1587 MBEDTLS_RSA_PUBLIC,
1588 md_alg, hash_length, hash,
1589 signature );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001590 }
1591 else
1592#endif /* MBEDTLS_PKCS1_V21 */
1593 {
1594 return( PSA_ERROR_INVALID_ARGUMENT );
1595 }
1596 return( mbedtls_to_psa_error( ret ) );
1597 }
1598 else
1599#endif /* defined(MBEDTLS_RSA_C) */
itayzafrir5c753392018-05-08 11:18:38 +03001600#if defined(MBEDTLS_ECP_C)
1601 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
1602 {
1603 mbedtls_ecp_keypair *ecdsa = slot->data.ecp;
1604 int ret;
Gilles Peskine2d277862018-06-18 15:41:12 +02001605 (void) alg;
Gilles Peskine61b91d42018-06-08 16:09:36 +02001606 ret = mbedtls_ecdsa_read_signature( ecdsa, hash, hash_length,
1607 signature, signature_size );
itayzafrir5c753392018-05-08 11:18:38 +03001608 return( mbedtls_to_psa_error( ret ) );
1609 }
Gilles Peskine20035e32018-02-03 22:44:14 +01001610 else
1611#endif /* defined(MBEDTLS_ECP_C) */
1612 {
1613 return( PSA_ERROR_NOT_SUPPORTED );
1614 }
1615}
1616
Gilles Peskine61b91d42018-06-08 16:09:36 +02001617psa_status_t psa_asymmetric_encrypt( psa_key_slot_t key,
1618 psa_algorithm_t alg,
1619 const uint8_t *input,
1620 size_t input_length,
1621 const uint8_t *salt,
1622 size_t salt_length,
1623 uint8_t *output,
1624 size_t output_size,
1625 size_t *output_length )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001626{
1627 key_slot_t *slot;
1628 (void) salt;
1629 (void) salt_length;
Nir Sonnenscheinca466c82018-06-04 16:43:12 +03001630 *output_length = 0;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001631
1632 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Nir Sonnenschein7f5a3192018-05-06 22:26:54 +03001633 return( PSA_ERROR_INVALID_ARGUMENT );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001634 slot = &global_data.key_slots[key];
1635 if( slot->type == PSA_KEY_TYPE_NONE )
1636 return( PSA_ERROR_EMPTY_SLOT );
1637 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
1638 return( PSA_ERROR_INVALID_ARGUMENT );
Gilles Peskine61b91d42018-06-08 16:09:36 +02001639 if( ! ( slot->policy.usage & PSA_KEY_USAGE_ENCRYPT ) )
1640 return( PSA_ERROR_NOT_PERMITTED );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001641
1642#if defined(MBEDTLS_RSA_C)
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001643 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR ||
1644 slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001645 {
1646 mbedtls_rsa_context *rsa = slot->data.rsa;
1647 int ret;
Gilles Peskine5b051bc2018-05-31 13:25:48 +02001648 if( output_size < rsa->len )
Gilles Peskine61b91d42018-06-08 16:09:36 +02001649 return( PSA_ERROR_INVALID_ARGUMENT );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001650#if defined(MBEDTLS_PKCS1_V15)
Gilles Peskine6afe7892018-05-31 13:16:08 +02001651 if( alg == PSA_ALG_RSA_PKCS1V15_CRYPT )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001652 {
Gilles Peskine61b91d42018-06-08 16:09:36 +02001653 ret = mbedtls_rsa_pkcs1_encrypt( rsa,
1654 mbedtls_ctr_drbg_random,
1655 &global_data.ctr_drbg,
1656 MBEDTLS_RSA_PUBLIC,
1657 input_length,
1658 input,
1659 output );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001660 }
1661 else
1662#endif /* MBEDTLS_PKCS1_V15 */
1663#if defined(MBEDTLS_PKCS1_V21)
Gilles Peskine625b01c2018-06-08 17:43:16 +02001664 if( PSA_ALG_IS_RSA_OAEP_MGF1( alg ) )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001665 {
1666 return( PSA_ERROR_NOT_SUPPORTED );
1667 }
1668 else
1669#endif /* MBEDTLS_PKCS1_V21 */
1670 {
1671 return( PSA_ERROR_INVALID_ARGUMENT );
1672 }
1673 if( ret == 0 )
Nir Sonnenschein717a0402018-06-04 16:36:15 +03001674 *output_length = rsa->len;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001675 return( mbedtls_to_psa_error( ret ) );
1676 }
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001677 else
Gilles Peskineb75e4f12018-06-08 17:44:47 +02001678#endif /* defined(MBEDTLS_RSA_C) */
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001679 {
1680 return( PSA_ERROR_NOT_SUPPORTED );
1681 }
1682
Gilles Peskine5b051bc2018-05-31 13:25:48 +02001683}
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001684
Gilles Peskine61b91d42018-06-08 16:09:36 +02001685psa_status_t psa_asymmetric_decrypt( psa_key_slot_t key,
1686 psa_algorithm_t alg,
1687 const uint8_t *input,
1688 size_t input_length,
1689 const uint8_t *salt,
1690 size_t salt_length,
1691 uint8_t *output,
1692 size_t output_size,
1693 size_t *output_length )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001694{
1695 key_slot_t *slot;
1696 (void) salt;
1697 (void) salt_length;
Nir Sonnenscheinca466c82018-06-04 16:43:12 +03001698 *output_length = 0;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001699
1700 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1701 return( PSA_ERROR_EMPTY_SLOT );
1702 slot = &global_data.key_slots[key];
1703 if( slot->type == PSA_KEY_TYPE_NONE )
1704 return( PSA_ERROR_EMPTY_SLOT );
1705 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
1706 return( PSA_ERROR_INVALID_ARGUMENT );
Gilles Peskine61b91d42018-06-08 16:09:36 +02001707 if( ! ( slot->policy.usage & PSA_KEY_USAGE_DECRYPT ) )
1708 return( PSA_ERROR_NOT_PERMITTED );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001709
1710#if defined(MBEDTLS_RSA_C)
1711 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
1712 {
1713 mbedtls_rsa_context *rsa = slot->data.rsa;
1714 int ret;
1715
Gilles Peskinec4def2f2018-06-08 17:53:48 +02001716 if( input_length != rsa->len )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001717 return( PSA_ERROR_INVALID_ARGUMENT );
1718
1719#if defined(MBEDTLS_PKCS1_V15)
Gilles Peskine6afe7892018-05-31 13:16:08 +02001720 if( alg == PSA_ALG_RSA_PKCS1V15_CRYPT )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001721 {
Gilles Peskine61b91d42018-06-08 16:09:36 +02001722 ret = mbedtls_rsa_pkcs1_decrypt( rsa,
1723 mbedtls_ctr_drbg_random,
1724 &global_data.ctr_drbg,
1725 MBEDTLS_RSA_PRIVATE,
1726 output_length,
1727 input,
1728 output,
1729 output_size );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001730 }
1731 else
1732#endif /* MBEDTLS_PKCS1_V15 */
1733#if defined(MBEDTLS_PKCS1_V21)
Gilles Peskine625b01c2018-06-08 17:43:16 +02001734 if( PSA_ALG_IS_RSA_OAEP_MGF1( alg ) )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001735 {
1736 return( PSA_ERROR_NOT_SUPPORTED );
1737 }
1738 else
1739#endif /* MBEDTLS_PKCS1_V21 */
1740 {
1741 return( PSA_ERROR_INVALID_ARGUMENT );
1742 }
Nir Sonnenschein717a0402018-06-04 16:36:15 +03001743
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001744 return( mbedtls_to_psa_error( ret ) );
1745 }
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001746 else
Gilles Peskineb75e4f12018-06-08 17:44:47 +02001747#endif /* defined(MBEDTLS_RSA_C) */
Nir Sonnenschein39e59142018-05-02 23:16:26 +03001748 {
1749 return( PSA_ERROR_NOT_SUPPORTED );
1750 }
1751
Gilles Peskine5b051bc2018-05-31 13:25:48 +02001752}
Gilles Peskine20035e32018-02-03 22:44:14 +01001753
mohammad1603503973b2018-03-12 15:59:30 +02001754/****************************************************************/
1755/* Symmetric cryptography */
1756/****************************************************************/
1757
Gilles Peskinee553c652018-06-04 16:22:46 +02001758static psa_status_t psa_cipher_setup( psa_cipher_operation_t *operation,
1759 psa_key_slot_t key,
Gilles Peskine7e928852018-06-04 16:23:10 +02001760 psa_algorithm_t alg,
1761 mbedtls_operation_t cipher_operation )
mohammad1603503973b2018-03-12 15:59:30 +02001762{
1763 int ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
1764 psa_status_t status;
1765 key_slot_t *slot;
1766 psa_key_type_t key_type;
1767 size_t key_bits;
1768 const mbedtls_cipher_info_t *cipher_info = NULL;
1769
Moran Peker41deec42018-04-04 15:43:05 +03001770 operation->alg = alg;
Moran Pekerad9d82c2018-04-30 12:31:04 +03001771 operation->key_set = 0;
1772 operation->iv_set = 0;
1773 operation->iv_required = 1;
1774 operation->iv_size = 0;
Moran Peker41deec42018-04-04 15:43:05 +03001775 operation->block_size = 0;
mohammad1603503973b2018-03-12 15:59:30 +02001776
1777 status = psa_get_key_information( key, &key_type, &key_bits );
1778 if( status != PSA_SUCCESS )
1779 return( status );
1780 slot = &global_data.key_slots[key];
1781
Gilles Peskinebb1072f2018-06-08 18:46:05 +02001782 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type, key_bits, NULL );
mohammad1603503973b2018-03-12 15:59:30 +02001783 if( cipher_info == NULL )
1784 return( PSA_ERROR_NOT_SUPPORTED );
1785
mohammad1603503973b2018-03-12 15:59:30 +02001786 mbedtls_cipher_init( &operation->ctx.cipher );
1787 ret = mbedtls_cipher_setup( &operation->ctx.cipher, cipher_info );
Moran Peker41deec42018-04-04 15:43:05 +03001788 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02001789 {
1790 psa_cipher_abort( operation );
1791 return( mbedtls_to_psa_error( ret ) );
1792 }
1793
1794 ret = mbedtls_cipher_setkey( &operation->ctx.cipher, slot->data.raw.data,
Gilles Peskinee553c652018-06-04 16:22:46 +02001795 key_bits, cipher_operation );
Moran Peker41deec42018-04-04 15:43:05 +03001796 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02001797 {
1798 psa_cipher_abort( operation );
1799 return( mbedtls_to_psa_error( ret ) );
1800 }
1801
mohammad16038481e742018-03-18 13:57:31 +02001802#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Moran Peker7cb22b82018-06-05 11:40:02 +03001803 if( ( alg & ~PSA_ALG_BLOCK_CIPHER_PADDING_MASK ) == PSA_ALG_CBC_BASE )
mohammad16038481e742018-03-18 13:57:31 +02001804 {
Gilles Peskine53514202018-06-06 15:11:46 +02001805 psa_algorithm_t padding_mode = alg & PSA_ALG_BLOCK_CIPHER_PADDING_MASK;
1806 mbedtls_cipher_padding_t mode;
mohammad16038481e742018-03-18 13:57:31 +02001807
Moran Pekera28258c2018-05-29 16:25:04 +03001808 switch ( padding_mode )
mohammad16038481e742018-03-18 13:57:31 +02001809 {
1810 case PSA_ALG_BLOCK_CIPHER_PAD_PKCS7:
1811 mode = MBEDTLS_PADDING_PKCS7;
1812 break;
1813 case PSA_ALG_BLOCK_CIPHER_PAD_NONE:
1814 mode = MBEDTLS_PADDING_NONE;
1815 break;
1816 default:
Moran Pekerae382792018-05-31 14:06:17 +03001817 psa_cipher_abort( operation );
1818 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16038481e742018-03-18 13:57:31 +02001819 }
1820 ret = mbedtls_cipher_set_padding_mode( &operation->ctx.cipher, mode );
Moran Pekera28258c2018-05-29 16:25:04 +03001821 if( ret != 0 )
Moran Peker71f19ae2018-04-22 20:23:16 +03001822 {
1823 psa_cipher_abort( operation );
mohammad16038481e742018-03-18 13:57:31 +02001824 return( mbedtls_to_psa_error( ret ) );
Moran Peker71f19ae2018-04-22 20:23:16 +03001825 }
mohammad16038481e742018-03-18 13:57:31 +02001826 }
1827#endif //MBEDTLS_CIPHER_MODE_WITH_PADDING
1828
mohammad1603503973b2018-03-12 15:59:30 +02001829 operation->key_set = 1;
1830 operation->alg = alg;
Gilles Peskine7e928852018-06-04 16:23:10 +02001831 operation->block_size = ( PSA_ALG_IS_BLOCK_CIPHER( alg ) ?
1832 PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type ) :
1833 1 );
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001834 if( PSA_ALG_IS_BLOCK_CIPHER( alg ) || alg == PSA_ALG_CTR )
mohammad16038481e742018-03-18 13:57:31 +02001835 {
mohammad160389e0f462018-04-12 08:48:45 +03001836 operation->iv_size = PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type );
mohammad16038481e742018-03-18 13:57:31 +02001837 }
mohammad1603503973b2018-03-12 15:59:30 +02001838
Moran Peker395db872018-05-31 14:07:14 +03001839 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02001840}
1841
Gilles Peskinee553c652018-06-04 16:22:46 +02001842psa_status_t psa_encrypt_setup( psa_cipher_operation_t *operation,
1843 psa_key_slot_t key,
1844 psa_algorithm_t alg )
mohammad16038481e742018-03-18 13:57:31 +02001845{
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001846 return( psa_cipher_setup( operation, key, alg, MBEDTLS_ENCRYPT ) );
mohammad16038481e742018-03-18 13:57:31 +02001847}
1848
Gilles Peskinee553c652018-06-04 16:22:46 +02001849psa_status_t psa_decrypt_setup( psa_cipher_operation_t *operation,
1850 psa_key_slot_t key,
1851 psa_algorithm_t alg )
mohammad16038481e742018-03-18 13:57:31 +02001852{
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001853 return( psa_cipher_setup( operation, key, alg, MBEDTLS_DECRYPT ) );
mohammad16038481e742018-03-18 13:57:31 +02001854}
1855
Gilles Peskinee553c652018-06-04 16:22:46 +02001856psa_status_t psa_encrypt_generate_iv( psa_cipher_operation_t *operation,
1857 unsigned char *iv,
1858 size_t iv_size,
1859 size_t *iv_length )
mohammad1603503973b2018-03-12 15:59:30 +02001860{
Moran Peker41deec42018-04-04 15:43:05 +03001861 int ret = PSA_SUCCESS;
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001862 if( operation->iv_set || ! operation->iv_required )
Moran Peker41deec42018-04-04 15:43:05 +03001863 return( PSA_ERROR_BAD_STATE );
1864 if( iv_size < operation->iv_size )
mohammad1603503973b2018-03-12 15:59:30 +02001865 {
Moran Peker41deec42018-04-04 15:43:05 +03001866 ret = PSA_ERROR_BUFFER_TOO_SMALL;
1867 goto exit;
1868 }
Gilles Peskine7e928852018-06-04 16:23:10 +02001869 ret = mbedtls_ctr_drbg_random( &global_data.ctr_drbg,
1870 iv, operation->iv_size );
Moran Peker41deec42018-04-04 15:43:05 +03001871 if( ret != 0 )
1872 {
1873 ret = mbedtls_to_psa_error( ret );
Gilles Peskinee553c652018-06-04 16:22:46 +02001874 goto exit;
mohammad1603503973b2018-03-12 15:59:30 +02001875 }
Gilles Peskinee553c652018-06-04 16:22:46 +02001876
mohammad16038481e742018-03-18 13:57:31 +02001877 *iv_length = operation->iv_size;
mohammad160389e0f462018-04-12 08:48:45 +03001878 ret = psa_encrypt_set_iv( operation, iv, *iv_length );
Moran Peker41deec42018-04-04 15:43:05 +03001879
Moran Peker395db872018-05-31 14:07:14 +03001880exit:
1881 if( ret != PSA_SUCCESS )
1882 psa_cipher_abort( operation );
1883 return( ret );
mohammad1603503973b2018-03-12 15:59:30 +02001884}
1885
Gilles Peskinee553c652018-06-04 16:22:46 +02001886psa_status_t psa_encrypt_set_iv( psa_cipher_operation_t *operation,
1887 const unsigned char *iv,
1888 size_t iv_length )
mohammad1603503973b2018-03-12 15:59:30 +02001889{
Moran Peker41deec42018-04-04 15:43:05 +03001890 int ret = PSA_SUCCESS;
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001891 if( operation->iv_set || ! operation->iv_required )
Moran Peker41deec42018-04-04 15:43:05 +03001892 return( PSA_ERROR_BAD_STATE );
Moran Pekera28258c2018-05-29 16:25:04 +03001893 if( iv_length != operation->iv_size )
Moran Peker71f19ae2018-04-22 20:23:16 +03001894 {
Moran Pekerae382792018-05-31 14:06:17 +03001895 psa_cipher_abort( operation );
1896 return( PSA_ERROR_INVALID_ARGUMENT );
Moran Peker71f19ae2018-04-22 20:23:16 +03001897 }
mohammad1603503973b2018-03-12 15:59:30 +02001898 ret = mbedtls_cipher_set_iv( &operation->ctx.cipher, iv, iv_length );
Moran Peker41deec42018-04-04 15:43:05 +03001899 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02001900 {
1901 psa_cipher_abort( operation );
1902 return( mbedtls_to_psa_error( ret ) );
1903 }
1904
1905 operation->iv_set = 1;
mohammad1603503973b2018-03-12 15:59:30 +02001906
Moran Peker395db872018-05-31 14:07:14 +03001907 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02001908}
1909
Gilles Peskinee553c652018-06-04 16:22:46 +02001910psa_status_t psa_cipher_update( psa_cipher_operation_t *operation,
1911 const uint8_t *input,
1912 size_t input_length,
1913 unsigned char *output,
1914 size_t output_size,
1915 size_t *output_length )
mohammad1603503973b2018-03-12 15:59:30 +02001916{
1917 int ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Gilles Peskine89d789c2018-06-04 17:17:16 +02001918 size_t expected_output_size;
1919 if( PSA_ALG_IS_BLOCK_CIPHER( operation->alg ) )
1920 {
1921 /* Take the unprocessed partial block left over from previous
1922 * update calls, if any, plus the input to this call. Remove
1923 * the last partial block, if any. You get the data that will be
1924 * output in this call. */
1925 expected_output_size =
1926 ( operation->ctx.cipher.unprocessed_len + input_length )
1927 / operation->block_size * operation->block_size;
1928 }
1929 else
1930 {
1931 expected_output_size = input_length;
1932 }
1933 if( output_size < expected_output_size )
Moran Peker395db872018-05-31 14:07:14 +03001934 return( PSA_ERROR_BUFFER_TOO_SMALL );
mohammad160382759612018-03-12 18:16:40 +02001935
mohammad1603503973b2018-03-12 15:59:30 +02001936 ret = mbedtls_cipher_update( &operation->ctx.cipher, input,
Gilles Peskinee553c652018-06-04 16:22:46 +02001937 input_length, output, output_length );
Moran Peker41deec42018-04-04 15:43:05 +03001938 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02001939 {
1940 psa_cipher_abort( operation );
1941 return( mbedtls_to_psa_error( ret ) );
1942 }
1943
Moran Peker395db872018-05-31 14:07:14 +03001944 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02001945}
1946
Gilles Peskinee553c652018-06-04 16:22:46 +02001947psa_status_t psa_cipher_finish( psa_cipher_operation_t *operation,
1948 uint8_t *output,
1949 size_t output_size,
1950 size_t *output_length )
mohammad1603503973b2018-03-12 15:59:30 +02001951{
1952 int ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Gilles Peskinee553c652018-06-04 16:22:46 +02001953 uint8_t temp_output_buffer[MBEDTLS_MAX_BLOCK_LENGTH];
Moran Pekerbed71a22018-04-22 20:19:20 +03001954
mohammad1603503973b2018-03-12 15:59:30 +02001955 if( ! operation->key_set )
Moran Pekerdc38ebc2018-04-30 15:45:34 +03001956 {
Moran Peker7cb22b82018-06-05 11:40:02 +03001957 psa_cipher_abort( operation );
1958 return( PSA_ERROR_BAD_STATE );
1959 }
1960 if( operation->iv_required && ! operation->iv_set )
1961 {
Gilles Peskine2c5219a2018-06-06 15:12:32 +02001962 psa_cipher_abort( operation );
Moran Peker7cb22b82018-06-05 11:40:02 +03001963 return( PSA_ERROR_BAD_STATE );
1964 }
Gilles Peskine2c5219a2018-06-06 15:12:32 +02001965 if( operation->ctx.cipher.operation == MBEDTLS_ENCRYPT &&
1966 PSA_ALG_IS_BLOCK_CIPHER( operation->alg ) )
Moran Peker7cb22b82018-06-05 11:40:02 +03001967 {
Gilles Peskine53514202018-06-06 15:11:46 +02001968 psa_algorithm_t padding_mode =
1969 operation->alg & PSA_ALG_BLOCK_CIPHER_PADDING_MASK;
Moran Peker7cb22b82018-06-05 11:40:02 +03001970 if( operation->ctx.cipher.unprocessed_len >= operation->block_size )
Gilles Peskine89d789c2018-06-04 17:17:16 +02001971 {
Gilles Peskine2c5219a2018-06-06 15:12:32 +02001972 psa_cipher_abort( operation );
Moran Peker7cb22b82018-06-05 11:40:02 +03001973 return( PSA_ERROR_TAMPERING_DETECTED );
1974 }
Gilles Peskine53514202018-06-06 15:11:46 +02001975 if( padding_mode == PSA_ALG_BLOCK_CIPHER_PAD_NONE )
Moran Peker7cb22b82018-06-05 11:40:02 +03001976 {
1977 if( operation->ctx.cipher.unprocessed_len != 0 )
1978 {
Gilles Peskine2c5219a2018-06-06 15:12:32 +02001979 psa_cipher_abort( operation );
Moran Peker7cb22b82018-06-05 11:40:02 +03001980 return( PSA_ERROR_INVALID_ARGUMENT );
1981 }
Gilles Peskine89d789c2018-06-04 17:17:16 +02001982 }
Moran Pekerdc38ebc2018-04-30 15:45:34 +03001983 }
1984
1985 ret = mbedtls_cipher_finish( &operation->ctx.cipher, temp_output_buffer,
Gilles Peskinee553c652018-06-04 16:22:46 +02001986 output_length );
Moran Peker41deec42018-04-04 15:43:05 +03001987 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02001988 {
1989 psa_cipher_abort( operation );
1990 return( mbedtls_to_psa_error( ret ) );
1991 }
Gilles Peskinee553c652018-06-04 16:22:46 +02001992 if( output_size >= *output_length )
Moran Pekerdc38ebc2018-04-30 15:45:34 +03001993 memcpy( output, temp_output_buffer, *output_length );
1994 else
1995 {
1996 psa_cipher_abort( operation );
1997 return( PSA_ERROR_BUFFER_TOO_SMALL );
1998 }
mohammad1603503973b2018-03-12 15:59:30 +02001999
Moran Peker4c80d832018-04-22 20:15:31 +03002000 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02002001}
2002
Gilles Peskinee553c652018-06-04 16:22:46 +02002003psa_status_t psa_cipher_abort( psa_cipher_operation_t *operation )
2004{
mohammad1603503973b2018-03-12 15:59:30 +02002005 mbedtls_cipher_free( &operation->ctx.cipher );
Gilles Peskinee553c652018-06-04 16:22:46 +02002006
Moran Peker41deec42018-04-04 15:43:05 +03002007 operation->alg = 0;
Moran Pekerad9d82c2018-04-30 12:31:04 +03002008 operation->key_set = 0;
2009 operation->iv_set = 0;
2010 operation->iv_size = 0;
Moran Peker41deec42018-04-04 15:43:05 +03002011 operation->block_size = 0;
Moran Pekerad9d82c2018-04-30 12:31:04 +03002012 operation->iv_required = 0;
Moran Peker41deec42018-04-04 15:43:05 +03002013
Moran Peker395db872018-05-31 14:07:14 +03002014 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02002015}
2016
Gilles Peskinea0655c32018-04-30 17:06:50 +02002017
mohammad16038cc1cee2018-03-28 01:21:33 +03002018/****************************************************************/
2019/* Key Policy */
2020/****************************************************************/
2021
Gilles Peskine2d277862018-06-18 15:41:12 +02002022void psa_key_policy_init( psa_key_policy_t *policy )
mohammad16038cc1cee2018-03-28 01:21:33 +03002023{
Gilles Peskine803ce742018-06-18 16:07:14 +02002024 memset( policy, 0, sizeof( *policy ) );
mohammad16038cc1cee2018-03-28 01:21:33 +03002025}
2026
Gilles Peskine2d277862018-06-18 15:41:12 +02002027void psa_key_policy_set_usage( psa_key_policy_t *policy,
2028 psa_key_usage_t usage,
2029 psa_algorithm_t alg )
mohammad16038cc1cee2018-03-28 01:21:33 +03002030{
mohammad16034eed7572018-03-28 05:14:59 -07002031 policy->usage = usage;
2032 policy->alg = alg;
mohammad16038cc1cee2018-03-28 01:21:33 +03002033}
2034
Gilles Peskine2d277862018-06-18 15:41:12 +02002035psa_key_usage_t psa_key_policy_get_usage( psa_key_policy_t *policy )
mohammad16038cc1cee2018-03-28 01:21:33 +03002036{
mohammad16036df908f2018-04-02 08:34:15 -07002037 return( policy->usage );
mohammad16038cc1cee2018-03-28 01:21:33 +03002038}
2039
Gilles Peskine2d277862018-06-18 15:41:12 +02002040psa_algorithm_t psa_key_policy_get_algorithm( psa_key_policy_t *policy )
mohammad16038cc1cee2018-03-28 01:21:33 +03002041{
mohammad16036df908f2018-04-02 08:34:15 -07002042 return( policy->alg );
mohammad16038cc1cee2018-03-28 01:21:33 +03002043}
2044
Gilles Peskine2d277862018-06-18 15:41:12 +02002045psa_status_t psa_set_key_policy( psa_key_slot_t key,
2046 const psa_key_policy_t *policy )
mohammad16038cc1cee2018-03-28 01:21:33 +03002047{
2048 key_slot_t *slot;
mohammad16038cc1cee2018-03-28 01:21:33 +03002049
2050 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT || policy == NULL )
2051 return( PSA_ERROR_INVALID_ARGUMENT );
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002052
mohammad16038cc1cee2018-03-28 01:21:33 +03002053 slot = &global_data.key_slots[key];
2054 if( slot->type != PSA_KEY_TYPE_NONE )
2055 return( PSA_ERROR_OCCUPIED_SLOT );
2056
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002057 if( ( policy->usage & ~( PSA_KEY_USAGE_EXPORT |
2058 PSA_KEY_USAGE_ENCRYPT |
2059 PSA_KEY_USAGE_DECRYPT |
2060 PSA_KEY_USAGE_SIGN |
2061 PSA_KEY_USAGE_VERIFY ) ) != 0 )
mohammad16035feda722018-04-16 04:38:57 -07002062 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16038cc1cee2018-03-28 01:21:33 +03002063
mohammad16036df908f2018-04-02 08:34:15 -07002064 slot->policy = *policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03002065
2066 return( PSA_SUCCESS );
2067}
2068
Gilles Peskine2d277862018-06-18 15:41:12 +02002069psa_status_t psa_get_key_policy( psa_key_slot_t key,
2070 psa_key_policy_t *policy )
mohammad16038cc1cee2018-03-28 01:21:33 +03002071{
2072 key_slot_t *slot;
2073
2074 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT || policy == NULL )
2075 return( PSA_ERROR_INVALID_ARGUMENT );
2076
2077 slot = &global_data.key_slots[key];
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002078
mohammad16036df908f2018-04-02 08:34:15 -07002079 *policy = slot->policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03002080
2081 return( PSA_SUCCESS );
2082}
Gilles Peskine20035e32018-02-03 22:44:14 +01002083
Gilles Peskinea0655c32018-04-30 17:06:50 +02002084
2085
mohammad1603804cd712018-03-20 22:44:08 +02002086/****************************************************************/
2087/* Key Lifetime */
2088/****************************************************************/
2089
Gilles Peskine2d277862018-06-18 15:41:12 +02002090psa_status_t psa_get_key_lifetime( psa_key_slot_t key,
2091 psa_key_lifetime_t *lifetime )
mohammad1603804cd712018-03-20 22:44:08 +02002092{
2093 key_slot_t *slot;
2094
2095 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
2096 return( PSA_ERROR_INVALID_ARGUMENT );
2097
2098 slot = &global_data.key_slots[key];
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002099
mohammad1603804cd712018-03-20 22:44:08 +02002100 *lifetime = slot->lifetime;
2101
2102 return( PSA_SUCCESS );
2103}
2104
Gilles Peskine2d277862018-06-18 15:41:12 +02002105psa_status_t psa_set_key_lifetime( psa_key_slot_t key,
2106 const psa_key_lifetime_t lifetime )
mohammad1603804cd712018-03-20 22:44:08 +02002107{
2108 key_slot_t *slot;
2109
2110 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
2111 return( PSA_ERROR_INVALID_ARGUMENT );
2112
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002113 if( lifetime != PSA_KEY_LIFETIME_VOLATILE &&
2114 lifetime != PSA_KEY_LIFETIME_PERSISTENT &&
mohammad1603ba178512018-03-21 04:35:20 -07002115 lifetime != PSA_KEY_LIFETIME_WRITE_ONCE)
2116 return( PSA_ERROR_INVALID_ARGUMENT );
2117
mohammad1603804cd712018-03-20 22:44:08 +02002118 slot = &global_data.key_slots[key];
mohammad16035d7ec202018-03-28 01:29:41 +03002119 if( slot->type != PSA_KEY_TYPE_NONE )
2120 return( PSA_ERROR_OCCUPIED_SLOT );
mohammad1603804cd712018-03-20 22:44:08 +02002121
Moran Pekerd7326592018-05-29 16:56:39 +03002122 if( lifetime != PSA_KEY_LIFETIME_VOLATILE )
mohammad1603ba178512018-03-21 04:35:20 -07002123 return( PSA_ERROR_NOT_SUPPORTED );
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002124
mohammad1603060ad8a2018-03-20 14:28:38 -07002125 slot->lifetime = lifetime;
mohammad1603804cd712018-03-20 22:44:08 +02002126
2127 return( PSA_SUCCESS );
2128}
2129
Gilles Peskine20035e32018-02-03 22:44:14 +01002130
mohammad16035955c982018-04-26 00:53:03 +03002131/****************************************************************/
2132/* AEAD */
2133/****************************************************************/
2134psa_status_t psa_aead_encrypt( psa_key_slot_t key,
2135 psa_algorithm_t alg,
2136 const uint8_t *nonce,
2137 size_t nonce_length,
2138 const uint8_t *additional_data,
2139 size_t additional_data_length,
2140 const uint8_t *plaintext,
2141 size_t plaintext_length,
2142 uint8_t *ciphertext,
2143 size_t ciphertext_size,
2144 size_t *ciphertext_length )
2145{
2146 int ret;
2147 psa_status_t status;
2148 key_slot_t *slot;
2149 psa_key_type_t key_type;
2150 size_t key_bits;
mohammad160315223a82018-06-03 17:19:55 +03002151 uint8_t *tag;
2152 size_t tag_length;
mohammad1603dad36fa2018-05-09 02:24:42 -07002153 mbedtls_cipher_id_t cipher_id;
mohammad16030f214652018-06-03 15:10:06 +03002154 const mbedtls_cipher_info_t *cipher_info = NULL;
Gilles Peskine2d277862018-06-18 15:41:12 +02002155
mohammad1603f08a5502018-06-03 15:05:47 +03002156 *ciphertext_length = 0;
mohammad1603e58e6842018-05-09 04:58:32 -07002157
mohammad16035955c982018-04-26 00:53:03 +03002158 status = psa_get_key_information( key, &key_type, &key_bits );
2159 if( status != PSA_SUCCESS )
2160 return( status );
2161 slot = &global_data.key_slots[key];
mohammad1603a1d98012018-06-06 13:45:55 +03002162 if( slot->type == PSA_KEY_TYPE_NONE )
Gilles Peskine2d277862018-06-18 15:41:12 +02002163 return( PSA_ERROR_EMPTY_SLOT );
mohammad16035955c982018-04-26 00:53:03 +03002164
mohammad16035ed06212018-06-06 13:09:34 +03002165 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type,
2166 key_bits, &cipher_id );
mohammad16030f214652018-06-03 15:10:06 +03002167 if( cipher_info == NULL )
Gilles Peskine2d277862018-06-18 15:41:12 +02002168 return( PSA_ERROR_NOT_SUPPORTED );
mohammad1603dad36fa2018-05-09 02:24:42 -07002169
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002170 if( ( slot->policy.usage & PSA_KEY_USAGE_ENCRYPT ) == 0 )
mohammad1603f14394b2018-06-04 14:33:19 +03002171 return( PSA_ERROR_NOT_PERMITTED );
mohammad16035955c982018-04-26 00:53:03 +03002172
Gilles Peskine2d277862018-06-18 15:41:12 +02002173 if( ( key_type & PSA_KEY_TYPE_CATEGORY_MASK ) !=
2174 PSA_KEY_TYPE_CATEGORY_SYMMETRIC )
mohammad1603db624732018-04-30 17:21:50 +03002175 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16035955c982018-04-26 00:53:03 +03002176
mohammad16035955c982018-04-26 00:53:03 +03002177 if( alg == PSA_ALG_GCM )
2178 {
2179 mbedtls_gcm_context gcm;
mohammad160315223a82018-06-03 17:19:55 +03002180 tag_length = 16;
2181
mohammad160396910d82018-06-04 14:33:00 +03002182 if( PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type ) != 16 )
2183 return( PSA_ERROR_INVALID_ARGUMENT );
2184
mohammad160315223a82018-06-03 17:19:55 +03002185 //make sure we have place to hold the tag in the ciphertext buffer
2186 if( ciphertext_size < ( plaintext_length + tag_length ) )
mohammad1603e3cb8a82018-06-06 13:45:03 +03002187 return( PSA_ERROR_BUFFER_TOO_SMALL );
mohammad160315223a82018-06-03 17:19:55 +03002188
2189 //update the tag pointer to point to the end of the ciphertext_length
2190 tag = ciphertext + plaintext_length;
2191
mohammad16035955c982018-04-26 00:53:03 +03002192 mbedtls_gcm_init( &gcm );
Gilles Peskinea40d7742018-06-01 16:28:30 +02002193 ret = mbedtls_gcm_setkey( &gcm, cipher_id,
mohammad160395893f82018-06-03 15:06:17 +03002194 slot->data.raw.data,
Gilles Peskinea40d7742018-06-01 16:28:30 +02002195 key_bits );
mohammad16035955c982018-04-26 00:53:03 +03002196 if( ret != 0 )
2197 {
2198 mbedtls_gcm_free( &gcm );
2199 return( mbedtls_to_psa_error( ret ) );
2200 }
2201 ret = mbedtls_gcm_crypt_and_tag( &gcm, MBEDTLS_GCM_ENCRYPT,
Gilles Peskinea40d7742018-06-01 16:28:30 +02002202 plaintext_length, nonce,
2203 nonce_length, additional_data,
2204 additional_data_length, plaintext,
mohammad160315223a82018-06-03 17:19:55 +03002205 ciphertext, tag_length, tag );
mohammad16035955c982018-04-26 00:53:03 +03002206 mbedtls_gcm_free( &gcm );
2207 }
2208 else if( alg == PSA_ALG_CCM )
2209 {
2210 mbedtls_ccm_context ccm;
mohammad160315223a82018-06-03 17:19:55 +03002211 tag_length = 16;
2212
mohammad160396910d82018-06-04 14:33:00 +03002213 if( PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type ) != 16 )
2214 return( PSA_ERROR_INVALID_ARGUMENT );
2215
mohammad160347ddf3d2018-04-26 01:11:21 +03002216 if( nonce_length < 7 || nonce_length > 13 )
2217 return( PSA_ERROR_INVALID_ARGUMENT );
2218
mohammad160315223a82018-06-03 17:19:55 +03002219 //make sure we have place to hold the tag in the ciphertext buffer
2220 if( ciphertext_size < ( plaintext_length + tag_length ) )
mohammad1603e3cb8a82018-06-06 13:45:03 +03002221 return( PSA_ERROR_BUFFER_TOO_SMALL );
mohammad160315223a82018-06-03 17:19:55 +03002222
2223 //update the tag pointer to point to the end of the ciphertext_length
2224 tag = ciphertext + plaintext_length;
2225
2226
2227
mohammad16035955c982018-04-26 00:53:03 +03002228 mbedtls_ccm_init( &ccm );
Gilles Peskinea40d7742018-06-01 16:28:30 +02002229 ret = mbedtls_ccm_setkey( &ccm, cipher_id,
mohammad16036bbd8c72018-04-30 17:22:52 +03002230 slot->data.raw.data, key_bits );
mohammad16035955c982018-04-26 00:53:03 +03002231 if( ret != 0 )
2232 {
2233 mbedtls_ccm_free( &ccm );
2234 return( mbedtls_to_psa_error( ret ) );
2235 }
Gilles Peskinea40d7742018-06-01 16:28:30 +02002236 ret = mbedtls_ccm_encrypt_and_tag( &ccm, plaintext_length,
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002237 nonce, nonce_length,
2238 additional_data,
Gilles Peskinea40d7742018-06-01 16:28:30 +02002239 additional_data_length,
2240 plaintext, ciphertext,
mohammad160315223a82018-06-03 17:19:55 +03002241 tag, tag_length );
mohammad16035955c982018-04-26 00:53:03 +03002242 mbedtls_ccm_free( &ccm );
2243 }
mohammad16035c8845f2018-05-09 05:40:09 -07002244 else
2245 {
mohammad1603554faad2018-06-03 15:07:38 +03002246 return( PSA_ERROR_NOT_SUPPORTED );
mohammad16035c8845f2018-05-09 05:40:09 -07002247 }
Gilles Peskine2d277862018-06-18 15:41:12 +02002248
mohammad160315223a82018-06-03 17:19:55 +03002249 if( ret != 0 )
2250 {
2251 memset( ciphertext, 0, ciphertext_size );
2252 return( mbedtls_to_psa_error( ret ) );
2253 }
Gilles Peskine2d277862018-06-18 15:41:12 +02002254
mohammad160315223a82018-06-03 17:19:55 +03002255 *ciphertext_length = plaintext_length + tag_length;
mohammad160347ddf3d2018-04-26 01:11:21 +03002256 return( PSA_SUCCESS );
mohammad16035955c982018-04-26 00:53:03 +03002257}
2258
Gilles Peskineee652a32018-06-01 19:23:52 +02002259/* Locate the tag in a ciphertext buffer containing the encrypted data
2260 * followed by the tag. Return the length of the part preceding the tag in
2261 * *plaintext_length. This is the size of the plaintext in modes where
2262 * the encrypted data has the same size as the plaintext, such as
2263 * CCM and GCM. */
2264static psa_status_t psa_aead_unpadded_locate_tag( size_t tag_length,
2265 const uint8_t *ciphertext,
2266 size_t ciphertext_length,
2267 size_t plaintext_size,
Gilles Peskineee652a32018-06-01 19:23:52 +02002268 const uint8_t **p_tag )
2269{
2270 size_t payload_length;
2271 if( tag_length > ciphertext_length )
2272 return( PSA_ERROR_INVALID_ARGUMENT );
2273 payload_length = ciphertext_length - tag_length;
2274 if( payload_length > plaintext_size )
2275 return( PSA_ERROR_BUFFER_TOO_SMALL );
2276 *p_tag = ciphertext + payload_length;
Gilles Peskineee652a32018-06-01 19:23:52 +02002277 return( PSA_SUCCESS );
2278}
2279
mohammad16035955c982018-04-26 00:53:03 +03002280psa_status_t psa_aead_decrypt( psa_key_slot_t key,
2281 psa_algorithm_t alg,
2282 const uint8_t *nonce,
2283 size_t nonce_length,
2284 const uint8_t *additional_data,
2285 size_t additional_data_length,
2286 const uint8_t *ciphertext,
2287 size_t ciphertext_length,
2288 uint8_t *plaintext,
2289 size_t plaintext_size,
2290 size_t *plaintext_length )
2291{
2292 int ret;
2293 psa_status_t status;
2294 key_slot_t *slot;
2295 psa_key_type_t key_type;
2296 size_t key_bits;
Gilles Peskineee652a32018-06-01 19:23:52 +02002297 const uint8_t *tag;
2298 size_t tag_length;
mohammad1603dad36fa2018-05-09 02:24:42 -07002299 mbedtls_cipher_id_t cipher_id;
mohammad16030f214652018-06-03 15:10:06 +03002300 const mbedtls_cipher_info_t *cipher_info = NULL;
Gilles Peskine2d277862018-06-18 15:41:12 +02002301
Gilles Peskineee652a32018-06-01 19:23:52 +02002302 *plaintext_length = 0;
mohammad16039e5a5152018-04-26 12:07:35 +03002303
mohammad16035955c982018-04-26 00:53:03 +03002304 status = psa_get_key_information( key, &key_type, &key_bits );
2305 if( status != PSA_SUCCESS )
2306 return( status );
2307 slot = &global_data.key_slots[key];
mohammad1603a1d98012018-06-06 13:45:55 +03002308 if( slot->type == PSA_KEY_TYPE_NONE )
Gilles Peskine2d277862018-06-18 15:41:12 +02002309 return( PSA_ERROR_EMPTY_SLOT );
mohammad16035955c982018-04-26 00:53:03 +03002310
mohammad16035ed06212018-06-06 13:09:34 +03002311 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type,
2312 key_bits, &cipher_id );
mohammad16030f214652018-06-03 15:10:06 +03002313 if( cipher_info == NULL )
Gilles Peskine2d277862018-06-18 15:41:12 +02002314 return( PSA_ERROR_NOT_SUPPORTED );
2315
mohammad1603f14394b2018-06-04 14:33:19 +03002316 if( !( slot->policy.usage & PSA_KEY_USAGE_DECRYPT ) )
2317 return( PSA_ERROR_NOT_PERMITTED );
mohammad16035955c982018-04-26 00:53:03 +03002318
Gilles Peskine2d277862018-06-18 15:41:12 +02002319 if( ( key_type & PSA_KEY_TYPE_CATEGORY_MASK ) !=
2320 PSA_KEY_TYPE_CATEGORY_SYMMETRIC )
mohammad1603a7e6df72018-04-30 17:25:45 +03002321 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16035955c982018-04-26 00:53:03 +03002322
mohammad16035955c982018-04-26 00:53:03 +03002323 if( alg == PSA_ALG_GCM )
2324 {
2325 mbedtls_gcm_context gcm;
mohammad160347ddf3d2018-04-26 01:11:21 +03002326
Gilles Peskineee652a32018-06-01 19:23:52 +02002327 tag_length = 16;
2328 status = psa_aead_unpadded_locate_tag( tag_length,
2329 ciphertext, ciphertext_length,
mohammad160360a64d02018-06-03 17:20:42 +03002330 plaintext_size, &tag );
Gilles Peskineee652a32018-06-01 19:23:52 +02002331 if( status != PSA_SUCCESS )
2332 return( status );
2333
mohammad16035955c982018-04-26 00:53:03 +03002334 mbedtls_gcm_init( &gcm );
Gilles Peskinea40d7742018-06-01 16:28:30 +02002335 ret = mbedtls_gcm_setkey( &gcm, cipher_id,
mohammad16036bbd8c72018-04-30 17:22:52 +03002336 slot->data.raw.data, key_bits );
mohammad16035955c982018-04-26 00:53:03 +03002337 if( ret != 0 )
2338 {
2339 mbedtls_gcm_free( &gcm );
2340 return( mbedtls_to_psa_error( ret ) );
2341 }
mohammad16035955c982018-04-26 00:53:03 +03002342
Gilles Peskineee652a32018-06-01 19:23:52 +02002343 ret = mbedtls_gcm_auth_decrypt( &gcm,
mohammad160360a64d02018-06-03 17:20:42 +03002344 ciphertext_length - tag_length,
Gilles Peskineee652a32018-06-01 19:23:52 +02002345 nonce, nonce_length,
mohammad16035ed06212018-06-06 13:09:34 +03002346 additional_data,
2347 additional_data_length,
Gilles Peskineee652a32018-06-01 19:23:52 +02002348 tag, tag_length,
2349 ciphertext, plaintext );
mohammad16035955c982018-04-26 00:53:03 +03002350 mbedtls_gcm_free( &gcm );
2351 }
2352 else if( alg == PSA_ALG_CCM )
2353 {
2354 mbedtls_ccm_context ccm;
Gilles Peskinea40d7742018-06-01 16:28:30 +02002355
mohammad160347ddf3d2018-04-26 01:11:21 +03002356 if( nonce_length < 7 || nonce_length > 13 )
2357 return( PSA_ERROR_INVALID_ARGUMENT );
2358
mohammad16039375f842018-06-03 14:28:24 +03002359 tag_length = 16;
2360 status = psa_aead_unpadded_locate_tag( tag_length,
2361 ciphertext, ciphertext_length,
mohammad160360a64d02018-06-03 17:20:42 +03002362 plaintext_size, &tag );
mohammad16039375f842018-06-03 14:28:24 +03002363 if( status != PSA_SUCCESS )
2364 return( status );
2365
mohammad16035955c982018-04-26 00:53:03 +03002366 mbedtls_ccm_init( &ccm );
Gilles Peskinea40d7742018-06-01 16:28:30 +02002367 ret = mbedtls_ccm_setkey( &ccm, cipher_id,
mohammad16036bbd8c72018-04-30 17:22:52 +03002368 slot->data.raw.data, key_bits );
mohammad16035955c982018-04-26 00:53:03 +03002369 if( ret != 0 )
2370 {
2371 mbedtls_ccm_free( &ccm );
2372 return( mbedtls_to_psa_error( ret ) );
2373 }
mohammad160360a64d02018-06-03 17:20:42 +03002374 ret = mbedtls_ccm_auth_decrypt( &ccm, ciphertext_length - tag_length,
Gilles Peskineee652a32018-06-01 19:23:52 +02002375 nonce, nonce_length,
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002376 additional_data,
2377 additional_data_length,
Gilles Peskineee652a32018-06-01 19:23:52 +02002378 ciphertext, plaintext,
2379 tag, tag_length );
mohammad16035955c982018-04-26 00:53:03 +03002380 mbedtls_ccm_free( &ccm );
2381 }
mohammad160339574652018-06-01 04:39:53 -07002382 else
2383 {
mohammad1603554faad2018-06-03 15:07:38 +03002384 return( PSA_ERROR_NOT_SUPPORTED );
mohammad160339574652018-06-01 04:39:53 -07002385 }
Gilles Peskinea40d7742018-06-01 16:28:30 +02002386
Gilles Peskineee652a32018-06-01 19:23:52 +02002387 if( ret != 0 )
mohammad160360a64d02018-06-03 17:20:42 +03002388 memset( plaintext, 0, plaintext_size );
2389 else
2390 *plaintext_length = ciphertext_length - tag_length;
2391
Gilles Peskineee652a32018-06-01 19:23:52 +02002392 return( mbedtls_to_psa_error( ret ) );
mohammad16035955c982018-04-26 00:53:03 +03002393}
2394
Gilles Peskinea0655c32018-04-30 17:06:50 +02002395
Gilles Peskine20035e32018-02-03 22:44:14 +01002396/****************************************************************/
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01002397/* Module setup */
2398/****************************************************************/
2399
Gilles Peskinee59236f2018-01-27 23:32:46 +01002400void mbedtls_psa_crypto_free( void )
2401{
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01002402 size_t key;
2403 for( key = 1; key < MBEDTLS_PSA_KEY_SLOT_COUNT; key++ )
2404 psa_destroy_key( key );
Gilles Peskinee59236f2018-01-27 23:32:46 +01002405 mbedtls_ctr_drbg_free( &global_data.ctr_drbg );
2406 mbedtls_entropy_free( &global_data.entropy );
2407 mbedtls_zeroize( &global_data, sizeof( global_data ) );
2408}
2409
2410psa_status_t psa_crypto_init( void )
2411{
2412 int ret;
2413 const unsigned char drbg_seed[] = "PSA";
2414
2415 if( global_data.initialized != 0 )
2416 return( PSA_SUCCESS );
2417
2418 mbedtls_zeroize( &global_data, sizeof( global_data ) );
2419 mbedtls_entropy_init( &global_data.entropy );
2420 mbedtls_ctr_drbg_init( &global_data.ctr_drbg );
2421
2422 ret = mbedtls_ctr_drbg_seed( &global_data.ctr_drbg,
2423 mbedtls_entropy_func,
2424 &global_data.entropy,
2425 drbg_seed, sizeof( drbg_seed ) - 1 );
2426 if( ret != 0 )
2427 goto exit;
2428
Gilles Peskinee4ebc122018-03-07 14:16:44 +01002429 global_data.initialized = 1;
2430
Gilles Peskinee59236f2018-01-27 23:32:46 +01002431exit:
2432 if( ret != 0 )
2433 mbedtls_psa_crypto_free( );
2434 return( mbedtls_to_psa_error( ret ) );
2435}
2436
2437#endif /* MBEDTLS_PSA_CRYPTO_C */