blob: 63dbcce478fa9fc1c4dd09fb332ae87cd447b83c [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)
Mohammad Abo Mokha5c7b7d2018-07-04 15:57:00 +030029/*
30 * In case MBEDTLS_PSA_CRYPTO_SPM is defined the code is built for SPM (Secure
31 * Partition Manager) integration which separate the code into two parts
32 * NSPE (Non-Secure Process Environment) and SPE (Secure Process Environment).
33 * In this mode an additional header file should be included.
34 */
mohammad160327010052018-07-03 13:16:15 +030035#if defined(MBEDTLS_PSA_CRYPTO_SPM)
Mohammad Abo Mokha5c7b7d2018-07-04 15:57:00 +030036/*
37 * PSA_CRYPTO_SECURE means that this file is compiled to the SPE side.
38 * some headers will be affected by this flag.
39 */
mohammad160327010052018-07-03 13:16:15 +030040#define PSA_CRYPTO_SECURE 1
41#include "crypto_spe.h"
42#endif
43
Gilles Peskinee59236f2018-01-27 23:32:46 +010044#include "psa/crypto.h"
45
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010046#include <stdlib.h>
47#include <string.h>
48#if defined(MBEDTLS_PLATFORM_C)
49#include "mbedtls/platform.h"
50#else
51#define mbedtls_calloc calloc
52#define mbedtls_free free
53#endif
54
Gilles Peskinea5905292018-02-07 20:59:33 +010055#include "mbedtls/arc4.h"
Gilles Peskine9a944802018-06-21 09:35:35 +020056#include "mbedtls/asn1.h"
Gilles Peskinea81d85b2018-06-26 16:10:23 +020057#include "mbedtls/bignum.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010058#include "mbedtls/blowfish.h"
59#include "mbedtls/camellia.h"
60#include "mbedtls/cipher.h"
61#include "mbedtls/ccm.h"
62#include "mbedtls/cmac.h"
Gilles Peskinee59236f2018-01-27 23:32:46 +010063#include "mbedtls/ctr_drbg.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010064#include "mbedtls/des.h"
Gilles Peskine969ac722018-01-28 18:16:59 +010065#include "mbedtls/ecp.h"
Gilles Peskinee59236f2018-01-27 23:32:46 +010066#include "mbedtls/entropy.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010067#include "mbedtls/error.h"
68#include "mbedtls/gcm.h"
69#include "mbedtls/md2.h"
70#include "mbedtls/md4.h"
71#include "mbedtls/md5.h"
Gilles Peskine20035e32018-02-03 22:44:14 +010072#include "mbedtls/md.h"
73#include "mbedtls/md_internal.h"
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010074#include "mbedtls/pk.h"
Gilles Peskine969ac722018-01-28 18:16:59 +010075#include "mbedtls/pk_internal.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010076#include "mbedtls/ripemd160.h"
Gilles Peskine969ac722018-01-28 18:16:59 +010077#include "mbedtls/rsa.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010078#include "mbedtls/sha1.h"
79#include "mbedtls/sha256.h"
80#include "mbedtls/sha512.h"
81#include "mbedtls/xtea.h"
82
Gilles Peskinee59236f2018-01-27 23:32:46 +010083
84
85/* Implementation that should never be optimized out by the compiler */
86static void mbedtls_zeroize( void *v, size_t n )
87{
88 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
89}
90
Gilles Peskine9ef733f2018-02-07 21:05:37 +010091/* constant-time buffer comparison */
92static inline int safer_memcmp( const uint8_t *a, const uint8_t *b, size_t n )
93{
94 size_t i;
95 unsigned char diff = 0;
96
97 for( i = 0; i < n; i++ )
98 diff |= a[i] ^ b[i];
99
100 return( diff );
101}
102
103
104
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100105/****************************************************************/
106/* Global data, support functions and library management */
107/****************************************************************/
108
109/* Number of key slots (plus one because 0 is not used).
110 * The value is a compile-time constant for now, for simplicity. */
Gilles Peskine828ed142018-06-18 23:25:51 +0200111#define PSA_KEY_SLOT_COUNT 32
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100112
Gilles Peskine2d277862018-06-18 15:41:12 +0200113typedef struct
114{
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100115 psa_key_type_t type;
mohammad16038cc1cee2018-03-28 01:21:33 +0300116 psa_key_policy_t policy;
mohammad1603804cd712018-03-20 22:44:08 +0200117 psa_key_lifetime_t lifetime;
Gilles Peskine2d277862018-06-18 15:41:12 +0200118 union
119 {
120 struct raw_data
121 {
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100122 uint8_t *data;
123 size_t bytes;
124 } raw;
Gilles Peskine969ac722018-01-28 18:16:59 +0100125#if defined(MBEDTLS_RSA_C)
126 mbedtls_rsa_context *rsa;
127#endif /* MBEDTLS_RSA_C */
128#if defined(MBEDTLS_ECP_C)
129 mbedtls_ecp_keypair *ecp;
130#endif /* MBEDTLS_ECP_C */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100131 } data;
132} key_slot_t;
133
Gilles Peskine48c0ea12018-06-21 14:15:31 +0200134static int key_type_is_raw_bytes( psa_key_type_t type )
135{
136 psa_key_type_t category = type & PSA_KEY_TYPE_CATEGORY_MASK;
137 return( category == PSA_KEY_TYPE_RAW_DATA ||
138 category == PSA_KEY_TYPE_CATEGORY_SYMMETRIC );
139}
140
Gilles Peskine2d277862018-06-18 15:41:12 +0200141typedef struct
142{
Gilles Peskinee59236f2018-01-27 23:32:46 +0100143 int initialized;
144 mbedtls_entropy_context entropy;
145 mbedtls_ctr_drbg_context ctr_drbg;
Gilles Peskine828ed142018-06-18 23:25:51 +0200146 key_slot_t key_slots[PSA_KEY_SLOT_COUNT];
Gilles Peskinee59236f2018-01-27 23:32:46 +0100147} psa_global_data_t;
148
149static psa_global_data_t global_data;
150
151static psa_status_t mbedtls_to_psa_error( int ret )
152{
Gilles Peskinea5905292018-02-07 20:59:33 +0100153 /* If there's both a high-level code and low-level code, dispatch on
154 * the high-level code. */
155 switch( ret < -0x7f ? - ( -ret & 0x7f80 ) : ret )
Gilles Peskinee59236f2018-01-27 23:32:46 +0100156 {
157 case 0:
158 return( PSA_SUCCESS );
Gilles Peskinea5905292018-02-07 20:59:33 +0100159
160 case MBEDTLS_ERR_AES_INVALID_KEY_LENGTH:
161 case MBEDTLS_ERR_AES_INVALID_INPUT_LENGTH:
162 case MBEDTLS_ERR_AES_FEATURE_UNAVAILABLE:
163 return( PSA_ERROR_NOT_SUPPORTED );
164 case MBEDTLS_ERR_AES_HW_ACCEL_FAILED:
165 return( PSA_ERROR_HARDWARE_FAILURE );
166
167 case MBEDTLS_ERR_ARC4_HW_ACCEL_FAILED:
168 return( PSA_ERROR_HARDWARE_FAILURE );
169
Gilles Peskine9a944802018-06-21 09:35:35 +0200170 case MBEDTLS_ERR_ASN1_OUT_OF_DATA:
171 case MBEDTLS_ERR_ASN1_UNEXPECTED_TAG:
172 case MBEDTLS_ERR_ASN1_INVALID_LENGTH:
173 case MBEDTLS_ERR_ASN1_LENGTH_MISMATCH:
174 case MBEDTLS_ERR_ASN1_INVALID_DATA:
175 return( PSA_ERROR_INVALID_ARGUMENT );
176 case MBEDTLS_ERR_ASN1_ALLOC_FAILED:
177 return( PSA_ERROR_INSUFFICIENT_MEMORY );
178 case MBEDTLS_ERR_ASN1_BUF_TOO_SMALL:
179 return( PSA_ERROR_BUFFER_TOO_SMALL );
180
Gilles Peskinea5905292018-02-07 20:59:33 +0100181 case MBEDTLS_ERR_BLOWFISH_INVALID_KEY_LENGTH:
182 case MBEDTLS_ERR_BLOWFISH_INVALID_INPUT_LENGTH:
183 return( PSA_ERROR_NOT_SUPPORTED );
184 case MBEDTLS_ERR_BLOWFISH_HW_ACCEL_FAILED:
185 return( PSA_ERROR_HARDWARE_FAILURE );
186
187 case MBEDTLS_ERR_CAMELLIA_INVALID_KEY_LENGTH:
188 case MBEDTLS_ERR_CAMELLIA_INVALID_INPUT_LENGTH:
189 return( PSA_ERROR_NOT_SUPPORTED );
190 case MBEDTLS_ERR_CAMELLIA_HW_ACCEL_FAILED:
191 return( PSA_ERROR_HARDWARE_FAILURE );
192
193 case MBEDTLS_ERR_CCM_BAD_INPUT:
194 return( PSA_ERROR_INVALID_ARGUMENT );
195 case MBEDTLS_ERR_CCM_AUTH_FAILED:
196 return( PSA_ERROR_INVALID_SIGNATURE );
197 case MBEDTLS_ERR_CCM_HW_ACCEL_FAILED:
198 return( PSA_ERROR_HARDWARE_FAILURE );
199
200 case MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE:
201 return( PSA_ERROR_NOT_SUPPORTED );
202 case MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA:
203 return( PSA_ERROR_INVALID_ARGUMENT );
204 case MBEDTLS_ERR_CIPHER_ALLOC_FAILED:
205 return( PSA_ERROR_INSUFFICIENT_MEMORY );
206 case MBEDTLS_ERR_CIPHER_INVALID_PADDING:
207 return( PSA_ERROR_INVALID_PADDING );
208 case MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED:
209 return( PSA_ERROR_BAD_STATE );
210 case MBEDTLS_ERR_CIPHER_AUTH_FAILED:
211 return( PSA_ERROR_INVALID_SIGNATURE );
212 case MBEDTLS_ERR_CIPHER_INVALID_CONTEXT:
213 return( PSA_ERROR_TAMPERING_DETECTED );
214 case MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED:
215 return( PSA_ERROR_HARDWARE_FAILURE );
216
217 case MBEDTLS_ERR_CMAC_HW_ACCEL_FAILED:
218 return( PSA_ERROR_HARDWARE_FAILURE );
219
220 case MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED:
221 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
222 case MBEDTLS_ERR_CTR_DRBG_REQUEST_TOO_BIG:
223 case MBEDTLS_ERR_CTR_DRBG_INPUT_TOO_BIG:
224 return( PSA_ERROR_NOT_SUPPORTED );
225 case MBEDTLS_ERR_CTR_DRBG_FILE_IO_ERROR:
226 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
227
228 case MBEDTLS_ERR_DES_INVALID_INPUT_LENGTH:
229 return( PSA_ERROR_NOT_SUPPORTED );
230 case MBEDTLS_ERR_DES_HW_ACCEL_FAILED:
231 return( PSA_ERROR_HARDWARE_FAILURE );
232
Gilles Peskinee59236f2018-01-27 23:32:46 +0100233 case MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED:
234 case MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE:
235 case MBEDTLS_ERR_ENTROPY_SOURCE_FAILED:
236 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
Gilles Peskinea5905292018-02-07 20:59:33 +0100237
238 case MBEDTLS_ERR_GCM_AUTH_FAILED:
239 return( PSA_ERROR_INVALID_SIGNATURE );
240 case MBEDTLS_ERR_GCM_BAD_INPUT:
241 return( PSA_ERROR_NOT_SUPPORTED );
242 case MBEDTLS_ERR_GCM_HW_ACCEL_FAILED:
243 return( PSA_ERROR_HARDWARE_FAILURE );
244
245 case MBEDTLS_ERR_MD2_HW_ACCEL_FAILED:
246 case MBEDTLS_ERR_MD4_HW_ACCEL_FAILED:
247 case MBEDTLS_ERR_MD5_HW_ACCEL_FAILED:
248 return( PSA_ERROR_HARDWARE_FAILURE );
249
250 case MBEDTLS_ERR_MD_FEATURE_UNAVAILABLE:
251 return( PSA_ERROR_NOT_SUPPORTED );
252 case MBEDTLS_ERR_MD_BAD_INPUT_DATA:
253 return( PSA_ERROR_INVALID_ARGUMENT );
254 case MBEDTLS_ERR_MD_ALLOC_FAILED:
255 return( PSA_ERROR_INSUFFICIENT_MEMORY );
256 case MBEDTLS_ERR_MD_FILE_IO_ERROR:
257 return( PSA_ERROR_STORAGE_FAILURE );
258 case MBEDTLS_ERR_MD_HW_ACCEL_FAILED:
259 return( PSA_ERROR_HARDWARE_FAILURE );
260
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100261 case MBEDTLS_ERR_PK_ALLOC_FAILED:
262 return( PSA_ERROR_INSUFFICIENT_MEMORY );
263 case MBEDTLS_ERR_PK_TYPE_MISMATCH:
264 case MBEDTLS_ERR_PK_BAD_INPUT_DATA:
265 return( PSA_ERROR_INVALID_ARGUMENT );
266 case MBEDTLS_ERR_PK_FILE_IO_ERROR:
Gilles Peskinea5905292018-02-07 20:59:33 +0100267 return( PSA_ERROR_STORAGE_FAILURE );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100268 case MBEDTLS_ERR_PK_KEY_INVALID_VERSION:
269 case MBEDTLS_ERR_PK_KEY_INVALID_FORMAT:
270 return( PSA_ERROR_INVALID_ARGUMENT );
271 case MBEDTLS_ERR_PK_UNKNOWN_PK_ALG:
272 return( PSA_ERROR_NOT_SUPPORTED );
273 case MBEDTLS_ERR_PK_PASSWORD_REQUIRED:
274 case MBEDTLS_ERR_PK_PASSWORD_MISMATCH:
275 return( PSA_ERROR_NOT_PERMITTED );
276 case MBEDTLS_ERR_PK_INVALID_PUBKEY:
277 return( PSA_ERROR_INVALID_ARGUMENT );
278 case MBEDTLS_ERR_PK_INVALID_ALG:
279 case MBEDTLS_ERR_PK_UNKNOWN_NAMED_CURVE:
280 case MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE:
281 return( PSA_ERROR_NOT_SUPPORTED );
282 case MBEDTLS_ERR_PK_SIG_LEN_MISMATCH:
283 return( PSA_ERROR_INVALID_SIGNATURE );
Gilles Peskinea5905292018-02-07 20:59:33 +0100284 case MBEDTLS_ERR_PK_HW_ACCEL_FAILED:
285 return( PSA_ERROR_HARDWARE_FAILURE );
286
287 case MBEDTLS_ERR_RIPEMD160_HW_ACCEL_FAILED:
288 return( PSA_ERROR_HARDWARE_FAILURE );
289
290 case MBEDTLS_ERR_RSA_BAD_INPUT_DATA:
291 return( PSA_ERROR_INVALID_ARGUMENT );
292 case MBEDTLS_ERR_RSA_INVALID_PADDING:
293 return( PSA_ERROR_INVALID_PADDING );
294 case MBEDTLS_ERR_RSA_KEY_GEN_FAILED:
295 return( PSA_ERROR_HARDWARE_FAILURE );
296 case MBEDTLS_ERR_RSA_KEY_CHECK_FAILED:
297 return( PSA_ERROR_INVALID_ARGUMENT );
298 case MBEDTLS_ERR_RSA_PUBLIC_FAILED:
299 case MBEDTLS_ERR_RSA_PRIVATE_FAILED:
300 return( PSA_ERROR_TAMPERING_DETECTED );
301 case MBEDTLS_ERR_RSA_VERIFY_FAILED:
302 return( PSA_ERROR_INVALID_SIGNATURE );
303 case MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE:
304 return( PSA_ERROR_BUFFER_TOO_SMALL );
305 case MBEDTLS_ERR_RSA_RNG_FAILED:
306 return( PSA_ERROR_INSUFFICIENT_MEMORY );
307 case MBEDTLS_ERR_RSA_UNSUPPORTED_OPERATION:
308 return( PSA_ERROR_NOT_SUPPORTED );
309 case MBEDTLS_ERR_RSA_HW_ACCEL_FAILED:
310 return( PSA_ERROR_HARDWARE_FAILURE );
311
312 case MBEDTLS_ERR_SHA1_HW_ACCEL_FAILED:
313 case MBEDTLS_ERR_SHA256_HW_ACCEL_FAILED:
314 case MBEDTLS_ERR_SHA512_HW_ACCEL_FAILED:
315 return( PSA_ERROR_HARDWARE_FAILURE );
316
317 case MBEDTLS_ERR_XTEA_INVALID_INPUT_LENGTH:
318 return( PSA_ERROR_INVALID_ARGUMENT );
319 case MBEDTLS_ERR_XTEA_HW_ACCEL_FAILED:
320 return( PSA_ERROR_HARDWARE_FAILURE );
321
itayzafrir5c753392018-05-08 11:18:38 +0300322 case MBEDTLS_ERR_ECP_BAD_INPUT_DATA:
itayzafrir7b30f8b2018-05-09 16:07:36 +0300323 case MBEDTLS_ERR_ECP_INVALID_KEY:
itayzafrir5c753392018-05-08 11:18:38 +0300324 return( PSA_ERROR_INVALID_ARGUMENT );
itayzafrir7b30f8b2018-05-09 16:07:36 +0300325 case MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL:
326 return( PSA_ERROR_BUFFER_TOO_SMALL );
327 case MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE:
328 return( PSA_ERROR_NOT_SUPPORTED );
329 case MBEDTLS_ERR_ECP_SIG_LEN_MISMATCH:
330 case MBEDTLS_ERR_ECP_VERIFY_FAILED:
331 return( PSA_ERROR_INVALID_SIGNATURE );
332 case MBEDTLS_ERR_ECP_ALLOC_FAILED:
333 return( PSA_ERROR_INSUFFICIENT_MEMORY );
334 case MBEDTLS_ERR_ECP_HW_ACCEL_FAILED:
335 return( PSA_ERROR_HARDWARE_FAILURE );
itayzafrir5c753392018-05-08 11:18:38 +0300336
Gilles Peskinee59236f2018-01-27 23:32:46 +0100337 default:
338 return( PSA_ERROR_UNKNOWN_ERROR );
339 }
340}
341
Gilles Peskineb0b255c2018-07-06 17:01:38 +0200342/* Retrieve a key slot, occupied or not. */
343static psa_status_t psa_get_key_slot( psa_key_slot_t key,
344 key_slot_t **p_slot )
345{
346 if( key == 0 || key > PSA_KEY_SLOT_COUNT )
347 return( PSA_ERROR_INVALID_ARGUMENT );
348
349 *p_slot = &global_data.key_slots[key];
350 return( PSA_SUCCESS );
351}
352
353/* Retrieve an empty key slot (slot with no key data, but possibly
354 * with some metadata such as a policy). */
355static psa_status_t psa_get_empty_key_slot( psa_key_slot_t key,
356 key_slot_t **p_slot )
357{
358 psa_status_t status;
359 key_slot_t *slot = NULL;
360
361 *p_slot = NULL;
362
363 status = psa_get_key_slot( key, &slot );
364 if( status != PSA_SUCCESS )
365 return( status );
366
367 if( slot->type != PSA_KEY_TYPE_NONE )
368 return( PSA_ERROR_OCCUPIED_SLOT );
369
370 *p_slot = slot;
371 return( status );
372}
373
374/* Retrieve a slot which must contain a key. The key must have allow all
375 * the usage flags set in \p usage. If \p alg is nonzero, the key must
376 * allow operations with this algorithm. */
377static psa_status_t psa_get_key_from_slot( psa_key_slot_t key,
378 key_slot_t **p_slot,
379 psa_key_usage_t usage,
380 psa_algorithm_t alg )
381{
382 psa_status_t status;
383 key_slot_t *slot = NULL;
384
385 *p_slot = NULL;
386
387 status = psa_get_key_slot( key, &slot );
388 if( status != PSA_SUCCESS )
389 return( status );
390 if( slot->type == PSA_KEY_TYPE_NONE )
391 return( PSA_ERROR_EMPTY_SLOT );
392
393 /* Enforce that usage policy for the key slot contains all the flags
394 * required by the usage parameter. There is one exception: public
395 * keys can always be exported, so we treat public key objects as
396 * if they had the export flag. */
397 if( PSA_KEY_TYPE_IS_PUBLIC_KEY( slot->type ) )
398 usage &= ~PSA_KEY_USAGE_EXPORT;
399 if( ( slot->policy.usage & usage ) != usage )
400 return( PSA_ERROR_NOT_PERMITTED );
401 if( alg != 0 && ( alg != slot->policy.alg ) )
402 return( PSA_ERROR_NOT_PERMITTED );
403
404 *p_slot = slot;
405 return( PSA_SUCCESS );
406}
407
Gilles Peskine7bcfc0a2018-06-18 21:49:39 +0200408
409
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100410/****************************************************************/
411/* Key management */
412/****************************************************************/
413
Gilles Peskine34ef7f52018-06-18 20:47:51 +0200414static psa_ecc_curve_t mbedtls_ecc_group_to_psa( mbedtls_ecp_group_id grpid )
415{
416 switch( grpid )
417 {
418 case MBEDTLS_ECP_DP_SECP192R1:
419 return( PSA_ECC_CURVE_SECP192R1 );
420 case MBEDTLS_ECP_DP_SECP224R1:
421 return( PSA_ECC_CURVE_SECP224R1 );
422 case MBEDTLS_ECP_DP_SECP256R1:
423 return( PSA_ECC_CURVE_SECP256R1 );
424 case MBEDTLS_ECP_DP_SECP384R1:
425 return( PSA_ECC_CURVE_SECP384R1 );
426 case MBEDTLS_ECP_DP_SECP521R1:
427 return( PSA_ECC_CURVE_SECP521R1 );
428 case MBEDTLS_ECP_DP_BP256R1:
429 return( PSA_ECC_CURVE_BRAINPOOL_P256R1 );
430 case MBEDTLS_ECP_DP_BP384R1:
431 return( PSA_ECC_CURVE_BRAINPOOL_P384R1 );
432 case MBEDTLS_ECP_DP_BP512R1:
433 return( PSA_ECC_CURVE_BRAINPOOL_P512R1 );
434 case MBEDTLS_ECP_DP_CURVE25519:
435 return( PSA_ECC_CURVE_CURVE25519 );
436 case MBEDTLS_ECP_DP_SECP192K1:
437 return( PSA_ECC_CURVE_SECP192K1 );
438 case MBEDTLS_ECP_DP_SECP224K1:
439 return( PSA_ECC_CURVE_SECP224K1 );
440 case MBEDTLS_ECP_DP_SECP256K1:
441 return( PSA_ECC_CURVE_SECP256K1 );
442 case MBEDTLS_ECP_DP_CURVE448:
443 return( PSA_ECC_CURVE_CURVE448 );
444 default:
445 return( 0 );
446 }
447}
448
Gilles Peskine12313cd2018-06-20 00:20:32 +0200449static mbedtls_ecp_group_id mbedtls_ecc_group_of_psa( psa_ecc_curve_t curve )
450{
451 switch( curve )
452 {
453 case PSA_ECC_CURVE_SECP192R1:
454 return( MBEDTLS_ECP_DP_SECP192R1 );
455 case PSA_ECC_CURVE_SECP224R1:
456 return( MBEDTLS_ECP_DP_SECP224R1 );
457 case PSA_ECC_CURVE_SECP256R1:
458 return( MBEDTLS_ECP_DP_SECP256R1 );
459 case PSA_ECC_CURVE_SECP384R1:
460 return( MBEDTLS_ECP_DP_SECP384R1 );
461 case PSA_ECC_CURVE_SECP521R1:
462 return( MBEDTLS_ECP_DP_SECP521R1 );
463 case PSA_ECC_CURVE_BRAINPOOL_P256R1:
464 return( MBEDTLS_ECP_DP_BP256R1 );
465 case PSA_ECC_CURVE_BRAINPOOL_P384R1:
466 return( MBEDTLS_ECP_DP_BP384R1 );
467 case PSA_ECC_CURVE_BRAINPOOL_P512R1:
468 return( MBEDTLS_ECP_DP_BP512R1 );
469 case PSA_ECC_CURVE_CURVE25519:
470 return( MBEDTLS_ECP_DP_CURVE25519 );
471 case PSA_ECC_CURVE_SECP192K1:
472 return( MBEDTLS_ECP_DP_SECP192K1 );
473 case PSA_ECC_CURVE_SECP224K1:
474 return( MBEDTLS_ECP_DP_SECP224K1 );
475 case PSA_ECC_CURVE_SECP256K1:
476 return( MBEDTLS_ECP_DP_SECP256K1 );
477 case PSA_ECC_CURVE_CURVE448:
478 return( MBEDTLS_ECP_DP_CURVE448 );
479 default:
480 return( MBEDTLS_ECP_DP_NONE );
481 }
482}
483
Gilles Peskine0ff4b0f2018-06-19 21:31:50 +0200484static psa_status_t prepare_raw_data_slot( psa_key_type_t type,
485 size_t bits,
486 struct raw_data *raw )
487{
488 /* Check that the bit size is acceptable for the key type */
489 switch( type )
490 {
491 case PSA_KEY_TYPE_RAW_DATA:
Gilles Peskine46f1fd72018-06-28 19:31:31 +0200492 if( bits == 0 )
493 {
494 raw->bytes = 0;
495 raw->data = NULL;
496 return( PSA_SUCCESS );
497 }
498 break;
Gilles Peskine0ff4b0f2018-06-19 21:31:50 +0200499#if defined(MBEDTLS_MD_C)
500 case PSA_KEY_TYPE_HMAC:
Gilles Peskine0ff4b0f2018-06-19 21:31:50 +0200501 break;
Gilles Peskine46f1fd72018-06-28 19:31:31 +0200502#endif
Gilles Peskine0ff4b0f2018-06-19 21:31:50 +0200503#if defined(MBEDTLS_AES_C)
504 case PSA_KEY_TYPE_AES:
505 if( bits != 128 && bits != 192 && bits != 256 )
506 return( PSA_ERROR_INVALID_ARGUMENT );
507 break;
508#endif
509#if defined(MBEDTLS_CAMELLIA_C)
510 case PSA_KEY_TYPE_CAMELLIA:
511 if( bits != 128 && bits != 192 && bits != 256 )
512 return( PSA_ERROR_INVALID_ARGUMENT );
513 break;
514#endif
515#if defined(MBEDTLS_DES_C)
516 case PSA_KEY_TYPE_DES:
517 if( bits != 64 && bits != 128 && bits != 192 )
518 return( PSA_ERROR_INVALID_ARGUMENT );
519 break;
520#endif
521#if defined(MBEDTLS_ARC4_C)
522 case PSA_KEY_TYPE_ARC4:
523 if( bits < 8 || bits > 2048 )
524 return( PSA_ERROR_INVALID_ARGUMENT );
525 break;
526#endif
527 default:
528 return( PSA_ERROR_NOT_SUPPORTED );
529 }
Gilles Peskineb54979a2018-06-21 09:32:47 +0200530 if( bits % 8 != 0 )
531 return( PSA_ERROR_INVALID_ARGUMENT );
Gilles Peskine0ff4b0f2018-06-19 21:31:50 +0200532
533 /* Allocate memory for the key */
534 raw->bytes = PSA_BITS_TO_BYTES( bits );
535 raw->data = mbedtls_calloc( 1, raw->bytes );
536 if( raw->data == NULL )
537 {
538 raw->bytes = 0;
539 return( PSA_ERROR_INSUFFICIENT_MEMORY );
540 }
541 return( PSA_SUCCESS );
542}
543
Gilles Peskine2d277862018-06-18 15:41:12 +0200544psa_status_t psa_import_key( psa_key_slot_t key,
545 psa_key_type_t type,
546 const uint8_t *data,
547 size_t data_length )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100548{
549 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +0200550 psa_status_t status = PSA_SUCCESS;
551 status = psa_get_empty_key_slot( key, &slot );
552 if( status != PSA_SUCCESS )
553 return( status );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100554
Gilles Peskine48c0ea12018-06-21 14:15:31 +0200555 if( key_type_is_raw_bytes( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100556 {
Gilles Peskine6d912132018-03-07 16:41:37 +0100557 /* Ensure that a bytes-to-bit conversion won't overflow. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100558 if( data_length > SIZE_MAX / 8 )
559 return( PSA_ERROR_NOT_SUPPORTED );
Gilles Peskine0ff4b0f2018-06-19 21:31:50 +0200560 status = prepare_raw_data_slot( type,
561 PSA_BYTES_TO_BITS( data_length ),
562 &slot->data.raw );
563 if( status != PSA_SUCCESS )
564 return( status );
Gilles Peskine46f1fd72018-06-28 19:31:31 +0200565 if( data_length != 0 )
566 memcpy( slot->data.raw.data, data, data_length );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100567 }
568 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100569#if defined(MBEDTLS_PK_PARSE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100570 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
571 type == PSA_KEY_TYPE_RSA_KEYPAIR ||
572 PSA_KEY_TYPE_IS_ECC( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100573 {
574 int ret;
Gilles Peskine969ac722018-01-28 18:16:59 +0100575 mbedtls_pk_context pk;
576 mbedtls_pk_init( &pk );
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100577 if( PSA_KEY_TYPE_IS_KEYPAIR( type ) )
578 ret = mbedtls_pk_parse_key( &pk, data, data_length, NULL, 0 );
579 else
580 ret = mbedtls_pk_parse_public_key( &pk, data, data_length );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100581 if( ret != 0 )
582 return( mbedtls_to_psa_error( ret ) );
Gilles Peskine969ac722018-01-28 18:16:59 +0100583 switch( mbedtls_pk_get_type( &pk ) )
584 {
585#if defined(MBEDTLS_RSA_C)
586 case MBEDTLS_PK_RSA:
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100587 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
588 type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200589 {
590 mbedtls_rsa_context *rsa = mbedtls_pk_rsa( pk );
591 size_t bits = mbedtls_rsa_get_bitlen( rsa );
592 if( bits > PSA_VENDOR_RSA_MAX_KEY_BITS )
Gilles Peskine1ae05142018-06-30 17:46:59 +0200593 {
594 status = PSA_ERROR_NOT_SUPPORTED;
595 break;
596 }
Gilles Peskineaf3baab2018-06-27 22:55:52 +0200597 slot->data.rsa = rsa;
598 }
Gilles Peskine969ac722018-01-28 18:16:59 +0100599 else
Gilles Peskinec648d692018-06-28 08:46:13 +0200600 status = PSA_ERROR_INVALID_ARGUMENT;
Gilles Peskine969ac722018-01-28 18:16:59 +0100601 break;
602#endif /* MBEDTLS_RSA_C */
603#if defined(MBEDTLS_ECP_C)
604 case MBEDTLS_PK_ECKEY:
605 if( PSA_KEY_TYPE_IS_ECC( type ) )
606 {
Gilles Peskine34ef7f52018-06-18 20:47:51 +0200607 mbedtls_ecp_keypair *ecp = mbedtls_pk_ec( pk );
608 psa_ecc_curve_t actual_curve =
609 mbedtls_ecc_group_to_psa( ecp->grp.id );
610 psa_ecc_curve_t expected_curve =
611 PSA_KEY_TYPE_GET_CURVE( type );
612 if( actual_curve != expected_curve )
Gilles Peskinec648d692018-06-28 08:46:13 +0200613 {
614 status = PSA_ERROR_INVALID_ARGUMENT;
615 break;
616 }
Gilles Peskine34ef7f52018-06-18 20:47:51 +0200617 slot->data.ecp = ecp;
Gilles Peskine969ac722018-01-28 18:16:59 +0100618 }
619 else
Gilles Peskinec648d692018-06-28 08:46:13 +0200620 status = PSA_ERROR_INVALID_ARGUMENT;
Gilles Peskine969ac722018-01-28 18:16:59 +0100621 break;
622#endif /* MBEDTLS_ECP_C */
623 default:
Gilles Peskinec648d692018-06-28 08:46:13 +0200624 status = PSA_ERROR_INVALID_ARGUMENT;
625 break;
626 }
627 /* Free the content of the pk object only on error. On success,
628 * the content of the object has been stored in the slot. */
629 if( status != PSA_SUCCESS )
630 {
631 mbedtls_pk_free( &pk );
632 return( status );
Gilles Peskine969ac722018-01-28 18:16:59 +0100633 }
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100634 }
635 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100636#endif /* defined(MBEDTLS_PK_PARSE_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100637 {
638 return( PSA_ERROR_NOT_SUPPORTED );
639 }
640
641 slot->type = type;
642 return( PSA_SUCCESS );
643}
644
Gilles Peskine2d277862018-06-18 15:41:12 +0200645psa_status_t psa_destroy_key( psa_key_slot_t key )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100646{
647 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +0200648 psa_status_t status;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100649
Gilles Peskineb0b255c2018-07-06 17:01:38 +0200650 status = psa_get_key_slot( key, &slot );
651 if( status != PSA_SUCCESS )
652 return( status );
653
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100654 if( slot->type == PSA_KEY_TYPE_NONE )
Gilles Peskine154bd952018-04-19 08:38:16 +0200655 {
656 /* No key material to clean, but do zeroize the slot below to wipe
657 * metadata such as policies. */
658 }
Gilles Peskine48c0ea12018-06-21 14:15:31 +0200659 else if( key_type_is_raw_bytes( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100660 {
661 mbedtls_free( slot->data.raw.data );
662 }
663 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100664#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100665 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
666 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100667 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100668 mbedtls_rsa_free( slot->data.rsa );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100669 mbedtls_free( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100670 }
671 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100672#endif /* defined(MBEDTLS_RSA_C) */
673#if defined(MBEDTLS_ECP_C)
674 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
675 {
676 mbedtls_ecp_keypair_free( slot->data.ecp );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100677 mbedtls_free( slot->data.ecp );
Gilles Peskine969ac722018-01-28 18:16:59 +0100678 }
679 else
680#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100681 {
682 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100683 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100684 return( PSA_ERROR_TAMPERING_DETECTED );
685 }
686
687 mbedtls_zeroize( slot, sizeof( *slot ) );
688 return( PSA_SUCCESS );
689}
690
Gilles Peskineb870b182018-07-06 16:02:09 +0200691/* Return the size of the key in the given slot, in bits. */
692static size_t psa_get_key_bits( const key_slot_t *slot )
693{
694 if( key_type_is_raw_bytes( slot->type ) )
695 return( slot->data.raw.bytes * 8 );
696#if defined(MBEDTLS_RSA_C)
697 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
698 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
699 return( mbedtls_rsa_get_bitlen( slot->data.rsa ) );
700#endif /* defined(MBEDTLS_RSA_C) */
701#if defined(MBEDTLS_ECP_C)
702 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
703 return( slot->data.ecp->grp.pbits );
704#endif /* defined(MBEDTLS_ECP_C) */
705 /* Shouldn't happen except on an empty slot. */
706 return( 0 );
707}
708
Gilles Peskine2d277862018-06-18 15:41:12 +0200709psa_status_t psa_get_key_information( psa_key_slot_t key,
710 psa_key_type_t *type,
711 size_t *bits )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100712{
713 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +0200714 psa_status_t status;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100715
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100716 if( type != NULL )
Gilles Peskineb0b255c2018-07-06 17:01:38 +0200717 *type = 0;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100718 if( bits != NULL )
719 *bits = 0;
Gilles Peskineb0b255c2018-07-06 17:01:38 +0200720 status = psa_get_key_slot( key, &slot );
721 if( status != PSA_SUCCESS )
722 return( status );
Gilles Peskineb870b182018-07-06 16:02:09 +0200723
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100724 if( slot->type == PSA_KEY_TYPE_NONE )
725 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskineb0b255c2018-07-06 17:01:38 +0200726 if( type != NULL )
727 *type = slot->type;
Gilles Peskineb870b182018-07-06 16:02:09 +0200728 if( bits != NULL )
729 *bits = psa_get_key_bits( slot );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100730 return( PSA_SUCCESS );
731}
732
Gilles Peskine2d277862018-06-18 15:41:12 +0200733static psa_status_t psa_internal_export_key( psa_key_slot_t key,
734 uint8_t *data,
735 size_t data_size,
736 size_t *data_length,
737 int export_public_key )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100738{
739 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +0200740 psa_status_t status;
741 /* Exporting a public key doesn't require a usage flag. If we're
742 * called by psa_export_public_key(), don't require the EXPORT flag.
743 * If we're called by psa_export_key(), do require the EXPORT flag;
744 * if the key turns out to be public key object, psa_get_key_from_slot()
745 * will ignore this flag. */
746 psa_key_usage_t usage = export_public_key ? 0 : PSA_KEY_USAGE_EXPORT;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100747
Jaeden Amerof24c7f82018-06-27 17:20:43 +0100748 /* Set the key to empty now, so that even when there are errors, we always
749 * set data_length to a value between 0 and data_size. On error, setting
750 * the key to empty is a good choice because an empty key representation is
751 * unlikely to be accepted anywhere. */
752 *data_length = 0;
753
Gilles Peskineb0b255c2018-07-06 17:01:38 +0200754 status = psa_get_key_from_slot( key, &slot, usage, 0 );
755 if( status != PSA_SUCCESS )
756 return( status );
Gilles Peskinec1bb6c82018-06-18 16:04:39 +0200757 if( export_public_key && ! PSA_KEY_TYPE_IS_ASYMMETRIC( slot->type ) )
Moran Pekera998bc62018-04-16 18:16:20 +0300758 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad160306e79202018-03-28 13:17:44 +0300759
Gilles Peskine48c0ea12018-06-21 14:15:31 +0200760 if( key_type_is_raw_bytes( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100761 {
762 if( slot->data.raw.bytes > data_size )
763 return( PSA_ERROR_BUFFER_TOO_SMALL );
Gilles Peskine46f1fd72018-06-28 19:31:31 +0200764 if( slot->data.raw.bytes != 0 )
765 memcpy( data, slot->data.raw.data, slot->data.raw.bytes );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100766 *data_length = slot->data.raw.bytes;
767 return( PSA_SUCCESS );
768 }
769 else
Moran Peker17e36e12018-05-02 12:55:20 +0300770 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100771#if defined(MBEDTLS_PK_WRITE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100772 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
Moran Pekera998bc62018-04-16 18:16:20 +0300773 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR ||
774 PSA_KEY_TYPE_IS_ECC( slot->type ) )
Gilles Peskine969ac722018-01-28 18:16:59 +0100775 {
Moran Pekera998bc62018-04-16 18:16:20 +0300776 mbedtls_pk_context pk;
777 int ret;
778 mbedtls_pk_init( &pk );
779 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
780 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
781 {
782 pk.pk_info = &mbedtls_rsa_info;
783 pk.pk_ctx = slot->data.rsa;
784 }
785 else
786 {
787 pk.pk_info = &mbedtls_eckey_info;
788 pk.pk_ctx = slot->data.ecp;
789 }
Moran Pekerd7326592018-05-29 16:56:39 +0300790 if( export_public_key || PSA_KEY_TYPE_IS_PUBLIC_KEY( slot->type ) )
Moran Pekera998bc62018-04-16 18:16:20 +0300791 ret = mbedtls_pk_write_pubkey_der( &pk, data, data_size );
Moran Peker17e36e12018-05-02 12:55:20 +0300792 else
793 ret = mbedtls_pk_write_key_der( &pk, data, data_size );
Moran Peker60364322018-04-29 11:34:58 +0300794 if( ret < 0 )
Gilles Peskinee66ca3b2018-06-20 00:11:45 +0200795 {
Gilles Peskine46f1fd72018-06-28 19:31:31 +0200796 /* If data_size is 0 then data may be NULL and then the
797 * call to memset would have undefined behavior. */
798 if( data_size != 0 )
799 memset( data, 0, data_size );
Moran Pekera998bc62018-04-16 18:16:20 +0300800 return( mbedtls_to_psa_error( ret ) );
Gilles Peskinee66ca3b2018-06-20 00:11:45 +0200801 }
Gilles Peskine0e231582018-06-20 00:11:07 +0200802 /* The mbedtls_pk_xxx functions write to the end of the buffer.
803 * Move the data to the beginning and erase remaining data
804 * at the original location. */
805 if( 2 * (size_t) ret <= data_size )
806 {
807 memcpy( data, data + data_size - ret, ret );
Gilles Peskinee66ca3b2018-06-20 00:11:45 +0200808 memset( data + data_size - ret, 0, ret );
Gilles Peskine0e231582018-06-20 00:11:07 +0200809 }
810 else if( (size_t) ret < data_size )
811 {
812 memmove( data, data + data_size - ret, ret );
Gilles Peskinee66ca3b2018-06-20 00:11:45 +0200813 memset( data + ret, 0, data_size - ret );
Gilles Peskine0e231582018-06-20 00:11:07 +0200814 }
Moran Pekera998bc62018-04-16 18:16:20 +0300815 *data_length = ret;
816 return( PSA_SUCCESS );
Gilles Peskine969ac722018-01-28 18:16:59 +0100817 }
818 else
Gilles Peskine6d912132018-03-07 16:41:37 +0100819#endif /* defined(MBEDTLS_PK_WRITE_C) */
Moran Pekera998bc62018-04-16 18:16:20 +0300820 {
821 /* This shouldn't happen in the reference implementation, but
Gilles Peskine785fd552018-06-04 15:08:56 +0200822 it is valid for a special-purpose implementation to omit
823 support for exporting certain key types. */
Moran Pekera998bc62018-04-16 18:16:20 +0300824 return( PSA_ERROR_NOT_SUPPORTED );
825 }
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100826 }
827}
828
Gilles Peskine2d277862018-06-18 15:41:12 +0200829psa_status_t psa_export_key( psa_key_slot_t key,
830 uint8_t *data,
831 size_t data_size,
832 size_t *data_length )
Moran Pekera998bc62018-04-16 18:16:20 +0300833{
Gilles Peskinec1bb6c82018-06-18 16:04:39 +0200834 return( psa_internal_export_key( key, data, data_size,
835 data_length, 0 ) );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100836}
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100837
Gilles Peskine2d277862018-06-18 15:41:12 +0200838psa_status_t psa_export_public_key( psa_key_slot_t key,
839 uint8_t *data,
840 size_t data_size,
841 size_t *data_length )
Moran Pekerdd4ea382018-04-03 15:30:03 +0300842{
Gilles Peskinec1bb6c82018-06-18 16:04:39 +0200843 return( psa_internal_export_key( key, data, data_size,
844 data_length, 1 ) );
Moran Pekerdd4ea382018-04-03 15:30:03 +0300845}
846
Gilles Peskine7bcfc0a2018-06-18 21:49:39 +0200847
848
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100849/****************************************************************/
Gilles Peskine20035e32018-02-03 22:44:14 +0100850/* Message digests */
851/****************************************************************/
852
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100853static const mbedtls_md_info_t *mbedtls_md_info_from_psa( psa_algorithm_t alg )
Gilles Peskine20035e32018-02-03 22:44:14 +0100854{
855 switch( alg )
856 {
857#if defined(MBEDTLS_MD2_C)
858 case PSA_ALG_MD2:
859 return( &mbedtls_md2_info );
860#endif
861#if defined(MBEDTLS_MD4_C)
862 case PSA_ALG_MD4:
863 return( &mbedtls_md4_info );
864#endif
865#if defined(MBEDTLS_MD5_C)
866 case PSA_ALG_MD5:
867 return( &mbedtls_md5_info );
868#endif
869#if defined(MBEDTLS_RIPEMD160_C)
870 case PSA_ALG_RIPEMD160:
871 return( &mbedtls_ripemd160_info );
872#endif
873#if defined(MBEDTLS_SHA1_C)
874 case PSA_ALG_SHA_1:
875 return( &mbedtls_sha1_info );
876#endif
877#if defined(MBEDTLS_SHA256_C)
878 case PSA_ALG_SHA_224:
879 return( &mbedtls_sha224_info );
880 case PSA_ALG_SHA_256:
881 return( &mbedtls_sha256_info );
882#endif
883#if defined(MBEDTLS_SHA512_C)
884 case PSA_ALG_SHA_384:
885 return( &mbedtls_sha384_info );
886 case PSA_ALG_SHA_512:
887 return( &mbedtls_sha512_info );
888#endif
889 default:
890 return( NULL );
891 }
892}
893
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100894psa_status_t psa_hash_abort( psa_hash_operation_t *operation )
895{
896 switch( operation->alg )
897 {
Gilles Peskine81736312018-06-26 15:04:31 +0200898 case 0:
899 /* The object has (apparently) been initialized but it is not
900 * in use. It's ok to call abort on such an object, and there's
901 * nothing to do. */
902 break;
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100903#if defined(MBEDTLS_MD2_C)
904 case PSA_ALG_MD2:
905 mbedtls_md2_free( &operation->ctx.md2 );
906 break;
907#endif
908#if defined(MBEDTLS_MD4_C)
909 case PSA_ALG_MD4:
910 mbedtls_md4_free( &operation->ctx.md4 );
911 break;
912#endif
913#if defined(MBEDTLS_MD5_C)
914 case PSA_ALG_MD5:
915 mbedtls_md5_free( &operation->ctx.md5 );
916 break;
917#endif
918#if defined(MBEDTLS_RIPEMD160_C)
919 case PSA_ALG_RIPEMD160:
920 mbedtls_ripemd160_free( &operation->ctx.ripemd160 );
921 break;
922#endif
923#if defined(MBEDTLS_SHA1_C)
924 case PSA_ALG_SHA_1:
925 mbedtls_sha1_free( &operation->ctx.sha1 );
926 break;
927#endif
928#if defined(MBEDTLS_SHA256_C)
929 case PSA_ALG_SHA_224:
930 case PSA_ALG_SHA_256:
931 mbedtls_sha256_free( &operation->ctx.sha256 );
932 break;
933#endif
934#if defined(MBEDTLS_SHA512_C)
935 case PSA_ALG_SHA_384:
936 case PSA_ALG_SHA_512:
937 mbedtls_sha512_free( &operation->ctx.sha512 );
938 break;
939#endif
940 default:
Gilles Peskinef9c2c092018-06-21 16:57:07 +0200941 return( PSA_ERROR_BAD_STATE );
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100942 }
943 operation->alg = 0;
944 return( PSA_SUCCESS );
945}
946
947psa_status_t psa_hash_start( psa_hash_operation_t *operation,
948 psa_algorithm_t alg )
949{
950 int ret;
951 operation->alg = 0;
952 switch( alg )
953 {
954#if defined(MBEDTLS_MD2_C)
955 case PSA_ALG_MD2:
956 mbedtls_md2_init( &operation->ctx.md2 );
957 ret = mbedtls_md2_starts_ret( &operation->ctx.md2 );
958 break;
959#endif
960#if defined(MBEDTLS_MD4_C)
961 case PSA_ALG_MD4:
962 mbedtls_md4_init( &operation->ctx.md4 );
963 ret = mbedtls_md4_starts_ret( &operation->ctx.md4 );
964 break;
965#endif
966#if defined(MBEDTLS_MD5_C)
967 case PSA_ALG_MD5:
968 mbedtls_md5_init( &operation->ctx.md5 );
969 ret = mbedtls_md5_starts_ret( &operation->ctx.md5 );
970 break;
971#endif
972#if defined(MBEDTLS_RIPEMD160_C)
973 case PSA_ALG_RIPEMD160:
974 mbedtls_ripemd160_init( &operation->ctx.ripemd160 );
975 ret = mbedtls_ripemd160_starts_ret( &operation->ctx.ripemd160 );
976 break;
977#endif
978#if defined(MBEDTLS_SHA1_C)
979 case PSA_ALG_SHA_1:
980 mbedtls_sha1_init( &operation->ctx.sha1 );
981 ret = mbedtls_sha1_starts_ret( &operation->ctx.sha1 );
982 break;
983#endif
984#if defined(MBEDTLS_SHA256_C)
985 case PSA_ALG_SHA_224:
986 mbedtls_sha256_init( &operation->ctx.sha256 );
987 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 1 );
988 break;
989 case PSA_ALG_SHA_256:
990 mbedtls_sha256_init( &operation->ctx.sha256 );
991 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 0 );
992 break;
993#endif
994#if defined(MBEDTLS_SHA512_C)
995 case PSA_ALG_SHA_384:
996 mbedtls_sha512_init( &operation->ctx.sha512 );
997 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 1 );
998 break;
999 case PSA_ALG_SHA_512:
1000 mbedtls_sha512_init( &operation->ctx.sha512 );
1001 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 0 );
1002 break;
1003#endif
1004 default:
Gilles Peskinec06e0712018-06-20 16:21:04 +02001005 return( PSA_ALG_IS_HASH( alg ) ?
1006 PSA_ERROR_NOT_SUPPORTED :
1007 PSA_ERROR_INVALID_ARGUMENT );
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001008 }
1009 if( ret == 0 )
1010 operation->alg = alg;
1011 else
1012 psa_hash_abort( operation );
1013 return( mbedtls_to_psa_error( ret ) );
1014}
1015
1016psa_status_t psa_hash_update( psa_hash_operation_t *operation,
1017 const uint8_t *input,
1018 size_t input_length )
1019{
1020 int ret;
1021 switch( operation->alg )
1022 {
1023#if defined(MBEDTLS_MD2_C)
1024 case PSA_ALG_MD2:
1025 ret = mbedtls_md2_update_ret( &operation->ctx.md2,
1026 input, input_length );
1027 break;
1028#endif
1029#if defined(MBEDTLS_MD4_C)
1030 case PSA_ALG_MD4:
1031 ret = mbedtls_md4_update_ret( &operation->ctx.md4,
1032 input, input_length );
1033 break;
1034#endif
1035#if defined(MBEDTLS_MD5_C)
1036 case PSA_ALG_MD5:
1037 ret = mbedtls_md5_update_ret( &operation->ctx.md5,
1038 input, input_length );
1039 break;
1040#endif
1041#if defined(MBEDTLS_RIPEMD160_C)
1042 case PSA_ALG_RIPEMD160:
1043 ret = mbedtls_ripemd160_update_ret( &operation->ctx.ripemd160,
1044 input, input_length );
1045 break;
1046#endif
1047#if defined(MBEDTLS_SHA1_C)
1048 case PSA_ALG_SHA_1:
1049 ret = mbedtls_sha1_update_ret( &operation->ctx.sha1,
1050 input, input_length );
1051 break;
1052#endif
1053#if defined(MBEDTLS_SHA256_C)
1054 case PSA_ALG_SHA_224:
1055 case PSA_ALG_SHA_256:
1056 ret = mbedtls_sha256_update_ret( &operation->ctx.sha256,
1057 input, input_length );
1058 break;
1059#endif
1060#if defined(MBEDTLS_SHA512_C)
1061 case PSA_ALG_SHA_384:
1062 case PSA_ALG_SHA_512:
1063 ret = mbedtls_sha512_update_ret( &operation->ctx.sha512,
1064 input, input_length );
1065 break;
1066#endif
1067 default:
1068 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1069 break;
1070 }
1071 if( ret != 0 )
1072 psa_hash_abort( operation );
1073 return( mbedtls_to_psa_error( ret ) );
1074}
1075
1076psa_status_t psa_hash_finish( psa_hash_operation_t *operation,
1077 uint8_t *hash,
1078 size_t hash_size,
1079 size_t *hash_length )
1080{
1081 int ret;
Gilles Peskine71bb7b72018-04-19 08:29:59 +02001082 size_t actual_hash_length = PSA_HASH_SIZE( operation->alg );
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001083
1084 /* Fill the output buffer with something that isn't a valid hash
1085 * (barring an attack on the hash and deliberately-crafted input),
1086 * in case the caller doesn't check the return status properly. */
Gilles Peskineaee13332018-07-02 12:15:28 +02001087 *hash_length = hash_size;
Gilles Peskine46f1fd72018-06-28 19:31:31 +02001088 /* If hash_size is 0 then hash may be NULL and then the
1089 * call to memset would have undefined behavior. */
1090 if( hash_size != 0 )
1091 memset( hash, '!', hash_size );
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001092
1093 if( hash_size < actual_hash_length )
1094 return( PSA_ERROR_BUFFER_TOO_SMALL );
1095
1096 switch( operation->alg )
1097 {
1098#if defined(MBEDTLS_MD2_C)
1099 case PSA_ALG_MD2:
1100 ret = mbedtls_md2_finish_ret( &operation->ctx.md2, hash );
1101 break;
1102#endif
1103#if defined(MBEDTLS_MD4_C)
1104 case PSA_ALG_MD4:
1105 ret = mbedtls_md4_finish_ret( &operation->ctx.md4, hash );
1106 break;
1107#endif
1108#if defined(MBEDTLS_MD5_C)
1109 case PSA_ALG_MD5:
1110 ret = mbedtls_md5_finish_ret( &operation->ctx.md5, hash );
1111 break;
1112#endif
1113#if defined(MBEDTLS_RIPEMD160_C)
1114 case PSA_ALG_RIPEMD160:
1115 ret = mbedtls_ripemd160_finish_ret( &operation->ctx.ripemd160, hash );
1116 break;
1117#endif
1118#if defined(MBEDTLS_SHA1_C)
1119 case PSA_ALG_SHA_1:
1120 ret = mbedtls_sha1_finish_ret( &operation->ctx.sha1, hash );
1121 break;
1122#endif
1123#if defined(MBEDTLS_SHA256_C)
1124 case PSA_ALG_SHA_224:
1125 case PSA_ALG_SHA_256:
1126 ret = mbedtls_sha256_finish_ret( &operation->ctx.sha256, hash );
1127 break;
1128#endif
1129#if defined(MBEDTLS_SHA512_C)
1130 case PSA_ALG_SHA_384:
1131 case PSA_ALG_SHA_512:
1132 ret = mbedtls_sha512_finish_ret( &operation->ctx.sha512, hash );
1133 break;
1134#endif
1135 default:
1136 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1137 break;
1138 }
1139
1140 if( ret == 0 )
1141 {
Gilles Peskineaee13332018-07-02 12:15:28 +02001142 *hash_length = actual_hash_length;
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001143 return( psa_hash_abort( operation ) );
1144 }
1145 else
1146 {
1147 psa_hash_abort( operation );
1148 return( mbedtls_to_psa_error( ret ) );
1149 }
1150}
1151
Gilles Peskine2d277862018-06-18 15:41:12 +02001152psa_status_t psa_hash_verify( psa_hash_operation_t *operation,
1153 const uint8_t *hash,
1154 size_t hash_length )
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001155{
1156 uint8_t actual_hash[MBEDTLS_MD_MAX_SIZE];
1157 size_t actual_hash_length;
1158 psa_status_t status = psa_hash_finish( operation,
1159 actual_hash, sizeof( actual_hash ),
1160 &actual_hash_length );
1161 if( status != PSA_SUCCESS )
1162 return( status );
1163 if( actual_hash_length != hash_length )
1164 return( PSA_ERROR_INVALID_SIGNATURE );
1165 if( safer_memcmp( hash, actual_hash, actual_hash_length ) != 0 )
1166 return( PSA_ERROR_INVALID_SIGNATURE );
1167 return( PSA_SUCCESS );
1168}
1169
1170
1171
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001172/****************************************************************/
Gilles Peskine8c9def32018-02-08 10:02:12 +01001173/* MAC */
1174/****************************************************************/
1175
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001176static const mbedtls_cipher_info_t *mbedtls_cipher_info_from_psa(
Gilles Peskine8c9def32018-02-08 10:02:12 +01001177 psa_algorithm_t alg,
1178 psa_key_type_t key_type,
Gilles Peskine2d277862018-06-18 15:41:12 +02001179 size_t key_bits,
mohammad1603f4f0d612018-06-03 15:04:51 +03001180 mbedtls_cipher_id_t* cipher_id )
Gilles Peskine8c9def32018-02-08 10:02:12 +01001181{
Gilles Peskine8c9def32018-02-08 10:02:12 +01001182 mbedtls_cipher_mode_t mode;
mohammad1603f4f0d612018-06-03 15:04:51 +03001183 mbedtls_cipher_id_t cipher_id_tmp;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001184
1185 if( PSA_ALG_IS_CIPHER( alg ) || PSA_ALG_IS_AEAD( alg ) )
1186 {
1187 if( PSA_ALG_IS_BLOCK_CIPHER( alg ) )
mohammad16038481e742018-03-18 13:57:31 +02001188 {
1189 alg &= ~PSA_ALG_BLOCK_CIPHER_PADDING_MASK;
1190 }
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001191
Nir Sonnenscheine9664c32018-06-17 14:41:30 +03001192 switch( alg )
Gilles Peskine8c9def32018-02-08 10:02:12 +01001193 {
1194 case PSA_ALG_STREAM_CIPHER:
1195 mode = MBEDTLS_MODE_STREAM;
1196 break;
1197 case PSA_ALG_CBC_BASE:
1198 mode = MBEDTLS_MODE_CBC;
1199 break;
1200 case PSA_ALG_CFB_BASE:
1201 mode = MBEDTLS_MODE_CFB;
1202 break;
1203 case PSA_ALG_OFB_BASE:
1204 mode = MBEDTLS_MODE_OFB;
1205 break;
1206 case PSA_ALG_CTR:
1207 mode = MBEDTLS_MODE_CTR;
1208 break;
1209 case PSA_ALG_CCM:
1210 mode = MBEDTLS_MODE_CCM;
1211 break;
1212 case PSA_ALG_GCM:
1213 mode = MBEDTLS_MODE_GCM;
1214 break;
1215 default:
1216 return( NULL );
1217 }
1218 }
1219 else if( alg == PSA_ALG_CMAC )
1220 mode = MBEDTLS_MODE_ECB;
1221 else if( alg == PSA_ALG_GMAC )
1222 mode = MBEDTLS_MODE_GCM;
1223 else
1224 return( NULL );
1225
1226 switch( key_type )
1227 {
1228 case PSA_KEY_TYPE_AES:
mohammad1603f4f0d612018-06-03 15:04:51 +03001229 cipher_id_tmp = MBEDTLS_CIPHER_ID_AES;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001230 break;
1231 case PSA_KEY_TYPE_DES:
Gilles Peskine9ad29e22018-06-21 09:40:04 +02001232 /* key_bits is 64 for Single-DES, 128 for two-key Triple-DES,
1233 * and 192 for three-key Triple-DES. */
Gilles Peskine8c9def32018-02-08 10:02:12 +01001234 if( key_bits == 64 )
mohammad1603f4f0d612018-06-03 15:04:51 +03001235 cipher_id_tmp = MBEDTLS_CIPHER_ID_DES;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001236 else
mohammad1603f4f0d612018-06-03 15:04:51 +03001237 cipher_id_tmp = MBEDTLS_CIPHER_ID_3DES;
Gilles Peskine9ad29e22018-06-21 09:40:04 +02001238 /* mbedtls doesn't recognize two-key Triple-DES as an algorithm,
1239 * but two-key Triple-DES is functionally three-key Triple-DES
1240 * with K1=K3, so that's how we present it to mbedtls. */
1241 if( key_bits == 128 )
1242 key_bits = 192;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001243 break;
1244 case PSA_KEY_TYPE_CAMELLIA:
mohammad1603f4f0d612018-06-03 15:04:51 +03001245 cipher_id_tmp = MBEDTLS_CIPHER_ID_CAMELLIA;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001246 break;
1247 case PSA_KEY_TYPE_ARC4:
mohammad1603f4f0d612018-06-03 15:04:51 +03001248 cipher_id_tmp = MBEDTLS_CIPHER_ID_ARC4;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001249 break;
1250 default:
1251 return( NULL );
1252 }
mohammad1603f4f0d612018-06-03 15:04:51 +03001253 if( cipher_id != NULL )
mohammad160360a64d02018-06-03 17:20:42 +03001254 *cipher_id = cipher_id_tmp;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001255
Jaeden Amero23bbb752018-06-26 14:16:54 +01001256 return( mbedtls_cipher_info_from_values( cipher_id_tmp,
1257 (int) key_bits, mode ) );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001258}
1259
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001260static size_t psa_get_hash_block_size( psa_algorithm_t alg )
Nir Sonnenschein96272412018-06-17 14:41:10 +03001261{
Gilles Peskine2d277862018-06-18 15:41:12 +02001262 switch( alg )
Nir Sonnenschein96272412018-06-17 14:41:10 +03001263 {
1264 case PSA_ALG_MD2:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001265 return( 16 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001266 case PSA_ALG_MD4:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001267 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001268 case PSA_ALG_MD5:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001269 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001270 case PSA_ALG_RIPEMD160:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001271 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001272 case PSA_ALG_SHA_1:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001273 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001274 case PSA_ALG_SHA_224:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001275 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001276 case PSA_ALG_SHA_256:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001277 return( 64 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001278 case PSA_ALG_SHA_384:
Nir Sonnenscheinaa5aea02018-06-18 12:24:33 +03001279 return( 128 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001280 case PSA_ALG_SHA_512:
Gilles Peskine2d277862018-06-18 15:41:12 +02001281 return( 128 );
1282 default:
1283 return( 0 );
Nir Sonnenschein96272412018-06-17 14:41:10 +03001284 }
1285}
Nir Sonnenschein0c9ec532018-06-07 13:27:47 +03001286
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02001287/* Initialize the MAC operation structure. Once this function has been
1288 * called, psa_mac_abort can run and will do the right thing. */
1289static psa_status_t psa_mac_init( psa_mac_operation_t *operation,
1290 psa_algorithm_t alg )
1291{
1292 psa_status_t status = PSA_ERROR_NOT_SUPPORTED;
1293
1294 operation->alg = alg;
1295 operation->key_set = 0;
1296 operation->iv_set = 0;
1297 operation->iv_required = 0;
1298 operation->has_input = 0;
1299 operation->key_usage_sign = 0;
1300 operation->key_usage_verify = 0;
1301
1302#if defined(MBEDTLS_CMAC_C)
1303 if( alg == PSA_ALG_CMAC )
1304 {
1305 operation->iv_required = 0;
1306 mbedtls_cipher_init( &operation->ctx.cmac );
1307 status = PSA_SUCCESS;
1308 }
1309 else
1310#endif /* MBEDTLS_CMAC_C */
1311#if defined(MBEDTLS_MD_C)
1312 if( PSA_ALG_IS_HMAC( operation->alg ) )
1313 {
1314 status = psa_hash_start( &operation->ctx.hmac.hash_ctx,
1315 PSA_ALG_HMAC_HASH( alg ) );
1316 }
1317 else
1318#endif /* MBEDTLS_MD_C */
1319 {
Gilles Peskinec06e0712018-06-20 16:21:04 +02001320 if( ! PSA_ALG_IS_MAC( alg ) )
1321 status = PSA_ERROR_INVALID_ARGUMENT;
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02001322 }
1323
1324 if( status != PSA_SUCCESS )
1325 memset( operation, 0, sizeof( *operation ) );
1326 return( status );
1327}
1328
Gilles Peskine8c9def32018-02-08 10:02:12 +01001329psa_status_t psa_mac_abort( psa_mac_operation_t *operation )
1330{
1331 switch( operation->alg )
1332 {
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02001333 case 0:
Gilles Peskine81736312018-06-26 15:04:31 +02001334 /* The object has (apparently) been initialized but it is not
1335 * in use. It's ok to call abort on such an object, and there's
1336 * nothing to do. */
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02001337 return( PSA_SUCCESS );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001338#if defined(MBEDTLS_CMAC_C)
1339 case PSA_ALG_CMAC:
1340 mbedtls_cipher_free( &operation->ctx.cmac );
1341 break;
1342#endif /* MBEDTLS_CMAC_C */
1343 default:
1344#if defined(MBEDTLS_MD_C)
1345 if( PSA_ALG_IS_HMAC( operation->alg ) )
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001346 {
Jaeden Amero5390f692018-06-26 14:18:50 +01001347 size_t block_size =
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001348 psa_get_hash_block_size( PSA_ALG_HMAC_HASH( operation->alg ) );
Nir Sonnenschein084832d2018-06-08 22:52:24 +03001349
Gilles Peskine99bc6492018-06-11 17:13:00 +02001350 if( block_size == 0 )
Nir Sonnenschein084832d2018-06-08 22:52:24 +03001351 return( PSA_ERROR_NOT_SUPPORTED );
1352
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001353 psa_hash_abort( &operation->ctx.hmac.hash_ctx );
Gilles Peskine2d277862018-06-18 15:41:12 +02001354 mbedtls_zeroize( operation->ctx.hmac.opad, block_size );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001355 }
Gilles Peskine8c9def32018-02-08 10:02:12 +01001356 else
1357#endif /* MBEDTLS_MD_C */
Gilles Peskinef9c2c092018-06-21 16:57:07 +02001358 {
1359 /* Sanity check (shouldn't happen: operation->alg should
1360 * always have been initialized to a valid value). */
1361 return( PSA_ERROR_BAD_STATE );
1362 }
Gilles Peskine8c9def32018-02-08 10:02:12 +01001363 }
Moran Peker41deec42018-04-04 15:43:05 +03001364
Gilles Peskine8c9def32018-02-08 10:02:12 +01001365 operation->alg = 0;
1366 operation->key_set = 0;
1367 operation->iv_set = 0;
1368 operation->iv_required = 0;
1369 operation->has_input = 0;
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02001370 operation->key_usage_sign = 0;
1371 operation->key_usage_verify = 0;
Moran Peker41deec42018-04-04 15:43:05 +03001372
Gilles Peskine8c9def32018-02-08 10:02:12 +01001373 return( PSA_SUCCESS );
1374}
1375
Gilles Peskinee3b07d82018-06-19 11:57:35 +02001376#if defined(MBEDTLS_CMAC_C)
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001377static int psa_cmac_start( psa_mac_operation_t *operation,
1378 size_t key_bits,
1379 key_slot_t *slot,
1380 const mbedtls_cipher_info_t *cipher_info )
1381{
1382 int ret;
1383
1384 operation->mac_size = cipher_info->block_size;
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001385
1386 ret = mbedtls_cipher_setup( &operation->ctx.cmac, cipher_info );
1387 if( ret != 0 )
1388 return( ret );
1389
1390 ret = mbedtls_cipher_cmac_starts( &operation->ctx.cmac,
1391 slot->data.raw.data,
1392 key_bits );
1393 return( ret );
1394}
Gilles Peskinee3b07d82018-06-19 11:57:35 +02001395#endif /* MBEDTLS_CMAC_C */
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001396
Gilles Peskine248051a2018-06-20 16:09:38 +02001397#if defined(MBEDTLS_MD_C)
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001398static int psa_hmac_start( psa_mac_operation_t *operation,
1399 psa_key_type_t key_type,
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001400 key_slot_t *slot,
1401 psa_algorithm_t alg )
1402{
Gilles Peskineb3e6e5d2018-06-18 22:16:43 +02001403 unsigned char ipad[PSA_HMAC_MAX_HASH_BLOCK_SIZE];
Nir Sonnenschein5ca65472018-06-17 14:03:40 +03001404 unsigned char *opad = operation->ctx.hmac.opad;
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001405 size_t i;
Gilles Peskinee1bc6802018-06-11 17:36:05 +02001406 size_t block_size =
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001407 psa_get_hash_block_size( PSA_ALG_HMAC_HASH( alg ) );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001408 unsigned int digest_size =
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001409 PSA_HASH_SIZE( PSA_ALG_HMAC_HASH( alg ) );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001410 size_t key_length = slot->data.raw.bytes;
1411 psa_status_t status;
1412
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001413 if( block_size == 0 || digest_size == 0 )
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001414 return( PSA_ERROR_NOT_SUPPORTED );
1415
1416 if( key_type != PSA_KEY_TYPE_HMAC )
1417 return( PSA_ERROR_INVALID_ARGUMENT );
1418
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001419 operation->mac_size = digest_size;
1420
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02001421 /* The hash was started earlier in psa_mac_init. */
Gilles Peskined223b522018-06-11 18:12:58 +02001422 if( key_length > block_size )
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001423 {
1424 status = psa_hash_update( &operation->ctx.hmac.hash_ctx,
Gilles Peskined223b522018-06-11 18:12:58 +02001425 slot->data.raw.data, slot->data.raw.bytes );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001426 if( status != PSA_SUCCESS )
1427 return( status );
1428 status = psa_hash_finish( &operation->ctx.hmac.hash_ctx,
Gilles Peskined223b522018-06-11 18:12:58 +02001429 ipad, sizeof( ipad ), &key_length );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001430 if( status != PSA_SUCCESS )
1431 return( status );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001432 }
Gilles Peskined223b522018-06-11 18:12:58 +02001433 else
1434 memcpy( ipad, slot->data.raw.data, slot->data.raw.bytes );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001435
Gilles Peskined223b522018-06-11 18:12:58 +02001436 /* ipad contains the key followed by garbage. Xor and fill with 0x36
1437 * to create the ipad value. */
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001438 for( i = 0; i < key_length; i++ )
Gilles Peskined223b522018-06-11 18:12:58 +02001439 ipad[i] ^= 0x36;
1440 memset( ipad + key_length, 0x36, block_size - key_length );
1441
1442 /* Copy the key material from ipad to opad, flipping the requisite bits,
1443 * and filling the rest of opad with the requisite constant. */
1444 for( i = 0; i < key_length; i++ )
1445 opad[i] = ipad[i] ^ 0x36 ^ 0x5C;
1446 memset( opad + key_length, 0x5C, block_size - key_length );
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001447
1448 status = psa_hash_start( &operation->ctx.hmac.hash_ctx,
1449 PSA_ALG_HMAC_HASH( alg ) );
1450 if( status != PSA_SUCCESS )
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001451 goto cleanup;
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001452
1453 status = psa_hash_update( &operation->ctx.hmac.hash_ctx, ipad,
1454 block_size );
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001455
1456cleanup:
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001457 mbedtls_zeroize( ipad, key_length );
1458 /* opad is in the context. It needs to stay in memory if this function
1459 * succeeds, and it will be wiped by psa_mac_abort() called from
1460 * psa_mac_start in the error case. */
1461
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001462 return( status );
1463}
Gilles Peskine248051a2018-06-20 16:09:38 +02001464#endif /* MBEDTLS_MD_C */
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001465
Gilles Peskine8c9def32018-02-08 10:02:12 +01001466psa_status_t psa_mac_start( psa_mac_operation_t *operation,
1467 psa_key_slot_t key,
1468 psa_algorithm_t alg )
1469{
Gilles Peskine8c9def32018-02-08 10:02:12 +01001470 psa_status_t status;
1471 key_slot_t *slot;
1472 psa_key_type_t key_type;
1473 size_t key_bits;
Gilles Peskine828ed142018-06-18 23:25:51 +02001474 const mbedtls_cipher_info_t *cipher_info = NULL;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001475
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02001476 status = psa_mac_init( operation, alg );
1477 if( status != PSA_SUCCESS )
1478 return( status );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001479
1480 status = psa_get_key_information( key, &key_type, &key_bits );
1481 if( status != PSA_SUCCESS )
1482 return( status );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001483
Gilles Peskineb0b255c2018-07-06 17:01:38 +02001484 status = psa_get_key_from_slot( key, &slot, 0, alg );
1485 if( status != PSA_SUCCESS )
1486 return( status );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001487
Gilles Peskineb0b255c2018-07-06 17:01:38 +02001488 /* Since this function is called identically for a sign or verify
1489 * operation, we don't know yet whether the operation is permitted.
1490 * Store the part of the key policy that we can't check in the
1491 * operation structure. psa_mac_finish() or psa_mac_verify() will
1492 * check that remaining part. */
Moran Pekerd7326592018-05-29 16:56:39 +03001493 if( ( slot->policy.usage & PSA_KEY_USAGE_SIGN ) != 0 )
mohammad16036df908f2018-04-02 08:34:15 -07001494 operation->key_usage_sign = 1;
Moran Pekerd7326592018-05-29 16:56:39 +03001495 if( ( slot->policy.usage & PSA_KEY_USAGE_VERIFY ) != 0 )
mohammad16036df908f2018-04-02 08:34:15 -07001496 operation->key_usage_verify = 1;
1497
Gilles Peskine8c9def32018-02-08 10:02:12 +01001498 if( ! PSA_ALG_IS_HMAC( alg ) )
1499 {
mohammad1603f4f0d612018-06-03 15:04:51 +03001500 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type, key_bits, NULL );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001501 if( cipher_info == NULL )
1502 return( PSA_ERROR_NOT_SUPPORTED );
1503 operation->mac_size = cipher_info->block_size;
1504 }
1505 switch( alg )
1506 {
1507#if defined(MBEDTLS_CMAC_C)
1508 case PSA_ALG_CMAC:
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001509 status = mbedtls_to_psa_error( psa_cmac_start( operation,
1510 key_bits,
1511 slot,
1512 cipher_info ) );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001513 break;
1514#endif /* MBEDTLS_CMAC_C */
1515 default:
1516#if defined(MBEDTLS_MD_C)
1517 if( PSA_ALG_IS_HMAC( alg ) )
Gilles Peskined223b522018-06-11 18:12:58 +02001518 status = psa_hmac_start( operation, key_type, slot, alg );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001519 else
1520#endif /* MBEDTLS_MD_C */
1521 return( PSA_ERROR_NOT_SUPPORTED );
1522 }
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001523
Gilles Peskine8c9def32018-02-08 10:02:12 +01001524 /* If we reach this point, then the algorithm-specific part of the
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001525 * context may contain data that needs to be wiped on error. */
1526 if( status != PSA_SUCCESS )
Gilles Peskine8c9def32018-02-08 10:02:12 +01001527 {
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001528 psa_mac_abort( operation );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001529 }
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001530 else
1531 {
Gilles Peskine7e454bc2018-06-11 17:26:17 +02001532 operation->key_set = 1;
1533 }
1534 return( status );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001535}
1536
1537psa_status_t psa_mac_update( psa_mac_operation_t *operation,
1538 const uint8_t *input,
1539 size_t input_length )
1540{
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001541 int ret = 0 ;
1542 psa_status_t status = PSA_SUCCESS;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001543 if( ! operation->key_set )
1544 return( PSA_ERROR_BAD_STATE );
1545 if( operation->iv_required && ! operation->iv_set )
1546 return( PSA_ERROR_BAD_STATE );
1547 operation->has_input = 1;
1548
1549 switch( operation->alg )
1550 {
1551#if defined(MBEDTLS_CMAC_C)
1552 case PSA_ALG_CMAC:
1553 ret = mbedtls_cipher_cmac_update( &operation->ctx.cmac,
1554 input, input_length );
1555 break;
1556#endif /* MBEDTLS_CMAC_C */
1557 default:
1558#if defined(MBEDTLS_MD_C)
1559 if( PSA_ALG_IS_HMAC( operation->alg ) )
1560 {
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001561 status = psa_hash_update( &operation->ctx.hmac.hash_ctx, input,
Gilles Peskine2d277862018-06-18 15:41:12 +02001562 input_length );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001563 }
1564 else
1565#endif /* MBEDTLS_MD_C */
1566 {
1567 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1568 }
1569 break;
1570 }
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001571 if( ret != 0 || status != PSA_SUCCESS )
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001572 {
Nir Sonnenscheine9664c32018-06-17 14:41:30 +03001573 psa_mac_abort( operation );
Gilles Peskine2d277862018-06-18 15:41:12 +02001574 if( ret != 0 )
Nir Sonnenscheine9664c32018-06-17 14:41:30 +03001575 status = mbedtls_to_psa_error( ret );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001576 }
1577
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001578 return( status );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001579}
1580
mohammad16036df908f2018-04-02 08:34:15 -07001581static psa_status_t psa_mac_finish_internal( psa_mac_operation_t *operation,
Gilles Peskine2d277862018-06-18 15:41:12 +02001582 uint8_t *mac,
1583 size_t mac_size,
1584 size_t *mac_length )
Gilles Peskine8c9def32018-02-08 10:02:12 +01001585{
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001586 int ret = 0;
1587 psa_status_t status = PSA_SUCCESS;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001588
1589 /* Fill the output buffer with something that isn't a valid mac
1590 * (barring an attack on the mac and deliberately-crafted input),
1591 * in case the caller doesn't check the return status properly. */
Gilles Peskineaee13332018-07-02 12:15:28 +02001592 *mac_length = mac_size;
Gilles Peskine46f1fd72018-06-28 19:31:31 +02001593 /* If mac_size is 0 then mac may be NULL and then the
1594 * call to memset would have undefined behavior. */
1595 if( mac_size != 0 )
1596 memset( mac, '!', mac_size );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001597
Gilles Peskine1d96fff2018-07-02 12:15:39 +02001598 if( ! operation->key_set )
1599 return( PSA_ERROR_BAD_STATE );
1600 if( operation->iv_required && ! operation->iv_set )
1601 return( PSA_ERROR_BAD_STATE );
1602
Gilles Peskine8c9def32018-02-08 10:02:12 +01001603 if( mac_size < operation->mac_size )
1604 return( PSA_ERROR_BUFFER_TOO_SMALL );
1605
1606 switch( operation->alg )
1607 {
1608#if defined(MBEDTLS_CMAC_C)
1609 case PSA_ALG_CMAC:
1610 ret = mbedtls_cipher_cmac_finish( &operation->ctx.cmac, mac );
1611 break;
1612#endif /* MBEDTLS_CMAC_C */
1613 default:
1614#if defined(MBEDTLS_MD_C)
1615 if( PSA_ALG_IS_HMAC( operation->alg ) )
1616 {
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001617 unsigned char tmp[MBEDTLS_MD_MAX_SIZE];
Nir Sonnenschein5ca65472018-06-17 14:03:40 +03001618 unsigned char *opad = operation->ctx.hmac.opad;
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001619 size_t hash_size = 0;
Nir Sonnenschein96272412018-06-17 14:41:10 +03001620 size_t block_size =
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001621 psa_get_hash_block_size( PSA_ALG_HMAC_HASH( operation->alg ) );
Nir Sonnenschein084832d2018-06-08 22:52:24 +03001622
Gilles Peskine99bc6492018-06-11 17:13:00 +02001623 if( block_size == 0 )
1624 return( PSA_ERROR_NOT_SUPPORTED );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001625
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001626 status = psa_hash_finish( &operation->ctx.hmac.hash_ctx, tmp,
Gilles Peskine99bc6492018-06-11 17:13:00 +02001627 sizeof( tmp ), &hash_size );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001628 if( status != PSA_SUCCESS )
1629 goto cleanup;
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001630 /* From here on, tmp needs to be wiped. */
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001631
1632 status = psa_hash_start( &operation->ctx.hmac.hash_ctx,
1633 PSA_ALG_HMAC_HASH( operation->alg ) );
1634 if( status != PSA_SUCCESS )
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001635 goto hmac_cleanup;
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001636
1637 status = psa_hash_update( &operation->ctx.hmac.hash_ctx, opad,
Nir Sonnenschein0c9ec532018-06-07 13:27:47 +03001638 block_size );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001639 if( status != PSA_SUCCESS )
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001640 goto hmac_cleanup;
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001641
1642 status = psa_hash_update( &operation->ctx.hmac.hash_ctx, tmp,
Gilles Peskine2d277862018-06-18 15:41:12 +02001643 hash_size );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001644 if( status != PSA_SUCCESS )
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001645 goto hmac_cleanup;
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001646
1647 status = psa_hash_finish( &operation->ctx.hmac.hash_ctx, mac,
1648 mac_size, mac_length );
Gilles Peskine6a0a44e2018-06-11 17:42:48 +02001649 hmac_cleanup:
1650 mbedtls_zeroize( tmp, hash_size );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001651 }
1652 else
1653#endif /* MBEDTLS_MD_C */
1654 {
1655 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1656 }
1657 break;
1658 }
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001659cleanup:
Gilles Peskine8c9def32018-02-08 10:02:12 +01001660
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001661 if( ret == 0 && status == PSA_SUCCESS )
Gilles Peskine8c9def32018-02-08 10:02:12 +01001662 {
Gilles Peskineaee13332018-07-02 12:15:28 +02001663 *mac_length = operation->mac_size;
Gilles Peskine8c9def32018-02-08 10:02:12 +01001664 return( psa_mac_abort( operation ) );
1665 }
1666 else
1667 {
1668 psa_mac_abort( operation );
Gilles Peskine99bc6492018-06-11 17:13:00 +02001669 if( ret != 0 )
Gilles Peskine2d277862018-06-18 15:41:12 +02001670 status = mbedtls_to_psa_error( ret );
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +03001671
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001672 return( status );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001673 }
1674}
1675
mohammad16036df908f2018-04-02 08:34:15 -07001676psa_status_t psa_mac_finish( psa_mac_operation_t *operation,
1677 uint8_t *mac,
1678 size_t mac_size,
1679 size_t *mac_length )
1680{
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001681 if( ! operation->key_usage_sign )
mohammad16036df908f2018-04-02 08:34:15 -07001682 return( PSA_ERROR_NOT_PERMITTED );
1683
Gilles Peskine99bc6492018-06-11 17:13:00 +02001684 return( psa_mac_finish_internal( operation, mac,
1685 mac_size, mac_length ) );
mohammad16036df908f2018-04-02 08:34:15 -07001686}
1687
Gilles Peskine8c9def32018-02-08 10:02:12 +01001688psa_status_t psa_mac_verify( psa_mac_operation_t *operation,
1689 const uint8_t *mac,
1690 size_t mac_length )
1691{
Gilles Peskine828ed142018-06-18 23:25:51 +02001692 uint8_t actual_mac[PSA_MAC_MAX_SIZE];
Gilles Peskine8c9def32018-02-08 10:02:12 +01001693 size_t actual_mac_length;
mohammad16036df908f2018-04-02 08:34:15 -07001694 psa_status_t status;
1695
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02001696 if( ! operation->key_usage_verify )
mohammad16036df908f2018-04-02 08:34:15 -07001697 return( PSA_ERROR_NOT_PERMITTED );
1698
1699 status = psa_mac_finish_internal( operation,
1700 actual_mac, sizeof( actual_mac ),
1701 &actual_mac_length );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001702 if( status != PSA_SUCCESS )
1703 return( status );
1704 if( actual_mac_length != mac_length )
1705 return( PSA_ERROR_INVALID_SIGNATURE );
1706 if( safer_memcmp( mac, actual_mac, actual_mac_length ) != 0 )
1707 return( PSA_ERROR_INVALID_SIGNATURE );
1708 return( PSA_SUCCESS );
1709}
1710
1711
Gilles Peskine20035e32018-02-03 22:44:14 +01001712
Gilles Peskine20035e32018-02-03 22:44:14 +01001713/****************************************************************/
1714/* Asymmetric cryptography */
1715/****************************************************************/
1716
Gilles Peskine2b450e32018-06-27 15:42:46 +02001717#if defined(MBEDTLS_RSA_C)
Gilles Peskine8b18a4f2018-06-08 16:34:46 +02001718/* Decode the hash algorithm from alg and store the mbedtls encoding in
1719 * md_alg. Verify that the hash length is consistent. */
1720static psa_status_t psa_rsa_decode_md_type( psa_algorithm_t alg,
1721 size_t hash_length,
1722 mbedtls_md_type_t *md_alg )
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001723{
Gilles Peskine7ed29c52018-06-26 15:50:08 +02001724 psa_algorithm_t hash_alg = PSA_ALG_SIGN_GET_HASH( alg );
Gilles Peskine61b91d42018-06-08 16:09:36 +02001725 const mbedtls_md_info_t *md_info = mbedtls_md_info_from_psa( hash_alg );
1726 *md_alg = hash_alg == 0 ? MBEDTLS_MD_NONE : mbedtls_md_get_type( md_info );
1727 if( *md_alg == MBEDTLS_MD_NONE )
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001728 {
1729#if SIZE_MAX > UINT_MAX
Gilles Peskine61b91d42018-06-08 16:09:36 +02001730 if( hash_length > UINT_MAX )
1731 return( PSA_ERROR_INVALID_ARGUMENT );
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001732#endif
1733 }
1734 else
1735 {
Gilles Peskine61b91d42018-06-08 16:09:36 +02001736 if( mbedtls_md_get_size( md_info ) != hash_length )
1737 return( PSA_ERROR_INVALID_ARGUMENT );
1738 if( md_info == NULL )
1739 return( PSA_ERROR_NOT_SUPPORTED );
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001740 }
Gilles Peskine61b91d42018-06-08 16:09:36 +02001741 return( PSA_SUCCESS );
Nir Sonnenschein4db79eb2018-06-04 16:40:31 +03001742}
1743
Gilles Peskine2b450e32018-06-27 15:42:46 +02001744static psa_status_t psa_rsa_sign( mbedtls_rsa_context *rsa,
1745 psa_algorithm_t alg,
1746 const uint8_t *hash,
1747 size_t hash_length,
1748 uint8_t *signature,
1749 size_t signature_size,
1750 size_t *signature_length )
1751{
1752 psa_status_t status;
1753 int ret;
1754 mbedtls_md_type_t md_alg;
1755
1756 status = psa_rsa_decode_md_type( alg, hash_length, &md_alg );
1757 if( status != PSA_SUCCESS )
1758 return( status );
1759
1760 if( signature_size < rsa->len )
1761 return( PSA_ERROR_BUFFER_TOO_SMALL );
1762
Jaeden Amerobbf97e32018-06-26 14:20:51 +01001763 /* The Mbed TLS RSA module uses an unsigned int for hash_length. See if
1764 * hash_length will fit and return an error if it doesn't. */
1765#if defined(MBEDTLS_PKCS1_V15) || defined(MBEDTLS_PKCS1_V21)
1766#if SIZE_MAX > UINT_MAX
1767 if( hash_length > UINT_MAX )
1768 return( PSA_ERROR_NOT_SUPPORTED );
1769#endif
1770#endif
1771
Gilles Peskine2b450e32018-06-27 15:42:46 +02001772#if defined(MBEDTLS_PKCS1_V15)
1773 if( PSA_ALG_IS_RSA_PKCS1V15_SIGN( alg ) )
1774 {
1775 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V15,
1776 MBEDTLS_MD_NONE );
1777 ret = mbedtls_rsa_pkcs1_sign( rsa,
1778 mbedtls_ctr_drbg_random,
1779 &global_data.ctr_drbg,
1780 MBEDTLS_RSA_PRIVATE,
Jaeden Amerobbf97e32018-06-26 14:20:51 +01001781 md_alg,
1782 (unsigned int) hash_length,
1783 hash,
Gilles Peskine2b450e32018-06-27 15:42:46 +02001784 signature );
1785 }
1786 else
1787#endif /* MBEDTLS_PKCS1_V15 */
1788#if defined(MBEDTLS_PKCS1_V21)
1789 if( PSA_ALG_IS_RSA_PSS( alg ) )
1790 {
1791 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V21, md_alg );
1792 ret = mbedtls_rsa_rsassa_pss_sign( rsa,
1793 mbedtls_ctr_drbg_random,
1794 &global_data.ctr_drbg,
1795 MBEDTLS_RSA_PRIVATE,
Jaeden Amerobbf97e32018-06-26 14:20:51 +01001796 md_alg,
1797 (unsigned int) hash_length,
1798 hash,
Gilles Peskine2b450e32018-06-27 15:42:46 +02001799 signature );
1800 }
1801 else
1802#endif /* MBEDTLS_PKCS1_V21 */
1803 {
1804 return( PSA_ERROR_INVALID_ARGUMENT );
1805 }
1806
1807 if( ret == 0 )
1808 *signature_length = rsa->len;
1809 return( mbedtls_to_psa_error( ret ) );
1810}
1811
1812static psa_status_t psa_rsa_verify( mbedtls_rsa_context *rsa,
1813 psa_algorithm_t alg,
1814 const uint8_t *hash,
1815 size_t hash_length,
1816 const uint8_t *signature,
1817 size_t signature_length )
1818{
1819 psa_status_t status;
1820 int ret;
1821 mbedtls_md_type_t md_alg;
1822
1823 status = psa_rsa_decode_md_type( alg, hash_length, &md_alg );
1824 if( status != PSA_SUCCESS )
1825 return( status );
1826
1827 if( signature_length < rsa->len )
1828 return( PSA_ERROR_BUFFER_TOO_SMALL );
1829
Jaeden Amerobbf97e32018-06-26 14:20:51 +01001830#if defined(MBEDTLS_PKCS1_V15) || defined(MBEDTLS_PKCS1_V21)
1831#if SIZE_MAX > UINT_MAX
1832 /* The Mbed TLS RSA module uses an unsigned int for hash_length. See if
1833 * hash_length will fit and return an error if it doesn't. */
1834 if( hash_length > UINT_MAX )
1835 return( PSA_ERROR_NOT_SUPPORTED );
1836#endif
1837#endif
1838
Gilles Peskine2b450e32018-06-27 15:42:46 +02001839#if defined(MBEDTLS_PKCS1_V15)
1840 if( PSA_ALG_IS_RSA_PKCS1V15_SIGN( alg ) )
1841 {
1842 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V15,
1843 MBEDTLS_MD_NONE );
1844 ret = mbedtls_rsa_pkcs1_verify( rsa,
1845 mbedtls_ctr_drbg_random,
1846 &global_data.ctr_drbg,
1847 MBEDTLS_RSA_PUBLIC,
1848 md_alg,
Jaeden Amerobbf97e32018-06-26 14:20:51 +01001849 (unsigned int) hash_length,
Gilles Peskine2b450e32018-06-27 15:42:46 +02001850 hash,
1851 signature );
1852 }
1853 else
1854#endif /* MBEDTLS_PKCS1_V15 */
1855#if defined(MBEDTLS_PKCS1_V21)
1856 if( PSA_ALG_IS_RSA_PSS( alg ) )
1857 {
1858 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V21, md_alg );
1859 ret = mbedtls_rsa_rsassa_pss_verify( rsa,
1860 mbedtls_ctr_drbg_random,
1861 &global_data.ctr_drbg,
1862 MBEDTLS_RSA_PUBLIC,
Jaeden Amerobbf97e32018-06-26 14:20:51 +01001863 md_alg,
1864 (unsigned int) hash_length,
1865 hash,
Gilles Peskine2b450e32018-06-27 15:42:46 +02001866 signature );
1867 }
1868 else
1869#endif /* MBEDTLS_PKCS1_V21 */
1870 {
1871 return( PSA_ERROR_INVALID_ARGUMENT );
1872 }
1873 return( mbedtls_to_psa_error( ret ) );
1874}
1875#endif /* MBEDTLS_RSA_C */
1876
Gilles Peskinea81d85b2018-06-26 16:10:23 +02001877#if defined(MBEDTLS_ECDSA_C)
Gilles Peskinea81d85b2018-06-26 16:10:23 +02001878/* `ecp` cannot be const because `ecp->grp` needs to be non-const
1879 * for mbedtls_ecdsa_sign() and mbedtls_ecdsa_sign_det()
1880 * (even though these functions don't modify it). */
1881static psa_status_t psa_ecdsa_sign( mbedtls_ecp_keypair *ecp,
1882 psa_algorithm_t alg,
1883 const uint8_t *hash,
1884 size_t hash_length,
1885 uint8_t *signature,
1886 size_t signature_size,
1887 size_t *signature_length )
1888{
1889 int ret;
1890 mbedtls_mpi r, s;
Gilles Peskineeae6eee2018-06-28 13:56:01 +02001891 size_t curve_bytes = PSA_BITS_TO_BYTES( ecp->grp.pbits );
Gilles Peskinea81d85b2018-06-26 16:10:23 +02001892 mbedtls_mpi_init( &r );
1893 mbedtls_mpi_init( &s );
1894
Gilles Peskineeae6eee2018-06-28 13:56:01 +02001895 if( signature_size < 2 * curve_bytes )
1896 {
1897 ret = MBEDTLS_ERR_ECP_BUFFER_TOO_SMALL;
1898 goto cleanup;
1899 }
Gilles Peskinea81d85b2018-06-26 16:10:23 +02001900
1901 if( PSA_ALG_DSA_IS_DETERMINISTIC( alg ) )
1902 {
1903 psa_algorithm_t hash_alg = PSA_ALG_SIGN_GET_HASH( alg );
1904 const mbedtls_md_info_t *md_info = mbedtls_md_info_from_psa( hash_alg );
1905 mbedtls_md_type_t md_alg = mbedtls_md_get_type( md_info );
1906 MBEDTLS_MPI_CHK( mbedtls_ecdsa_sign_det( &ecp->grp, &r, &s, &ecp->d,
1907 hash, hash_length,
1908 md_alg ) );
1909 }
1910 else
1911 {
1912 MBEDTLS_MPI_CHK( mbedtls_ecdsa_sign( &ecp->grp, &r, &s, &ecp->d,
1913 hash, hash_length,
1914 mbedtls_ctr_drbg_random,
1915 &global_data.ctr_drbg ) );
1916 }
Gilles Peskineeae6eee2018-06-28 13:56:01 +02001917
1918 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( &r,
1919 signature,
1920 curve_bytes ) );
1921 MBEDTLS_MPI_CHK( mbedtls_mpi_write_binary( &s,
1922 signature + curve_bytes,
1923 curve_bytes ) );
1924
1925cleanup:
1926 mbedtls_mpi_free( &r );
1927 mbedtls_mpi_free( &s );
1928 if( ret == 0 )
1929 *signature_length = 2 * curve_bytes;
Gilles Peskineeae6eee2018-06-28 13:56:01 +02001930 return( mbedtls_to_psa_error( ret ) );
1931}
1932
1933static psa_status_t psa_ecdsa_verify( mbedtls_ecp_keypair *ecp,
1934 const uint8_t *hash,
1935 size_t hash_length,
1936 const uint8_t *signature,
1937 size_t signature_length )
1938{
1939 int ret;
1940 mbedtls_mpi r, s;
1941 size_t curve_bytes = PSA_BITS_TO_BYTES( ecp->grp.pbits );
1942 mbedtls_mpi_init( &r );
1943 mbedtls_mpi_init( &s );
1944
1945 if( signature_length != 2 * curve_bytes )
1946 return( PSA_ERROR_INVALID_SIGNATURE );
1947
1948 MBEDTLS_MPI_CHK( mbedtls_mpi_read_binary( &r,
1949 signature,
1950 curve_bytes ) );
1951 MBEDTLS_MPI_CHK( mbedtls_mpi_read_binary( &s,
1952 signature + curve_bytes,
1953 curve_bytes ) );
1954
1955 ret = mbedtls_ecdsa_verify( &ecp->grp, hash, hash_length,
1956 &ecp->Q, &r, &s );
Gilles Peskinea81d85b2018-06-26 16:10:23 +02001957
1958cleanup:
1959 mbedtls_mpi_free( &r );
1960 mbedtls_mpi_free( &s );
1961 return( mbedtls_to_psa_error( ret ) );
1962}
1963#endif /* MBEDTLS_ECDSA_C */
1964
Gilles Peskine61b91d42018-06-08 16:09:36 +02001965psa_status_t psa_asymmetric_sign( psa_key_slot_t key,
1966 psa_algorithm_t alg,
1967 const uint8_t *hash,
1968 size_t hash_length,
1969 const uint8_t *salt,
1970 size_t salt_length,
1971 uint8_t *signature,
1972 size_t signature_size,
1973 size_t *signature_length )
Gilles Peskine20035e32018-02-03 22:44:14 +01001974{
1975 key_slot_t *slot;
Gilles Peskinea26ff6a2018-06-28 12:21:19 +02001976 psa_status_t status;
1977
1978 *signature_length = signature_size;
1979
Gilles Peskine93aa0332018-02-03 23:58:03 +01001980 (void) salt;
1981 (void) salt_length;
1982
Gilles Peskineb0b255c2018-07-06 17:01:38 +02001983 status = psa_get_key_from_slot( key, &slot, PSA_KEY_USAGE_SIGN, alg );
1984 if( status != PSA_SUCCESS )
Gilles Peskinea26ff6a2018-06-28 12:21:19 +02001985 goto exit;
Gilles Peskine20035e32018-02-03 22:44:14 +01001986 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
Gilles Peskinea26ff6a2018-06-28 12:21:19 +02001987 {
1988 status = PSA_ERROR_INVALID_ARGUMENT;
1989 goto exit;
1990 }
Gilles Peskine20035e32018-02-03 22:44:14 +01001991
Gilles Peskine20035e32018-02-03 22:44:14 +01001992#if defined(MBEDTLS_RSA_C)
1993 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
1994 {
Gilles Peskinea26ff6a2018-06-28 12:21:19 +02001995 status = psa_rsa_sign( slot->data.rsa,
1996 alg,
1997 hash, hash_length,
1998 signature, signature_size,
1999 signature_length );
Gilles Peskine20035e32018-02-03 22:44:14 +01002000 }
2001 else
2002#endif /* defined(MBEDTLS_RSA_C) */
2003#if defined(MBEDTLS_ECP_C)
2004 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
2005 {
Gilles Peskinea81d85b2018-06-26 16:10:23 +02002006#if defined(MBEDTLS_ECDSA_C)
2007 if( PSA_ALG_IS_ECDSA( alg ) )
Gilles Peskinea26ff6a2018-06-28 12:21:19 +02002008 status = psa_ecdsa_sign( slot->data.ecp,
2009 alg,
2010 hash, hash_length,
2011 signature, signature_size,
2012 signature_length );
Gilles Peskinea81d85b2018-06-26 16:10:23 +02002013 else
2014#endif /* defined(MBEDTLS_ECDSA_C) */
2015 {
Gilles Peskinea26ff6a2018-06-28 12:21:19 +02002016 status = PSA_ERROR_INVALID_ARGUMENT;
Gilles Peskinea81d85b2018-06-26 16:10:23 +02002017 }
itayzafrir5c753392018-05-08 11:18:38 +03002018 }
2019 else
2020#endif /* defined(MBEDTLS_ECP_C) */
2021 {
Gilles Peskinea26ff6a2018-06-28 12:21:19 +02002022 status = PSA_ERROR_NOT_SUPPORTED;
Gilles Peskine20035e32018-02-03 22:44:14 +01002023 }
Gilles Peskinea26ff6a2018-06-28 12:21:19 +02002024
2025exit:
2026 /* Fill the unused part of the output buffer (the whole buffer on error,
2027 * the trailing part on success) with something that isn't a valid mac
2028 * (barring an attack on the mac and deliberately-crafted input),
2029 * in case the caller doesn't check the return status properly. */
2030 if( status == PSA_SUCCESS )
2031 memset( signature + *signature_length, '!',
2032 signature_size - *signature_length );
Gilles Peskine46f1fd72018-06-28 19:31:31 +02002033 else if( signature_size != 0 )
Gilles Peskinea26ff6a2018-06-28 12:21:19 +02002034 memset( signature, '!', signature_size );
Gilles Peskine46f1fd72018-06-28 19:31:31 +02002035 /* If signature_size is 0 then we have nothing to do. We must not call
2036 * memset because signature may be NULL in this case. */
Gilles Peskinea26ff6a2018-06-28 12:21:19 +02002037 return( status );
itayzafrir5c753392018-05-08 11:18:38 +03002038}
2039
2040psa_status_t psa_asymmetric_verify( psa_key_slot_t key,
2041 psa_algorithm_t alg,
2042 const uint8_t *hash,
2043 size_t hash_length,
2044 const uint8_t *salt,
2045 size_t salt_length,
Gilles Peskinee9191ff2018-06-27 14:58:41 +02002046 const uint8_t *signature,
Gilles Peskine526fab02018-06-27 18:19:40 +02002047 size_t signature_length )
itayzafrir5c753392018-05-08 11:18:38 +03002048{
2049 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002050 psa_status_t status;
Gilles Peskine2b450e32018-06-27 15:42:46 +02002051
itayzafrir5c753392018-05-08 11:18:38 +03002052 (void) salt;
2053 (void) salt_length;
2054
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002055 status = psa_get_key_from_slot( key, &slot, PSA_KEY_USAGE_VERIFY, alg );
2056 if( status != PSA_SUCCESS )
2057 return( status );
itayzafrir5c753392018-05-08 11:18:38 +03002058
Gilles Peskine61b91d42018-06-08 16:09:36 +02002059#if defined(MBEDTLS_RSA_C)
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002060 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR ||
2061 slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002062 {
Gilles Peskine2b450e32018-06-27 15:42:46 +02002063 return( psa_rsa_verify( slot->data.rsa,
2064 alg,
2065 hash, hash_length,
2066 signature, signature_length ) );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002067 }
2068 else
2069#endif /* defined(MBEDTLS_RSA_C) */
itayzafrir5c753392018-05-08 11:18:38 +03002070#if defined(MBEDTLS_ECP_C)
2071 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
2072 {
Gilles Peskinea81d85b2018-06-26 16:10:23 +02002073#if defined(MBEDTLS_ECDSA_C)
2074 if( PSA_ALG_IS_ECDSA( alg ) )
Gilles Peskineeae6eee2018-06-28 13:56:01 +02002075 return( psa_ecdsa_verify( slot->data.ecp,
2076 hash, hash_length,
2077 signature, signature_length ) );
Gilles Peskinea81d85b2018-06-26 16:10:23 +02002078 else
2079#endif /* defined(MBEDTLS_ECDSA_C) */
2080 {
2081 return( PSA_ERROR_INVALID_ARGUMENT );
2082 }
itayzafrir5c753392018-05-08 11:18:38 +03002083 }
Gilles Peskine20035e32018-02-03 22:44:14 +01002084 else
2085#endif /* defined(MBEDTLS_ECP_C) */
2086 {
2087 return( PSA_ERROR_NOT_SUPPORTED );
2088 }
2089}
2090
Gilles Peskine61b91d42018-06-08 16:09:36 +02002091psa_status_t psa_asymmetric_encrypt( psa_key_slot_t key,
2092 psa_algorithm_t alg,
2093 const uint8_t *input,
2094 size_t input_length,
2095 const uint8_t *salt,
2096 size_t salt_length,
2097 uint8_t *output,
2098 size_t output_size,
2099 size_t *output_length )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002100{
2101 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002102 psa_status_t status;
2103
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002104 (void) salt;
2105 (void) salt_length;
Nir Sonnenscheinca466c82018-06-04 16:43:12 +03002106 *output_length = 0;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002107
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002108 status = psa_get_key_from_slot( key, &slot, PSA_KEY_USAGE_ENCRYPT, alg );
2109 if( status != PSA_SUCCESS )
2110 return( status );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002111 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
2112 return( PSA_ERROR_INVALID_ARGUMENT );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002113
2114#if defined(MBEDTLS_RSA_C)
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002115 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR ||
2116 slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002117 {
2118 mbedtls_rsa_context *rsa = slot->data.rsa;
2119 int ret;
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002120 if( output_size < rsa->len )
Gilles Peskine61b91d42018-06-08 16:09:36 +02002121 return( PSA_ERROR_INVALID_ARGUMENT );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002122#if defined(MBEDTLS_PKCS1_V15)
Gilles Peskine6afe7892018-05-31 13:16:08 +02002123 if( alg == PSA_ALG_RSA_PKCS1V15_CRYPT )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002124 {
Gilles Peskine61b91d42018-06-08 16:09:36 +02002125 ret = mbedtls_rsa_pkcs1_encrypt( rsa,
2126 mbedtls_ctr_drbg_random,
2127 &global_data.ctr_drbg,
2128 MBEDTLS_RSA_PUBLIC,
2129 input_length,
2130 input,
2131 output );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002132 }
2133 else
2134#endif /* MBEDTLS_PKCS1_V15 */
2135#if defined(MBEDTLS_PKCS1_V21)
Gilles Peskine55bf3d12018-06-26 15:53:48 +02002136 if( PSA_ALG_IS_RSA_OAEP( alg ) )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002137 {
2138 return( PSA_ERROR_NOT_SUPPORTED );
2139 }
2140 else
2141#endif /* MBEDTLS_PKCS1_V21 */
2142 {
2143 return( PSA_ERROR_INVALID_ARGUMENT );
2144 }
2145 if( ret == 0 )
Nir Sonnenschein717a0402018-06-04 16:36:15 +03002146 *output_length = rsa->len;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002147 return( mbedtls_to_psa_error( ret ) );
2148 }
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002149 else
Gilles Peskineb75e4f12018-06-08 17:44:47 +02002150#endif /* defined(MBEDTLS_RSA_C) */
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002151 {
2152 return( PSA_ERROR_NOT_SUPPORTED );
2153 }
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002154}
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002155
Gilles Peskine61b91d42018-06-08 16:09:36 +02002156psa_status_t psa_asymmetric_decrypt( psa_key_slot_t key,
2157 psa_algorithm_t alg,
2158 const uint8_t *input,
2159 size_t input_length,
2160 const uint8_t *salt,
2161 size_t salt_length,
2162 uint8_t *output,
2163 size_t output_size,
2164 size_t *output_length )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002165{
2166 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002167 psa_status_t status;
2168
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002169 (void) salt;
2170 (void) salt_length;
Nir Sonnenscheinca466c82018-06-04 16:43:12 +03002171 *output_length = 0;
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002172
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002173 status = psa_get_key_from_slot( key, &slot, PSA_KEY_USAGE_DECRYPT, alg );
2174 if( status != PSA_SUCCESS )
2175 return( status );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002176 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
2177 return( PSA_ERROR_INVALID_ARGUMENT );
2178
2179#if defined(MBEDTLS_RSA_C)
2180 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
2181 {
2182 mbedtls_rsa_context *rsa = slot->data.rsa;
2183 int ret;
2184
Gilles Peskinec4def2f2018-06-08 17:53:48 +02002185 if( input_length != rsa->len )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002186 return( PSA_ERROR_INVALID_ARGUMENT );
2187
2188#if defined(MBEDTLS_PKCS1_V15)
Gilles Peskine6afe7892018-05-31 13:16:08 +02002189 if( alg == PSA_ALG_RSA_PKCS1V15_CRYPT )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002190 {
Gilles Peskine61b91d42018-06-08 16:09:36 +02002191 ret = mbedtls_rsa_pkcs1_decrypt( rsa,
2192 mbedtls_ctr_drbg_random,
2193 &global_data.ctr_drbg,
2194 MBEDTLS_RSA_PRIVATE,
2195 output_length,
2196 input,
2197 output,
2198 output_size );
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002199 }
2200 else
2201#endif /* MBEDTLS_PKCS1_V15 */
2202#if defined(MBEDTLS_PKCS1_V21)
Gilles Peskine55bf3d12018-06-26 15:53:48 +02002203 if( PSA_ALG_IS_RSA_OAEP( alg ) )
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002204 {
2205 return( PSA_ERROR_NOT_SUPPORTED );
2206 }
2207 else
2208#endif /* MBEDTLS_PKCS1_V21 */
2209 {
2210 return( PSA_ERROR_INVALID_ARGUMENT );
2211 }
Nir Sonnenschein717a0402018-06-04 16:36:15 +03002212
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002213 return( mbedtls_to_psa_error( ret ) );
2214 }
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002215 else
Gilles Peskineb75e4f12018-06-08 17:44:47 +02002216#endif /* defined(MBEDTLS_RSA_C) */
Nir Sonnenschein39e59142018-05-02 23:16:26 +03002217 {
2218 return( PSA_ERROR_NOT_SUPPORTED );
2219 }
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002220}
Gilles Peskine20035e32018-02-03 22:44:14 +01002221
Gilles Peskine7bcfc0a2018-06-18 21:49:39 +02002222
2223
mohammad1603503973b2018-03-12 15:59:30 +02002224/****************************************************************/
2225/* Symmetric cryptography */
2226/****************************************************************/
2227
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02002228/* Initialize the cipher operation structure. Once this function has been
2229 * called, psa_cipher_abort can run and will do the right thing. */
2230static psa_status_t psa_cipher_init( psa_cipher_operation_t *operation,
2231 psa_algorithm_t alg )
2232{
Gilles Peskinec06e0712018-06-20 16:21:04 +02002233 if( ! PSA_ALG_IS_CIPHER( alg ) )
2234 {
2235 memset( operation, 0, sizeof( *operation ) );
2236 return( PSA_ERROR_INVALID_ARGUMENT );
2237 }
2238
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02002239 operation->alg = alg;
2240 operation->key_set = 0;
2241 operation->iv_set = 0;
2242 operation->iv_required = 1;
2243 operation->iv_size = 0;
2244 operation->block_size = 0;
2245 mbedtls_cipher_init( &operation->ctx.cipher );
2246 return( PSA_SUCCESS );
2247}
2248
Gilles Peskinee553c652018-06-04 16:22:46 +02002249static psa_status_t psa_cipher_setup( psa_cipher_operation_t *operation,
2250 psa_key_slot_t key,
Gilles Peskine7e928852018-06-04 16:23:10 +02002251 psa_algorithm_t alg,
2252 mbedtls_operation_t cipher_operation )
mohammad1603503973b2018-03-12 15:59:30 +02002253{
2254 int ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
2255 psa_status_t status;
2256 key_slot_t *slot;
2257 psa_key_type_t key_type;
2258 size_t key_bits;
2259 const mbedtls_cipher_info_t *cipher_info = NULL;
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002260 psa_key_usage_t usage = ( cipher_operation == MBEDTLS_ENCRYPT ?
2261 PSA_KEY_USAGE_ENCRYPT :
2262 PSA_KEY_USAGE_DECRYPT );
mohammad1603503973b2018-03-12 15:59:30 +02002263
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02002264 status = psa_cipher_init( operation, alg );
2265 if( status != PSA_SUCCESS )
2266 return( status );
mohammad1603503973b2018-03-12 15:59:30 +02002267
2268 status = psa_get_key_information( key, &key_type, &key_bits );
2269 if( status != PSA_SUCCESS )
2270 return( status );
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002271 status = psa_get_key_from_slot( key, &slot, usage, alg);
2272 if( status != PSA_SUCCESS )
2273 return( status );
mohammad1603503973b2018-03-12 15:59:30 +02002274
Gilles Peskinebb1072f2018-06-08 18:46:05 +02002275 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type, key_bits, NULL );
mohammad1603503973b2018-03-12 15:59:30 +02002276 if( cipher_info == NULL )
2277 return( PSA_ERROR_NOT_SUPPORTED );
2278
mohammad1603503973b2018-03-12 15:59:30 +02002279 ret = mbedtls_cipher_setup( &operation->ctx.cipher, cipher_info );
Moran Peker41deec42018-04-04 15:43:05 +03002280 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02002281 {
2282 psa_cipher_abort( operation );
2283 return( mbedtls_to_psa_error( ret ) );
2284 }
2285
Gilles Peskine9ad29e22018-06-21 09:40:04 +02002286#if defined(MBEDTLS_DES_C)
2287 if( key_type == PSA_KEY_TYPE_DES && key_bits == 128 )
2288 {
2289 /* Two-key Triple-DES is 3-key Triple-DES with K1=K3 */
2290 unsigned char keys[24];
2291 memcpy( keys, slot->data.raw.data, 16 );
2292 memcpy( keys + 16, slot->data.raw.data, 8 );
2293 ret = mbedtls_cipher_setkey( &operation->ctx.cipher,
2294 keys,
2295 192, cipher_operation );
2296 }
2297 else
2298#endif
2299 {
2300 ret = mbedtls_cipher_setkey( &operation->ctx.cipher,
2301 slot->data.raw.data,
Jaeden Amero23bbb752018-06-26 14:16:54 +01002302 (int) key_bits, cipher_operation );
Gilles Peskine9ad29e22018-06-21 09:40:04 +02002303 }
Moran Peker41deec42018-04-04 15:43:05 +03002304 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02002305 {
2306 psa_cipher_abort( operation );
2307 return( mbedtls_to_psa_error( ret ) );
2308 }
2309
mohammad16038481e742018-03-18 13:57:31 +02002310#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Moran Peker7cb22b82018-06-05 11:40:02 +03002311 if( ( alg & ~PSA_ALG_BLOCK_CIPHER_PADDING_MASK ) == PSA_ALG_CBC_BASE )
mohammad16038481e742018-03-18 13:57:31 +02002312 {
Gilles Peskine53514202018-06-06 15:11:46 +02002313 psa_algorithm_t padding_mode = alg & PSA_ALG_BLOCK_CIPHER_PADDING_MASK;
2314 mbedtls_cipher_padding_t mode;
mohammad16038481e742018-03-18 13:57:31 +02002315
Moran Pekera28258c2018-05-29 16:25:04 +03002316 switch ( padding_mode )
mohammad16038481e742018-03-18 13:57:31 +02002317 {
2318 case PSA_ALG_BLOCK_CIPHER_PAD_PKCS7:
2319 mode = MBEDTLS_PADDING_PKCS7;
2320 break;
2321 case PSA_ALG_BLOCK_CIPHER_PAD_NONE:
2322 mode = MBEDTLS_PADDING_NONE;
2323 break;
2324 default:
Moran Pekerae382792018-05-31 14:06:17 +03002325 psa_cipher_abort( operation );
2326 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16038481e742018-03-18 13:57:31 +02002327 }
2328 ret = mbedtls_cipher_set_padding_mode( &operation->ctx.cipher, mode );
Moran Pekera28258c2018-05-29 16:25:04 +03002329 if( ret != 0 )
Moran Peker71f19ae2018-04-22 20:23:16 +03002330 {
2331 psa_cipher_abort( operation );
mohammad16038481e742018-03-18 13:57:31 +02002332 return( mbedtls_to_psa_error( ret ) );
Moran Peker71f19ae2018-04-22 20:23:16 +03002333 }
mohammad16038481e742018-03-18 13:57:31 +02002334 }
2335#endif //MBEDTLS_CIPHER_MODE_WITH_PADDING
2336
mohammad1603503973b2018-03-12 15:59:30 +02002337 operation->key_set = 1;
Gilles Peskine7e928852018-06-04 16:23:10 +02002338 operation->block_size = ( PSA_ALG_IS_BLOCK_CIPHER( alg ) ?
2339 PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type ) :
2340 1 );
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002341 if( PSA_ALG_IS_BLOCK_CIPHER( alg ) || alg == PSA_ALG_CTR )
mohammad16038481e742018-03-18 13:57:31 +02002342 {
mohammad160389e0f462018-04-12 08:48:45 +03002343 operation->iv_size = PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type );
mohammad16038481e742018-03-18 13:57:31 +02002344 }
mohammad1603503973b2018-03-12 15:59:30 +02002345
Moran Peker395db872018-05-31 14:07:14 +03002346 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02002347}
2348
Gilles Peskinee553c652018-06-04 16:22:46 +02002349psa_status_t psa_encrypt_setup( psa_cipher_operation_t *operation,
2350 psa_key_slot_t key,
2351 psa_algorithm_t alg )
mohammad16038481e742018-03-18 13:57:31 +02002352{
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002353 return( psa_cipher_setup( operation, key, alg, MBEDTLS_ENCRYPT ) );
mohammad16038481e742018-03-18 13:57:31 +02002354}
2355
Gilles Peskinee553c652018-06-04 16:22:46 +02002356psa_status_t psa_decrypt_setup( psa_cipher_operation_t *operation,
2357 psa_key_slot_t key,
2358 psa_algorithm_t alg )
mohammad16038481e742018-03-18 13:57:31 +02002359{
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002360 return( psa_cipher_setup( operation, key, alg, MBEDTLS_DECRYPT ) );
mohammad16038481e742018-03-18 13:57:31 +02002361}
2362
Gilles Peskinee553c652018-06-04 16:22:46 +02002363psa_status_t psa_encrypt_generate_iv( psa_cipher_operation_t *operation,
2364 unsigned char *iv,
2365 size_t iv_size,
2366 size_t *iv_length )
mohammad1603503973b2018-03-12 15:59:30 +02002367{
Moran Peker41deec42018-04-04 15:43:05 +03002368 int ret = PSA_SUCCESS;
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002369 if( operation->iv_set || ! operation->iv_required )
Moran Peker41deec42018-04-04 15:43:05 +03002370 return( PSA_ERROR_BAD_STATE );
2371 if( iv_size < operation->iv_size )
mohammad1603503973b2018-03-12 15:59:30 +02002372 {
Moran Peker41deec42018-04-04 15:43:05 +03002373 ret = PSA_ERROR_BUFFER_TOO_SMALL;
2374 goto exit;
2375 }
Gilles Peskine7e928852018-06-04 16:23:10 +02002376 ret = mbedtls_ctr_drbg_random( &global_data.ctr_drbg,
2377 iv, operation->iv_size );
Moran Peker41deec42018-04-04 15:43:05 +03002378 if( ret != 0 )
2379 {
2380 ret = mbedtls_to_psa_error( ret );
Gilles Peskinee553c652018-06-04 16:22:46 +02002381 goto exit;
mohammad1603503973b2018-03-12 15:59:30 +02002382 }
Gilles Peskinee553c652018-06-04 16:22:46 +02002383
mohammad16038481e742018-03-18 13:57:31 +02002384 *iv_length = operation->iv_size;
mohammad160389e0f462018-04-12 08:48:45 +03002385 ret = psa_encrypt_set_iv( operation, iv, *iv_length );
Moran Peker41deec42018-04-04 15:43:05 +03002386
Moran Peker395db872018-05-31 14:07:14 +03002387exit:
2388 if( ret != PSA_SUCCESS )
2389 psa_cipher_abort( operation );
2390 return( ret );
mohammad1603503973b2018-03-12 15:59:30 +02002391}
2392
Gilles Peskinee553c652018-06-04 16:22:46 +02002393psa_status_t psa_encrypt_set_iv( psa_cipher_operation_t *operation,
2394 const unsigned char *iv,
2395 size_t iv_length )
mohammad1603503973b2018-03-12 15:59:30 +02002396{
Moran Peker41deec42018-04-04 15:43:05 +03002397 int ret = PSA_SUCCESS;
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002398 if( operation->iv_set || ! operation->iv_required )
Moran Peker41deec42018-04-04 15:43:05 +03002399 return( PSA_ERROR_BAD_STATE );
Moran Pekera28258c2018-05-29 16:25:04 +03002400 if( iv_length != operation->iv_size )
Moran Peker71f19ae2018-04-22 20:23:16 +03002401 {
Moran Pekerae382792018-05-31 14:06:17 +03002402 psa_cipher_abort( operation );
2403 return( PSA_ERROR_INVALID_ARGUMENT );
Moran Peker71f19ae2018-04-22 20:23:16 +03002404 }
mohammad1603503973b2018-03-12 15:59:30 +02002405 ret = mbedtls_cipher_set_iv( &operation->ctx.cipher, iv, iv_length );
Moran Peker41deec42018-04-04 15:43:05 +03002406 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02002407 {
2408 psa_cipher_abort( operation );
2409 return( mbedtls_to_psa_error( ret ) );
2410 }
2411
2412 operation->iv_set = 1;
mohammad1603503973b2018-03-12 15:59:30 +02002413
Moran Peker395db872018-05-31 14:07:14 +03002414 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02002415}
2416
Gilles Peskinee553c652018-06-04 16:22:46 +02002417psa_status_t psa_cipher_update( psa_cipher_operation_t *operation,
2418 const uint8_t *input,
2419 size_t input_length,
2420 unsigned char *output,
2421 size_t output_size,
2422 size_t *output_length )
mohammad1603503973b2018-03-12 15:59:30 +02002423{
2424 int ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Gilles Peskine89d789c2018-06-04 17:17:16 +02002425 size_t expected_output_size;
2426 if( PSA_ALG_IS_BLOCK_CIPHER( operation->alg ) )
2427 {
2428 /* Take the unprocessed partial block left over from previous
2429 * update calls, if any, plus the input to this call. Remove
2430 * the last partial block, if any. You get the data that will be
2431 * output in this call. */
2432 expected_output_size =
2433 ( operation->ctx.cipher.unprocessed_len + input_length )
2434 / operation->block_size * operation->block_size;
2435 }
2436 else
2437 {
2438 expected_output_size = input_length;
2439 }
2440 if( output_size < expected_output_size )
Moran Peker395db872018-05-31 14:07:14 +03002441 return( PSA_ERROR_BUFFER_TOO_SMALL );
mohammad160382759612018-03-12 18:16:40 +02002442
mohammad1603503973b2018-03-12 15:59:30 +02002443 ret = mbedtls_cipher_update( &operation->ctx.cipher, input,
Gilles Peskinee553c652018-06-04 16:22:46 +02002444 input_length, output, output_length );
Moran Peker41deec42018-04-04 15:43:05 +03002445 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02002446 {
2447 psa_cipher_abort( operation );
2448 return( mbedtls_to_psa_error( ret ) );
2449 }
2450
Moran Peker395db872018-05-31 14:07:14 +03002451 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02002452}
2453
Gilles Peskinee553c652018-06-04 16:22:46 +02002454psa_status_t psa_cipher_finish( psa_cipher_operation_t *operation,
2455 uint8_t *output,
2456 size_t output_size,
2457 size_t *output_length )
mohammad1603503973b2018-03-12 15:59:30 +02002458{
2459 int ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Gilles Peskinee553c652018-06-04 16:22:46 +02002460 uint8_t temp_output_buffer[MBEDTLS_MAX_BLOCK_LENGTH];
Moran Pekerbed71a22018-04-22 20:19:20 +03002461
mohammad1603503973b2018-03-12 15:59:30 +02002462 if( ! operation->key_set )
Moran Pekerdc38ebc2018-04-30 15:45:34 +03002463 {
Moran Peker7cb22b82018-06-05 11:40:02 +03002464 psa_cipher_abort( operation );
2465 return( PSA_ERROR_BAD_STATE );
2466 }
2467 if( operation->iv_required && ! operation->iv_set )
2468 {
Gilles Peskine2c5219a2018-06-06 15:12:32 +02002469 psa_cipher_abort( operation );
Moran Peker7cb22b82018-06-05 11:40:02 +03002470 return( PSA_ERROR_BAD_STATE );
2471 }
Gilles Peskine2c5219a2018-06-06 15:12:32 +02002472 if( operation->ctx.cipher.operation == MBEDTLS_ENCRYPT &&
2473 PSA_ALG_IS_BLOCK_CIPHER( operation->alg ) )
Moran Peker7cb22b82018-06-05 11:40:02 +03002474 {
Gilles Peskine53514202018-06-06 15:11:46 +02002475 psa_algorithm_t padding_mode =
2476 operation->alg & PSA_ALG_BLOCK_CIPHER_PADDING_MASK;
Moran Peker7cb22b82018-06-05 11:40:02 +03002477 if( operation->ctx.cipher.unprocessed_len >= operation->block_size )
Gilles Peskine89d789c2018-06-04 17:17:16 +02002478 {
Gilles Peskine2c5219a2018-06-06 15:12:32 +02002479 psa_cipher_abort( operation );
Moran Peker7cb22b82018-06-05 11:40:02 +03002480 return( PSA_ERROR_TAMPERING_DETECTED );
2481 }
Gilles Peskine53514202018-06-06 15:11:46 +02002482 if( padding_mode == PSA_ALG_BLOCK_CIPHER_PAD_NONE )
Moran Peker7cb22b82018-06-05 11:40:02 +03002483 {
2484 if( operation->ctx.cipher.unprocessed_len != 0 )
2485 {
Gilles Peskine2c5219a2018-06-06 15:12:32 +02002486 psa_cipher_abort( operation );
Moran Peker7cb22b82018-06-05 11:40:02 +03002487 return( PSA_ERROR_INVALID_ARGUMENT );
2488 }
Gilles Peskine89d789c2018-06-04 17:17:16 +02002489 }
Moran Pekerdc38ebc2018-04-30 15:45:34 +03002490 }
2491
2492 ret = mbedtls_cipher_finish( &operation->ctx.cipher, temp_output_buffer,
Gilles Peskinee553c652018-06-04 16:22:46 +02002493 output_length );
Moran Peker41deec42018-04-04 15:43:05 +03002494 if( ret != 0 )
mohammad1603503973b2018-03-12 15:59:30 +02002495 {
2496 psa_cipher_abort( operation );
2497 return( mbedtls_to_psa_error( ret ) );
2498 }
Gilles Peskine46f1fd72018-06-28 19:31:31 +02002499 if( *output_length == 0 )
2500 /* Nothing to copy. Note that output may be NULL in this case. */ ;
2501 else if( output_size >= *output_length )
Moran Pekerdc38ebc2018-04-30 15:45:34 +03002502 memcpy( output, temp_output_buffer, *output_length );
2503 else
2504 {
2505 psa_cipher_abort( operation );
2506 return( PSA_ERROR_BUFFER_TOO_SMALL );
2507 }
mohammad1603503973b2018-03-12 15:59:30 +02002508
Moran Peker4c80d832018-04-22 20:15:31 +03002509 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02002510}
2511
Gilles Peskinee553c652018-06-04 16:22:46 +02002512psa_status_t psa_cipher_abort( psa_cipher_operation_t *operation )
2513{
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02002514 if( operation->alg == 0 )
Gilles Peskine81736312018-06-26 15:04:31 +02002515 {
2516 /* The object has (apparently) been initialized but it is not
2517 * in use. It's ok to call abort on such an object, and there's
2518 * nothing to do. */
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02002519 return( PSA_SUCCESS );
Gilles Peskine81736312018-06-26 15:04:31 +02002520 }
Gilles Peskine16c0f4f2018-06-20 16:05:20 +02002521
Gilles Peskinef9c2c092018-06-21 16:57:07 +02002522 /* Sanity check (shouldn't happen: operation->alg should
2523 * always have been initialized to a valid value). */
2524 if( ! PSA_ALG_IS_CIPHER( operation->alg ) )
2525 return( PSA_ERROR_BAD_STATE );
2526
mohammad1603503973b2018-03-12 15:59:30 +02002527 mbedtls_cipher_free( &operation->ctx.cipher );
Gilles Peskinee553c652018-06-04 16:22:46 +02002528
Moran Peker41deec42018-04-04 15:43:05 +03002529 operation->alg = 0;
Moran Pekerad9d82c2018-04-30 12:31:04 +03002530 operation->key_set = 0;
2531 operation->iv_set = 0;
2532 operation->iv_size = 0;
Moran Peker41deec42018-04-04 15:43:05 +03002533 operation->block_size = 0;
Moran Pekerad9d82c2018-04-30 12:31:04 +03002534 operation->iv_required = 0;
Moran Peker41deec42018-04-04 15:43:05 +03002535
Moran Peker395db872018-05-31 14:07:14 +03002536 return( PSA_SUCCESS );
mohammad1603503973b2018-03-12 15:59:30 +02002537}
2538
Gilles Peskinea0655c32018-04-30 17:06:50 +02002539
Gilles Peskine7bcfc0a2018-06-18 21:49:39 +02002540
mohammad16038cc1cee2018-03-28 01:21:33 +03002541/****************************************************************/
2542/* Key Policy */
2543/****************************************************************/
Mohammad Abo Mokha5c7b7d2018-07-04 15:57:00 +03002544
mohammad160327010052018-07-03 13:16:15 +03002545#if !defined(MBEDTLS_PSA_CRYPTO_SPM)
Gilles Peskine2d277862018-06-18 15:41:12 +02002546void psa_key_policy_init( psa_key_policy_t *policy )
mohammad16038cc1cee2018-03-28 01:21:33 +03002547{
Gilles Peskine803ce742018-06-18 16:07:14 +02002548 memset( policy, 0, sizeof( *policy ) );
mohammad16038cc1cee2018-03-28 01:21:33 +03002549}
2550
Gilles Peskine2d277862018-06-18 15:41:12 +02002551void psa_key_policy_set_usage( psa_key_policy_t *policy,
2552 psa_key_usage_t usage,
2553 psa_algorithm_t alg )
mohammad16038cc1cee2018-03-28 01:21:33 +03002554{
mohammad16034eed7572018-03-28 05:14:59 -07002555 policy->usage = usage;
2556 policy->alg = alg;
mohammad16038cc1cee2018-03-28 01:21:33 +03002557}
2558
Gilles Peskine2d277862018-06-18 15:41:12 +02002559psa_key_usage_t psa_key_policy_get_usage( psa_key_policy_t *policy )
mohammad16038cc1cee2018-03-28 01:21:33 +03002560{
mohammad16036df908f2018-04-02 08:34:15 -07002561 return( policy->usage );
mohammad16038cc1cee2018-03-28 01:21:33 +03002562}
2563
Gilles Peskine2d277862018-06-18 15:41:12 +02002564psa_algorithm_t psa_key_policy_get_algorithm( psa_key_policy_t *policy )
mohammad16038cc1cee2018-03-28 01:21:33 +03002565{
mohammad16036df908f2018-04-02 08:34:15 -07002566 return( policy->alg );
mohammad16038cc1cee2018-03-28 01:21:33 +03002567}
mohammad160327010052018-07-03 13:16:15 +03002568#endif /* !defined(MBEDTLS_PSA_CRYPTO_SPM) */
Mohammad Abo Mokha5c7b7d2018-07-04 15:57:00 +03002569
Gilles Peskine2d277862018-06-18 15:41:12 +02002570psa_status_t psa_set_key_policy( psa_key_slot_t key,
2571 const psa_key_policy_t *policy )
mohammad16038cc1cee2018-03-28 01:21:33 +03002572{
2573 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002574 psa_status_t status;
mohammad16038cc1cee2018-03-28 01:21:33 +03002575
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002576 if( policy == NULL )
mohammad16038cc1cee2018-03-28 01:21:33 +03002577 return( PSA_ERROR_INVALID_ARGUMENT );
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002578
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002579 status = psa_get_empty_key_slot( key, &slot );
2580 if( status != PSA_SUCCESS )
2581 return( status );
mohammad16038cc1cee2018-03-28 01:21:33 +03002582
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002583 if( ( policy->usage & ~( PSA_KEY_USAGE_EXPORT |
2584 PSA_KEY_USAGE_ENCRYPT |
2585 PSA_KEY_USAGE_DECRYPT |
2586 PSA_KEY_USAGE_SIGN |
2587 PSA_KEY_USAGE_VERIFY ) ) != 0 )
mohammad16035feda722018-04-16 04:38:57 -07002588 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16038cc1cee2018-03-28 01:21:33 +03002589
mohammad16036df908f2018-04-02 08:34:15 -07002590 slot->policy = *policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03002591
2592 return( PSA_SUCCESS );
2593}
2594
Gilles Peskine2d277862018-06-18 15:41:12 +02002595psa_status_t psa_get_key_policy( psa_key_slot_t key,
2596 psa_key_policy_t *policy )
mohammad16038cc1cee2018-03-28 01:21:33 +03002597{
2598 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002599 psa_status_t status;
mohammad16038cc1cee2018-03-28 01:21:33 +03002600
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002601 if( policy == NULL )
mohammad16038cc1cee2018-03-28 01:21:33 +03002602 return( PSA_ERROR_INVALID_ARGUMENT );
2603
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002604 status = psa_get_key_slot( key, &slot );
2605 if( status != PSA_SUCCESS )
2606 return( status );
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002607
mohammad16036df908f2018-04-02 08:34:15 -07002608 *policy = slot->policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03002609
2610 return( PSA_SUCCESS );
2611}
Gilles Peskine20035e32018-02-03 22:44:14 +01002612
Gilles Peskinea0655c32018-04-30 17:06:50 +02002613
2614
mohammad1603804cd712018-03-20 22:44:08 +02002615/****************************************************************/
2616/* Key Lifetime */
2617/****************************************************************/
2618
Gilles Peskine2d277862018-06-18 15:41:12 +02002619psa_status_t psa_get_key_lifetime( psa_key_slot_t key,
2620 psa_key_lifetime_t *lifetime )
mohammad1603804cd712018-03-20 22:44:08 +02002621{
2622 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002623 psa_status_t status;
mohammad1603804cd712018-03-20 22:44:08 +02002624
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002625 status = psa_get_key_slot( key, &slot );
2626 if( status != PSA_SUCCESS )
2627 return( status );
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002628
mohammad1603804cd712018-03-20 22:44:08 +02002629 *lifetime = slot->lifetime;
2630
2631 return( PSA_SUCCESS );
2632}
2633
Gilles Peskine2d277862018-06-18 15:41:12 +02002634psa_status_t psa_set_key_lifetime( psa_key_slot_t key,
Jaeden Amero65fb2362018-06-26 13:55:30 +01002635 psa_key_lifetime_t lifetime )
mohammad1603804cd712018-03-20 22:44:08 +02002636{
2637 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002638 psa_status_t status;
mohammad1603804cd712018-03-20 22:44:08 +02002639
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002640 if( lifetime != PSA_KEY_LIFETIME_VOLATILE &&
2641 lifetime != PSA_KEY_LIFETIME_PERSISTENT &&
mohammad1603ba178512018-03-21 04:35:20 -07002642 lifetime != PSA_KEY_LIFETIME_WRITE_ONCE)
2643 return( PSA_ERROR_INVALID_ARGUMENT );
2644
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002645 status = psa_get_empty_key_slot( key, &slot );
2646 if( status != PSA_SUCCESS )
2647 return( status );
mohammad1603804cd712018-03-20 22:44:08 +02002648
Moran Pekerd7326592018-05-29 16:56:39 +03002649 if( lifetime != PSA_KEY_LIFETIME_VOLATILE )
mohammad1603ba178512018-03-21 04:35:20 -07002650 return( PSA_ERROR_NOT_SUPPORTED );
Gilles Peskine5b051bc2018-05-31 13:25:48 +02002651
mohammad1603060ad8a2018-03-20 14:28:38 -07002652 slot->lifetime = lifetime;
mohammad1603804cd712018-03-20 22:44:08 +02002653
2654 return( PSA_SUCCESS );
2655}
2656
Gilles Peskine20035e32018-02-03 22:44:14 +01002657
Gilles Peskine7bcfc0a2018-06-18 21:49:39 +02002658
mohammad16035955c982018-04-26 00:53:03 +03002659/****************************************************************/
2660/* AEAD */
2661/****************************************************************/
Gilles Peskine7bcfc0a2018-06-18 21:49:39 +02002662
mohammad16035955c982018-04-26 00:53:03 +03002663psa_status_t psa_aead_encrypt( psa_key_slot_t key,
2664 psa_algorithm_t alg,
2665 const uint8_t *nonce,
2666 size_t nonce_length,
2667 const uint8_t *additional_data,
2668 size_t additional_data_length,
2669 const uint8_t *plaintext,
2670 size_t plaintext_length,
2671 uint8_t *ciphertext,
2672 size_t ciphertext_size,
2673 size_t *ciphertext_length )
2674{
2675 int ret;
2676 psa_status_t status;
2677 key_slot_t *slot;
2678 psa_key_type_t key_type;
2679 size_t key_bits;
mohammad160315223a82018-06-03 17:19:55 +03002680 uint8_t *tag;
2681 size_t tag_length;
mohammad1603dad36fa2018-05-09 02:24:42 -07002682 mbedtls_cipher_id_t cipher_id;
mohammad16030f214652018-06-03 15:10:06 +03002683 const mbedtls_cipher_info_t *cipher_info = NULL;
Gilles Peskine2d277862018-06-18 15:41:12 +02002684
mohammad1603f08a5502018-06-03 15:05:47 +03002685 *ciphertext_length = 0;
mohammad1603e58e6842018-05-09 04:58:32 -07002686
mohammad16035955c982018-04-26 00:53:03 +03002687 status = psa_get_key_information( key, &key_type, &key_bits );
2688 if( status != PSA_SUCCESS )
2689 return( status );
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002690 status = psa_get_key_from_slot( key, &slot, PSA_KEY_USAGE_ENCRYPT, alg );
2691 if( status != PSA_SUCCESS )
2692 return( status );
mohammad16035955c982018-04-26 00:53:03 +03002693
mohammad16035ed06212018-06-06 13:09:34 +03002694 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type,
2695 key_bits, &cipher_id );
mohammad16030f214652018-06-03 15:10:06 +03002696 if( cipher_info == NULL )
Gilles Peskine2d277862018-06-18 15:41:12 +02002697 return( PSA_ERROR_NOT_SUPPORTED );
mohammad1603dad36fa2018-05-09 02:24:42 -07002698
Gilles Peskine2d277862018-06-18 15:41:12 +02002699 if( ( key_type & PSA_KEY_TYPE_CATEGORY_MASK ) !=
2700 PSA_KEY_TYPE_CATEGORY_SYMMETRIC )
mohammad1603db624732018-04-30 17:21:50 +03002701 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16035955c982018-04-26 00:53:03 +03002702
mohammad16035955c982018-04-26 00:53:03 +03002703 if( alg == PSA_ALG_GCM )
2704 {
2705 mbedtls_gcm_context gcm;
mohammad160315223a82018-06-03 17:19:55 +03002706 tag_length = 16;
2707
mohammad160396910d82018-06-04 14:33:00 +03002708 if( PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type ) != 16 )
2709 return( PSA_ERROR_INVALID_ARGUMENT );
2710
mohammad160315223a82018-06-03 17:19:55 +03002711 //make sure we have place to hold the tag in the ciphertext buffer
2712 if( ciphertext_size < ( plaintext_length + tag_length ) )
mohammad1603e3cb8a82018-06-06 13:45:03 +03002713 return( PSA_ERROR_BUFFER_TOO_SMALL );
mohammad160315223a82018-06-03 17:19:55 +03002714
2715 //update the tag pointer to point to the end of the ciphertext_length
2716 tag = ciphertext + plaintext_length;
2717
mohammad16035955c982018-04-26 00:53:03 +03002718 mbedtls_gcm_init( &gcm );
Gilles Peskinea40d7742018-06-01 16:28:30 +02002719 ret = mbedtls_gcm_setkey( &gcm, cipher_id,
mohammad160395893f82018-06-03 15:06:17 +03002720 slot->data.raw.data,
Jaeden Amero23bbb752018-06-26 14:16:54 +01002721 (unsigned int) key_bits );
mohammad16035955c982018-04-26 00:53:03 +03002722 if( ret != 0 )
2723 {
2724 mbedtls_gcm_free( &gcm );
2725 return( mbedtls_to_psa_error( ret ) );
2726 }
2727 ret = mbedtls_gcm_crypt_and_tag( &gcm, MBEDTLS_GCM_ENCRYPT,
Gilles Peskinea40d7742018-06-01 16:28:30 +02002728 plaintext_length, nonce,
2729 nonce_length, additional_data,
2730 additional_data_length, plaintext,
mohammad160315223a82018-06-03 17:19:55 +03002731 ciphertext, tag_length, tag );
mohammad16035955c982018-04-26 00:53:03 +03002732 mbedtls_gcm_free( &gcm );
2733 }
2734 else if( alg == PSA_ALG_CCM )
2735 {
2736 mbedtls_ccm_context ccm;
mohammad160315223a82018-06-03 17:19:55 +03002737 tag_length = 16;
2738
mohammad160396910d82018-06-04 14:33:00 +03002739 if( PSA_BLOCK_CIPHER_BLOCK_SIZE( key_type ) != 16 )
2740 return( PSA_ERROR_INVALID_ARGUMENT );
2741
mohammad160347ddf3d2018-04-26 01:11:21 +03002742 if( nonce_length < 7 || nonce_length > 13 )
2743 return( PSA_ERROR_INVALID_ARGUMENT );
2744
mohammad160315223a82018-06-03 17:19:55 +03002745 //make sure we have place to hold the tag in the ciphertext buffer
2746 if( ciphertext_size < ( plaintext_length + tag_length ) )
mohammad1603e3cb8a82018-06-06 13:45:03 +03002747 return( PSA_ERROR_BUFFER_TOO_SMALL );
mohammad160315223a82018-06-03 17:19:55 +03002748
2749 //update the tag pointer to point to the end of the ciphertext_length
2750 tag = ciphertext + plaintext_length;
2751
mohammad16035955c982018-04-26 00:53:03 +03002752 mbedtls_ccm_init( &ccm );
Gilles Peskinea40d7742018-06-01 16:28:30 +02002753 ret = mbedtls_ccm_setkey( &ccm, cipher_id,
Jaeden Amero23bbb752018-06-26 14:16:54 +01002754 slot->data.raw.data,
2755 (unsigned int) key_bits );
mohammad16035955c982018-04-26 00:53:03 +03002756 if( ret != 0 )
2757 {
2758 mbedtls_ccm_free( &ccm );
2759 return( mbedtls_to_psa_error( ret ) );
2760 }
Gilles Peskinea40d7742018-06-01 16:28:30 +02002761 ret = mbedtls_ccm_encrypt_and_tag( &ccm, plaintext_length,
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002762 nonce, nonce_length,
2763 additional_data,
Gilles Peskinea40d7742018-06-01 16:28:30 +02002764 additional_data_length,
2765 plaintext, ciphertext,
mohammad160315223a82018-06-03 17:19:55 +03002766 tag, tag_length );
mohammad16035955c982018-04-26 00:53:03 +03002767 mbedtls_ccm_free( &ccm );
2768 }
mohammad16035c8845f2018-05-09 05:40:09 -07002769 else
2770 {
mohammad1603554faad2018-06-03 15:07:38 +03002771 return( PSA_ERROR_NOT_SUPPORTED );
mohammad16035c8845f2018-05-09 05:40:09 -07002772 }
Gilles Peskine2d277862018-06-18 15:41:12 +02002773
mohammad160315223a82018-06-03 17:19:55 +03002774 if( ret != 0 )
2775 {
Gilles Peskine46f1fd72018-06-28 19:31:31 +02002776 /* If ciphertext_size is 0 then ciphertext may be NULL and then the
2777 * call to memset would have undefined behavior. */
2778 if( ciphertext_size != 0 )
2779 memset( ciphertext, 0, ciphertext_size );
mohammad160315223a82018-06-03 17:19:55 +03002780 return( mbedtls_to_psa_error( ret ) );
2781 }
Gilles Peskine2d277862018-06-18 15:41:12 +02002782
mohammad160315223a82018-06-03 17:19:55 +03002783 *ciphertext_length = plaintext_length + tag_length;
mohammad160347ddf3d2018-04-26 01:11:21 +03002784 return( PSA_SUCCESS );
mohammad16035955c982018-04-26 00:53:03 +03002785}
2786
Gilles Peskineee652a32018-06-01 19:23:52 +02002787/* Locate the tag in a ciphertext buffer containing the encrypted data
2788 * followed by the tag. Return the length of the part preceding the tag in
2789 * *plaintext_length. This is the size of the plaintext in modes where
2790 * the encrypted data has the same size as the plaintext, such as
2791 * CCM and GCM. */
2792static psa_status_t psa_aead_unpadded_locate_tag( size_t tag_length,
2793 const uint8_t *ciphertext,
2794 size_t ciphertext_length,
2795 size_t plaintext_size,
Gilles Peskineee652a32018-06-01 19:23:52 +02002796 const uint8_t **p_tag )
2797{
2798 size_t payload_length;
2799 if( tag_length > ciphertext_length )
2800 return( PSA_ERROR_INVALID_ARGUMENT );
2801 payload_length = ciphertext_length - tag_length;
2802 if( payload_length > plaintext_size )
2803 return( PSA_ERROR_BUFFER_TOO_SMALL );
2804 *p_tag = ciphertext + payload_length;
Gilles Peskineee652a32018-06-01 19:23:52 +02002805 return( PSA_SUCCESS );
2806}
2807
mohammad16035955c982018-04-26 00:53:03 +03002808psa_status_t psa_aead_decrypt( psa_key_slot_t key,
2809 psa_algorithm_t alg,
2810 const uint8_t *nonce,
2811 size_t nonce_length,
2812 const uint8_t *additional_data,
2813 size_t additional_data_length,
2814 const uint8_t *ciphertext,
2815 size_t ciphertext_length,
2816 uint8_t *plaintext,
2817 size_t plaintext_size,
2818 size_t *plaintext_length )
2819{
2820 int ret;
2821 psa_status_t status;
2822 key_slot_t *slot;
2823 psa_key_type_t key_type;
2824 size_t key_bits;
Gilles Peskineee652a32018-06-01 19:23:52 +02002825 const uint8_t *tag;
2826 size_t tag_length;
mohammad1603dad36fa2018-05-09 02:24:42 -07002827 mbedtls_cipher_id_t cipher_id;
mohammad16030f214652018-06-03 15:10:06 +03002828 const mbedtls_cipher_info_t *cipher_info = NULL;
Gilles Peskine2d277862018-06-18 15:41:12 +02002829
Gilles Peskineee652a32018-06-01 19:23:52 +02002830 *plaintext_length = 0;
mohammad16039e5a5152018-04-26 12:07:35 +03002831
mohammad16035955c982018-04-26 00:53:03 +03002832 status = psa_get_key_information( key, &key_type, &key_bits );
2833 if( status != PSA_SUCCESS )
2834 return( status );
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002835 status = psa_get_key_from_slot( key, &slot, PSA_KEY_USAGE_DECRYPT, alg );
2836 if( status != PSA_SUCCESS )
2837 return( status );
mohammad16035955c982018-04-26 00:53:03 +03002838
mohammad16035ed06212018-06-06 13:09:34 +03002839 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type,
2840 key_bits, &cipher_id );
mohammad16030f214652018-06-03 15:10:06 +03002841 if( cipher_info == NULL )
Gilles Peskine2d277862018-06-18 15:41:12 +02002842 return( PSA_ERROR_NOT_SUPPORTED );
2843
Gilles Peskine2d277862018-06-18 15:41:12 +02002844 if( ( key_type & PSA_KEY_TYPE_CATEGORY_MASK ) !=
2845 PSA_KEY_TYPE_CATEGORY_SYMMETRIC )
mohammad1603a7e6df72018-04-30 17:25:45 +03002846 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16035955c982018-04-26 00:53:03 +03002847
mohammad16035955c982018-04-26 00:53:03 +03002848 if( alg == PSA_ALG_GCM )
2849 {
2850 mbedtls_gcm_context gcm;
mohammad160347ddf3d2018-04-26 01:11:21 +03002851
Gilles Peskineee652a32018-06-01 19:23:52 +02002852 tag_length = 16;
2853 status = psa_aead_unpadded_locate_tag( tag_length,
2854 ciphertext, ciphertext_length,
mohammad160360a64d02018-06-03 17:20:42 +03002855 plaintext_size, &tag );
Gilles Peskineee652a32018-06-01 19:23:52 +02002856 if( status != PSA_SUCCESS )
2857 return( status );
2858
mohammad16035955c982018-04-26 00:53:03 +03002859 mbedtls_gcm_init( &gcm );
Gilles Peskinea40d7742018-06-01 16:28:30 +02002860 ret = mbedtls_gcm_setkey( &gcm, cipher_id,
Jaeden Amero23bbb752018-06-26 14:16:54 +01002861 slot->data.raw.data,
2862 (unsigned int) key_bits );
mohammad16035955c982018-04-26 00:53:03 +03002863 if( ret != 0 )
2864 {
2865 mbedtls_gcm_free( &gcm );
2866 return( mbedtls_to_psa_error( ret ) );
2867 }
mohammad16035955c982018-04-26 00:53:03 +03002868
Gilles Peskineee652a32018-06-01 19:23:52 +02002869 ret = mbedtls_gcm_auth_decrypt( &gcm,
mohammad160360a64d02018-06-03 17:20:42 +03002870 ciphertext_length - tag_length,
Gilles Peskineee652a32018-06-01 19:23:52 +02002871 nonce, nonce_length,
mohammad16035ed06212018-06-06 13:09:34 +03002872 additional_data,
2873 additional_data_length,
Gilles Peskineee652a32018-06-01 19:23:52 +02002874 tag, tag_length,
2875 ciphertext, plaintext );
mohammad16035955c982018-04-26 00:53:03 +03002876 mbedtls_gcm_free( &gcm );
2877 }
2878 else if( alg == PSA_ALG_CCM )
2879 {
2880 mbedtls_ccm_context ccm;
Gilles Peskinea40d7742018-06-01 16:28:30 +02002881
mohammad160347ddf3d2018-04-26 01:11:21 +03002882 if( nonce_length < 7 || nonce_length > 13 )
2883 return( PSA_ERROR_INVALID_ARGUMENT );
2884
mohammad16039375f842018-06-03 14:28:24 +03002885 tag_length = 16;
2886 status = psa_aead_unpadded_locate_tag( tag_length,
2887 ciphertext, ciphertext_length,
mohammad160360a64d02018-06-03 17:20:42 +03002888 plaintext_size, &tag );
mohammad16039375f842018-06-03 14:28:24 +03002889 if( status != PSA_SUCCESS )
2890 return( status );
2891
mohammad16035955c982018-04-26 00:53:03 +03002892 mbedtls_ccm_init( &ccm );
Gilles Peskinea40d7742018-06-01 16:28:30 +02002893 ret = mbedtls_ccm_setkey( &ccm, cipher_id,
Jaeden Amero23bbb752018-06-26 14:16:54 +01002894 slot->data.raw.data,
2895 (unsigned int) key_bits );
mohammad16035955c982018-04-26 00:53:03 +03002896 if( ret != 0 )
2897 {
2898 mbedtls_ccm_free( &ccm );
2899 return( mbedtls_to_psa_error( ret ) );
2900 }
mohammad160360a64d02018-06-03 17:20:42 +03002901 ret = mbedtls_ccm_auth_decrypt( &ccm, ciphertext_length - tag_length,
Gilles Peskineee652a32018-06-01 19:23:52 +02002902 nonce, nonce_length,
Gilles Peskinec1bb6c82018-06-18 16:04:39 +02002903 additional_data,
2904 additional_data_length,
Gilles Peskineee652a32018-06-01 19:23:52 +02002905 ciphertext, plaintext,
2906 tag, tag_length );
mohammad16035955c982018-04-26 00:53:03 +03002907 mbedtls_ccm_free( &ccm );
2908 }
mohammad160339574652018-06-01 04:39:53 -07002909 else
2910 {
mohammad1603554faad2018-06-03 15:07:38 +03002911 return( PSA_ERROR_NOT_SUPPORTED );
mohammad160339574652018-06-01 04:39:53 -07002912 }
Gilles Peskinea40d7742018-06-01 16:28:30 +02002913
Gilles Peskineee652a32018-06-01 19:23:52 +02002914 if( ret != 0 )
Gilles Peskine46f1fd72018-06-28 19:31:31 +02002915 {
2916 /* If plaintext_size is 0 then plaintext may be NULL and then the
2917 * call to memset has undefined behavior. */
2918 if( plaintext_size != 0 )
2919 memset( plaintext, 0, plaintext_size );
2920 }
mohammad160360a64d02018-06-03 17:20:42 +03002921 else
2922 *plaintext_length = ciphertext_length - tag_length;
2923
Gilles Peskineee652a32018-06-01 19:23:52 +02002924 return( mbedtls_to_psa_error( ret ) );
mohammad16035955c982018-04-26 00:53:03 +03002925}
2926
Gilles Peskinea0655c32018-04-30 17:06:50 +02002927
Gilles Peskine7bcfc0a2018-06-18 21:49:39 +02002928
Gilles Peskine20035e32018-02-03 22:44:14 +01002929/****************************************************************/
Gilles Peskine05d69892018-06-19 22:00:52 +02002930/* Key generation */
2931/****************************************************************/
2932
2933psa_status_t psa_generate_random( uint8_t *output,
2934 size_t output_size )
2935{
2936 int ret = mbedtls_ctr_drbg_random( &global_data.ctr_drbg,
2937 output, output_size );
2938 return( mbedtls_to_psa_error( ret ) );
2939}
2940
2941psa_status_t psa_generate_key( psa_key_slot_t key,
2942 psa_key_type_t type,
2943 size_t bits,
2944 const void *parameters,
2945 size_t parameters_size )
2946{
Gilles Peskine12313cd2018-06-20 00:20:32 +02002947 key_slot_t *slot;
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002948 psa_status_t status;
Gilles Peskine12313cd2018-06-20 00:20:32 +02002949
Gilles Peskine12313cd2018-06-20 00:20:32 +02002950 if( parameters == NULL && parameters_size != 0 )
2951 return( PSA_ERROR_INVALID_ARGUMENT );
2952
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002953 status = psa_get_empty_key_slot( key, &slot );
2954 if( status != PSA_SUCCESS )
2955 return( status );
2956
Gilles Peskine48c0ea12018-06-21 14:15:31 +02002957 if( key_type_is_raw_bytes( type ) )
Gilles Peskine12313cd2018-06-20 00:20:32 +02002958 {
Gilles Peskineb0b255c2018-07-06 17:01:38 +02002959 status = prepare_raw_data_slot( type, bits, &slot->data.raw );
Gilles Peskine12313cd2018-06-20 00:20:32 +02002960 if( status != PSA_SUCCESS )
2961 return( status );
2962 status = psa_generate_random( slot->data.raw.data,
2963 slot->data.raw.bytes );
2964 if( status != PSA_SUCCESS )
2965 {
2966 mbedtls_free( slot->data.raw.data );
2967 return( status );
2968 }
2969#if defined(MBEDTLS_DES_C)
2970 if( type == PSA_KEY_TYPE_DES )
2971 {
2972 mbedtls_des_key_set_parity( slot->data.raw.data );
2973 if( slot->data.raw.bytes >= 16 )
2974 mbedtls_des_key_set_parity( slot->data.raw.data + 8 );
2975 if( slot->data.raw.bytes == 24 )
2976 mbedtls_des_key_set_parity( slot->data.raw.data + 16 );
2977 }
2978#endif /* MBEDTLS_DES_C */
2979 }
2980 else
2981
2982#if defined(MBEDTLS_RSA_C) && defined(MBEDTLS_GENPRIME)
2983 if ( type == PSA_KEY_TYPE_RSA_KEYPAIR )
2984 {
2985 mbedtls_rsa_context *rsa;
2986 int ret;
2987 int exponent = 65537;
Gilles Peskineaf3baab2018-06-27 22:55:52 +02002988 if( bits > PSA_VENDOR_RSA_MAX_KEY_BITS )
2989 return( PSA_ERROR_NOT_SUPPORTED );
Gilles Peskine12313cd2018-06-20 00:20:32 +02002990 if( parameters != NULL )
2991 {
2992 const unsigned *p = parameters;
2993 if( parameters_size != sizeof( *p ) )
2994 return( PSA_ERROR_INVALID_ARGUMENT );
2995 if( *p > INT_MAX )
2996 return( PSA_ERROR_INVALID_ARGUMENT );
2997 exponent = *p;
2998 }
2999 rsa = mbedtls_calloc( 1, sizeof( *rsa ) );
3000 if( rsa == NULL )
3001 return( PSA_ERROR_INSUFFICIENT_MEMORY );
3002 mbedtls_rsa_init( rsa, MBEDTLS_RSA_PKCS_V15, MBEDTLS_MD_NONE );
3003 ret = mbedtls_rsa_gen_key( rsa,
3004 mbedtls_ctr_drbg_random,
3005 &global_data.ctr_drbg,
Jaeden Amero23bbb752018-06-26 14:16:54 +01003006 (unsigned int) bits,
Gilles Peskine12313cd2018-06-20 00:20:32 +02003007 exponent );
3008 if( ret != 0 )
3009 {
3010 mbedtls_rsa_free( rsa );
3011 mbedtls_free( rsa );
3012 return( mbedtls_to_psa_error( ret ) );
3013 }
3014 slot->data.rsa = rsa;
3015 }
3016 else
3017#endif /* MBEDTLS_RSA_C && MBEDTLS_GENPRIME */
3018
3019#if defined(MBEDTLS_ECP_C)
3020 if ( PSA_KEY_TYPE_IS_ECC( type ) && PSA_KEY_TYPE_IS_KEYPAIR( type ) )
3021 {
3022 psa_ecc_curve_t curve = PSA_KEY_TYPE_GET_CURVE( type );
3023 mbedtls_ecp_group_id grp_id = mbedtls_ecc_group_of_psa( curve );
3024 const mbedtls_ecp_curve_info *curve_info =
3025 mbedtls_ecp_curve_info_from_grp_id( grp_id );
3026 mbedtls_ecp_keypair *ecp;
3027 int ret;
3028 if( parameters != NULL )
3029 return( PSA_ERROR_NOT_SUPPORTED );
3030 if( grp_id == MBEDTLS_ECP_DP_NONE || curve_info == NULL )
3031 return( PSA_ERROR_NOT_SUPPORTED );
3032 if( curve_info->bit_size != bits )
3033 return( PSA_ERROR_INVALID_ARGUMENT );
3034 ecp = mbedtls_calloc( 1, sizeof( *ecp ) );
3035 if( ecp == NULL )
3036 return( PSA_ERROR_INSUFFICIENT_MEMORY );
3037 mbedtls_ecp_keypair_init( ecp );
3038 ret = mbedtls_ecp_gen_key( grp_id, ecp,
3039 mbedtls_ctr_drbg_random,
3040 &global_data.ctr_drbg );
3041 if( ret != 0 )
3042 {
3043 mbedtls_ecp_keypair_free( ecp );
3044 mbedtls_free( ecp );
3045 return( mbedtls_to_psa_error( ret ) );
3046 }
3047 slot->data.ecp = ecp;
3048 }
3049 else
3050#endif /* MBEDTLS_ECP_C */
3051
3052 return( PSA_ERROR_NOT_SUPPORTED );
3053
3054 slot->type = type;
3055 return( PSA_SUCCESS );
Gilles Peskine05d69892018-06-19 22:00:52 +02003056}
3057
3058
3059/****************************************************************/
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01003060/* Module setup */
3061/****************************************************************/
3062
Gilles Peskinee59236f2018-01-27 23:32:46 +01003063void mbedtls_psa_crypto_free( void )
3064{
Jaeden Amero045bd502018-06-26 14:00:08 +01003065 psa_key_slot_t key;
Gilles Peskine828ed142018-06-18 23:25:51 +02003066 for( key = 1; key < PSA_KEY_SLOT_COUNT; key++ )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01003067 psa_destroy_key( key );
Gilles Peskinee59236f2018-01-27 23:32:46 +01003068 mbedtls_ctr_drbg_free( &global_data.ctr_drbg );
3069 mbedtls_entropy_free( &global_data.entropy );
3070 mbedtls_zeroize( &global_data, sizeof( global_data ) );
3071}
3072
3073psa_status_t psa_crypto_init( void )
3074{
3075 int ret;
3076 const unsigned char drbg_seed[] = "PSA";
3077
3078 if( global_data.initialized != 0 )
3079 return( PSA_SUCCESS );
3080
3081 mbedtls_zeroize( &global_data, sizeof( global_data ) );
3082 mbedtls_entropy_init( &global_data.entropy );
3083 mbedtls_ctr_drbg_init( &global_data.ctr_drbg );
3084
3085 ret = mbedtls_ctr_drbg_seed( &global_data.ctr_drbg,
3086 mbedtls_entropy_func,
3087 &global_data.entropy,
3088 drbg_seed, sizeof( drbg_seed ) - 1 );
3089 if( ret != 0 )
3090 goto exit;
3091
Gilles Peskinee4ebc122018-03-07 14:16:44 +01003092 global_data.initialized = 1;
3093
Gilles Peskinee59236f2018-01-27 23:32:46 +01003094exit:
3095 if( ret != 0 )
3096 mbedtls_psa_crypto_free( );
3097 return( mbedtls_to_psa_error( ret ) );
3098}
3099
3100#endif /* MBEDTLS_PSA_CRYPTO_C */