blob: 0bac4ee993ab4c0003a6cde9090464eb58104cf5 [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)
Przemek Stekielef1fb4a2022-05-06 10:55:10 +0200222#if !defined(MBEDTLS_DEPRECATED_REMOVED)
Hanno Becker4ccfc402018-11-09 16:10:57 +0000223int mbedtls_cipher_setup_psa( mbedtls_cipher_context_t *ctx,
Hanno Becker20120b32018-11-12 16:26:27 +0000224 const mbedtls_cipher_info_t *cipher_info,
225 size_t taglen )
Hanno Becker4ccfc402018-11-09 16:10:57 +0000226{
Hanno Beckeredda8b82018-11-12 11:59:30 +0000227 psa_algorithm_t alg;
228 mbedtls_cipher_context_psa *cipher_psa;
229
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000230 if( NULL == cipher_info || NULL == ctx )
231 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
232
Hanno Becker4ee7e762018-11-17 22:00:38 +0000233 /* Check that the underlying cipher mode and cipher type are
234 * supported by the underlying PSA Crypto implementation. */
Hanno Becker20120b32018-11-12 16:26:27 +0000235 alg = mbedtls_psa_translate_cipher_mode( cipher_info->mode, taglen );
Hanno Becker4ee7e762018-11-17 22:00:38 +0000236 if( alg == 0 )
237 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
238 if( mbedtls_psa_translate_cipher_type( cipher_info->type ) == 0 )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000239 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Becker6118e432018-11-09 16:47:20 +0000240
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000241 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
242
Hanno Beckeredda8b82018-11-12 11:59:30 +0000243 cipher_psa = mbedtls_calloc( 1, sizeof(mbedtls_cipher_context_psa ) );
244 if( cipher_psa == NULL )
245 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
246 cipher_psa->alg = alg;
247 ctx->cipher_ctx = cipher_psa;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000248 ctx->cipher_info = cipher_info;
249 ctx->psa_enabled = 1;
250 return( 0 );
Hanno Becker4ccfc402018-11-09 16:10:57 +0000251}
Przemek Stekielef1fb4a2022-05-06 10:55:10 +0200252#endif /* MBEDTLS_DEPRECATED_REMOVED */
Hanno Becker4ccfc402018-11-09 16:10:57 +0000253#endif /* MBEDTLS_USE_PSA_CRYPTO */
254
Hanno Becker18597cd2018-11-09 16:36:33 +0000255int mbedtls_cipher_setkey( mbedtls_cipher_context_t *ctx,
256 const unsigned char *key,
257 int key_bitlen,
258 const mbedtls_operation_t operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000259{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500260 CIPHER_VALIDATE_RET( ctx != NULL );
261 CIPHER_VALIDATE_RET( key != NULL );
262 CIPHER_VALIDATE_RET( operation == MBEDTLS_ENCRYPT ||
Krzysztof Stachowiake0215d72018-12-17 10:20:30 +0100263 operation == MBEDTLS_DECRYPT );
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500264 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200265 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000266
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000267#if defined(MBEDTLS_USE_PSA_CRYPTO)
268 if( ctx->psa_enabled == 1 )
269 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000270 mbedtls_cipher_context_psa * const cipher_psa =
271 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
272
273 size_t const key_bytelen = ( (size_t) key_bitlen + 7 ) / 8;
274
275 psa_status_t status;
276 psa_key_type_t key_type;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200277 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000278
279 /* PSA Crypto API only accepts byte-aligned keys. */
280 if( key_bitlen % 8 != 0 )
281 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
282
283 /* Don't allow keys to be set multiple times. */
Hanno Becker19086552018-11-17 22:11:16 +0000284 if( cipher_psa->slot_state != MBEDTLS_CIPHER_PSA_KEY_UNSET )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000285 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
286
Andrzej Kurekc7509322019-01-08 09:36:01 -0500287 key_type = mbedtls_psa_translate_cipher_type(
288 ctx->cipher_info->type );
289 if( key_type == 0 )
290 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200291 psa_set_key_type( &attributes, key_type );
Hanno Beckera395d8f2018-11-12 13:33:16 +0000292
293 /* Mbed TLS' cipher layer doesn't enforce the mode of operation
Andrzej Kurekf410a5c2019-01-15 03:33:35 -0500294 * (encrypt vs. decrypt): it is possible to setup a key for encryption
295 * and use it for AEAD decryption. Until tests relying on this
296 * are changed, allow any usage in PSA. */
Gilles Peskined2d45c12019-05-27 14:53:13 +0200297 psa_set_key_usage_flags( &attributes,
298 /* mbedtls_psa_translate_cipher_operation( operation ); */
299 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT );
300 psa_set_key_algorithm( &attributes, cipher_psa->alg );
Hanno Beckeredda8b82018-11-12 11:59:30 +0000301
Gilles Peskined2d45c12019-05-27 14:53:13 +0200302 status = psa_import_key( &attributes, key, key_bytelen,
303 &cipher_psa->slot );
304 switch( status )
305 {
306 case PSA_SUCCESS:
307 break;
308 case PSA_ERROR_INSUFFICIENT_MEMORY:
309 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
310 case PSA_ERROR_NOT_SUPPORTED:
311 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
312 default:
TRodziewiczb579ccd2021-04-13 14:28:28 +0200313 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200314 }
315 /* Indicate that we own the key slot and need to
316 * destroy it in mbedtls_cipher_free(). */
317 cipher_psa->slot_state = MBEDTLS_CIPHER_PSA_KEY_OWNED;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000318
319 ctx->key_bitlen = key_bitlen;
320 ctx->operation = operation;
321 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000322 }
323#endif /* MBEDTLS_USE_PSA_CRYPTO */
324
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200325 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_KEY_LEN ) == 0 &&
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200326 (int) ctx->cipher_info->key_bitlen != key_bitlen )
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200327 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200328 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200329 }
Manuel Pégourié-Gonnarddd0f57f2013-09-16 11:47:43 +0200330
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200331 ctx->key_bitlen = key_bitlen;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000332 ctx->operation = operation;
333
Paul Bakker343a8702011-06-09 14:27:58 +0000334 /*
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100335 * For OFB, CFB and CTR mode always use the encryption key schedule
Paul Bakker343a8702011-06-09 14:27:58 +0000336 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200337 if( MBEDTLS_ENCRYPT == operation ||
338 MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100339 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200340 MBEDTLS_MODE_CTR == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000341 {
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500342 return( ctx->cipher_info->base->setkey_enc_func( ctx->cipher_ctx, key,
343 ctx->key_bitlen ) );
Paul Bakker343a8702011-06-09 14:27:58 +0000344 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000345
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200346 if( MBEDTLS_DECRYPT == operation )
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500347 return( ctx->cipher_info->base->setkey_dec_func( ctx->cipher_ctx, key,
348 ctx->key_bitlen ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000349
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200350 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000351}
352
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200353int mbedtls_cipher_set_iv( mbedtls_cipher_context_t *ctx,
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500354 const unsigned char *iv,
355 size_t iv_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000356{
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200357 size_t actual_iv_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000358
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500359 CIPHER_VALIDATE_RET( ctx != NULL );
360 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
361 if( ctx->cipher_info == NULL )
362 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000363#if defined(MBEDTLS_USE_PSA_CRYPTO)
364 if( ctx->psa_enabled == 1 )
365 {
366 /* While PSA Crypto has an API for multipart
367 * operations, we currently don't make it
368 * accessible through the cipher layer. */
369 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
370 }
371#endif /* MBEDTLS_USE_PSA_CRYPTO */
372
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200373 /* avoid buffer overflow in ctx->iv */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200374 if( iv_len > MBEDTLS_MAX_IV_LENGTH )
375 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200376
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200377 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_IV_LEN ) != 0 )
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200378 actual_iv_size = iv_len;
379 else
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200380 {
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200381 actual_iv_size = ctx->cipher_info->iv_size;
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200382
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200383 /* avoid reading past the end of input buffer */
384 if( actual_iv_size > iv_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200385 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200386 }
387
Daniel Kingbd920622016-05-15 19:56:20 -0300388#if defined(MBEDTLS_CHACHA20_C)
389 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20 )
390 {
Andrzej Kurek33ca6af2021-12-01 21:58:05 +0100391 /* Even though the actual_iv_size is overwritten with a correct value
392 * of 12 from the cipher info, return an error to indicate that
393 * the input iv_len is wrong. */
394 if( iv_len != 12 )
395 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
396
Daniel Kingbd920622016-05-15 19:56:20 -0300397 if ( 0 != mbedtls_chacha20_starts( (mbedtls_chacha20_context*)ctx->cipher_ctx,
398 iv,
399 0U ) ) /* Initial counter value */
400 {
401 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
402 }
403 }
Andrzej Kurek63439ed2021-12-01 22:19:33 +0100404#if defined(MBEDTLS_CHACHAPOLY_C)
405 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20_POLY1305 &&
406 iv_len != 12 )
407 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
408#endif
Daniel Kingbd920622016-05-15 19:56:20 -0300409#endif
410
Gilles Peskine295fc132021-04-15 18:32:23 +0200411#if defined(MBEDTLS_GCM_C)
412 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
413 {
414 return( mbedtls_gcm_starts( (mbedtls_gcm_context *) ctx->cipher_ctx,
415 ctx->operation,
416 iv, iv_len ) );
417 }
418#endif
419
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200420#if defined(MBEDTLS_CCM_C)
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200421 if( MBEDTLS_MODE_CCM_STAR_NO_TAG == ctx->cipher_info->mode )
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200422 {
423 int set_lengths_result;
424 int ccm_star_mode;
425
426 set_lengths_result = mbedtls_ccm_set_lengths(
427 (mbedtls_ccm_context *) ctx->cipher_ctx,
428 0, 0, 0 );
429 if( set_lengths_result != 0 )
430 return set_lengths_result;
431
432 if( ctx->operation == MBEDTLS_DECRYPT )
433 ccm_star_mode = MBEDTLS_CCM_STAR_DECRYPT;
434 else if( ctx->operation == MBEDTLS_ENCRYPT )
435 ccm_star_mode = MBEDTLS_CCM_STAR_ENCRYPT;
436 else
437 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
438
439 return( mbedtls_ccm_starts( (mbedtls_ccm_context *) ctx->cipher_ctx,
440 ccm_star_mode,
441 iv, iv_len ) );
442 }
443#endif
444
Ron Eldorbb4bbbb2017-10-01 17:04:54 +0300445 if ( actual_iv_size != 0 )
Ron Eldor4e64e0b2017-09-25 18:22:32 +0300446 {
447 memcpy( ctx->iv, iv, actual_iv_size );
448 ctx->iv_size = actual_iv_size;
449 }
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200450
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200451 return( 0 );
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200452}
453
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200454int mbedtls_cipher_reset( mbedtls_cipher_context_t *ctx )
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200455{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500456 CIPHER_VALIDATE_RET( ctx != NULL );
457 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200458 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200459
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000460#if defined(MBEDTLS_USE_PSA_CRYPTO)
461 if( ctx->psa_enabled == 1 )
462 {
463 /* We don't support resetting PSA-based
464 * cipher contexts, yet. */
465 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
466 }
467#endif /* MBEDTLS_USE_PSA_CRYPTO */
468
Paul Bakker8123e9d2011-01-06 15:37:30 +0000469 ctx->unprocessed_len = 0;
470
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200471 return( 0 );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200472}
473
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200474#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200475int mbedtls_cipher_update_ad( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200476 const unsigned char *ad, size_t ad_len )
477{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500478 CIPHER_VALIDATE_RET( ctx != NULL );
479 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
480 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200481 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200482
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000483#if defined(MBEDTLS_USE_PSA_CRYPTO)
484 if( ctx->psa_enabled == 1 )
485 {
486 /* While PSA Crypto has an API for multipart
487 * operations, we currently don't make it
488 * accessible through the cipher layer. */
489 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
490 }
491#endif /* MBEDTLS_USE_PSA_CRYPTO */
492
Daniel King8fe47012016-05-17 20:33:28 -0300493#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200494 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200495 {
Gilles Peskine295fc132021-04-15 18:32:23 +0200496 return( mbedtls_gcm_update_ad( (mbedtls_gcm_context *) ctx->cipher_ctx,
497 ad, ad_len ) );
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200498 }
Daniel King8fe47012016-05-17 20:33:28 -0300499#endif
500
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200501#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -0300502 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
503 {
504 int result;
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200505 mbedtls_chachapoly_mode_t mode;
Daniel King8fe47012016-05-17 20:33:28 -0300506
507 mode = ( ctx->operation == MBEDTLS_ENCRYPT )
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200508 ? MBEDTLS_CHACHAPOLY_ENCRYPT
509 : MBEDTLS_CHACHAPOLY_DECRYPT;
Daniel King8fe47012016-05-17 20:33:28 -0300510
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200511 result = mbedtls_chachapoly_starts( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
Daniel King8fe47012016-05-17 20:33:28 -0300512 ctx->iv,
513 mode );
514 if ( result != 0 )
515 return( result );
516
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500517 return( mbedtls_chachapoly_update_aad( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
518 ad, ad_len ) );
Daniel King8fe47012016-05-17 20:33:28 -0300519 }
520#endif
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200521
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200522 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000523}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200524#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000525
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200526int mbedtls_cipher_update( mbedtls_cipher_context_t *ctx, const unsigned char *input,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200527 size_t ilen, unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000528{
Janos Follath24eed8d2019-11-22 13:21:35 +0000529 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500530 size_t block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000531
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500532 CIPHER_VALIDATE_RET( ctx != NULL );
533 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
534 CIPHER_VALIDATE_RET( output != NULL );
535 CIPHER_VALIDATE_RET( olen != NULL );
536 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200537 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000538
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000539#if defined(MBEDTLS_USE_PSA_CRYPTO)
540 if( ctx->psa_enabled == 1 )
541 {
542 /* While PSA Crypto has an API for multipart
543 * operations, we currently don't make it
544 * accessible through the cipher layer. */
545 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
546 }
547#endif /* MBEDTLS_USE_PSA_CRYPTO */
548
Paul Bakker6c212762013-12-16 15:24:50 +0100549 *olen = 0;
Janos Follath98e28a72016-05-31 14:03:54 +0100550 block_size = mbedtls_cipher_get_block_size( ctx );
Gilles Peskinea2bdcb92020-01-21 15:02:14 +0100551 if ( 0 == block_size )
552 {
553 return( MBEDTLS_ERR_CIPHER_INVALID_CONTEXT );
554 }
Paul Bakker6c212762013-12-16 15:24:50 +0100555
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200556 if( ctx->cipher_info->mode == MBEDTLS_MODE_ECB )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200557 {
Janos Follath98e28a72016-05-31 14:03:54 +0100558 if( ilen != block_size )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200559 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200560
561 *olen = ilen;
562
563 if( 0 != ( ret = ctx->cipher_info->base->ecb_func( ctx->cipher_ctx,
564 ctx->operation, input, output ) ) )
565 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200566 return( ret );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200567 }
568
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200569 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200570 }
571
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200572#if defined(MBEDTLS_GCM_C)
573 if( ctx->cipher_info->mode == MBEDTLS_MODE_GCM )
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200574 {
Gilles Peskinea56c4482021-04-15 17:22:35 +0200575 return( mbedtls_gcm_update( (mbedtls_gcm_context *) ctx->cipher_ctx,
576 input, ilen,
577 output, ilen, olen ) );
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200578 }
579#endif
580
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200581#if defined(MBEDTLS_CCM_C)
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200582 if( ctx->cipher_info->mode == MBEDTLS_MODE_CCM_STAR_NO_TAG )
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200583 {
584 return( mbedtls_ccm_update( (mbedtls_ccm_context *) ctx->cipher_ctx,
585 input, ilen,
586 output, ilen, olen ) );
587 }
588#endif
589
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200590#if defined(MBEDTLS_CHACHAPOLY_C)
591 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20_POLY1305 )
592 {
593 *olen = ilen;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500594 return( mbedtls_chachapoly_update( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
595 ilen, input, output ) );
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200596 }
597#endif
598
Paul Bakker68884e32013-01-07 18:20:04 +0100599 if( input == output &&
Janos Follath98e28a72016-05-31 14:03:54 +0100600 ( ctx->unprocessed_len != 0 || ilen % block_size ) )
Paul Bakker68884e32013-01-07 18:20:04 +0100601 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200602 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker68884e32013-01-07 18:20:04 +0100603 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000604
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200605#if defined(MBEDTLS_CIPHER_MODE_CBC)
606 if( ctx->cipher_info->mode == MBEDTLS_MODE_CBC )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000607 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200608 size_t copy_len = 0;
609
Paul Bakker8123e9d2011-01-06 15:37:30 +0000610 /*
611 * If there is not enough data for a full block, cache it.
612 */
Andy Leiserson79e77892017-04-28 20:01:49 -0700613 if( ( ctx->operation == MBEDTLS_DECRYPT && NULL != ctx->add_padding &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000614 ilen <= block_size - ctx->unprocessed_len ) ||
Andy Leiserson79e77892017-04-28 20:01:49 -0700615 ( ctx->operation == MBEDTLS_DECRYPT && NULL == ctx->add_padding &&
616 ilen < block_size - ctx->unprocessed_len ) ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200617 ( ctx->operation == MBEDTLS_ENCRYPT &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000618 ilen < block_size - ctx->unprocessed_len ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000619 {
620 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
621 ilen );
622
623 ctx->unprocessed_len += ilen;
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200624 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000625 }
626
627 /*
628 * Process cached data first
629 */
Janos Follath98e28a72016-05-31 14:03:54 +0100630 if( 0 != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000631 {
Janos Follath98e28a72016-05-31 14:03:54 +0100632 copy_len = block_size - ctx->unprocessed_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000633
634 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
635 copy_len );
636
Paul Bakkerff61a782011-06-09 15:42:02 +0000637 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Janos Follath98e28a72016-05-31 14:03:54 +0100638 ctx->operation, block_size, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000639 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000640 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200641 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000642 }
643
Janos Follath98e28a72016-05-31 14:03:54 +0100644 *olen += block_size;
645 output += block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000646 ctx->unprocessed_len = 0;
647
648 input += copy_len;
649 ilen -= copy_len;
650 }
651
652 /*
653 * Cache final, incomplete block
654 */
655 if( 0 != ilen )
656 {
Andy Leiserson79e77892017-04-28 20:01:49 -0700657 /* Encryption: only cache partial blocks
658 * Decryption w/ padding: always keep at least one whole block
659 * Decryption w/o padding: only cache partial blocks
660 */
Janos Follath98e28a72016-05-31 14:03:54 +0100661 copy_len = ilen % block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700662 if( copy_len == 0 &&
663 ctx->operation == MBEDTLS_DECRYPT &&
664 NULL != ctx->add_padding)
665 {
Janos Follath98e28a72016-05-31 14:03:54 +0100666 copy_len = block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700667 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000668
669 memcpy( ctx->unprocessed_data, &( input[ilen - copy_len] ),
670 copy_len );
671
672 ctx->unprocessed_len += copy_len;
673 ilen -= copy_len;
674 }
675
676 /*
677 * Process remaining full blocks
678 */
679 if( ilen )
680 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000681 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
682 ctx->operation, ilen, ctx->iv, input, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000683 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200684 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000685 }
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200686
Paul Bakker8123e9d2011-01-06 15:37:30 +0000687 *olen += ilen;
688 }
689
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200690 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000691 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200692#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000693
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200694#if defined(MBEDTLS_CIPHER_MODE_CFB)
695 if( ctx->cipher_info->mode == MBEDTLS_MODE_CFB )
Paul Bakker343a8702011-06-09 14:27:58 +0000696 {
Paul Bakker6132d0a2012-07-04 17:10:40 +0000697 if( 0 != ( ret = ctx->cipher_info->base->cfb_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000698 ctx->operation, ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000699 input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000700 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200701 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000702 }
703
704 *olen = ilen;
705
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200706 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000707 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200708#endif /* MBEDTLS_CIPHER_MODE_CFB */
Paul Bakker343a8702011-06-09 14:27:58 +0000709
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100710#if defined(MBEDTLS_CIPHER_MODE_OFB)
711 if( ctx->cipher_info->mode == MBEDTLS_MODE_OFB )
712 {
713 if( 0 != ( ret = ctx->cipher_info->base->ofb_func( ctx->cipher_ctx,
714 ilen, &ctx->unprocessed_len, ctx->iv, input, output ) ) )
715 {
716 return( ret );
717 }
718
719 *olen = ilen;
720
721 return( 0 );
722 }
723#endif /* MBEDTLS_CIPHER_MODE_OFB */
724
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200725#if defined(MBEDTLS_CIPHER_MODE_CTR)
726 if( ctx->cipher_info->mode == MBEDTLS_MODE_CTR )
Paul Bakker343a8702011-06-09 14:27:58 +0000727 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000728 if( 0 != ( ret = ctx->cipher_info->base->ctr_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000729 ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000730 ctx->unprocessed_data, input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000731 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200732 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000733 }
734
735 *olen = ilen;
736
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200737 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000738 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200739#endif /* MBEDTLS_CIPHER_MODE_CTR */
Paul Bakker343a8702011-06-09 14:27:58 +0000740
Jaeden Ameroc6539902018-04-30 17:17:41 +0100741#if defined(MBEDTLS_CIPHER_MODE_XTS)
742 if( ctx->cipher_info->mode == MBEDTLS_MODE_XTS )
743 {
744 if( ctx->unprocessed_len > 0 ) {
745 /* We can only process an entire data unit at a time. */
746 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
747 }
748
749 ret = ctx->cipher_info->base->xts_func( ctx->cipher_ctx,
750 ctx->operation, ilen, ctx->iv, input, output );
751 if( ret != 0 )
752 {
753 return( ret );
754 }
755
756 *olen = ilen;
757
758 return( 0 );
759 }
760#endif /* MBEDTLS_CIPHER_MODE_XTS */
761
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200762#if defined(MBEDTLS_CIPHER_MODE_STREAM)
763 if( ctx->cipher_info->mode == MBEDTLS_MODE_STREAM )
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200764 {
765 if( 0 != ( ret = ctx->cipher_info->base->stream_func( ctx->cipher_ctx,
766 ilen, input, output ) ) )
767 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200768 return( ret );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200769 }
770
771 *olen = ilen;
772
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200773 return( 0 );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200774 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200775#endif /* MBEDTLS_CIPHER_MODE_STREAM */
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200776
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200777 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000778}
779
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200780#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
781#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200782/*
783 * PKCS7 (and PKCS5) padding: fill with ll bytes, with ll = padding_len
784 */
Paul Bakker23986e52011-04-24 08:57:21 +0000785static void add_pkcs_padding( unsigned char *output, size_t output_len,
786 size_t data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000787{
Paul Bakker23986e52011-04-24 08:57:21 +0000788 size_t padding_len = output_len - data_len;
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100789 unsigned char i;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000790
791 for( i = 0; i < padding_len; i++ )
Paul Bakker23986e52011-04-24 08:57:21 +0000792 output[data_len + i] = (unsigned char) padding_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000793}
794
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200795static int get_pkcs_padding( unsigned char *input, size_t input_len,
796 size_t *data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000797{
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100798 size_t i, pad_idx;
799 unsigned char padding_len, bad = 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000800
Paul Bakkera885d682011-01-20 16:35:05 +0000801 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200802 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000803
804 padding_len = input[input_len - 1];
Paul Bakker8123e9d2011-01-06 15:37:30 +0000805 *data_len = input_len - padding_len;
806
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100807 /* Avoid logical || since it results in a branch */
808 bad |= padding_len > input_len;
809 bad |= padding_len == 0;
810
811 /* The number of bytes checked must be independent of padding_len,
812 * so pick input_len, which is usually 8 or 16 (one block) */
813 pad_idx = input_len - padding_len;
814 for( i = 0; i < input_len; i++ )
815 bad |= ( input[i] ^ padding_len ) * ( i >= pad_idx );
816
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200817 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000818}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200819#endif /* MBEDTLS_CIPHER_PADDING_PKCS7 */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000820
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200821#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200822/*
823 * One and zeros padding: fill with 80 00 ... 00
824 */
825static void add_one_and_zeros_padding( unsigned char *output,
826 size_t output_len, size_t data_len )
827{
828 size_t padding_len = output_len - data_len;
829 unsigned char i = 0;
830
831 output[data_len] = 0x80;
832 for( i = 1; i < padding_len; i++ )
833 output[data_len + i] = 0x00;
834}
835
836static int get_one_and_zeros_padding( unsigned char *input, size_t input_len,
837 size_t *data_len )
838{
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100839 size_t i;
840 unsigned char done = 0, prev_done, bad;
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200841
842 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200843 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200844
Micha Krausba8316f2017-12-23 23:40:08 +0100845 bad = 0x80;
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100846 *data_len = 0;
847 for( i = input_len; i > 0; i-- )
848 {
849 prev_done = done;
Micha Krausba8316f2017-12-23 23:40:08 +0100850 done |= ( input[i - 1] != 0 );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100851 *data_len |= ( i - 1 ) * ( done != prev_done );
Micha Krausba8316f2017-12-23 23:40:08 +0100852 bad ^= input[i - 1] * ( done != prev_done );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100853 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200854
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200855 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200856
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200857}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200858#endif /* MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS */
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200859
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200860#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200861/*
862 * Zeros and len padding: fill with 00 ... 00 ll, where ll is padding length
863 */
864static void add_zeros_and_len_padding( unsigned char *output,
865 size_t output_len, size_t data_len )
866{
867 size_t padding_len = output_len - data_len;
868 unsigned char i = 0;
869
870 for( i = 1; i < padding_len; i++ )
871 output[data_len + i - 1] = 0x00;
872 output[output_len - 1] = (unsigned char) padding_len;
873}
874
875static int get_zeros_and_len_padding( unsigned char *input, size_t input_len,
876 size_t *data_len )
877{
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100878 size_t i, pad_idx;
879 unsigned char padding_len, bad = 0;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200880
881 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200882 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200883
884 padding_len = input[input_len - 1];
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200885 *data_len = input_len - padding_len;
886
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100887 /* Avoid logical || since it results in a branch */
888 bad |= padding_len > input_len;
889 bad |= padding_len == 0;
890
891 /* The number of bytes checked must be independent of padding_len */
892 pad_idx = input_len - padding_len;
893 for( i = 0; i < input_len - 1; i++ )
894 bad |= input[i] * ( i >= pad_idx );
895
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200896 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200897}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200898#endif /* MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN */
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200899
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200900#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200901/*
902 * Zero padding: fill with 00 ... 00
903 */
904static void add_zeros_padding( unsigned char *output,
905 size_t output_len, size_t data_len )
906{
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200907 size_t i;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200908
909 for( i = data_len; i < output_len; i++ )
910 output[i] = 0x00;
911}
912
913static int get_zeros_padding( unsigned char *input, size_t input_len,
914 size_t *data_len )
915{
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100916 size_t i;
917 unsigned char done = 0, prev_done;
918
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200919 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200920 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200921
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100922 *data_len = 0;
923 for( i = input_len; i > 0; i-- )
924 {
925 prev_done = done;
926 done |= ( input[i-1] != 0 );
927 *data_len |= i * ( done != prev_done );
928 }
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200929
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200930 return( 0 );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200931}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200932#endif /* MBEDTLS_CIPHER_PADDING_ZEROS */
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200933
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200934/*
935 * No padding: don't pad :)
936 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200937 * There is no add_padding function (check for NULL in mbedtls_cipher_finish)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200938 * but a trivial get_padding function
939 */
940static int get_no_padding( unsigned char *input, size_t input_len,
941 size_t *data_len )
942{
943 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200944 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200945
946 *data_len = input_len;
947
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200948 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200949}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200950#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200951
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200952int mbedtls_cipher_finish( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +0200953 unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000954{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500955 CIPHER_VALIDATE_RET( ctx != NULL );
956 CIPHER_VALIDATE_RET( output != NULL );
957 CIPHER_VALIDATE_RET( olen != NULL );
958 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200959 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000960
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000961#if defined(MBEDTLS_USE_PSA_CRYPTO)
962 if( ctx->psa_enabled == 1 )
963 {
964 /* While PSA Crypto has an API for multipart
965 * operations, we currently don't make it
966 * accessible through the cipher layer. */
967 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
968 }
969#endif /* MBEDTLS_USE_PSA_CRYPTO */
970
Paul Bakker8123e9d2011-01-06 15:37:30 +0000971 *olen = 0;
972
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200973 if( MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100974 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200975 MBEDTLS_MODE_CTR == ctx->cipher_info->mode ||
976 MBEDTLS_MODE_GCM == ctx->cipher_info->mode ||
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200977 MBEDTLS_MODE_CCM_STAR_NO_TAG == ctx->cipher_info->mode ||
Jaeden Ameroc6539902018-04-30 17:17:41 +0100978 MBEDTLS_MODE_XTS == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200979 MBEDTLS_MODE_STREAM == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000980 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200981 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000982 }
983
Daniel King8fe47012016-05-17 20:33:28 -0300984 if ( ( MBEDTLS_CIPHER_CHACHA20 == ctx->cipher_info->type ) ||
985 ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type ) )
Daniel Kingbd920622016-05-15 19:56:20 -0300986 {
987 return( 0 );
988 }
989
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200990 if( MBEDTLS_MODE_ECB == ctx->cipher_info->mode )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200991 {
992 if( ctx->unprocessed_len != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200993 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200994
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200995 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200996 }
997
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200998#if defined(MBEDTLS_CIPHER_MODE_CBC)
999 if( MBEDTLS_MODE_CBC == ctx->cipher_info->mode )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001000 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001001 int ret = 0;
1002
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001003 if( MBEDTLS_ENCRYPT == ctx->operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001004 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001005 /* check for 'no padding' mode */
1006 if( NULL == ctx->add_padding )
1007 {
1008 if( 0 != ctx->unprocessed_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001009 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001010
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001011 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001012 }
1013
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001014 ctx->add_padding( ctx->unprocessed_data, mbedtls_cipher_get_iv_size( ctx ),
Paul Bakker8123e9d2011-01-06 15:37:30 +00001015 ctx->unprocessed_len );
1016 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001017 else if( mbedtls_cipher_get_block_size( ctx ) != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001018 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001019 /*
1020 * For decrypt operations, expect a full block,
1021 * or an empty block if no padding
1022 */
1023 if( NULL == ctx->add_padding && 0 == ctx->unprocessed_len )
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001024 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001025
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001026 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001027 }
1028
1029 /* cipher block */
Paul Bakkerff61a782011-06-09 15:42:02 +00001030 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001031 ctx->operation, mbedtls_cipher_get_block_size( ctx ), ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +00001032 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001033 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001034 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001035 }
1036
1037 /* Set output size for decryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001038 if( MBEDTLS_DECRYPT == ctx->operation )
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001039 return( ctx->get_padding( output, mbedtls_cipher_get_block_size( ctx ),
1040 olen ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001041
1042 /* Set output size for encryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001043 *olen = mbedtls_cipher_get_block_size( ctx );
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001044 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001045 }
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001046#else
1047 ((void) output);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001048#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +00001049
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001050 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001051}
1052
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001053#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Hanno Becker18597cd2018-11-09 16:36:33 +00001054int mbedtls_cipher_set_padding_mode( mbedtls_cipher_context_t *ctx,
1055 mbedtls_cipher_padding_t mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001056{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001057 CIPHER_VALIDATE_RET( ctx != NULL );
1058
1059 if( NULL == ctx->cipher_info || MBEDTLS_MODE_CBC != ctx->cipher_info->mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001060 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001061 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001062 }
1063
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001064#if defined(MBEDTLS_USE_PSA_CRYPTO)
1065 if( ctx->psa_enabled == 1 )
1066 {
1067 /* While PSA Crypto knows about CBC padding
1068 * schemes, we currently don't make them
1069 * accessible through the cipher layer. */
1070 if( mode != MBEDTLS_PADDING_NONE )
1071 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1072
1073 return( 0 );
1074 }
1075#endif /* MBEDTLS_USE_PSA_CRYPTO */
1076
Paul Bakker1a45d912013-08-14 12:04:26 +02001077 switch( mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001078 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001079#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
1080 case MBEDTLS_PADDING_PKCS7:
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001081 ctx->add_padding = add_pkcs_padding;
1082 ctx->get_padding = get_pkcs_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001083 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001084#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001085#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
1086 case MBEDTLS_PADDING_ONE_AND_ZEROS:
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +02001087 ctx->add_padding = add_one_and_zeros_padding;
1088 ctx->get_padding = get_one_and_zeros_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001089 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001090#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001091#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
1092 case MBEDTLS_PADDING_ZEROS_AND_LEN:
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +02001093 ctx->add_padding = add_zeros_and_len_padding;
1094 ctx->get_padding = get_zeros_and_len_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001095 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001096#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001097#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
1098 case MBEDTLS_PADDING_ZEROS:
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +02001099 ctx->add_padding = add_zeros_padding;
1100 ctx->get_padding = get_zeros_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001101 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001102#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001103 case MBEDTLS_PADDING_NONE:
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001104 ctx->add_padding = NULL;
1105 ctx->get_padding = get_no_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001106 break;
1107
1108 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001109 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001110 }
1111
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001112 return( 0 );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001113}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001114#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001115
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001116#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001117int mbedtls_cipher_write_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001118 unsigned char *tag, size_t tag_len )
1119{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001120 CIPHER_VALIDATE_RET( ctx != NULL );
1121 CIPHER_VALIDATE_RET( tag_len == 0 || tag != NULL );
1122 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001123 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001124
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001125 if( MBEDTLS_ENCRYPT != ctx->operation )
1126 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001127
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001128#if defined(MBEDTLS_USE_PSA_CRYPTO)
1129 if( ctx->psa_enabled == 1 )
1130 {
1131 /* While PSA Crypto has an API for multipart
1132 * operations, we currently don't make it
1133 * accessible through the cipher layer. */
1134 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001135 }
1136#endif /* MBEDTLS_USE_PSA_CRYPTO */
1137
Daniel King8fe47012016-05-17 20:33:28 -03001138#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001139 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Gilles Peskine5a7be102021-06-23 21:51:32 +02001140 {
1141 size_t output_length;
1142 /* The code here doesn't yet support alternative implementations
1143 * that can delay up to a block of output. */
Hanno Becker18597cd2018-11-09 16:36:33 +00001144 return( mbedtls_gcm_finish( (mbedtls_gcm_context *) ctx->cipher_ctx,
Gilles Peskine5a7be102021-06-23 21:51:32 +02001145 NULL, 0, &output_length,
Hanno Becker18597cd2018-11-09 16:36:33 +00001146 tag, tag_len ) );
Gilles Peskine5a7be102021-06-23 21:51:32 +02001147 }
Daniel King8fe47012016-05-17 20:33:28 -03001148#endif
1149
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001150#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001151 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1152 {
1153 /* Don't allow truncated MAC for Poly1305 */
1154 if ( tag_len != 16U )
1155 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1156
Hanno Becker18597cd2018-11-09 16:36:33 +00001157 return( mbedtls_chachapoly_finish(
1158 (mbedtls_chachapoly_context*) ctx->cipher_ctx, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001159 }
1160#endif
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001161
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001162 return( 0 );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001163}
Paul Bakker9af723c2014-05-01 13:03:14 +02001164
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001165int mbedtls_cipher_check_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001166 const unsigned char *tag, size_t tag_len )
1167{
Daniel King8fe47012016-05-17 20:33:28 -03001168 unsigned char check_tag[16];
Janos Follath24eed8d2019-11-22 13:21:35 +00001169 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001170
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001171 CIPHER_VALIDATE_RET( ctx != NULL );
1172 CIPHER_VALIDATE_RET( tag_len == 0 || tag != NULL );
1173 if( ctx->cipher_info == NULL )
1174 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1175
1176 if( MBEDTLS_DECRYPT != ctx->operation )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001177 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001178 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001179 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001180
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001181#if defined(MBEDTLS_USE_PSA_CRYPTO)
1182 if( ctx->psa_enabled == 1 )
1183 {
1184 /* While PSA Crypto has an API for multipart
1185 * operations, we currently don't make it
1186 * accessible through the cipher layer. */
1187 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1188 }
1189#endif /* MBEDTLS_USE_PSA_CRYPTO */
1190
Gilles Peskinee7835d92021-12-13 12:32:43 +01001191 /* Status to return on a non-authenticated algorithm. It would make sense
1192 * to return MBEDTLS_ERR_CIPHER_INVALID_CONTEXT or perhaps
1193 * MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA, but at the time I write this our
1194 * unit tests assume 0. */
1195 ret = 0;
1196
Daniel King8fe47012016-05-17 20:33:28 -03001197#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001198 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001199 {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001200 size_t output_length;
1201 /* The code here doesn't yet support alternative implementations
1202 * that can delay up to a block of output. */
1203
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001204 if( tag_len > sizeof( check_tag ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001205 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001206
Hanno Becker18597cd2018-11-09 16:36:33 +00001207 if( 0 != ( ret = mbedtls_gcm_finish(
1208 (mbedtls_gcm_context *) ctx->cipher_ctx,
Gilles Peskine5a7be102021-06-23 21:51:32 +02001209 NULL, 0, &output_length,
Hanno Becker18597cd2018-11-09 16:36:33 +00001210 check_tag, tag_len ) ) )
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001211 {
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001212 return( ret );
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001213 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001214
1215 /* Check the tag in "constant-time" */
Gabor Mezei90437e32021-10-20 11:59:27 +02001216 if( mbedtls_ct_memcmp( tag, check_tag, tag_len ) != 0 )
Gilles Peskinecd742982021-12-13 16:57:47 +01001217 {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001218 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001219 goto exit;
1220 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001221 }
Daniel King8fe47012016-05-17 20:33:28 -03001222#endif /* MBEDTLS_GCM_C */
1223
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001224#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001225 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1226 {
1227 /* Don't allow truncated MAC for Poly1305 */
1228 if ( tag_len != sizeof( check_tag ) )
1229 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1230
Hanno Becker18597cd2018-11-09 16:36:33 +00001231 ret = mbedtls_chachapoly_finish(
1232 (mbedtls_chachapoly_context*) ctx->cipher_ctx, check_tag );
Daniel King8fe47012016-05-17 20:33:28 -03001233 if ( ret != 0 )
1234 {
1235 return( ret );
1236 }
1237
1238 /* Check the tag in "constant-time" */
Gabor Mezei90437e32021-10-20 11:59:27 +02001239 if( mbedtls_ct_memcmp( tag, check_tag, tag_len ) != 0 )
Gilles Peskinecd742982021-12-13 16:57:47 +01001240 {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001241 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001242 goto exit;
1243 }
Daniel King8fe47012016-05-17 20:33:28 -03001244 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001245#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001246
Gilles Peskinecd742982021-12-13 16:57:47 +01001247exit:
Gilles Peskinee7835d92021-12-13 12:32:43 +01001248 mbedtls_platform_zeroize( check_tag, tag_len );
1249 return( ret );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001250}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001251#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001252
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001253/*
1254 * Packet-oriented wrapper for non-AEAD modes
1255 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001256int mbedtls_cipher_crypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001257 const unsigned char *iv, size_t iv_len,
1258 const unsigned char *input, size_t ilen,
1259 unsigned char *output, size_t *olen )
1260{
Janos Follath24eed8d2019-11-22 13:21:35 +00001261 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001262 size_t finish_olen;
1263
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001264 CIPHER_VALIDATE_RET( ctx != NULL );
1265 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
1266 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1267 CIPHER_VALIDATE_RET( output != NULL );
1268 CIPHER_VALIDATE_RET( olen != NULL );
1269
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001270#if defined(MBEDTLS_USE_PSA_CRYPTO)
1271 if( ctx->psa_enabled == 1 )
1272 {
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001273 /* As in the non-PSA case, we don't check that
1274 * a key has been set. If not, the key slot will
1275 * still be in its default state of 0, which is
1276 * guaranteed to be invalid, hence the PSA-call
1277 * below will gracefully fail. */
1278 mbedtls_cipher_context_psa * const cipher_psa =
1279 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1280
1281 psa_status_t status;
Jaeden Amerofe96fbe2019-02-20 10:32:28 +00001282 psa_cipher_operation_t cipher_op = PSA_CIPHER_OPERATION_INIT;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001283 size_t part_len;
1284
1285 if( ctx->operation == MBEDTLS_DECRYPT )
1286 {
1287 status = psa_cipher_decrypt_setup( &cipher_op,
1288 cipher_psa->slot,
1289 cipher_psa->alg );
1290 }
1291 else if( ctx->operation == MBEDTLS_ENCRYPT )
1292 {
1293 status = psa_cipher_encrypt_setup( &cipher_op,
1294 cipher_psa->slot,
1295 cipher_psa->alg );
1296 }
1297 else
1298 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1299
1300 /* In the following, we can immediately return on an error,
1301 * because the PSA Crypto API guarantees that cipher operations
1302 * are terminated by unsuccessful calls to psa_cipher_update(),
1303 * and by any call to psa_cipher_finish(). */
1304 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001305 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001306
Przemyslaw Stekiel80c6a8e2021-09-29 12:13:11 +02001307 if( ctx->cipher_info->mode != MBEDTLS_MODE_ECB )
1308 {
1309 status = psa_cipher_set_iv( &cipher_op, iv, iv_len );
1310 if( status != PSA_SUCCESS )
1311 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
1312 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001313
1314 status = psa_cipher_update( &cipher_op,
1315 input, ilen,
1316 output, ilen, olen );
1317 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001318 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001319
1320 status = psa_cipher_finish( &cipher_op,
1321 output + *olen, ilen - *olen,
1322 &part_len );
1323 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001324 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001325
1326 *olen += part_len;
1327 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001328 }
1329#endif /* MBEDTLS_USE_PSA_CRYPTO */
1330
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001331 if( ( ret = mbedtls_cipher_set_iv( ctx, iv, iv_len ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001332 return( ret );
1333
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001334 if( ( ret = mbedtls_cipher_reset( ctx ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001335 return( ret );
1336
Hanno Becker18597cd2018-11-09 16:36:33 +00001337 if( ( ret = mbedtls_cipher_update( ctx, input, ilen,
1338 output, olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001339 return( ret );
1340
Hanno Becker18597cd2018-11-09 16:36:33 +00001341 if( ( ret = mbedtls_cipher_finish( ctx, output + *olen,
1342 &finish_olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001343 return( ret );
1344
1345 *olen += finish_olen;
1346
1347 return( 0 );
1348}
1349
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001350#if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001351/*
TRodziewicz18efb732021-04-29 23:12:19 +02001352 * Packet-oriented encryption for AEAD modes: internal function used by
1353 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001354 */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001355static int mbedtls_cipher_aead_encrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001356 const unsigned char *iv, size_t iv_len,
1357 const unsigned char *ad, size_t ad_len,
1358 const unsigned char *input, size_t ilen,
1359 unsigned char *output, size_t *olen,
1360 unsigned char *tag, size_t tag_len )
1361{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001362#if defined(MBEDTLS_USE_PSA_CRYPTO)
1363 if( ctx->psa_enabled == 1 )
1364 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001365 /* As in the non-PSA case, we don't check that
1366 * a key has been set. If not, the key slot will
1367 * still be in its default state of 0, which is
1368 * guaranteed to be invalid, hence the PSA-call
1369 * below will gracefully fail. */
1370 mbedtls_cipher_context_psa * const cipher_psa =
1371 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1372
1373 psa_status_t status;
1374
1375 /* PSA Crypto API always writes the authentication tag
1376 * at the end of the encrypted message. */
Gilles Peskine70edd682020-12-03 20:27:27 +01001377 if( output == NULL || tag != output + ilen )
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001378 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1379
1380 status = psa_aead_encrypt( cipher_psa->slot,
1381 cipher_psa->alg,
1382 iv, iv_len,
1383 ad, ad_len,
1384 input, ilen,
1385 output, ilen + tag_len, olen );
1386 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001387 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001388
1389 *olen -= tag_len;
1390 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001391 }
1392#endif /* MBEDTLS_USE_PSA_CRYPTO */
1393
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001394#if defined(MBEDTLS_GCM_C)
1395 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001396 {
1397 *olen = ilen;
Hanno Becker18597cd2018-11-09 16:36:33 +00001398 return( mbedtls_gcm_crypt_and_tag( ctx->cipher_ctx, MBEDTLS_GCM_ENCRYPT,
1399 ilen, iv, iv_len, ad, ad_len,
1400 input, output, tag_len, tag ) );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001401 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001402#endif /* MBEDTLS_GCM_C */
1403#if defined(MBEDTLS_CCM_C)
1404 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001405 {
1406 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001407 return( mbedtls_ccm_encrypt_and_tag( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001408 iv, iv_len, ad, ad_len, input, output,
1409 tag, tag_len ) );
1410 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001411#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001412#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001413 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1414 {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001415 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001416 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001417 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001418 {
1419 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1420 }
1421
1422 *olen = ilen;
Manuel Pégourié-Gonnard3dc62a02018-06-04 12:18:19 +02001423 return( mbedtls_chachapoly_encrypt_and_tag( ctx->cipher_ctx,
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001424 ilen, iv, ad, ad_len, input, output, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001425 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001426#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001427
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001428 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001429}
1430
1431/*
TRodziewicz18efb732021-04-29 23:12:19 +02001432 * Packet-oriented encryption for AEAD modes: internal function used by
1433 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001434 */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001435static int mbedtls_cipher_aead_decrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001436 const unsigned char *iv, size_t iv_len,
1437 const unsigned char *ad, size_t ad_len,
1438 const unsigned char *input, size_t ilen,
1439 unsigned char *output, size_t *olen,
1440 const unsigned char *tag, size_t tag_len )
1441{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001442#if defined(MBEDTLS_USE_PSA_CRYPTO)
1443 if( ctx->psa_enabled == 1 )
1444 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001445 /* As in the non-PSA case, we don't check that
1446 * a key has been set. If not, the key slot will
1447 * still be in its default state of 0, which is
1448 * guaranteed to be invalid, hence the PSA-call
1449 * below will gracefully fail. */
1450 mbedtls_cipher_context_psa * const cipher_psa =
1451 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1452
1453 psa_status_t status;
1454
1455 /* PSA Crypto API always writes the authentication tag
1456 * at the end of the encrypted message. */
Gilles Peskine70edd682020-12-03 20:27:27 +01001457 if( input == NULL || tag != input + ilen )
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001458 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1459
1460 status = psa_aead_decrypt( cipher_psa->slot,
1461 cipher_psa->alg,
1462 iv, iv_len,
1463 ad, ad_len,
1464 input, ilen + tag_len,
1465 output, ilen, olen );
1466 if( status == PSA_ERROR_INVALID_SIGNATURE )
1467 return( MBEDTLS_ERR_CIPHER_AUTH_FAILED );
1468 else if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001469 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001470
1471 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001472 }
1473#endif /* MBEDTLS_USE_PSA_CRYPTO */
1474
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001475#if defined(MBEDTLS_GCM_C)
1476 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001477 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001478 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001479
1480 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001481 ret = mbedtls_gcm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001482 iv, iv_len, ad, ad_len,
1483 tag, tag_len, input, output );
1484
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001485 if( ret == MBEDTLS_ERR_GCM_AUTH_FAILED )
1486 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001487
1488 return( ret );
1489 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001490#endif /* MBEDTLS_GCM_C */
1491#if defined(MBEDTLS_CCM_C)
1492 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001493 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001494 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001495
1496 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001497 ret = mbedtls_ccm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001498 iv, iv_len, ad, ad_len,
1499 input, output, tag, tag_len );
1500
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001501 if( ret == MBEDTLS_ERR_CCM_AUTH_FAILED )
1502 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001503
1504 return( ret );
1505 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001506#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001507#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001508 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1509 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001510 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel King8fe47012016-05-17 20:33:28 -03001511
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001512 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001513 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001514 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001515 {
1516 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1517 }
1518
1519 *olen = ilen;
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001520 ret = mbedtls_chachapoly_auth_decrypt( ctx->cipher_ctx, ilen,
1521 iv, ad, ad_len, tag, input, output );
Daniel King8fe47012016-05-17 20:33:28 -03001522
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001523 if( ret == MBEDTLS_ERR_CHACHAPOLY_AUTH_FAILED )
1524 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Daniel King8fe47012016-05-17 20:33:28 -03001525
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001526 return( ret );
Daniel King8fe47012016-05-17 20:33:28 -03001527 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001528#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001529
1530 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1531}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001532#endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001533
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001534#if defined(MBEDTLS_CIPHER_MODE_AEAD) || defined(MBEDTLS_NIST_KW_C)
1535/*
1536 * Packet-oriented encryption for AEAD/NIST_KW: public function.
1537 */
1538int mbedtls_cipher_auth_encrypt_ext( mbedtls_cipher_context_t *ctx,
1539 const unsigned char *iv, size_t iv_len,
1540 const unsigned char *ad, size_t ad_len,
1541 const unsigned char *input, size_t ilen,
1542 unsigned char *output, size_t output_len,
1543 size_t *olen, size_t tag_len )
1544{
1545 CIPHER_VALIDATE_RET( ctx != NULL );
Gilles Peskine70edd682020-12-03 20:27:27 +01001546 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001547 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
1548 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1549 CIPHER_VALIDATE_RET( output != NULL );
1550 CIPHER_VALIDATE_RET( olen != NULL );
1551
1552#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001553 if(
1554#if defined(MBEDTLS_USE_PSA_CRYPTO)
1555 ctx->psa_enabled == 0 &&
1556#endif
1557 ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1558 MBEDTLS_MODE_KWP == ctx->cipher_info->mode ) )
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001559 {
1560 mbedtls_nist_kw_mode_t mode = ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ) ?
1561 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
1562
1563 /* There is no iv, tag or ad associated with KW and KWP,
1564 * so these length should be 0 as documented. */
1565 if( iv_len != 0 || tag_len != 0 || ad_len != 0 )
1566 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1567
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001568 (void) iv;
1569 (void) ad;
1570
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001571 return( mbedtls_nist_kw_wrap( ctx->cipher_ctx, mode, input, ilen,
1572 output, olen, output_len ) );
1573 }
1574#endif /* MBEDTLS_NIST_KW_C */
1575
1576#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1577 /* AEAD case: check length before passing on to shared function */
1578 if( output_len < ilen + tag_len )
1579 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1580
1581 int ret = mbedtls_cipher_aead_encrypt( ctx, iv, iv_len, ad, ad_len,
1582 input, ilen, output, olen,
1583 output + ilen, tag_len );
1584 *olen += tag_len;
1585 return( ret );
1586#else
1587 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1588#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1589}
1590
1591/*
1592 * Packet-oriented decryption for AEAD/NIST_KW: public function.
1593 */
1594int mbedtls_cipher_auth_decrypt_ext( mbedtls_cipher_context_t *ctx,
1595 const unsigned char *iv, size_t iv_len,
1596 const unsigned char *ad, size_t ad_len,
1597 const unsigned char *input, size_t ilen,
1598 unsigned char *output, size_t output_len,
1599 size_t *olen, size_t tag_len )
1600{
1601 CIPHER_VALIDATE_RET( ctx != NULL );
Gilles Peskine70edd682020-12-03 20:27:27 +01001602 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001603 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
1604 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1605 CIPHER_VALIDATE_RET( output_len == 0 || output != NULL );
1606 CIPHER_VALIDATE_RET( olen != NULL );
1607
1608#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001609 if(
1610#if defined(MBEDTLS_USE_PSA_CRYPTO)
1611 ctx->psa_enabled == 0 &&
1612#endif
1613 ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1614 MBEDTLS_MODE_KWP == ctx->cipher_info->mode ) )
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001615 {
1616 mbedtls_nist_kw_mode_t mode = ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ) ?
1617 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
1618
1619 /* There is no iv, tag or ad associated with KW and KWP,
1620 * so these length should be 0 as documented. */
1621 if( iv_len != 0 || tag_len != 0 || ad_len != 0 )
1622 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1623
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001624 (void) iv;
1625 (void) ad;
1626
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001627 return( mbedtls_nist_kw_unwrap( ctx->cipher_ctx, mode, input, ilen,
1628 output, olen, output_len ) );
1629 }
1630#endif /* MBEDTLS_NIST_KW_C */
1631
1632#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1633 /* AEAD case: check length before passing on to shared function */
1634 if( ilen < tag_len || output_len < ilen - tag_len )
1635 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1636
1637 return( mbedtls_cipher_aead_decrypt( ctx, iv, iv_len, ad, ad_len,
1638 input, ilen - tag_len, output, olen,
1639 input + ilen - tag_len, tag_len ) );
1640#else
1641 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1642#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1643}
1644#endif /* MBEDTLS_CIPHER_MODE_AEAD || MBEDTLS_NIST_KW_C */
1645
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001646#endif /* MBEDTLS_CIPHER_C */