blob: 39c105cfbab8d7b444bc0e93c40530e51363c7be [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 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02008 * Copyright The Mbed TLS Contributors
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 */
23
Gilles Peskinedb09ef62020-06-03 01:43:33 +020024#include "common.h"
Paul Bakker8123e9d2011-01-06 15:37:30 +000025
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020026#if defined(MBEDTLS_CIPHER_C)
Paul Bakker8123e9d2011-01-06 15:37:30 +000027
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000028#include "mbedtls/cipher.h"
Chris Jonesdaacb592021-03-09 17:03:29 +000029#include "cipher_wrap.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050030#include "mbedtls/platform_util.h"
Janos Follath24eed8d2019-11-22 13:21:35 +000031#include "mbedtls/error.h"
Gabor Mezei765862c2021-10-19 12:22:25 +020032#include "mbedtls/constant_time.h"
Paul Bakker8123e9d2011-01-06 15:37:30 +000033
Rich Evans00ab4702015-02-06 13:43:58 +000034#include <stdlib.h>
35#include <string.h>
36
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020037#if defined(MBEDTLS_CHACHAPOLY_C)
38#include "mbedtls/chachapoly.h"
Daniel King8fe47012016-05-17 20:33:28 -030039#endif
40
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020041#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000042#include "mbedtls/gcm.h"
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +020043#endif
44
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020045#if defined(MBEDTLS_CCM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000046#include "mbedtls/ccm.h"
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +020047#endif
48
Daniel Kingbd920622016-05-15 19:56:20 -030049#if defined(MBEDTLS_CHACHA20_C)
50#include "mbedtls/chacha20.h"
51#endif
52
Simon Butcher327398a2016-10-05 14:09:11 +010053#if defined(MBEDTLS_CMAC_C)
54#include "mbedtls/cmac.h"
55#endif
56
Hanno Becker4ccfc402018-11-09 16:10:57 +000057#if defined(MBEDTLS_USE_PSA_CRYPTO)
58#include "psa/crypto.h"
Hanno Beckeredda8b82018-11-12 11:59:30 +000059#include "mbedtls/psa_util.h"
Hanno Becker4ccfc402018-11-09 16:10:57 +000060#endif /* MBEDTLS_USE_PSA_CRYPTO */
61
Jack Lloydffdf2882019-03-07 17:00:32 -050062#if defined(MBEDTLS_NIST_KW_C)
63#include "mbedtls/nist_kw.h"
64#endif
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
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050073#define CIPHER_VALIDATE_RET( cond ) \
74 MBEDTLS_INTERNAL_VALIDATE_RET( cond, MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA )
75#define CIPHER_VALIDATE( cond ) \
76 MBEDTLS_INTERNAL_VALIDATE( cond )
77
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020078static int supported_init = 0;
Paul Bakker72f62662011-01-16 21:27:44 +000079
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020080const int *mbedtls_cipher_list( void )
Paul Bakker72f62662011-01-16 21:27:44 +000081{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020083 int *type;
84
85 if( ! supported_init )
86 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020087 def = mbedtls_cipher_definitions;
88 type = mbedtls_cipher_supported;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020089
90 while( def->type != 0 )
91 *type++ = (*def++).type;
92
93 *type = 0;
94
95 supported_init = 1;
96 }
97
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020098 return( mbedtls_cipher_supported );
Paul Bakker72f62662011-01-16 21:27:44 +000099}
100
Hanno Becker18597cd2018-11-09 16:36:33 +0000101const mbedtls_cipher_info_t *mbedtls_cipher_info_from_type(
102 const mbedtls_cipher_type_t cipher_type )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000103{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200104 const mbedtls_cipher_definition_t *def;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200105
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200106 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200107 if( def->type == cipher_type )
108 return( def->info );
Paul Bakker343a8702011-06-09 14:27:58 +0000109
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200110 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000111}
112
Hanno Becker18597cd2018-11-09 16:36:33 +0000113const mbedtls_cipher_info_t *mbedtls_cipher_info_from_string(
114 const char *cipher_name )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000115{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200117
Paul Bakker8123e9d2011-01-06 15:37:30 +0000118 if( NULL == cipher_name )
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200119 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000120
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200121 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnardcb46fd82015-05-28 17:06:07 +0200122 if( ! strcmp( def->info->name, cipher_name ) )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200123 return( def->info );
Paul Bakkerfab5c822012-02-06 16:45:10 +0000124
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200125 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000126}
127
Hanno Becker18597cd2018-11-09 16:36:33 +0000128const mbedtls_cipher_info_t *mbedtls_cipher_info_from_values(
129 const mbedtls_cipher_id_t cipher_id,
130 int key_bitlen,
131 const mbedtls_cipher_mode_t mode )
Paul Bakkerf46b6952013-09-09 00:08:26 +0200132{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200133 const mbedtls_cipher_definition_t *def;
Paul Bakkerf46b6952013-09-09 00:08:26 +0200134
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200135 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200136 if( def->info->base->cipher == cipher_id &&
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200137 def->info->key_bitlen == (unsigned) key_bitlen &&
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200138 def->info->mode == mode )
139 return( def->info );
Paul Bakkerf46b6952013-09-09 00:08:26 +0200140
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200141 return( NULL );
Paul Bakkerf46b6952013-09-09 00:08:26 +0200142}
143
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200144void mbedtls_cipher_init( mbedtls_cipher_context_t *ctx )
Paul Bakker84bbeb52014-07-01 14:53:22 +0200145{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500146 CIPHER_VALIDATE( ctx != NULL );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200147 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
Paul Bakker84bbeb52014-07-01 14:53:22 +0200148}
149
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200150void mbedtls_cipher_free( mbedtls_cipher_context_t *ctx )
Paul Bakker84bbeb52014-07-01 14:53:22 +0200151{
152 if( ctx == NULL )
153 return;
154
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000155#if defined(MBEDTLS_USE_PSA_CRYPTO)
156 if( ctx->psa_enabled == 1 )
157 {
Hanno Becker6118e432018-11-09 16:47:20 +0000158 if( ctx->cipher_ctx != NULL )
159 {
160 mbedtls_cipher_context_psa * const cipher_psa =
161 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
162
Hanno Becker19086552018-11-17 22:11:16 +0000163 if( cipher_psa->slot_state == MBEDTLS_CIPHER_PSA_KEY_OWNED )
Hanno Becker6118e432018-11-09 16:47:20 +0000164 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000165 /* xxx_free() doesn't allow to return failures. */
166 (void) psa_destroy_key( cipher_psa->slot );
Hanno Becker6118e432018-11-09 16:47:20 +0000167 }
168
169 mbedtls_platform_zeroize( cipher_psa, sizeof( *cipher_psa ) );
170 mbedtls_free( cipher_psa );
171 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000172
173 mbedtls_platform_zeroize( ctx, sizeof(mbedtls_cipher_context_t) );
174 return;
175 }
176#endif /* MBEDTLS_USE_PSA_CRYPTO */
177
Simon Butcher327398a2016-10-05 14:09:11 +0100178#if defined(MBEDTLS_CMAC_C)
179 if( ctx->cmac_ctx )
180 {
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500181 mbedtls_platform_zeroize( ctx->cmac_ctx,
182 sizeof( mbedtls_cmac_context_t ) );
Simon Butcher327398a2016-10-05 14:09:11 +0100183 mbedtls_free( ctx->cmac_ctx );
184 }
185#endif
186
Paul Bakker84bbeb52014-07-01 14:53:22 +0200187 if( ctx->cipher_ctx )
188 ctx->cipher_info->base->ctx_free_func( ctx->cipher_ctx );
189
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500190 mbedtls_platform_zeroize( ctx, sizeof(mbedtls_cipher_context_t) );
Paul Bakker84bbeb52014-07-01 14:53:22 +0200191}
192
Hanno Becker18597cd2018-11-09 16:36:33 +0000193int mbedtls_cipher_setup( mbedtls_cipher_context_t *ctx,
194 const mbedtls_cipher_info_t *cipher_info )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000195{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500196 CIPHER_VALIDATE_RET( ctx != NULL );
197 if( cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200198 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000199
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200200 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000201
Paul Bakker343a8702011-06-09 14:27:58 +0000202 if( NULL == ( ctx->cipher_ctx = cipher_info->base->ctx_alloc_func() ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200203 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000204
205 ctx->cipher_info = cipher_info;
206
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200207#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200208 /*
209 * Ignore possible errors caused by a cipher mode that doesn't use padding
210 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
212 (void) mbedtls_cipher_set_padding_mode( ctx, MBEDTLS_PADDING_PKCS7 );
Paul Bakker48e93c82013-08-14 12:21:18 +0200213#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200214 (void) mbedtls_cipher_set_padding_mode( ctx, MBEDTLS_PADDING_NONE );
Paul Bakker48e93c82013-08-14 12:21:18 +0200215#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200217
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200218 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000219}
220
Hanno Becker4ccfc402018-11-09 16:10:57 +0000221#if defined(MBEDTLS_USE_PSA_CRYPTO)
222int mbedtls_cipher_setup_psa( mbedtls_cipher_context_t *ctx,
Hanno Becker20120b32018-11-12 16:26:27 +0000223 const mbedtls_cipher_info_t *cipher_info,
224 size_t taglen )
Hanno Becker4ccfc402018-11-09 16:10:57 +0000225{
Hanno Beckeredda8b82018-11-12 11:59:30 +0000226 psa_algorithm_t alg;
227 mbedtls_cipher_context_psa *cipher_psa;
228
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000229 if( NULL == cipher_info || NULL == ctx )
230 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
231
Hanno Becker4ee7e762018-11-17 22:00:38 +0000232 /* Check that the underlying cipher mode and cipher type are
233 * supported by the underlying PSA Crypto implementation. */
Hanno Becker20120b32018-11-12 16:26:27 +0000234 alg = mbedtls_psa_translate_cipher_mode( cipher_info->mode, taglen );
Hanno Becker4ee7e762018-11-17 22:00:38 +0000235 if( alg == 0 )
236 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
237 if( mbedtls_psa_translate_cipher_type( cipher_info->type ) == 0 )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000238 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Becker6118e432018-11-09 16:47:20 +0000239
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000240 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
241
Hanno Beckeredda8b82018-11-12 11:59:30 +0000242 cipher_psa = mbedtls_calloc( 1, sizeof(mbedtls_cipher_context_psa ) );
243 if( cipher_psa == NULL )
244 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
245 cipher_psa->alg = alg;
246 ctx->cipher_ctx = cipher_psa;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000247 ctx->cipher_info = cipher_info;
248 ctx->psa_enabled = 1;
249 return( 0 );
Hanno Becker4ccfc402018-11-09 16:10:57 +0000250}
251#endif /* MBEDTLS_USE_PSA_CRYPTO */
252
Hanno Becker18597cd2018-11-09 16:36:33 +0000253int mbedtls_cipher_setkey( mbedtls_cipher_context_t *ctx,
254 const unsigned char *key,
255 int key_bitlen,
256 const mbedtls_operation_t operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000257{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500258 CIPHER_VALIDATE_RET( ctx != NULL );
259 CIPHER_VALIDATE_RET( key != NULL );
260 CIPHER_VALIDATE_RET( operation == MBEDTLS_ENCRYPT ||
Krzysztof Stachowiake0215d72018-12-17 10:20:30 +0100261 operation == MBEDTLS_DECRYPT );
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500262 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200263 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000264
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000265#if defined(MBEDTLS_USE_PSA_CRYPTO)
266 if( ctx->psa_enabled == 1 )
267 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000268 mbedtls_cipher_context_psa * const cipher_psa =
269 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
270
271 size_t const key_bytelen = ( (size_t) key_bitlen + 7 ) / 8;
272
273 psa_status_t status;
274 psa_key_type_t key_type;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200275 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000276
277 /* PSA Crypto API only accepts byte-aligned keys. */
278 if( key_bitlen % 8 != 0 )
279 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
280
281 /* Don't allow keys to be set multiple times. */
Hanno Becker19086552018-11-17 22:11:16 +0000282 if( cipher_psa->slot_state != MBEDTLS_CIPHER_PSA_KEY_UNSET )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000283 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
284
Andrzej Kurekc7509322019-01-08 09:36:01 -0500285 key_type = mbedtls_psa_translate_cipher_type(
286 ctx->cipher_info->type );
287 if( key_type == 0 )
288 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200289 psa_set_key_type( &attributes, key_type );
Hanno Beckera395d8f2018-11-12 13:33:16 +0000290
291 /* Mbed TLS' cipher layer doesn't enforce the mode of operation
Andrzej Kurekf410a5c2019-01-15 03:33:35 -0500292 * (encrypt vs. decrypt): it is possible to setup a key for encryption
293 * and use it for AEAD decryption. Until tests relying on this
294 * are changed, allow any usage in PSA. */
Gilles Peskined2d45c12019-05-27 14:53:13 +0200295 psa_set_key_usage_flags( &attributes,
296 /* mbedtls_psa_translate_cipher_operation( operation ); */
297 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT );
298 psa_set_key_algorithm( &attributes, cipher_psa->alg );
Hanno Beckeredda8b82018-11-12 11:59:30 +0000299
Gilles Peskined2d45c12019-05-27 14:53:13 +0200300 status = psa_import_key( &attributes, key, key_bytelen,
301 &cipher_psa->slot );
302 switch( status )
303 {
304 case PSA_SUCCESS:
305 break;
306 case PSA_ERROR_INSUFFICIENT_MEMORY:
307 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
308 case PSA_ERROR_NOT_SUPPORTED:
309 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
310 default:
TRodziewiczb579ccd2021-04-13 14:28:28 +0200311 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200312 }
313 /* Indicate that we own the key slot and need to
314 * destroy it in mbedtls_cipher_free(). */
315 cipher_psa->slot_state = MBEDTLS_CIPHER_PSA_KEY_OWNED;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000316
317 ctx->key_bitlen = key_bitlen;
318 ctx->operation = operation;
319 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000320 }
321#endif /* MBEDTLS_USE_PSA_CRYPTO */
322
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200323 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_KEY_LEN ) == 0 &&
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200324 (int) ctx->cipher_info->key_bitlen != key_bitlen )
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200325 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200326 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200327 }
Manuel Pégourié-Gonnarddd0f57f2013-09-16 11:47:43 +0200328
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200329 ctx->key_bitlen = key_bitlen;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000330 ctx->operation = operation;
331
Paul Bakker343a8702011-06-09 14:27:58 +0000332 /*
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100333 * For OFB, CFB and CTR mode always use the encryption key schedule
Paul Bakker343a8702011-06-09 14:27:58 +0000334 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200335 if( MBEDTLS_ENCRYPT == operation ||
336 MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100337 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200338 MBEDTLS_MODE_CTR == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000339 {
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500340 return( ctx->cipher_info->base->setkey_enc_func( ctx->cipher_ctx, key,
341 ctx->key_bitlen ) );
Paul Bakker343a8702011-06-09 14:27:58 +0000342 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000343
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200344 if( MBEDTLS_DECRYPT == operation )
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500345 return( ctx->cipher_info->base->setkey_dec_func( ctx->cipher_ctx, key,
346 ctx->key_bitlen ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000347
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200348 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000349}
350
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200351int mbedtls_cipher_set_iv( mbedtls_cipher_context_t *ctx,
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500352 const unsigned char *iv,
353 size_t iv_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000354{
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200355 size_t actual_iv_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000356
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500357 CIPHER_VALIDATE_RET( ctx != NULL );
358 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
359 if( ctx->cipher_info == NULL )
360 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000361#if defined(MBEDTLS_USE_PSA_CRYPTO)
362 if( ctx->psa_enabled == 1 )
363 {
364 /* While PSA Crypto has an API for multipart
365 * operations, we currently don't make it
366 * accessible through the cipher layer. */
367 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
368 }
369#endif /* MBEDTLS_USE_PSA_CRYPTO */
370
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200371 /* avoid buffer overflow in ctx->iv */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200372 if( iv_len > MBEDTLS_MAX_IV_LENGTH )
373 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200374
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200375 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_IV_LEN ) != 0 )
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200376 actual_iv_size = iv_len;
377 else
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200378 {
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200379 actual_iv_size = ctx->cipher_info->iv_size;
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200380
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200381 /* avoid reading past the end of input buffer */
382 if( actual_iv_size > iv_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200383 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200384 }
385
Daniel Kingbd920622016-05-15 19:56:20 -0300386#if defined(MBEDTLS_CHACHA20_C)
387 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20 )
388 {
Andrzej Kurek33ca6af2021-12-01 21:58:05 +0100389 /* Even though the actual_iv_size is overwritten with a correct value
390 * of 12 from the cipher info, return an error to indicate that
391 * the input iv_len is wrong. */
392 if( iv_len != 12 )
393 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
394
Daniel Kingbd920622016-05-15 19:56:20 -0300395 if ( 0 != mbedtls_chacha20_starts( (mbedtls_chacha20_context*)ctx->cipher_ctx,
396 iv,
397 0U ) ) /* Initial counter value */
398 {
399 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
400 }
401 }
402#endif
403
Gilles Peskine295fc132021-04-15 18:32:23 +0200404#if defined(MBEDTLS_GCM_C)
405 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
406 {
407 return( mbedtls_gcm_starts( (mbedtls_gcm_context *) ctx->cipher_ctx,
408 ctx->operation,
409 iv, iv_len ) );
410 }
411#endif
412
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200413#if defined(MBEDTLS_CCM_C)
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200414 if( MBEDTLS_MODE_CCM_STAR_NO_TAG == ctx->cipher_info->mode )
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200415 {
416 int set_lengths_result;
417 int ccm_star_mode;
418
419 set_lengths_result = mbedtls_ccm_set_lengths(
420 (mbedtls_ccm_context *) ctx->cipher_ctx,
421 0, 0, 0 );
422 if( set_lengths_result != 0 )
423 return set_lengths_result;
424
425 if( ctx->operation == MBEDTLS_DECRYPT )
426 ccm_star_mode = MBEDTLS_CCM_STAR_DECRYPT;
427 else if( ctx->operation == MBEDTLS_ENCRYPT )
428 ccm_star_mode = MBEDTLS_CCM_STAR_ENCRYPT;
429 else
430 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
431
432 return( mbedtls_ccm_starts( (mbedtls_ccm_context *) ctx->cipher_ctx,
433 ccm_star_mode,
434 iv, iv_len ) );
435 }
436#endif
437
Ron Eldorbb4bbbb2017-10-01 17:04:54 +0300438 if ( actual_iv_size != 0 )
Ron Eldor4e64e0b2017-09-25 18:22:32 +0300439 {
440 memcpy( ctx->iv, iv, actual_iv_size );
441 ctx->iv_size = actual_iv_size;
442 }
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200443
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200444 return( 0 );
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200445}
446
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200447int mbedtls_cipher_reset( mbedtls_cipher_context_t *ctx )
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200448{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500449 CIPHER_VALIDATE_RET( ctx != NULL );
450 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200451 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200452
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000453#if defined(MBEDTLS_USE_PSA_CRYPTO)
454 if( ctx->psa_enabled == 1 )
455 {
456 /* We don't support resetting PSA-based
457 * cipher contexts, yet. */
458 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
459 }
460#endif /* MBEDTLS_USE_PSA_CRYPTO */
461
Paul Bakker8123e9d2011-01-06 15:37:30 +0000462 ctx->unprocessed_len = 0;
463
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200464 return( 0 );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200465}
466
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200467#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200468int mbedtls_cipher_update_ad( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200469 const unsigned char *ad, size_t ad_len )
470{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500471 CIPHER_VALIDATE_RET( ctx != NULL );
472 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
473 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200474 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200475
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000476#if defined(MBEDTLS_USE_PSA_CRYPTO)
477 if( ctx->psa_enabled == 1 )
478 {
479 /* While PSA Crypto has an API for multipart
480 * operations, we currently don't make it
481 * accessible through the cipher layer. */
482 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
483 }
484#endif /* MBEDTLS_USE_PSA_CRYPTO */
485
Daniel King8fe47012016-05-17 20:33:28 -0300486#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200487 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200488 {
Gilles Peskine295fc132021-04-15 18:32:23 +0200489 return( mbedtls_gcm_update_ad( (mbedtls_gcm_context *) ctx->cipher_ctx,
490 ad, ad_len ) );
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200491 }
Daniel King8fe47012016-05-17 20:33:28 -0300492#endif
493
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200494#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -0300495 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
496 {
497 int result;
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200498 mbedtls_chachapoly_mode_t mode;
Daniel King8fe47012016-05-17 20:33:28 -0300499
500 mode = ( ctx->operation == MBEDTLS_ENCRYPT )
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200501 ? MBEDTLS_CHACHAPOLY_ENCRYPT
502 : MBEDTLS_CHACHAPOLY_DECRYPT;
Daniel King8fe47012016-05-17 20:33:28 -0300503
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200504 result = mbedtls_chachapoly_starts( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
Daniel King8fe47012016-05-17 20:33:28 -0300505 ctx->iv,
506 mode );
507 if ( result != 0 )
508 return( result );
509
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500510 return( mbedtls_chachapoly_update_aad( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
511 ad, ad_len ) );
Daniel King8fe47012016-05-17 20:33:28 -0300512 }
513#endif
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200514
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200515 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000516}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200517#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000518
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200519int mbedtls_cipher_update( mbedtls_cipher_context_t *ctx, const unsigned char *input,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200520 size_t ilen, unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000521{
Janos Follath24eed8d2019-11-22 13:21:35 +0000522 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500523 size_t block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000524
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500525 CIPHER_VALIDATE_RET( ctx != NULL );
526 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
527 CIPHER_VALIDATE_RET( output != NULL );
528 CIPHER_VALIDATE_RET( olen != NULL );
529 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200530 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000531
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000532#if defined(MBEDTLS_USE_PSA_CRYPTO)
533 if( ctx->psa_enabled == 1 )
534 {
535 /* While PSA Crypto has an API for multipart
536 * operations, we currently don't make it
537 * accessible through the cipher layer. */
538 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
539 }
540#endif /* MBEDTLS_USE_PSA_CRYPTO */
541
Paul Bakker6c212762013-12-16 15:24:50 +0100542 *olen = 0;
Janos Follath98e28a72016-05-31 14:03:54 +0100543 block_size = mbedtls_cipher_get_block_size( ctx );
Gilles Peskinea2bdcb92020-01-21 15:02:14 +0100544 if ( 0 == block_size )
545 {
546 return( MBEDTLS_ERR_CIPHER_INVALID_CONTEXT );
547 }
Paul Bakker6c212762013-12-16 15:24:50 +0100548
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200549 if( ctx->cipher_info->mode == MBEDTLS_MODE_ECB )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200550 {
Janos Follath98e28a72016-05-31 14:03:54 +0100551 if( ilen != block_size )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200552 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200553
554 *olen = ilen;
555
556 if( 0 != ( ret = ctx->cipher_info->base->ecb_func( ctx->cipher_ctx,
557 ctx->operation, input, output ) ) )
558 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200559 return( ret );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200560 }
561
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200562 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200563 }
564
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200565#if defined(MBEDTLS_GCM_C)
566 if( ctx->cipher_info->mode == MBEDTLS_MODE_GCM )
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200567 {
Gilles Peskinea56c4482021-04-15 17:22:35 +0200568 return( mbedtls_gcm_update( (mbedtls_gcm_context *) ctx->cipher_ctx,
569 input, ilen,
570 output, ilen, olen ) );
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200571 }
572#endif
573
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200574#if defined(MBEDTLS_CCM_C)
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200575 if( ctx->cipher_info->mode == MBEDTLS_MODE_CCM_STAR_NO_TAG )
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200576 {
577 return( mbedtls_ccm_update( (mbedtls_ccm_context *) ctx->cipher_ctx,
578 input, ilen,
579 output, ilen, olen ) );
580 }
581#endif
582
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200583#if defined(MBEDTLS_CHACHAPOLY_C)
584 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20_POLY1305 )
585 {
586 *olen = ilen;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500587 return( mbedtls_chachapoly_update( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
588 ilen, input, output ) );
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200589 }
590#endif
591
Paul Bakker68884e32013-01-07 18:20:04 +0100592 if( input == output &&
Janos Follath98e28a72016-05-31 14:03:54 +0100593 ( ctx->unprocessed_len != 0 || ilen % block_size ) )
Paul Bakker68884e32013-01-07 18:20:04 +0100594 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200595 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker68884e32013-01-07 18:20:04 +0100596 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000597
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200598#if defined(MBEDTLS_CIPHER_MODE_CBC)
599 if( ctx->cipher_info->mode == MBEDTLS_MODE_CBC )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000600 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200601 size_t copy_len = 0;
602
Paul Bakker8123e9d2011-01-06 15:37:30 +0000603 /*
604 * If there is not enough data for a full block, cache it.
605 */
Andy Leiserson79e77892017-04-28 20:01:49 -0700606 if( ( ctx->operation == MBEDTLS_DECRYPT && NULL != ctx->add_padding &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000607 ilen <= block_size - ctx->unprocessed_len ) ||
Andy Leiserson79e77892017-04-28 20:01:49 -0700608 ( ctx->operation == MBEDTLS_DECRYPT && NULL == ctx->add_padding &&
609 ilen < block_size - ctx->unprocessed_len ) ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200610 ( ctx->operation == MBEDTLS_ENCRYPT &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000611 ilen < block_size - ctx->unprocessed_len ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000612 {
613 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
614 ilen );
615
616 ctx->unprocessed_len += ilen;
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200617 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000618 }
619
620 /*
621 * Process cached data first
622 */
Janos Follath98e28a72016-05-31 14:03:54 +0100623 if( 0 != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000624 {
Janos Follath98e28a72016-05-31 14:03:54 +0100625 copy_len = block_size - ctx->unprocessed_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000626
627 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
628 copy_len );
629
Paul Bakkerff61a782011-06-09 15:42:02 +0000630 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Janos Follath98e28a72016-05-31 14:03:54 +0100631 ctx->operation, block_size, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000632 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000633 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200634 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000635 }
636
Janos Follath98e28a72016-05-31 14:03:54 +0100637 *olen += block_size;
638 output += block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000639 ctx->unprocessed_len = 0;
640
641 input += copy_len;
642 ilen -= copy_len;
643 }
644
645 /*
646 * Cache final, incomplete block
647 */
648 if( 0 != ilen )
649 {
Andy Leiserson79e77892017-04-28 20:01:49 -0700650 /* Encryption: only cache partial blocks
651 * Decryption w/ padding: always keep at least one whole block
652 * Decryption w/o padding: only cache partial blocks
653 */
Janos Follath98e28a72016-05-31 14:03:54 +0100654 copy_len = ilen % block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700655 if( copy_len == 0 &&
656 ctx->operation == MBEDTLS_DECRYPT &&
657 NULL != ctx->add_padding)
658 {
Janos Follath98e28a72016-05-31 14:03:54 +0100659 copy_len = block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700660 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000661
662 memcpy( ctx->unprocessed_data, &( input[ilen - copy_len] ),
663 copy_len );
664
665 ctx->unprocessed_len += copy_len;
666 ilen -= copy_len;
667 }
668
669 /*
670 * Process remaining full blocks
671 */
672 if( ilen )
673 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000674 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
675 ctx->operation, ilen, ctx->iv, input, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000676 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200677 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000678 }
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200679
Paul Bakker8123e9d2011-01-06 15:37:30 +0000680 *olen += ilen;
681 }
682
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200683 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000684 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200685#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000686
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200687#if defined(MBEDTLS_CIPHER_MODE_CFB)
688 if( ctx->cipher_info->mode == MBEDTLS_MODE_CFB )
Paul Bakker343a8702011-06-09 14:27:58 +0000689 {
Paul Bakker6132d0a2012-07-04 17:10:40 +0000690 if( 0 != ( ret = ctx->cipher_info->base->cfb_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000691 ctx->operation, ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000692 input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000693 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200694 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000695 }
696
697 *olen = ilen;
698
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200699 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000700 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200701#endif /* MBEDTLS_CIPHER_MODE_CFB */
Paul Bakker343a8702011-06-09 14:27:58 +0000702
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100703#if defined(MBEDTLS_CIPHER_MODE_OFB)
704 if( ctx->cipher_info->mode == MBEDTLS_MODE_OFB )
705 {
706 if( 0 != ( ret = ctx->cipher_info->base->ofb_func( ctx->cipher_ctx,
707 ilen, &ctx->unprocessed_len, ctx->iv, input, output ) ) )
708 {
709 return( ret );
710 }
711
712 *olen = ilen;
713
714 return( 0 );
715 }
716#endif /* MBEDTLS_CIPHER_MODE_OFB */
717
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200718#if defined(MBEDTLS_CIPHER_MODE_CTR)
719 if( ctx->cipher_info->mode == MBEDTLS_MODE_CTR )
Paul Bakker343a8702011-06-09 14:27:58 +0000720 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000721 if( 0 != ( ret = ctx->cipher_info->base->ctr_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000722 ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000723 ctx->unprocessed_data, input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000724 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200725 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000726 }
727
728 *olen = ilen;
729
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200730 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000731 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200732#endif /* MBEDTLS_CIPHER_MODE_CTR */
Paul Bakker343a8702011-06-09 14:27:58 +0000733
Jaeden Ameroc6539902018-04-30 17:17:41 +0100734#if defined(MBEDTLS_CIPHER_MODE_XTS)
735 if( ctx->cipher_info->mode == MBEDTLS_MODE_XTS )
736 {
737 if( ctx->unprocessed_len > 0 ) {
738 /* We can only process an entire data unit at a time. */
739 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
740 }
741
742 ret = ctx->cipher_info->base->xts_func( ctx->cipher_ctx,
743 ctx->operation, ilen, ctx->iv, input, output );
744 if( ret != 0 )
745 {
746 return( ret );
747 }
748
749 *olen = ilen;
750
751 return( 0 );
752 }
753#endif /* MBEDTLS_CIPHER_MODE_XTS */
754
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200755#if defined(MBEDTLS_CIPHER_MODE_STREAM)
756 if( ctx->cipher_info->mode == MBEDTLS_MODE_STREAM )
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200757 {
758 if( 0 != ( ret = ctx->cipher_info->base->stream_func( ctx->cipher_ctx,
759 ilen, input, output ) ) )
760 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200761 return( ret );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200762 }
763
764 *olen = ilen;
765
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200766 return( 0 );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200767 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200768#endif /* MBEDTLS_CIPHER_MODE_STREAM */
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200769
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200770 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000771}
772
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200773#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
774#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200775/*
776 * PKCS7 (and PKCS5) padding: fill with ll bytes, with ll = padding_len
777 */
Paul Bakker23986e52011-04-24 08:57:21 +0000778static void add_pkcs_padding( unsigned char *output, size_t output_len,
779 size_t data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000780{
Paul Bakker23986e52011-04-24 08:57:21 +0000781 size_t padding_len = output_len - data_len;
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100782 unsigned char i;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000783
784 for( i = 0; i < padding_len; i++ )
Paul Bakker23986e52011-04-24 08:57:21 +0000785 output[data_len + i] = (unsigned char) padding_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000786}
787
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200788static int get_pkcs_padding( unsigned char *input, size_t input_len,
789 size_t *data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000790{
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100791 size_t i, pad_idx;
792 unsigned char padding_len, bad = 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000793
Paul Bakkera885d682011-01-20 16:35:05 +0000794 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200795 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000796
797 padding_len = input[input_len - 1];
Paul Bakker8123e9d2011-01-06 15:37:30 +0000798 *data_len = input_len - padding_len;
799
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100800 /* Avoid logical || since it results in a branch */
801 bad |= padding_len > input_len;
802 bad |= padding_len == 0;
803
804 /* The number of bytes checked must be independent of padding_len,
805 * so pick input_len, which is usually 8 or 16 (one block) */
806 pad_idx = input_len - padding_len;
807 for( i = 0; i < input_len; i++ )
808 bad |= ( input[i] ^ padding_len ) * ( i >= pad_idx );
809
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200810 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000811}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200812#endif /* MBEDTLS_CIPHER_PADDING_PKCS7 */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000813
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200814#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200815/*
816 * One and zeros padding: fill with 80 00 ... 00
817 */
818static void add_one_and_zeros_padding( unsigned char *output,
819 size_t output_len, size_t data_len )
820{
821 size_t padding_len = output_len - data_len;
822 unsigned char i = 0;
823
824 output[data_len] = 0x80;
825 for( i = 1; i < padding_len; i++ )
826 output[data_len + i] = 0x00;
827}
828
829static int get_one_and_zeros_padding( unsigned char *input, size_t input_len,
830 size_t *data_len )
831{
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100832 size_t i;
833 unsigned char done = 0, prev_done, bad;
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200834
835 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200836 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200837
Micha Krausba8316f2017-12-23 23:40:08 +0100838 bad = 0x80;
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100839 *data_len = 0;
840 for( i = input_len; i > 0; i-- )
841 {
842 prev_done = done;
Micha Krausba8316f2017-12-23 23:40:08 +0100843 done |= ( input[i - 1] != 0 );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100844 *data_len |= ( i - 1 ) * ( done != prev_done );
Micha Krausba8316f2017-12-23 23:40:08 +0100845 bad ^= input[i - 1] * ( done != prev_done );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100846 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200847
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200848 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200849
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200850}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200851#endif /* MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS */
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200852
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200853#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200854/*
855 * Zeros and len padding: fill with 00 ... 00 ll, where ll is padding length
856 */
857static void add_zeros_and_len_padding( unsigned char *output,
858 size_t output_len, size_t data_len )
859{
860 size_t padding_len = output_len - data_len;
861 unsigned char i = 0;
862
863 for( i = 1; i < padding_len; i++ )
864 output[data_len + i - 1] = 0x00;
865 output[output_len - 1] = (unsigned char) padding_len;
866}
867
868static int get_zeros_and_len_padding( unsigned char *input, size_t input_len,
869 size_t *data_len )
870{
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100871 size_t i, pad_idx;
872 unsigned char padding_len, bad = 0;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200873
874 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200875 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200876
877 padding_len = input[input_len - 1];
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200878 *data_len = input_len - padding_len;
879
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100880 /* Avoid logical || since it results in a branch */
881 bad |= padding_len > input_len;
882 bad |= padding_len == 0;
883
884 /* The number of bytes checked must be independent of padding_len */
885 pad_idx = input_len - padding_len;
886 for( i = 0; i < input_len - 1; i++ )
887 bad |= input[i] * ( i >= pad_idx );
888
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200889 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200890}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200891#endif /* MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN */
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200892
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200893#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200894/*
895 * Zero padding: fill with 00 ... 00
896 */
897static void add_zeros_padding( unsigned char *output,
898 size_t output_len, size_t data_len )
899{
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200900 size_t i;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200901
902 for( i = data_len; i < output_len; i++ )
903 output[i] = 0x00;
904}
905
906static int get_zeros_padding( unsigned char *input, size_t input_len,
907 size_t *data_len )
908{
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100909 size_t i;
910 unsigned char done = 0, prev_done;
911
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200912 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200913 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200914
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100915 *data_len = 0;
916 for( i = input_len; i > 0; i-- )
917 {
918 prev_done = done;
919 done |= ( input[i-1] != 0 );
920 *data_len |= i * ( done != prev_done );
921 }
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200922
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200923 return( 0 );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200924}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200925#endif /* MBEDTLS_CIPHER_PADDING_ZEROS */
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200926
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200927/*
928 * No padding: don't pad :)
929 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200930 * There is no add_padding function (check for NULL in mbedtls_cipher_finish)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200931 * but a trivial get_padding function
932 */
933static int get_no_padding( unsigned char *input, size_t input_len,
934 size_t *data_len )
935{
936 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200937 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200938
939 *data_len = input_len;
940
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200941 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200942}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200943#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200944
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200945int mbedtls_cipher_finish( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +0200946 unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000947{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500948 CIPHER_VALIDATE_RET( ctx != NULL );
949 CIPHER_VALIDATE_RET( output != NULL );
950 CIPHER_VALIDATE_RET( olen != NULL );
951 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200952 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000953
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000954#if defined(MBEDTLS_USE_PSA_CRYPTO)
955 if( ctx->psa_enabled == 1 )
956 {
957 /* While PSA Crypto has an API for multipart
958 * operations, we currently don't make it
959 * accessible through the cipher layer. */
960 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
961 }
962#endif /* MBEDTLS_USE_PSA_CRYPTO */
963
Paul Bakker8123e9d2011-01-06 15:37:30 +0000964 *olen = 0;
965
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200966 if( MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100967 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200968 MBEDTLS_MODE_CTR == ctx->cipher_info->mode ||
969 MBEDTLS_MODE_GCM == ctx->cipher_info->mode ||
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200970 MBEDTLS_MODE_CCM_STAR_NO_TAG == ctx->cipher_info->mode ||
Jaeden Ameroc6539902018-04-30 17:17:41 +0100971 MBEDTLS_MODE_XTS == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200972 MBEDTLS_MODE_STREAM == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000973 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200974 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000975 }
976
Daniel King8fe47012016-05-17 20:33:28 -0300977 if ( ( MBEDTLS_CIPHER_CHACHA20 == ctx->cipher_info->type ) ||
978 ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type ) )
Daniel Kingbd920622016-05-15 19:56:20 -0300979 {
980 return( 0 );
981 }
982
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200983 if( MBEDTLS_MODE_ECB == ctx->cipher_info->mode )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200984 {
985 if( ctx->unprocessed_len != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200986 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200987
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200988 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200989 }
990
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200991#if defined(MBEDTLS_CIPHER_MODE_CBC)
992 if( MBEDTLS_MODE_CBC == ctx->cipher_info->mode )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000993 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200994 int ret = 0;
995
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200996 if( MBEDTLS_ENCRYPT == ctx->operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000997 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200998 /* check for 'no padding' mode */
999 if( NULL == ctx->add_padding )
1000 {
1001 if( 0 != ctx->unprocessed_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001002 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001003
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001004 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001005 }
1006
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001007 ctx->add_padding( ctx->unprocessed_data, mbedtls_cipher_get_iv_size( ctx ),
Paul Bakker8123e9d2011-01-06 15:37:30 +00001008 ctx->unprocessed_len );
1009 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001010 else if( mbedtls_cipher_get_block_size( ctx ) != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001011 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001012 /*
1013 * For decrypt operations, expect a full block,
1014 * or an empty block if no padding
1015 */
1016 if( NULL == ctx->add_padding && 0 == ctx->unprocessed_len )
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001017 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001018
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001019 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001020 }
1021
1022 /* cipher block */
Paul Bakkerff61a782011-06-09 15:42:02 +00001023 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001024 ctx->operation, mbedtls_cipher_get_block_size( ctx ), ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +00001025 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001026 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001027 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001028 }
1029
1030 /* Set output size for decryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001031 if( MBEDTLS_DECRYPT == ctx->operation )
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001032 return( ctx->get_padding( output, mbedtls_cipher_get_block_size( ctx ),
1033 olen ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001034
1035 /* Set output size for encryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001036 *olen = mbedtls_cipher_get_block_size( ctx );
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001037 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001038 }
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001039#else
1040 ((void) output);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001041#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +00001042
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001043 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001044}
1045
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001046#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Hanno Becker18597cd2018-11-09 16:36:33 +00001047int mbedtls_cipher_set_padding_mode( mbedtls_cipher_context_t *ctx,
1048 mbedtls_cipher_padding_t mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001049{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001050 CIPHER_VALIDATE_RET( ctx != NULL );
1051
1052 if( NULL == ctx->cipher_info || MBEDTLS_MODE_CBC != ctx->cipher_info->mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001053 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001054 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001055 }
1056
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001057#if defined(MBEDTLS_USE_PSA_CRYPTO)
1058 if( ctx->psa_enabled == 1 )
1059 {
1060 /* While PSA Crypto knows about CBC padding
1061 * schemes, we currently don't make them
1062 * accessible through the cipher layer. */
1063 if( mode != MBEDTLS_PADDING_NONE )
1064 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1065
1066 return( 0 );
1067 }
1068#endif /* MBEDTLS_USE_PSA_CRYPTO */
1069
Paul Bakker1a45d912013-08-14 12:04:26 +02001070 switch( mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001071 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001072#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
1073 case MBEDTLS_PADDING_PKCS7:
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001074 ctx->add_padding = add_pkcs_padding;
1075 ctx->get_padding = get_pkcs_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001076 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001077#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001078#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
1079 case MBEDTLS_PADDING_ONE_AND_ZEROS:
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +02001080 ctx->add_padding = add_one_and_zeros_padding;
1081 ctx->get_padding = get_one_and_zeros_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001082 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001083#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001084#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
1085 case MBEDTLS_PADDING_ZEROS_AND_LEN:
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +02001086 ctx->add_padding = add_zeros_and_len_padding;
1087 ctx->get_padding = get_zeros_and_len_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001088 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001089#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001090#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
1091 case MBEDTLS_PADDING_ZEROS:
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +02001092 ctx->add_padding = add_zeros_padding;
1093 ctx->get_padding = get_zeros_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001094 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001095#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001096 case MBEDTLS_PADDING_NONE:
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001097 ctx->add_padding = NULL;
1098 ctx->get_padding = get_no_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001099 break;
1100
1101 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001102 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001103 }
1104
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001105 return( 0 );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001106}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001107#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001108
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001109#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001110int mbedtls_cipher_write_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001111 unsigned char *tag, size_t tag_len )
1112{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001113 CIPHER_VALIDATE_RET( ctx != NULL );
1114 CIPHER_VALIDATE_RET( tag_len == 0 || tag != NULL );
1115 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001116 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001117
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001118 if( MBEDTLS_ENCRYPT != ctx->operation )
1119 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001120
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001121#if defined(MBEDTLS_USE_PSA_CRYPTO)
1122 if( ctx->psa_enabled == 1 )
1123 {
1124 /* While PSA Crypto has an API for multipart
1125 * operations, we currently don't make it
1126 * accessible through the cipher layer. */
1127 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001128 }
1129#endif /* MBEDTLS_USE_PSA_CRYPTO */
1130
Daniel King8fe47012016-05-17 20:33:28 -03001131#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001132 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Gilles Peskine5a7be102021-06-23 21:51:32 +02001133 {
1134 size_t output_length;
1135 /* The code here doesn't yet support alternative implementations
1136 * that can delay up to a block of output. */
Hanno Becker18597cd2018-11-09 16:36:33 +00001137 return( mbedtls_gcm_finish( (mbedtls_gcm_context *) ctx->cipher_ctx,
Gilles Peskine5a7be102021-06-23 21:51:32 +02001138 NULL, 0, &output_length,
Hanno Becker18597cd2018-11-09 16:36:33 +00001139 tag, tag_len ) );
Gilles Peskine5a7be102021-06-23 21:51:32 +02001140 }
Daniel King8fe47012016-05-17 20:33:28 -03001141#endif
1142
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001143#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001144 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1145 {
1146 /* Don't allow truncated MAC for Poly1305 */
1147 if ( tag_len != 16U )
1148 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1149
Hanno Becker18597cd2018-11-09 16:36:33 +00001150 return( mbedtls_chachapoly_finish(
1151 (mbedtls_chachapoly_context*) ctx->cipher_ctx, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001152 }
1153#endif
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001154
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001155 return( 0 );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001156}
Paul Bakker9af723c2014-05-01 13:03:14 +02001157
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001158int mbedtls_cipher_check_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001159 const unsigned char *tag, size_t tag_len )
1160{
Daniel King8fe47012016-05-17 20:33:28 -03001161 unsigned char check_tag[16];
Janos Follath24eed8d2019-11-22 13:21:35 +00001162 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001163
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001164 CIPHER_VALIDATE_RET( ctx != NULL );
1165 CIPHER_VALIDATE_RET( tag_len == 0 || tag != NULL );
1166 if( ctx->cipher_info == NULL )
1167 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1168
1169 if( MBEDTLS_DECRYPT != ctx->operation )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001170 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001171 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001172 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001173
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001174#if defined(MBEDTLS_USE_PSA_CRYPTO)
1175 if( ctx->psa_enabled == 1 )
1176 {
1177 /* While PSA Crypto has an API for multipart
1178 * operations, we currently don't make it
1179 * accessible through the cipher layer. */
1180 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1181 }
1182#endif /* MBEDTLS_USE_PSA_CRYPTO */
1183
Gilles Peskinee7835d92021-12-13 12:32:43 +01001184 /* Status to return on a non-authenticated algorithm. It would make sense
1185 * to return MBEDTLS_ERR_CIPHER_INVALID_CONTEXT or perhaps
1186 * MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA, but at the time I write this our
1187 * unit tests assume 0. */
1188 ret = 0;
1189
Daniel King8fe47012016-05-17 20:33:28 -03001190#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001191 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001192 {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001193 size_t output_length;
1194 /* The code here doesn't yet support alternative implementations
1195 * that can delay up to a block of output. */
1196
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001197 if( tag_len > sizeof( check_tag ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001198 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001199
Hanno Becker18597cd2018-11-09 16:36:33 +00001200 if( 0 != ( ret = mbedtls_gcm_finish(
1201 (mbedtls_gcm_context *) ctx->cipher_ctx,
Gilles Peskine5a7be102021-06-23 21:51:32 +02001202 NULL, 0, &output_length,
Hanno Becker18597cd2018-11-09 16:36:33 +00001203 check_tag, tag_len ) ) )
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001204 {
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001205 return( ret );
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001206 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001207
1208 /* Check the tag in "constant-time" */
Gabor Mezei90437e32021-10-20 11:59:27 +02001209 if( mbedtls_ct_memcmp( tag, check_tag, tag_len ) != 0 )
Gilles Peskinecd742982021-12-13 16:57:47 +01001210 {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001211 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001212 goto exit;
1213 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001214 }
Daniel King8fe47012016-05-17 20:33:28 -03001215#endif /* MBEDTLS_GCM_C */
1216
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001217#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001218 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1219 {
1220 /* Don't allow truncated MAC for Poly1305 */
1221 if ( tag_len != sizeof( check_tag ) )
1222 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1223
Hanno Becker18597cd2018-11-09 16:36:33 +00001224 ret = mbedtls_chachapoly_finish(
1225 (mbedtls_chachapoly_context*) ctx->cipher_ctx, check_tag );
Daniel King8fe47012016-05-17 20:33:28 -03001226 if ( ret != 0 )
1227 {
1228 return( ret );
1229 }
1230
1231 /* Check the tag in "constant-time" */
Gabor Mezei90437e32021-10-20 11:59:27 +02001232 if( mbedtls_ct_memcmp( tag, check_tag, tag_len ) != 0 )
Gilles Peskinecd742982021-12-13 16:57:47 +01001233 {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001234 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001235 goto exit;
1236 }
Daniel King8fe47012016-05-17 20:33:28 -03001237 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001238#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001239
Gilles Peskinecd742982021-12-13 16:57:47 +01001240exit:
Gilles Peskinee7835d92021-12-13 12:32:43 +01001241 mbedtls_platform_zeroize( check_tag, tag_len );
1242 return( ret );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001243}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001244#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001245
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001246/*
1247 * Packet-oriented wrapper for non-AEAD modes
1248 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001249int mbedtls_cipher_crypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001250 const unsigned char *iv, size_t iv_len,
1251 const unsigned char *input, size_t ilen,
1252 unsigned char *output, size_t *olen )
1253{
Janos Follath24eed8d2019-11-22 13:21:35 +00001254 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001255 size_t finish_olen;
1256
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001257 CIPHER_VALIDATE_RET( ctx != NULL );
1258 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
1259 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1260 CIPHER_VALIDATE_RET( output != NULL );
1261 CIPHER_VALIDATE_RET( olen != NULL );
1262
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001263#if defined(MBEDTLS_USE_PSA_CRYPTO)
1264 if( ctx->psa_enabled == 1 )
1265 {
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001266 /* As in the non-PSA case, we don't check that
1267 * a key has been set. If not, the key slot will
1268 * still be in its default state of 0, which is
1269 * guaranteed to be invalid, hence the PSA-call
1270 * below will gracefully fail. */
1271 mbedtls_cipher_context_psa * const cipher_psa =
1272 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1273
1274 psa_status_t status;
Jaeden Amerofe96fbe2019-02-20 10:32:28 +00001275 psa_cipher_operation_t cipher_op = PSA_CIPHER_OPERATION_INIT;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001276 size_t part_len;
1277
1278 if( ctx->operation == MBEDTLS_DECRYPT )
1279 {
1280 status = psa_cipher_decrypt_setup( &cipher_op,
1281 cipher_psa->slot,
1282 cipher_psa->alg );
1283 }
1284 else if( ctx->operation == MBEDTLS_ENCRYPT )
1285 {
1286 status = psa_cipher_encrypt_setup( &cipher_op,
1287 cipher_psa->slot,
1288 cipher_psa->alg );
1289 }
1290 else
1291 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1292
1293 /* In the following, we can immediately return on an error,
1294 * because the PSA Crypto API guarantees that cipher operations
1295 * are terminated by unsuccessful calls to psa_cipher_update(),
1296 * and by any call to psa_cipher_finish(). */
1297 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001298 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001299
Przemyslaw Stekiel80c6a8e2021-09-29 12:13:11 +02001300 if( ctx->cipher_info->mode != MBEDTLS_MODE_ECB )
1301 {
1302 status = psa_cipher_set_iv( &cipher_op, iv, iv_len );
1303 if( status != PSA_SUCCESS )
1304 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
1305 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001306
1307 status = psa_cipher_update( &cipher_op,
1308 input, ilen,
1309 output, ilen, olen );
1310 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001311 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001312
1313 status = psa_cipher_finish( &cipher_op,
1314 output + *olen, ilen - *olen,
1315 &part_len );
1316 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001317 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001318
1319 *olen += part_len;
1320 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001321 }
1322#endif /* MBEDTLS_USE_PSA_CRYPTO */
1323
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001324 if( ( ret = mbedtls_cipher_set_iv( ctx, iv, iv_len ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001325 return( ret );
1326
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001327 if( ( ret = mbedtls_cipher_reset( ctx ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001328 return( ret );
1329
Hanno Becker18597cd2018-11-09 16:36:33 +00001330 if( ( ret = mbedtls_cipher_update( ctx, input, ilen,
1331 output, olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001332 return( ret );
1333
Hanno Becker18597cd2018-11-09 16:36:33 +00001334 if( ( ret = mbedtls_cipher_finish( ctx, output + *olen,
1335 &finish_olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001336 return( ret );
1337
1338 *olen += finish_olen;
1339
1340 return( 0 );
1341}
1342
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001343#if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001344/*
TRodziewicz18efb732021-04-29 23:12:19 +02001345 * Packet-oriented encryption for AEAD modes: internal function used by
1346 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001347 */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001348static int mbedtls_cipher_aead_encrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001349 const unsigned char *iv, size_t iv_len,
1350 const unsigned char *ad, size_t ad_len,
1351 const unsigned char *input, size_t ilen,
1352 unsigned char *output, size_t *olen,
1353 unsigned char *tag, size_t tag_len )
1354{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001355#if defined(MBEDTLS_USE_PSA_CRYPTO)
1356 if( ctx->psa_enabled == 1 )
1357 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001358 /* As in the non-PSA case, we don't check that
1359 * a key has been set. If not, the key slot will
1360 * still be in its default state of 0, which is
1361 * guaranteed to be invalid, hence the PSA-call
1362 * below will gracefully fail. */
1363 mbedtls_cipher_context_psa * const cipher_psa =
1364 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1365
1366 psa_status_t status;
1367
1368 /* PSA Crypto API always writes the authentication tag
1369 * at the end of the encrypted message. */
Gilles Peskine70edd682020-12-03 20:27:27 +01001370 if( output == NULL || tag != output + ilen )
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001371 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1372
1373 status = psa_aead_encrypt( cipher_psa->slot,
1374 cipher_psa->alg,
1375 iv, iv_len,
1376 ad, ad_len,
1377 input, ilen,
1378 output, ilen + tag_len, olen );
1379 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001380 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001381
1382 *olen -= tag_len;
1383 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001384 }
1385#endif /* MBEDTLS_USE_PSA_CRYPTO */
1386
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001387#if defined(MBEDTLS_GCM_C)
1388 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001389 {
1390 *olen = ilen;
Hanno Becker18597cd2018-11-09 16:36:33 +00001391 return( mbedtls_gcm_crypt_and_tag( ctx->cipher_ctx, MBEDTLS_GCM_ENCRYPT,
1392 ilen, iv, iv_len, ad, ad_len,
1393 input, output, tag_len, tag ) );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001394 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001395#endif /* MBEDTLS_GCM_C */
1396#if defined(MBEDTLS_CCM_C)
1397 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001398 {
1399 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001400 return( mbedtls_ccm_encrypt_and_tag( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001401 iv, iv_len, ad, ad_len, input, output,
1402 tag, tag_len ) );
1403 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001404#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001405#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001406 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1407 {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001408 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001409 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001410 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001411 {
1412 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1413 }
1414
1415 *olen = ilen;
Manuel Pégourié-Gonnard3dc62a02018-06-04 12:18:19 +02001416 return( mbedtls_chachapoly_encrypt_and_tag( ctx->cipher_ctx,
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001417 ilen, iv, ad, ad_len, input, output, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001418 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001419#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001420
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001421 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001422}
1423
1424/*
TRodziewicz18efb732021-04-29 23:12:19 +02001425 * Packet-oriented encryption for AEAD modes: internal function used by
1426 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001427 */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001428static int mbedtls_cipher_aead_decrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001429 const unsigned char *iv, size_t iv_len,
1430 const unsigned char *ad, size_t ad_len,
1431 const unsigned char *input, size_t ilen,
1432 unsigned char *output, size_t *olen,
1433 const unsigned char *tag, size_t tag_len )
1434{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001435#if defined(MBEDTLS_USE_PSA_CRYPTO)
1436 if( ctx->psa_enabled == 1 )
1437 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001438 /* As in the non-PSA case, we don't check that
1439 * a key has been set. If not, the key slot will
1440 * still be in its default state of 0, which is
1441 * guaranteed to be invalid, hence the PSA-call
1442 * below will gracefully fail. */
1443 mbedtls_cipher_context_psa * const cipher_psa =
1444 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1445
1446 psa_status_t status;
1447
1448 /* PSA Crypto API always writes the authentication tag
1449 * at the end of the encrypted message. */
Gilles Peskine70edd682020-12-03 20:27:27 +01001450 if( input == NULL || tag != input + ilen )
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001451 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1452
1453 status = psa_aead_decrypt( cipher_psa->slot,
1454 cipher_psa->alg,
1455 iv, iv_len,
1456 ad, ad_len,
1457 input, ilen + tag_len,
1458 output, ilen, olen );
1459 if( status == PSA_ERROR_INVALID_SIGNATURE )
1460 return( MBEDTLS_ERR_CIPHER_AUTH_FAILED );
1461 else if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001462 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001463
1464 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001465 }
1466#endif /* MBEDTLS_USE_PSA_CRYPTO */
1467
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001468#if defined(MBEDTLS_GCM_C)
1469 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001470 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001471 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001472
1473 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001474 ret = mbedtls_gcm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001475 iv, iv_len, ad, ad_len,
1476 tag, tag_len, input, output );
1477
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001478 if( ret == MBEDTLS_ERR_GCM_AUTH_FAILED )
1479 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001480
1481 return( ret );
1482 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001483#endif /* MBEDTLS_GCM_C */
1484#if defined(MBEDTLS_CCM_C)
1485 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001486 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001487 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001488
1489 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001490 ret = mbedtls_ccm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001491 iv, iv_len, ad, ad_len,
1492 input, output, tag, tag_len );
1493
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001494 if( ret == MBEDTLS_ERR_CCM_AUTH_FAILED )
1495 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001496
1497 return( ret );
1498 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001499#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001500#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001501 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1502 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001503 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel King8fe47012016-05-17 20:33:28 -03001504
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001505 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001506 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001507 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001508 {
1509 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1510 }
1511
1512 *olen = ilen;
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001513 ret = mbedtls_chachapoly_auth_decrypt( ctx->cipher_ctx, ilen,
1514 iv, ad, ad_len, tag, input, output );
Daniel King8fe47012016-05-17 20:33:28 -03001515
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001516 if( ret == MBEDTLS_ERR_CHACHAPOLY_AUTH_FAILED )
1517 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Daniel King8fe47012016-05-17 20:33:28 -03001518
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001519 return( ret );
Daniel King8fe47012016-05-17 20:33:28 -03001520 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001521#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001522
1523 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1524}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001525#endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001526
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001527#if defined(MBEDTLS_CIPHER_MODE_AEAD) || defined(MBEDTLS_NIST_KW_C)
1528/*
1529 * Packet-oriented encryption for AEAD/NIST_KW: public function.
1530 */
1531int mbedtls_cipher_auth_encrypt_ext( mbedtls_cipher_context_t *ctx,
1532 const unsigned char *iv, size_t iv_len,
1533 const unsigned char *ad, size_t ad_len,
1534 const unsigned char *input, size_t ilen,
1535 unsigned char *output, size_t output_len,
1536 size_t *olen, size_t tag_len )
1537{
1538 CIPHER_VALIDATE_RET( ctx != NULL );
Gilles Peskine70edd682020-12-03 20:27:27 +01001539 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001540 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
1541 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1542 CIPHER_VALIDATE_RET( output != NULL );
1543 CIPHER_VALIDATE_RET( olen != NULL );
1544
1545#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001546 if(
1547#if defined(MBEDTLS_USE_PSA_CRYPTO)
1548 ctx->psa_enabled == 0 &&
1549#endif
1550 ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1551 MBEDTLS_MODE_KWP == ctx->cipher_info->mode ) )
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001552 {
1553 mbedtls_nist_kw_mode_t mode = ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ) ?
1554 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
1555
1556 /* There is no iv, tag or ad associated with KW and KWP,
1557 * so these length should be 0 as documented. */
1558 if( iv_len != 0 || tag_len != 0 || ad_len != 0 )
1559 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1560
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001561 (void) iv;
1562 (void) ad;
1563
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001564 return( mbedtls_nist_kw_wrap( ctx->cipher_ctx, mode, input, ilen,
1565 output, olen, output_len ) );
1566 }
1567#endif /* MBEDTLS_NIST_KW_C */
1568
1569#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1570 /* AEAD case: check length before passing on to shared function */
1571 if( output_len < ilen + tag_len )
1572 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1573
1574 int ret = mbedtls_cipher_aead_encrypt( ctx, iv, iv_len, ad, ad_len,
1575 input, ilen, output, olen,
1576 output + ilen, tag_len );
1577 *olen += tag_len;
1578 return( ret );
1579#else
1580 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1581#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1582}
1583
1584/*
1585 * Packet-oriented decryption for AEAD/NIST_KW: public function.
1586 */
1587int mbedtls_cipher_auth_decrypt_ext( mbedtls_cipher_context_t *ctx,
1588 const unsigned char *iv, size_t iv_len,
1589 const unsigned char *ad, size_t ad_len,
1590 const unsigned char *input, size_t ilen,
1591 unsigned char *output, size_t output_len,
1592 size_t *olen, size_t tag_len )
1593{
1594 CIPHER_VALIDATE_RET( ctx != NULL );
Gilles Peskine70edd682020-12-03 20:27:27 +01001595 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001596 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
1597 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1598 CIPHER_VALIDATE_RET( output_len == 0 || output != NULL );
1599 CIPHER_VALIDATE_RET( olen != NULL );
1600
1601#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001602 if(
1603#if defined(MBEDTLS_USE_PSA_CRYPTO)
1604 ctx->psa_enabled == 0 &&
1605#endif
1606 ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1607 MBEDTLS_MODE_KWP == ctx->cipher_info->mode ) )
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001608 {
1609 mbedtls_nist_kw_mode_t mode = ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ) ?
1610 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
1611
1612 /* There is no iv, tag or ad associated with KW and KWP,
1613 * so these length should be 0 as documented. */
1614 if( iv_len != 0 || tag_len != 0 || ad_len != 0 )
1615 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1616
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001617 (void) iv;
1618 (void) ad;
1619
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001620 return( mbedtls_nist_kw_unwrap( ctx->cipher_ctx, mode, input, ilen,
1621 output, olen, output_len ) );
1622 }
1623#endif /* MBEDTLS_NIST_KW_C */
1624
1625#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1626 /* AEAD case: check length before passing on to shared function */
1627 if( ilen < tag_len || output_len < ilen - tag_len )
1628 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1629
1630 return( mbedtls_cipher_aead_decrypt( ctx, iv, iv_len, ad, ad_len,
1631 input, ilen - tag_len, output, olen,
1632 input + ilen - tag_len, tag_len ) );
1633#else
1634 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1635#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1636}
1637#endif /* MBEDTLS_CIPHER_MODE_AEAD || MBEDTLS_NIST_KW_C */
1638
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001639#endif /* MBEDTLS_CIPHER_C */