blob: e479b9cde50f4d18a78420bdb070159a88860090 [file] [log] [blame]
Paul Bakker8123e9d2011-01-06 15:37:30 +00001/**
2 * \file cipher.c
Paul Bakker7dc4c442014-02-01 22:50:26 +01003 *
Manuel Pégourié-Gonnardb4fe3cb2015-01-22 16:11:05 +00004 * \brief Generic cipher wrapper for mbed TLS
Paul Bakker8123e9d2011-01-06 15:37:30 +00005 *
6 * \author Adriaan de Jong <dejong@fox-it.com>
7 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02008 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02009 * SPDX-License-Identifier: Apache-2.0
10 *
11 * Licensed under the Apache License, Version 2.0 (the "License"); you may
12 * not use this file except in compliance with the License.
13 * You may obtain a copy of the License at
14 *
15 * http://www.apache.org/licenses/LICENSE-2.0
16 *
17 * Unless required by applicable law or agreed to in writing, software
18 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
19 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
20 * See the License for the specific language governing permissions and
21 * limitations under the License.
Paul Bakker8123e9d2011-01-06 15:37:30 +000022 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000023 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker8123e9d2011-01-06 15:37:30 +000024 */
25
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020026#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000027#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020028#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020030#endif
Paul Bakker8123e9d2011-01-06 15:37:30 +000031
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020032#if defined(MBEDTLS_CIPHER_C)
Paul Bakker8123e9d2011-01-06 15:37:30 +000033
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000034#include "mbedtls/cipher.h"
Manuel Pégourié-Gonnard50518f42015-05-26 11:04:15 +020035#include "mbedtls/cipher_internal.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050036#include "mbedtls/platform_util.h"
Paul Bakker8123e9d2011-01-06 15:37:30 +000037
Rich Evans00ab4702015-02-06 13:43:58 +000038#include <stdlib.h>
39#include <string.h>
40
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020041#if defined(MBEDTLS_CHACHAPOLY_C)
42#include "mbedtls/chachapoly.h"
Daniel King8fe47012016-05-17 20:33:28 -030043#endif
44
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020045#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000046#include "mbedtls/gcm.h"
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +020047#endif
48
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020049#if defined(MBEDTLS_CCM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000050#include "mbedtls/ccm.h"
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +020051#endif
52
Daniel Kingbd920622016-05-15 19:56:20 -030053#if defined(MBEDTLS_CHACHA20_C)
54#include "mbedtls/chacha20.h"
55#endif
56
Simon Butcher327398a2016-10-05 14:09:11 +010057#if defined(MBEDTLS_CMAC_C)
58#include "mbedtls/cmac.h"
59#endif
60
Hanno Becker4ccfc402018-11-09 16:10:57 +000061#if defined(MBEDTLS_USE_PSA_CRYPTO)
62#include "psa/crypto.h"
Hanno Beckeredda8b82018-11-12 11:59:30 +000063#include "mbedtls/psa_util.h"
Hanno Becker4ccfc402018-11-09 16:10:57 +000064#endif /* MBEDTLS_USE_PSA_CRYPTO */
65
Simon Butcher327398a2016-10-05 14:09:11 +010066#if defined(MBEDTLS_PLATFORM_C)
67#include "mbedtls/platform.h"
68#else
69#define mbedtls_calloc calloc
70#define mbedtls_free free
71#endif
72
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020073#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -030074/* Compare the contents of two buffers in constant time.
75 * Returns 0 if the contents are bitwise identical, otherwise returns
Daniel King16b04ce2016-05-18 13:38:22 -030076 * a non-zero value.
77 * This is currently only used by GCM and ChaCha20+Poly1305.
78 */
Hanno Becker18597cd2018-11-09 16:36:33 +000079static int mbedtls_constant_time_memcmp( const void *v1, const void *v2,
80 size_t len )
Daniel King8fe47012016-05-17 20:33:28 -030081{
82 const unsigned char *p1 = (const unsigned char*) v1;
83 const unsigned char *p2 = (const unsigned char*) v2;
84 size_t i;
85 unsigned char diff;
86
87 for( diff = 0, i = 0; i < len; i++ )
88 diff |= p1[i] ^ p2[i];
89
90 return (int)diff;
91}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020092#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Daniel King8fe47012016-05-17 20:33:28 -030093
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020094static int supported_init = 0;
Paul Bakker72f62662011-01-16 21:27:44 +000095
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020096const int *mbedtls_cipher_list( void )
Paul Bakker72f62662011-01-16 21:27:44 +000097{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020098 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020099 int *type;
100
101 if( ! supported_init )
102 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200103 def = mbedtls_cipher_definitions;
104 type = mbedtls_cipher_supported;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200105
106 while( def->type != 0 )
107 *type++ = (*def++).type;
108
109 *type = 0;
110
111 supported_init = 1;
112 }
113
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200114 return( mbedtls_cipher_supported );
Paul Bakker72f62662011-01-16 21:27:44 +0000115}
116
Hanno Becker18597cd2018-11-09 16:36:33 +0000117const mbedtls_cipher_info_t *mbedtls_cipher_info_from_type(
118 const mbedtls_cipher_type_t cipher_type )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000119{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120 const mbedtls_cipher_definition_t *def;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200121
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200122 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200123 if( def->type == cipher_type )
124 return( def->info );
Paul Bakker343a8702011-06-09 14:27:58 +0000125
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200126 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000127}
128
Hanno Becker18597cd2018-11-09 16:36:33 +0000129const mbedtls_cipher_info_t *mbedtls_cipher_info_from_string(
130 const char *cipher_name )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000131{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200132 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200133
Paul Bakker8123e9d2011-01-06 15:37:30 +0000134 if( NULL == cipher_name )
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200135 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000136
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200137 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnardcb46fd82015-05-28 17:06:07 +0200138 if( ! strcmp( def->info->name, cipher_name ) )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200139 return( def->info );
Paul Bakkerfab5c822012-02-06 16:45:10 +0000140
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200141 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000142}
143
Hanno Becker18597cd2018-11-09 16:36:33 +0000144const mbedtls_cipher_info_t *mbedtls_cipher_info_from_values(
145 const mbedtls_cipher_id_t cipher_id,
146 int key_bitlen,
147 const mbedtls_cipher_mode_t mode )
Paul Bakkerf46b6952013-09-09 00:08:26 +0200148{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200149 const mbedtls_cipher_definition_t *def;
Paul Bakkerf46b6952013-09-09 00:08:26 +0200150
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200151 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200152 if( def->info->base->cipher == cipher_id &&
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200153 def->info->key_bitlen == (unsigned) key_bitlen &&
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200154 def->info->mode == mode )
155 return( def->info );
Paul Bakkerf46b6952013-09-09 00:08:26 +0200156
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200157 return( NULL );
Paul Bakkerf46b6952013-09-09 00:08:26 +0200158}
159
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200160void mbedtls_cipher_init( mbedtls_cipher_context_t *ctx )
Paul Bakker84bbeb52014-07-01 14:53:22 +0200161{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200162 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
Paul Bakker84bbeb52014-07-01 14:53:22 +0200163}
164
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200165void mbedtls_cipher_free( mbedtls_cipher_context_t *ctx )
Paul Bakker84bbeb52014-07-01 14:53:22 +0200166{
167 if( ctx == NULL )
168 return;
169
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000170#if defined(MBEDTLS_USE_PSA_CRYPTO)
171 if( ctx->psa_enabled == 1 )
172 {
Hanno Becker6118e432018-11-09 16:47:20 +0000173 if( ctx->cipher_ctx != NULL )
174 {
175 mbedtls_cipher_context_psa * const cipher_psa =
176 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
177
Hanno Becker19086552018-11-17 22:11:16 +0000178 if( cipher_psa->slot_state == MBEDTLS_CIPHER_PSA_KEY_OWNED )
Hanno Becker6118e432018-11-09 16:47:20 +0000179 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000180 /* xxx_free() doesn't allow to return failures. */
181 (void) psa_destroy_key( cipher_psa->slot );
Hanno Becker6118e432018-11-09 16:47:20 +0000182 }
183
184 mbedtls_platform_zeroize( cipher_psa, sizeof( *cipher_psa ) );
185 mbedtls_free( cipher_psa );
186 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000187
188 mbedtls_platform_zeroize( ctx, sizeof(mbedtls_cipher_context_t) );
189 return;
190 }
191#endif /* MBEDTLS_USE_PSA_CRYPTO */
192
Simon Butcher327398a2016-10-05 14:09:11 +0100193#if defined(MBEDTLS_CMAC_C)
194 if( ctx->cmac_ctx )
195 {
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500196 mbedtls_platform_zeroize( ctx->cmac_ctx,
197 sizeof( mbedtls_cmac_context_t ) );
Simon Butcher327398a2016-10-05 14:09:11 +0100198 mbedtls_free( ctx->cmac_ctx );
199 }
200#endif
201
Paul Bakker84bbeb52014-07-01 14:53:22 +0200202 if( ctx->cipher_ctx )
203 ctx->cipher_info->base->ctx_free_func( ctx->cipher_ctx );
204
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500205 mbedtls_platform_zeroize( ctx, sizeof(mbedtls_cipher_context_t) );
Paul Bakker84bbeb52014-07-01 14:53:22 +0200206}
207
Hanno Becker18597cd2018-11-09 16:36:33 +0000208int mbedtls_cipher_setup( mbedtls_cipher_context_t *ctx,
209 const mbedtls_cipher_info_t *cipher_info )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000210{
211 if( NULL == cipher_info || NULL == ctx )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200212 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000213
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200214 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000215
Paul Bakker343a8702011-06-09 14:27:58 +0000216 if( NULL == ( ctx->cipher_ctx = cipher_info->base->ctx_alloc_func() ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200217 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000218
219 ctx->cipher_info = cipher_info;
220
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200221#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200222 /*
223 * Ignore possible errors caused by a cipher mode that doesn't use padding
224 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200225#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
226 (void) mbedtls_cipher_set_padding_mode( ctx, MBEDTLS_PADDING_PKCS7 );
Paul Bakker48e93c82013-08-14 12:21:18 +0200227#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200228 (void) mbedtls_cipher_set_padding_mode( ctx, MBEDTLS_PADDING_NONE );
Paul Bakker48e93c82013-08-14 12:21:18 +0200229#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200230#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200231
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200232 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000233}
234
Hanno Becker4ccfc402018-11-09 16:10:57 +0000235#if defined(MBEDTLS_USE_PSA_CRYPTO)
236int mbedtls_cipher_setup_psa( mbedtls_cipher_context_t *ctx,
Hanno Becker20120b32018-11-12 16:26:27 +0000237 const mbedtls_cipher_info_t *cipher_info,
238 size_t taglen )
Hanno Becker4ccfc402018-11-09 16:10:57 +0000239{
Hanno Beckeredda8b82018-11-12 11:59:30 +0000240 psa_algorithm_t alg;
241 mbedtls_cipher_context_psa *cipher_psa;
242
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000243 if( NULL == cipher_info || NULL == ctx )
244 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
245
Hanno Becker4ee7e762018-11-17 22:00:38 +0000246 /* Check that the underlying cipher mode and cipher type are
247 * supported by the underlying PSA Crypto implementation. */
Hanno Becker20120b32018-11-12 16:26:27 +0000248 alg = mbedtls_psa_translate_cipher_mode( cipher_info->mode, taglen );
Hanno Becker4ee7e762018-11-17 22:00:38 +0000249 if( alg == 0 )
250 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
251 if( mbedtls_psa_translate_cipher_type( cipher_info->type ) == 0 )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000252 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Becker6118e432018-11-09 16:47:20 +0000253
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000254 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
255
Hanno Beckeredda8b82018-11-12 11:59:30 +0000256 cipher_psa = mbedtls_calloc( 1, sizeof(mbedtls_cipher_context_psa ) );
257 if( cipher_psa == NULL )
258 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
259 cipher_psa->alg = alg;
260 ctx->cipher_ctx = cipher_psa;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000261 ctx->cipher_info = cipher_info;
262 ctx->psa_enabled = 1;
263 return( 0 );
Hanno Becker4ccfc402018-11-09 16:10:57 +0000264}
265#endif /* MBEDTLS_USE_PSA_CRYPTO */
266
Hanno Becker18597cd2018-11-09 16:36:33 +0000267int mbedtls_cipher_setkey( mbedtls_cipher_context_t *ctx,
268 const unsigned char *key,
269 int key_bitlen,
270 const mbedtls_operation_t operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000271{
Hanno Beckeredda8b82018-11-12 11:59:30 +0000272 if( NULL == ctx || NULL == ctx->cipher_info ||
273 NULL == ctx->cipher_ctx )
274 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200275 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Hanno Beckeredda8b82018-11-12 11:59:30 +0000276 }
277
278 if( operation != MBEDTLS_DECRYPT &&
279 operation != MBEDTLS_ENCRYPT )
280 {
281 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
282 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000283
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000284#if defined(MBEDTLS_USE_PSA_CRYPTO)
285 if( ctx->psa_enabled == 1 )
286 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000287 mbedtls_cipher_context_psa * const cipher_psa =
288 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
289
290 size_t const key_bytelen = ( (size_t) key_bitlen + 7 ) / 8;
291
292 psa_status_t status;
293 psa_key_type_t key_type;
294 psa_key_usage_t key_usage;
295 psa_key_policy_t key_policy;
296
297 /* PSA Crypto API only accepts byte-aligned keys. */
298 if( key_bitlen % 8 != 0 )
299 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
300
301 /* Don't allow keys to be set multiple times. */
Hanno Becker19086552018-11-17 22:11:16 +0000302 if( cipher_psa->slot_state != MBEDTLS_CIPHER_PSA_KEY_UNSET )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000303 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
304
Andrzej Kurekc7509322019-01-08 09:36:01 -0500305 key_type = mbedtls_psa_translate_cipher_type(
306 ctx->cipher_info->type );
307 if( key_type == 0 )
308 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
309
310 /* Allocate a key slot to use. */
311 status = psa_allocate_key( key_type, key_bitlen, &cipher_psa->slot );
Hanno Beckeredda8b82018-11-12 11:59:30 +0000312 if( status != PSA_SUCCESS )
313 return( MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED );
Hanno Beckeredda8b82018-11-12 11:59:30 +0000314
315 /* Setup policy for the new key slot. */
316 psa_key_policy_init( &key_policy );
Hanno Beckera395d8f2018-11-12 13:33:16 +0000317
318 /* Mbed TLS' cipher layer doesn't enforce the mode of operation
Andrzej Kurekc7509322019-01-08 09:36:01 -0500319 * (encrypt vs. decrypt): it is possible to setup a key for encryption
320 * and use it for AEAD decryption. Until tests relying on this
321 * are changed, allow any usage in PSA. */
Hanno Beckera395d8f2018-11-12 13:33:16 +0000322 /* key_usage = mbedtls_psa_translate_cipher_operation( operation ); */
323 key_usage = PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000324 psa_key_policy_set_usage( &key_policy, key_usage, cipher_psa->alg );
325 status = psa_set_key_policy( cipher_psa->slot, &key_policy );
326 if( status != PSA_SUCCESS )
327 return( MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED );
Andrzej Kurekc7509322019-01-08 09:36:01 -0500328 /* Indicate that we own the key slot and need to
329 * destroy it in mbedtls_cipher_free(). */
330 cipher_psa->slot_state = MBEDTLS_CIPHER_PSA_KEY_OWNED;
331
332 /* From that point on, the responsibility for destroying the
333 * key slot is on mbedtls_cipher_free(). This includes the case
334 * where the policy setup or key import below fail, as
335 * mbedtls_cipher_free() needs to be called in any case. */
Hanno Beckeredda8b82018-11-12 11:59:30 +0000336
337 /* Populate new key slot. */
Hanno Beckeredda8b82018-11-12 11:59:30 +0000338 status = psa_import_key( cipher_psa->slot,
339 key_type, key, key_bytelen );
340 if( status != PSA_SUCCESS )
341 return( MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED );
342
343 ctx->key_bitlen = key_bitlen;
344 ctx->operation = operation;
345 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000346 }
347#endif /* MBEDTLS_USE_PSA_CRYPTO */
348
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200349 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_KEY_LEN ) == 0 &&
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200350 (int) ctx->cipher_info->key_bitlen != key_bitlen )
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200351 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200352 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200353 }
Manuel Pégourié-Gonnarddd0f57f2013-09-16 11:47:43 +0200354
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200355 ctx->key_bitlen = key_bitlen;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000356 ctx->operation = operation;
357
Paul Bakker343a8702011-06-09 14:27:58 +0000358 /*
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100359 * For OFB, CFB and CTR mode always use the encryption key schedule
Paul Bakker343a8702011-06-09 14:27:58 +0000360 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200361 if( MBEDTLS_ENCRYPT == operation ||
362 MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100363 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200364 MBEDTLS_MODE_CTR == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000365 {
366 return ctx->cipher_info->base->setkey_enc_func( ctx->cipher_ctx, key,
Hanno Becker18597cd2018-11-09 16:36:33 +0000367 ctx->key_bitlen );
Paul Bakker343a8702011-06-09 14:27:58 +0000368 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000369
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200370 if( MBEDTLS_DECRYPT == operation )
Paul Bakker343a8702011-06-09 14:27:58 +0000371 return ctx->cipher_info->base->setkey_dec_func( ctx->cipher_ctx, key,
Hanno Becker18597cd2018-11-09 16:36:33 +0000372 ctx->key_bitlen );
373
Paul Bakker8123e9d2011-01-06 15:37:30 +0000374
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200375 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000376}
377
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200378int mbedtls_cipher_set_iv( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200379 const unsigned char *iv, size_t iv_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000380{
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200381 size_t actual_iv_size;
Ron Eldor4e64e0b2017-09-25 18:22:32 +0300382 if( NULL == ctx || NULL == ctx->cipher_info )
383 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
384 else if( NULL == iv && iv_len != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200385 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000386
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000387#if defined(MBEDTLS_USE_PSA_CRYPTO)
388 if( ctx->psa_enabled == 1 )
389 {
390 /* While PSA Crypto has an API for multipart
391 * operations, we currently don't make it
392 * accessible through the cipher layer. */
393 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
394 }
395#endif /* MBEDTLS_USE_PSA_CRYPTO */
396
Ron Eldorbb4bbbb2017-10-01 17:04:54 +0300397 if( NULL == iv && iv_len == 0 )
398 ctx->iv_size = 0;
399
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200400 /* avoid buffer overflow in ctx->iv */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200401 if( iv_len > MBEDTLS_MAX_IV_LENGTH )
402 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200403
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200404 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_IV_LEN ) != 0 )
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200405 actual_iv_size = iv_len;
406 else
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200407 {
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200408 actual_iv_size = ctx->cipher_info->iv_size;
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200409
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200410 /* avoid reading past the end of input buffer */
411 if( actual_iv_size > iv_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200412 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200413 }
414
Daniel Kingbd920622016-05-15 19:56:20 -0300415#if defined(MBEDTLS_CHACHA20_C)
416 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20 )
417 {
418 if ( 0 != mbedtls_chacha20_starts( (mbedtls_chacha20_context*)ctx->cipher_ctx,
419 iv,
420 0U ) ) /* Initial counter value */
421 {
422 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
423 }
424 }
425#endif
426
Ron Eldorbb4bbbb2017-10-01 17:04:54 +0300427 if ( actual_iv_size != 0 )
Ron Eldor4e64e0b2017-09-25 18:22:32 +0300428 {
429 memcpy( ctx->iv, iv, actual_iv_size );
430 ctx->iv_size = actual_iv_size;
431 }
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200432
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200433 return( 0 );
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200434}
435
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200436int mbedtls_cipher_reset( mbedtls_cipher_context_t *ctx )
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200437{
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200438 if( NULL == ctx || NULL == ctx->cipher_info )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200439 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200440
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000441#if defined(MBEDTLS_USE_PSA_CRYPTO)
442 if( ctx->psa_enabled == 1 )
443 {
444 /* We don't support resetting PSA-based
445 * cipher contexts, yet. */
446 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
447 }
448#endif /* MBEDTLS_USE_PSA_CRYPTO */
449
Paul Bakker8123e9d2011-01-06 15:37:30 +0000450 ctx->unprocessed_len = 0;
451
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200452 return( 0 );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200453}
454
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200455#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200456int mbedtls_cipher_update_ad( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200457 const unsigned char *ad, size_t ad_len )
458{
459 if( NULL == ctx || NULL == ctx->cipher_info )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200460 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200461
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000462#if defined(MBEDTLS_USE_PSA_CRYPTO)
463 if( ctx->psa_enabled == 1 )
464 {
465 /* While PSA Crypto has an API for multipart
466 * operations, we currently don't make it
467 * accessible through the cipher layer. */
468 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
469 }
470#endif /* MBEDTLS_USE_PSA_CRYPTO */
471
Daniel King8fe47012016-05-17 20:33:28 -0300472#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200473 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200474 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200475 return mbedtls_gcm_starts( (mbedtls_gcm_context *) ctx->cipher_ctx, ctx->operation,
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200476 ctx->iv, ctx->iv_size, ad, ad_len );
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200477 }
Daniel King8fe47012016-05-17 20:33:28 -0300478#endif
479
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200480#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -0300481 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
482 {
483 int result;
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200484 mbedtls_chachapoly_mode_t mode;
Daniel King8fe47012016-05-17 20:33:28 -0300485
486 mode = ( ctx->operation == MBEDTLS_ENCRYPT )
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200487 ? MBEDTLS_CHACHAPOLY_ENCRYPT
488 : MBEDTLS_CHACHAPOLY_DECRYPT;
Daniel King8fe47012016-05-17 20:33:28 -0300489
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200490 result = mbedtls_chachapoly_starts( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
Daniel King8fe47012016-05-17 20:33:28 -0300491 ctx->iv,
492 mode );
493 if ( result != 0 )
494 return( result );
495
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200496 return mbedtls_chachapoly_update_aad( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
Manuel Pégourié-Gonnard5ef92d32018-05-09 09:34:25 +0200497 ad, ad_len );
Daniel King8fe47012016-05-17 20:33:28 -0300498 }
499#endif
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200500
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200501 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000502}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200503#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000504
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200505int mbedtls_cipher_update( mbedtls_cipher_context_t *ctx, const unsigned char *input,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200506 size_t ilen, unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000507{
Paul Bakkerff61a782011-06-09 15:42:02 +0000508 int ret;
Janos Follath98e28a72016-05-31 14:03:54 +0100509 size_t block_size = 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000510
Paul Bakker68884e32013-01-07 18:20:04 +0100511 if( NULL == ctx || NULL == ctx->cipher_info || NULL == olen )
Paul Bakkera885d682011-01-20 16:35:05 +0000512 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200513 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakkera885d682011-01-20 16:35:05 +0000514 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000515
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000516#if defined(MBEDTLS_USE_PSA_CRYPTO)
517 if( ctx->psa_enabled == 1 )
518 {
519 /* While PSA Crypto has an API for multipart
520 * operations, we currently don't make it
521 * accessible through the cipher layer. */
522 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
523 }
524#endif /* MBEDTLS_USE_PSA_CRYPTO */
525
Paul Bakker6c212762013-12-16 15:24:50 +0100526 *olen = 0;
Janos Follath98e28a72016-05-31 14:03:54 +0100527 block_size = mbedtls_cipher_get_block_size( ctx );
Paul Bakker6c212762013-12-16 15:24:50 +0100528
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200529 if( ctx->cipher_info->mode == MBEDTLS_MODE_ECB )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200530 {
Janos Follath98e28a72016-05-31 14:03:54 +0100531 if( ilen != block_size )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200532 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200533
534 *olen = ilen;
535
536 if( 0 != ( ret = ctx->cipher_info->base->ecb_func( ctx->cipher_ctx,
537 ctx->operation, input, output ) ) )
538 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200539 return( ret );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200540 }
541
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200542 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200543 }
544
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200545#if defined(MBEDTLS_GCM_C)
546 if( ctx->cipher_info->mode == MBEDTLS_MODE_GCM )
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200547 {
548 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200549 return mbedtls_gcm_update( (mbedtls_gcm_context *) ctx->cipher_ctx, ilen, input,
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200550 output );
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200551 }
552#endif
553
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200554#if defined(MBEDTLS_CHACHAPOLY_C)
555 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20_POLY1305 )
556 {
557 *olen = ilen;
558 return mbedtls_chachapoly_update( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
559 ilen, input, output );
560 }
561#endif
562
Janos Follath98e28a72016-05-31 14:03:54 +0100563 if ( 0 == block_size )
564 {
565 return MBEDTLS_ERR_CIPHER_INVALID_CONTEXT;
566 }
567
Paul Bakker68884e32013-01-07 18:20:04 +0100568 if( input == output &&
Janos Follath98e28a72016-05-31 14:03:54 +0100569 ( ctx->unprocessed_len != 0 || ilen % block_size ) )
Paul Bakker68884e32013-01-07 18:20:04 +0100570 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200571 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker68884e32013-01-07 18:20:04 +0100572 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000573
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200574#if defined(MBEDTLS_CIPHER_MODE_CBC)
575 if( ctx->cipher_info->mode == MBEDTLS_MODE_CBC )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000576 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200577 size_t copy_len = 0;
578
Paul Bakker8123e9d2011-01-06 15:37:30 +0000579 /*
580 * If there is not enough data for a full block, cache it.
581 */
Andy Leiserson79e77892017-04-28 20:01:49 -0700582 if( ( ctx->operation == MBEDTLS_DECRYPT && NULL != ctx->add_padding &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000583 ilen <= block_size - ctx->unprocessed_len ) ||
Andy Leiserson79e77892017-04-28 20:01:49 -0700584 ( ctx->operation == MBEDTLS_DECRYPT && NULL == ctx->add_padding &&
585 ilen < block_size - ctx->unprocessed_len ) ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200586 ( ctx->operation == MBEDTLS_ENCRYPT &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000587 ilen < block_size - ctx->unprocessed_len ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000588 {
589 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
590 ilen );
591
592 ctx->unprocessed_len += ilen;
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200593 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000594 }
595
596 /*
597 * Process cached data first
598 */
Janos Follath98e28a72016-05-31 14:03:54 +0100599 if( 0 != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000600 {
Janos Follath98e28a72016-05-31 14:03:54 +0100601 copy_len = block_size - ctx->unprocessed_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000602
603 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
604 copy_len );
605
Paul Bakkerff61a782011-06-09 15:42:02 +0000606 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Janos Follath98e28a72016-05-31 14:03:54 +0100607 ctx->operation, block_size, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000608 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000609 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200610 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000611 }
612
Janos Follath98e28a72016-05-31 14:03:54 +0100613 *olen += block_size;
614 output += block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000615 ctx->unprocessed_len = 0;
616
617 input += copy_len;
618 ilen -= copy_len;
619 }
620
621 /*
622 * Cache final, incomplete block
623 */
624 if( 0 != ilen )
625 {
Janos Follath98e28a72016-05-31 14:03:54 +0100626 if( 0 == block_size )
627 {
628 return MBEDTLS_ERR_CIPHER_INVALID_CONTEXT;
629 }
630
Andy Leiserson79e77892017-04-28 20:01:49 -0700631 /* Encryption: only cache partial blocks
632 * Decryption w/ padding: always keep at least one whole block
633 * Decryption w/o padding: only cache partial blocks
634 */
Janos Follath98e28a72016-05-31 14:03:54 +0100635 copy_len = ilen % block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700636 if( copy_len == 0 &&
637 ctx->operation == MBEDTLS_DECRYPT &&
638 NULL != ctx->add_padding)
639 {
Janos Follath98e28a72016-05-31 14:03:54 +0100640 copy_len = block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700641 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000642
643 memcpy( ctx->unprocessed_data, &( input[ilen - copy_len] ),
644 copy_len );
645
646 ctx->unprocessed_len += copy_len;
647 ilen -= copy_len;
648 }
649
650 /*
651 * Process remaining full blocks
652 */
653 if( ilen )
654 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000655 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
656 ctx->operation, ilen, ctx->iv, input, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000657 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200658 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000659 }
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200660
Paul Bakker8123e9d2011-01-06 15:37:30 +0000661 *olen += ilen;
662 }
663
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200664 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000665 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200666#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000667
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200668#if defined(MBEDTLS_CIPHER_MODE_CFB)
669 if( ctx->cipher_info->mode == MBEDTLS_MODE_CFB )
Paul Bakker343a8702011-06-09 14:27:58 +0000670 {
Paul Bakker6132d0a2012-07-04 17:10:40 +0000671 if( 0 != ( ret = ctx->cipher_info->base->cfb_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000672 ctx->operation, ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000673 input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000674 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200675 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000676 }
677
678 *olen = ilen;
679
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200680 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000681 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200682#endif /* MBEDTLS_CIPHER_MODE_CFB */
Paul Bakker343a8702011-06-09 14:27:58 +0000683
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100684#if defined(MBEDTLS_CIPHER_MODE_OFB)
685 if( ctx->cipher_info->mode == MBEDTLS_MODE_OFB )
686 {
687 if( 0 != ( ret = ctx->cipher_info->base->ofb_func( ctx->cipher_ctx,
688 ilen, &ctx->unprocessed_len, ctx->iv, input, output ) ) )
689 {
690 return( ret );
691 }
692
693 *olen = ilen;
694
695 return( 0 );
696 }
697#endif /* MBEDTLS_CIPHER_MODE_OFB */
698
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200699#if defined(MBEDTLS_CIPHER_MODE_CTR)
700 if( ctx->cipher_info->mode == MBEDTLS_MODE_CTR )
Paul Bakker343a8702011-06-09 14:27:58 +0000701 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000702 if( 0 != ( ret = ctx->cipher_info->base->ctr_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000703 ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000704 ctx->unprocessed_data, input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000705 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200706 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000707 }
708
709 *olen = ilen;
710
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200711 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000712 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200713#endif /* MBEDTLS_CIPHER_MODE_CTR */
Paul Bakker343a8702011-06-09 14:27:58 +0000714
Jaeden Ameroc6539902018-04-30 17:17:41 +0100715#if defined(MBEDTLS_CIPHER_MODE_XTS)
716 if( ctx->cipher_info->mode == MBEDTLS_MODE_XTS )
717 {
718 if( ctx->unprocessed_len > 0 ) {
719 /* We can only process an entire data unit at a time. */
720 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
721 }
722
723 ret = ctx->cipher_info->base->xts_func( ctx->cipher_ctx,
724 ctx->operation, ilen, ctx->iv, input, output );
725 if( ret != 0 )
726 {
727 return( ret );
728 }
729
730 *olen = ilen;
731
732 return( 0 );
733 }
734#endif /* MBEDTLS_CIPHER_MODE_XTS */
735
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200736#if defined(MBEDTLS_CIPHER_MODE_STREAM)
737 if( ctx->cipher_info->mode == MBEDTLS_MODE_STREAM )
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200738 {
739 if( 0 != ( ret = ctx->cipher_info->base->stream_func( ctx->cipher_ctx,
740 ilen, input, output ) ) )
741 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200742 return( ret );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200743 }
744
745 *olen = ilen;
746
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200747 return( 0 );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200748 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200749#endif /* MBEDTLS_CIPHER_MODE_STREAM */
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200750
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200751 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000752}
753
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200754#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
755#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200756/*
757 * PKCS7 (and PKCS5) padding: fill with ll bytes, with ll = padding_len
758 */
Paul Bakker23986e52011-04-24 08:57:21 +0000759static void add_pkcs_padding( unsigned char *output, size_t output_len,
760 size_t data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000761{
Paul Bakker23986e52011-04-24 08:57:21 +0000762 size_t padding_len = output_len - data_len;
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100763 unsigned char i;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000764
765 for( i = 0; i < padding_len; i++ )
Paul Bakker23986e52011-04-24 08:57:21 +0000766 output[data_len + i] = (unsigned char) padding_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000767}
768
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200769static int get_pkcs_padding( unsigned char *input, size_t input_len,
770 size_t *data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000771{
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100772 size_t i, pad_idx;
773 unsigned char padding_len, bad = 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000774
Paul Bakkera885d682011-01-20 16:35:05 +0000775 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200776 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000777
778 padding_len = input[input_len - 1];
Paul Bakker8123e9d2011-01-06 15:37:30 +0000779 *data_len = input_len - padding_len;
780
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100781 /* Avoid logical || since it results in a branch */
782 bad |= padding_len > input_len;
783 bad |= padding_len == 0;
784
785 /* The number of bytes checked must be independent of padding_len,
786 * so pick input_len, which is usually 8 or 16 (one block) */
787 pad_idx = input_len - padding_len;
788 for( i = 0; i < input_len; i++ )
789 bad |= ( input[i] ^ padding_len ) * ( i >= pad_idx );
790
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200791 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000792}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200793#endif /* MBEDTLS_CIPHER_PADDING_PKCS7 */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000794
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200795#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200796/*
797 * One and zeros padding: fill with 80 00 ... 00
798 */
799static void add_one_and_zeros_padding( unsigned char *output,
800 size_t output_len, size_t data_len )
801{
802 size_t padding_len = output_len - data_len;
803 unsigned char i = 0;
804
805 output[data_len] = 0x80;
806 for( i = 1; i < padding_len; i++ )
807 output[data_len + i] = 0x00;
808}
809
810static int get_one_and_zeros_padding( unsigned char *input, size_t input_len,
811 size_t *data_len )
812{
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100813 size_t i;
814 unsigned char done = 0, prev_done, bad;
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200815
816 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200817 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200818
Micha Krausba8316f2017-12-23 23:40:08 +0100819 bad = 0x80;
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100820 *data_len = 0;
821 for( i = input_len; i > 0; i-- )
822 {
823 prev_done = done;
Micha Krausba8316f2017-12-23 23:40:08 +0100824 done |= ( input[i - 1] != 0 );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100825 *data_len |= ( i - 1 ) * ( done != prev_done );
Micha Krausba8316f2017-12-23 23:40:08 +0100826 bad ^= input[i - 1] * ( done != prev_done );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100827 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200828
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200829 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200830
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200831}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200832#endif /* MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS */
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200833
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200834#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200835/*
836 * Zeros and len padding: fill with 00 ... 00 ll, where ll is padding length
837 */
838static void add_zeros_and_len_padding( unsigned char *output,
839 size_t output_len, size_t data_len )
840{
841 size_t padding_len = output_len - data_len;
842 unsigned char i = 0;
843
844 for( i = 1; i < padding_len; i++ )
845 output[data_len + i - 1] = 0x00;
846 output[output_len - 1] = (unsigned char) padding_len;
847}
848
849static int get_zeros_and_len_padding( unsigned char *input, size_t input_len,
850 size_t *data_len )
851{
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100852 size_t i, pad_idx;
853 unsigned char padding_len, bad = 0;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200854
855 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200856 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200857
858 padding_len = input[input_len - 1];
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200859 *data_len = input_len - padding_len;
860
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100861 /* Avoid logical || since it results in a branch */
862 bad |= padding_len > input_len;
863 bad |= padding_len == 0;
864
865 /* The number of bytes checked must be independent of padding_len */
866 pad_idx = input_len - padding_len;
867 for( i = 0; i < input_len - 1; i++ )
868 bad |= input[i] * ( i >= pad_idx );
869
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200870 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200871}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200872#endif /* MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN */
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200873
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200874#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200875/*
876 * Zero padding: fill with 00 ... 00
877 */
878static void add_zeros_padding( unsigned char *output,
879 size_t output_len, size_t data_len )
880{
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200881 size_t i;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200882
883 for( i = data_len; i < output_len; i++ )
884 output[i] = 0x00;
885}
886
887static int get_zeros_padding( unsigned char *input, size_t input_len,
888 size_t *data_len )
889{
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100890 size_t i;
891 unsigned char done = 0, prev_done;
892
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200893 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200894 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200895
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100896 *data_len = 0;
897 for( i = input_len; i > 0; i-- )
898 {
899 prev_done = done;
900 done |= ( input[i-1] != 0 );
901 *data_len |= i * ( done != prev_done );
902 }
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200903
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200904 return( 0 );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200905}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200906#endif /* MBEDTLS_CIPHER_PADDING_ZEROS */
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200907
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200908/*
909 * No padding: don't pad :)
910 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200911 * There is no add_padding function (check for NULL in mbedtls_cipher_finish)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200912 * but a trivial get_padding function
913 */
914static int get_no_padding( unsigned char *input, size_t input_len,
915 size_t *data_len )
916{
917 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200918 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200919
920 *data_len = input_len;
921
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200922 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200923}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200924#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200925
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200926int mbedtls_cipher_finish( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +0200927 unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000928{
929 if( NULL == ctx || NULL == ctx->cipher_info || NULL == olen )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200930 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000931
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000932#if defined(MBEDTLS_USE_PSA_CRYPTO)
933 if( ctx->psa_enabled == 1 )
934 {
935 /* While PSA Crypto has an API for multipart
936 * operations, we currently don't make it
937 * accessible through the cipher layer. */
938 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
939 }
940#endif /* MBEDTLS_USE_PSA_CRYPTO */
941
Paul Bakker8123e9d2011-01-06 15:37:30 +0000942 *olen = 0;
943
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200944 if( MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100945 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200946 MBEDTLS_MODE_CTR == ctx->cipher_info->mode ||
947 MBEDTLS_MODE_GCM == ctx->cipher_info->mode ||
Jaeden Ameroc6539902018-04-30 17:17:41 +0100948 MBEDTLS_MODE_XTS == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200949 MBEDTLS_MODE_STREAM == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000950 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200951 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000952 }
953
Daniel King8fe47012016-05-17 20:33:28 -0300954 if ( ( MBEDTLS_CIPHER_CHACHA20 == ctx->cipher_info->type ) ||
955 ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type ) )
Daniel Kingbd920622016-05-15 19:56:20 -0300956 {
957 return( 0 );
958 }
959
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200960 if( MBEDTLS_MODE_ECB == ctx->cipher_info->mode )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200961 {
962 if( ctx->unprocessed_len != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200963 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200964
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200965 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200966 }
967
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200968#if defined(MBEDTLS_CIPHER_MODE_CBC)
969 if( MBEDTLS_MODE_CBC == ctx->cipher_info->mode )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000970 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200971 int ret = 0;
972
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200973 if( MBEDTLS_ENCRYPT == ctx->operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000974 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200975 /* check for 'no padding' mode */
976 if( NULL == ctx->add_padding )
977 {
978 if( 0 != ctx->unprocessed_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200979 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200980
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200981 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200982 }
983
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200984 ctx->add_padding( ctx->unprocessed_data, mbedtls_cipher_get_iv_size( ctx ),
Paul Bakker8123e9d2011-01-06 15:37:30 +0000985 ctx->unprocessed_len );
986 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200987 else if( mbedtls_cipher_get_block_size( ctx ) != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000988 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200989 /*
990 * For decrypt operations, expect a full block,
991 * or an empty block if no padding
992 */
993 if( NULL == ctx->add_padding && 0 == ctx->unprocessed_len )
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200994 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200995
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200996 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000997 }
998
999 /* cipher block */
Paul Bakkerff61a782011-06-09 15:42:02 +00001000 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001001 ctx->operation, mbedtls_cipher_get_block_size( ctx ), ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +00001002 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001003 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001004 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001005 }
1006
1007 /* Set output size for decryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001008 if( MBEDTLS_DECRYPT == ctx->operation )
1009 return ctx->get_padding( output, mbedtls_cipher_get_block_size( ctx ),
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001010 olen );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001011
1012 /* Set output size for encryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001013 *olen = mbedtls_cipher_get_block_size( ctx );
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001014 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001015 }
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001016#else
1017 ((void) output);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001018#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +00001019
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001020 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001021}
1022
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001023#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Hanno Becker18597cd2018-11-09 16:36:33 +00001024int mbedtls_cipher_set_padding_mode( mbedtls_cipher_context_t *ctx,
1025 mbedtls_cipher_padding_t mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001026{
1027 if( NULL == ctx ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001028 MBEDTLS_MODE_CBC != ctx->cipher_info->mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001029 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001030 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001031 }
1032
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001033#if defined(MBEDTLS_USE_PSA_CRYPTO)
1034 if( ctx->psa_enabled == 1 )
1035 {
1036 /* While PSA Crypto knows about CBC padding
1037 * schemes, we currently don't make them
1038 * accessible through the cipher layer. */
1039 if( mode != MBEDTLS_PADDING_NONE )
1040 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1041
1042 return( 0 );
1043 }
1044#endif /* MBEDTLS_USE_PSA_CRYPTO */
1045
Paul Bakker1a45d912013-08-14 12:04:26 +02001046 switch( mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001047 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001048#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
1049 case MBEDTLS_PADDING_PKCS7:
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001050 ctx->add_padding = add_pkcs_padding;
1051 ctx->get_padding = get_pkcs_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001052 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001053#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001054#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
1055 case MBEDTLS_PADDING_ONE_AND_ZEROS:
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +02001056 ctx->add_padding = add_one_and_zeros_padding;
1057 ctx->get_padding = get_one_and_zeros_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001058 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001059#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001060#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
1061 case MBEDTLS_PADDING_ZEROS_AND_LEN:
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +02001062 ctx->add_padding = add_zeros_and_len_padding;
1063 ctx->get_padding = get_zeros_and_len_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001064 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001065#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001066#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
1067 case MBEDTLS_PADDING_ZEROS:
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +02001068 ctx->add_padding = add_zeros_padding;
1069 ctx->get_padding = get_zeros_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001070 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001071#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001072 case MBEDTLS_PADDING_NONE:
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001073 ctx->add_padding = NULL;
1074 ctx->get_padding = get_no_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001075 break;
1076
1077 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001078 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001079 }
1080
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001081 return( 0 );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001082}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001083#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001084
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001085#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001086int mbedtls_cipher_write_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001087 unsigned char *tag, size_t tag_len )
1088{
1089 if( NULL == ctx || NULL == ctx->cipher_info || NULL == tag )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001090 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001091
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001092 if( MBEDTLS_ENCRYPT != ctx->operation )
1093 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001094
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001095#if defined(MBEDTLS_USE_PSA_CRYPTO)
1096 if( ctx->psa_enabled == 1 )
1097 {
1098 /* While PSA Crypto has an API for multipart
1099 * operations, we currently don't make it
1100 * accessible through the cipher layer. */
1101 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1102
1103 return( 0 );
1104 }
1105#endif /* MBEDTLS_USE_PSA_CRYPTO */
1106
Daniel King8fe47012016-05-17 20:33:28 -03001107#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001108 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Hanno Becker18597cd2018-11-09 16:36:33 +00001109 return( mbedtls_gcm_finish( (mbedtls_gcm_context *) ctx->cipher_ctx,
1110 tag, tag_len ) );
Daniel King8fe47012016-05-17 20:33:28 -03001111#endif
1112
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001113#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001114 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1115 {
1116 /* Don't allow truncated MAC for Poly1305 */
1117 if ( tag_len != 16U )
1118 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1119
Hanno Becker18597cd2018-11-09 16:36:33 +00001120 return( mbedtls_chachapoly_finish(
1121 (mbedtls_chachapoly_context*) ctx->cipher_ctx, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001122 }
1123#endif
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001124
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001125 return( 0 );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001126}
Paul Bakker9af723c2014-05-01 13:03:14 +02001127
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001128int mbedtls_cipher_check_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001129 const unsigned char *tag, size_t tag_len )
1130{
Daniel King8fe47012016-05-17 20:33:28 -03001131 unsigned char check_tag[16];
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001132 int ret;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001133
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001134 if( NULL == ctx || NULL == ctx->cipher_info ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001135 MBEDTLS_DECRYPT != ctx->operation )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001136 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001137 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001138 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001139
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001140#if defined(MBEDTLS_USE_PSA_CRYPTO)
1141 if( ctx->psa_enabled == 1 )
1142 {
1143 /* While PSA Crypto has an API for multipart
1144 * operations, we currently don't make it
1145 * accessible through the cipher layer. */
1146 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1147 }
1148#endif /* MBEDTLS_USE_PSA_CRYPTO */
1149
Daniel King8fe47012016-05-17 20:33:28 -03001150#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001151 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001152 {
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001153 if( tag_len > sizeof( check_tag ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001154 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001155
Hanno Becker18597cd2018-11-09 16:36:33 +00001156 if( 0 != ( ret = mbedtls_gcm_finish(
1157 (mbedtls_gcm_context *) ctx->cipher_ctx,
1158 check_tag, tag_len ) ) )
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001159 {
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001160 return( ret );
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001161 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001162
1163 /* Check the tag in "constant-time" */
Daniel King8fe47012016-05-17 20:33:28 -03001164 if( mbedtls_constant_time_memcmp( tag, check_tag, tag_len ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001165 return( MBEDTLS_ERR_CIPHER_AUTH_FAILED );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001166
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001167 return( 0 );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001168 }
Daniel King8fe47012016-05-17 20:33:28 -03001169#endif /* MBEDTLS_GCM_C */
1170
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001171#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001172 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1173 {
1174 /* Don't allow truncated MAC for Poly1305 */
1175 if ( tag_len != sizeof( check_tag ) )
1176 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1177
Hanno Becker18597cd2018-11-09 16:36:33 +00001178 ret = mbedtls_chachapoly_finish(
1179 (mbedtls_chachapoly_context*) ctx->cipher_ctx, check_tag );
Daniel King8fe47012016-05-17 20:33:28 -03001180 if ( ret != 0 )
1181 {
1182 return( ret );
1183 }
1184
1185 /* Check the tag in "constant-time" */
1186 if( mbedtls_constant_time_memcmp( tag, check_tag, tag_len ) != 0 )
1187 return( MBEDTLS_ERR_CIPHER_AUTH_FAILED );
1188
1189 return( 0 );
1190 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001191#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001192
1193 return( 0 );
1194}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001195#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001196
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001197/*
1198 * Packet-oriented wrapper for non-AEAD modes
1199 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001200int mbedtls_cipher_crypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001201 const unsigned char *iv, size_t iv_len,
1202 const unsigned char *input, size_t ilen,
1203 unsigned char *output, size_t *olen )
1204{
1205 int ret;
1206 size_t finish_olen;
1207
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001208#if defined(MBEDTLS_USE_PSA_CRYPTO)
1209 if( ctx->psa_enabled == 1 )
1210 {
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001211 /* As in the non-PSA case, we don't check that
1212 * a key has been set. If not, the key slot will
1213 * still be in its default state of 0, which is
1214 * guaranteed to be invalid, hence the PSA-call
1215 * below will gracefully fail. */
1216 mbedtls_cipher_context_psa * const cipher_psa =
1217 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1218
1219 psa_status_t status;
1220 psa_cipher_operation_t cipher_op;
1221 size_t part_len;
1222
1223 if( ctx->operation == MBEDTLS_DECRYPT )
1224 {
1225 status = psa_cipher_decrypt_setup( &cipher_op,
1226 cipher_psa->slot,
1227 cipher_psa->alg );
1228 }
1229 else if( ctx->operation == MBEDTLS_ENCRYPT )
1230 {
1231 status = psa_cipher_encrypt_setup( &cipher_op,
1232 cipher_psa->slot,
1233 cipher_psa->alg );
1234 }
1235 else
1236 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1237
1238 /* In the following, we can immediately return on an error,
1239 * because the PSA Crypto API guarantees that cipher operations
1240 * are terminated by unsuccessful calls to psa_cipher_update(),
1241 * and by any call to psa_cipher_finish(). */
1242 if( status != PSA_SUCCESS )
1243 return( MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED );
1244
1245 status = psa_cipher_set_iv( &cipher_op, iv, iv_len );
1246 if( status != PSA_SUCCESS )
1247 return( MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED );
1248
1249 status = psa_cipher_update( &cipher_op,
1250 input, ilen,
1251 output, ilen, olen );
1252 if( status != PSA_SUCCESS )
1253 return( MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED );
1254
1255 status = psa_cipher_finish( &cipher_op,
1256 output + *olen, ilen - *olen,
1257 &part_len );
1258 if( status != PSA_SUCCESS )
1259 return( MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED );
1260
1261 *olen += part_len;
1262 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001263 }
1264#endif /* MBEDTLS_USE_PSA_CRYPTO */
1265
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001266 if( ( ret = mbedtls_cipher_set_iv( ctx, iv, iv_len ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001267 return( ret );
1268
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001269 if( ( ret = mbedtls_cipher_reset( ctx ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001270 return( ret );
1271
Hanno Becker18597cd2018-11-09 16:36:33 +00001272 if( ( ret = mbedtls_cipher_update( ctx, input, ilen,
1273 output, olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001274 return( ret );
1275
Hanno Becker18597cd2018-11-09 16:36:33 +00001276 if( ( ret = mbedtls_cipher_finish( ctx, output + *olen,
1277 &finish_olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001278 return( ret );
1279
1280 *olen += finish_olen;
1281
1282 return( 0 );
1283}
1284
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001285#if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001286/*
1287 * Packet-oriented encryption for AEAD modes
1288 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001289int mbedtls_cipher_auth_encrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001290 const unsigned char *iv, size_t iv_len,
1291 const unsigned char *ad, size_t ad_len,
1292 const unsigned char *input, size_t ilen,
1293 unsigned char *output, size_t *olen,
1294 unsigned char *tag, size_t tag_len )
1295{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001296#if defined(MBEDTLS_USE_PSA_CRYPTO)
1297 if( ctx->psa_enabled == 1 )
1298 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001299 /* As in the non-PSA case, we don't check that
1300 * a key has been set. If not, the key slot will
1301 * still be in its default state of 0, which is
1302 * guaranteed to be invalid, hence the PSA-call
1303 * below will gracefully fail. */
1304 mbedtls_cipher_context_psa * const cipher_psa =
1305 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1306
1307 psa_status_t status;
1308
1309 /* PSA Crypto API always writes the authentication tag
1310 * at the end of the encrypted message. */
1311 if( tag != output + ilen )
1312 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1313
1314 status = psa_aead_encrypt( cipher_psa->slot,
1315 cipher_psa->alg,
1316 iv, iv_len,
1317 ad, ad_len,
1318 input, ilen,
1319 output, ilen + tag_len, olen );
1320 if( status != PSA_SUCCESS )
1321 return( MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED );
1322
1323 *olen -= tag_len;
1324 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001325 }
1326#endif /* MBEDTLS_USE_PSA_CRYPTO */
1327
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001328#if defined(MBEDTLS_GCM_C)
1329 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001330 {
1331 *olen = ilen;
Hanno Becker18597cd2018-11-09 16:36:33 +00001332 return( mbedtls_gcm_crypt_and_tag( ctx->cipher_ctx, MBEDTLS_GCM_ENCRYPT,
1333 ilen, iv, iv_len, ad, ad_len,
1334 input, output, tag_len, tag ) );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001335 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001336#endif /* MBEDTLS_GCM_C */
1337#if defined(MBEDTLS_CCM_C)
1338 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001339 {
1340 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001341 return( mbedtls_ccm_encrypt_and_tag( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001342 iv, iv_len, ad, ad_len, input, output,
1343 tag, tag_len ) );
1344 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001345#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001346#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001347 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1348 {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001349 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001350 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001351 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001352 {
1353 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1354 }
1355
1356 *olen = ilen;
Manuel Pégourié-Gonnard3dc62a02018-06-04 12:18:19 +02001357 return( mbedtls_chachapoly_encrypt_and_tag( ctx->cipher_ctx,
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001358 ilen, iv, ad, ad_len, input, output, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001359 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001360#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001361
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001362 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001363}
1364
1365/*
1366 * Packet-oriented decryption for AEAD modes
1367 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001368int mbedtls_cipher_auth_decrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001369 const unsigned char *iv, size_t iv_len,
1370 const unsigned char *ad, size_t ad_len,
1371 const unsigned char *input, size_t ilen,
1372 unsigned char *output, size_t *olen,
1373 const unsigned char *tag, size_t tag_len )
1374{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001375#if defined(MBEDTLS_USE_PSA_CRYPTO)
1376 if( ctx->psa_enabled == 1 )
1377 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001378 /* As in the non-PSA case, we don't check that
1379 * a key has been set. If not, the key slot will
1380 * still be in its default state of 0, which is
1381 * guaranteed to be invalid, hence the PSA-call
1382 * below will gracefully fail. */
1383 mbedtls_cipher_context_psa * const cipher_psa =
1384 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1385
1386 psa_status_t status;
1387
1388 /* PSA Crypto API always writes the authentication tag
1389 * at the end of the encrypted message. */
1390 if( tag != input + ilen )
1391 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1392
1393 status = psa_aead_decrypt( cipher_psa->slot,
1394 cipher_psa->alg,
1395 iv, iv_len,
1396 ad, ad_len,
1397 input, ilen + tag_len,
1398 output, ilen, olen );
1399 if( status == PSA_ERROR_INVALID_SIGNATURE )
1400 return( MBEDTLS_ERR_CIPHER_AUTH_FAILED );
1401 else if( status != PSA_SUCCESS )
1402 return( MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED );
1403
1404 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001405 }
1406#endif /* MBEDTLS_USE_PSA_CRYPTO */
1407
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001408#if defined(MBEDTLS_GCM_C)
1409 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001410 {
1411 int ret;
1412
1413 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001414 ret = mbedtls_gcm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001415 iv, iv_len, ad, ad_len,
1416 tag, tag_len, input, output );
1417
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001418 if( ret == MBEDTLS_ERR_GCM_AUTH_FAILED )
1419 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001420
1421 return( ret );
1422 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001423#endif /* MBEDTLS_GCM_C */
1424#if defined(MBEDTLS_CCM_C)
1425 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001426 {
1427 int ret;
1428
1429 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001430 ret = mbedtls_ccm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001431 iv, iv_len, ad, ad_len,
1432 input, output, tag, tag_len );
1433
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001434 if( ret == MBEDTLS_ERR_CCM_AUTH_FAILED )
1435 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001436
1437 return( ret );
1438 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001439#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001440#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001441 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1442 {
Daniel King8fe47012016-05-17 20:33:28 -03001443 int ret;
1444
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001445 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001446 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001447 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001448 {
1449 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1450 }
1451
1452 *olen = ilen;
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001453 ret = mbedtls_chachapoly_auth_decrypt( ctx->cipher_ctx, ilen,
1454 iv, ad, ad_len, tag, input, output );
Daniel King8fe47012016-05-17 20:33:28 -03001455
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001456 if( ret == MBEDTLS_ERR_CHACHAPOLY_AUTH_FAILED )
1457 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Daniel King8fe47012016-05-17 20:33:28 -03001458
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001459 return( ret );
Daniel King8fe47012016-05-17 20:33:28 -03001460 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001461#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001462
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001463 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001464}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001465#endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001466
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001467#endif /* MBEDTLS_CIPHER_C */