blob: 3fbb967303a547036640fbc04f1b0117b9fc542e [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{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200146 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
Paul Bakker84bbeb52014-07-01 14:53:22 +0200147}
148
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200149void mbedtls_cipher_free( mbedtls_cipher_context_t *ctx )
Paul Bakker84bbeb52014-07-01 14:53:22 +0200150{
151 if( ctx == NULL )
152 return;
153
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000154#if defined(MBEDTLS_USE_PSA_CRYPTO)
155 if( ctx->psa_enabled == 1 )
156 {
Hanno Becker6118e432018-11-09 16:47:20 +0000157 if( ctx->cipher_ctx != NULL )
158 {
159 mbedtls_cipher_context_psa * const cipher_psa =
160 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
161
Hanno Becker19086552018-11-17 22:11:16 +0000162 if( cipher_psa->slot_state == MBEDTLS_CIPHER_PSA_KEY_OWNED )
Hanno Becker6118e432018-11-09 16:47:20 +0000163 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000164 /* xxx_free() doesn't allow to return failures. */
165 (void) psa_destroy_key( cipher_psa->slot );
Hanno Becker6118e432018-11-09 16:47:20 +0000166 }
167
168 mbedtls_platform_zeroize( cipher_psa, sizeof( *cipher_psa ) );
169 mbedtls_free( cipher_psa );
170 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000171
172 mbedtls_platform_zeroize( ctx, sizeof(mbedtls_cipher_context_t) );
173 return;
174 }
175#endif /* MBEDTLS_USE_PSA_CRYPTO */
176
Simon Butcher327398a2016-10-05 14:09:11 +0100177#if defined(MBEDTLS_CMAC_C)
178 if( ctx->cmac_ctx )
179 {
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500180 mbedtls_platform_zeroize( ctx->cmac_ctx,
181 sizeof( mbedtls_cmac_context_t ) );
Simon Butcher327398a2016-10-05 14:09:11 +0100182 mbedtls_free( ctx->cmac_ctx );
183 }
184#endif
185
Paul Bakker84bbeb52014-07-01 14:53:22 +0200186 if( ctx->cipher_ctx )
187 ctx->cipher_info->base->ctx_free_func( ctx->cipher_ctx );
188
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500189 mbedtls_platform_zeroize( ctx, sizeof(mbedtls_cipher_context_t) );
Paul Bakker84bbeb52014-07-01 14:53:22 +0200190}
191
Hanno Becker18597cd2018-11-09 16:36:33 +0000192int mbedtls_cipher_setup( mbedtls_cipher_context_t *ctx,
193 const mbedtls_cipher_info_t *cipher_info )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000194{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500195 if( cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200196 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000197
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200198 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000199
Paul Bakker343a8702011-06-09 14:27:58 +0000200 if( NULL == ( ctx->cipher_ctx = cipher_info->base->ctx_alloc_func() ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200201 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000202
203 ctx->cipher_info = cipher_info;
204
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200205#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200206 /*
207 * Ignore possible errors caused by a cipher mode that doesn't use padding
208 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200209#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
210 (void) mbedtls_cipher_set_padding_mode( ctx, MBEDTLS_PADDING_PKCS7 );
Paul Bakker48e93c82013-08-14 12:21:18 +0200211#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200212 (void) mbedtls_cipher_set_padding_mode( ctx, MBEDTLS_PADDING_NONE );
Paul Bakker48e93c82013-08-14 12:21:18 +0200213#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200214#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200215
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200216 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000217}
218
Hanno Becker4ccfc402018-11-09 16:10:57 +0000219#if defined(MBEDTLS_USE_PSA_CRYPTO)
Przemek Stekielef1fb4a2022-05-06 10:55:10 +0200220#if !defined(MBEDTLS_DEPRECATED_REMOVED)
Hanno Becker4ccfc402018-11-09 16:10:57 +0000221int mbedtls_cipher_setup_psa( mbedtls_cipher_context_t *ctx,
Hanno Becker20120b32018-11-12 16:26:27 +0000222 const mbedtls_cipher_info_t *cipher_info,
223 size_t taglen )
Hanno Becker4ccfc402018-11-09 16:10:57 +0000224{
Hanno Beckeredda8b82018-11-12 11:59:30 +0000225 psa_algorithm_t alg;
226 mbedtls_cipher_context_psa *cipher_psa;
227
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000228 if( NULL == cipher_info || NULL == ctx )
229 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
230
Hanno Becker4ee7e762018-11-17 22:00:38 +0000231 /* Check that the underlying cipher mode and cipher type are
232 * supported by the underlying PSA Crypto implementation. */
Hanno Becker20120b32018-11-12 16:26:27 +0000233 alg = mbedtls_psa_translate_cipher_mode( cipher_info->mode, taglen );
Hanno Becker4ee7e762018-11-17 22:00:38 +0000234 if( alg == 0 )
235 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
236 if( mbedtls_psa_translate_cipher_type( cipher_info->type ) == 0 )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000237 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Becker6118e432018-11-09 16:47:20 +0000238
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000239 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
240
Hanno Beckeredda8b82018-11-12 11:59:30 +0000241 cipher_psa = mbedtls_calloc( 1, sizeof(mbedtls_cipher_context_psa ) );
242 if( cipher_psa == NULL )
243 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
244 cipher_psa->alg = alg;
245 ctx->cipher_ctx = cipher_psa;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000246 ctx->cipher_info = cipher_info;
247 ctx->psa_enabled = 1;
248 return( 0 );
Hanno Becker4ccfc402018-11-09 16:10:57 +0000249}
Przemek Stekielef1fb4a2022-05-06 10:55:10 +0200250#endif /* MBEDTLS_DEPRECATED_REMOVED */
Hanno Becker4ccfc402018-11-09 16:10:57 +0000251#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( operation == MBEDTLS_ENCRYPT ||
Krzysztof Stachowiake0215d72018-12-17 10:20:30 +0100259 operation == MBEDTLS_DECRYPT );
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500260 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200261 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000262
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000263#if defined(MBEDTLS_USE_PSA_CRYPTO)
264 if( ctx->psa_enabled == 1 )
265 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000266 mbedtls_cipher_context_psa * const cipher_psa =
267 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
268
269 size_t const key_bytelen = ( (size_t) key_bitlen + 7 ) / 8;
270
271 psa_status_t status;
272 psa_key_type_t key_type;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200273 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000274
275 /* PSA Crypto API only accepts byte-aligned keys. */
276 if( key_bitlen % 8 != 0 )
277 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
278
279 /* Don't allow keys to be set multiple times. */
Hanno Becker19086552018-11-17 22:11:16 +0000280 if( cipher_psa->slot_state != MBEDTLS_CIPHER_PSA_KEY_UNSET )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000281 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
282
Andrzej Kurekc7509322019-01-08 09:36:01 -0500283 key_type = mbedtls_psa_translate_cipher_type(
284 ctx->cipher_info->type );
285 if( key_type == 0 )
286 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200287 psa_set_key_type( &attributes, key_type );
Hanno Beckera395d8f2018-11-12 13:33:16 +0000288
289 /* Mbed TLS' cipher layer doesn't enforce the mode of operation
Andrzej Kurekf410a5c2019-01-15 03:33:35 -0500290 * (encrypt vs. decrypt): it is possible to setup a key for encryption
291 * and use it for AEAD decryption. Until tests relying on this
292 * are changed, allow any usage in PSA. */
Gilles Peskined2d45c12019-05-27 14:53:13 +0200293 psa_set_key_usage_flags( &attributes,
294 /* mbedtls_psa_translate_cipher_operation( operation ); */
295 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT );
296 psa_set_key_algorithm( &attributes, cipher_psa->alg );
Hanno Beckeredda8b82018-11-12 11:59:30 +0000297
Gilles Peskined2d45c12019-05-27 14:53:13 +0200298 status = psa_import_key( &attributes, key, key_bytelen,
299 &cipher_psa->slot );
300 switch( status )
301 {
302 case PSA_SUCCESS:
303 break;
304 case PSA_ERROR_INSUFFICIENT_MEMORY:
305 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
306 case PSA_ERROR_NOT_SUPPORTED:
307 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
308 default:
TRodziewiczb579ccd2021-04-13 14:28:28 +0200309 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200310 }
311 /* Indicate that we own the key slot and need to
312 * destroy it in mbedtls_cipher_free(). */
313 cipher_psa->slot_state = MBEDTLS_CIPHER_PSA_KEY_OWNED;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000314
315 ctx->key_bitlen = key_bitlen;
316 ctx->operation = operation;
317 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000318 }
319#endif /* MBEDTLS_USE_PSA_CRYPTO */
320
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200321 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_KEY_LEN ) == 0 &&
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200322 (int) ctx->cipher_info->key_bitlen != key_bitlen )
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200323 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200324 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200325 }
Manuel Pégourié-Gonnarddd0f57f2013-09-16 11:47:43 +0200326
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200327 ctx->key_bitlen = key_bitlen;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000328 ctx->operation = operation;
329
Paul Bakker343a8702011-06-09 14:27:58 +0000330 /*
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100331 * For OFB, CFB and CTR mode always use the encryption key schedule
Paul Bakker343a8702011-06-09 14:27:58 +0000332 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200333 if( MBEDTLS_ENCRYPT == operation ||
334 MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100335 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200336 MBEDTLS_MODE_CTR == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000337 {
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500338 return( ctx->cipher_info->base->setkey_enc_func( ctx->cipher_ctx, key,
339 ctx->key_bitlen ) );
Paul Bakker343a8702011-06-09 14:27:58 +0000340 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000341
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200342 if( MBEDTLS_DECRYPT == operation )
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500343 return( ctx->cipher_info->base->setkey_dec_func( ctx->cipher_ctx, key,
344 ctx->key_bitlen ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000345
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200346 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000347}
348
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200349int mbedtls_cipher_set_iv( mbedtls_cipher_context_t *ctx,
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500350 const unsigned char *iv,
351 size_t iv_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000352{
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200353 size_t actual_iv_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000354
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500355 if( ctx->cipher_info == NULL )
356 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000357#if defined(MBEDTLS_USE_PSA_CRYPTO)
358 if( ctx->psa_enabled == 1 )
359 {
360 /* While PSA Crypto has an API for multipart
361 * operations, we currently don't make it
362 * accessible through the cipher layer. */
363 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
364 }
365#endif /* MBEDTLS_USE_PSA_CRYPTO */
366
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200367 /* avoid buffer overflow in ctx->iv */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200368 if( iv_len > MBEDTLS_MAX_IV_LENGTH )
369 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200370
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200371 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_IV_LEN ) != 0 )
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200372 actual_iv_size = iv_len;
373 else
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200374 {
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200375 actual_iv_size = ctx->cipher_info->iv_size;
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200376
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200377 /* avoid reading past the end of input buffer */
378 if( actual_iv_size > iv_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200379 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200380 }
381
Daniel Kingbd920622016-05-15 19:56:20 -0300382#if defined(MBEDTLS_CHACHA20_C)
383 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20 )
384 {
Andrzej Kurek33ca6af2021-12-01 21:58:05 +0100385 /* Even though the actual_iv_size is overwritten with a correct value
386 * of 12 from the cipher info, return an error to indicate that
387 * the input iv_len is wrong. */
388 if( iv_len != 12 )
389 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
390
Daniel Kingbd920622016-05-15 19:56:20 -0300391 if ( 0 != mbedtls_chacha20_starts( (mbedtls_chacha20_context*)ctx->cipher_ctx,
392 iv,
393 0U ) ) /* Initial counter value */
394 {
395 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
396 }
397 }
Andrzej Kurek63439ed2021-12-01 22:19:33 +0100398#if defined(MBEDTLS_CHACHAPOLY_C)
399 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20_POLY1305 &&
400 iv_len != 12 )
401 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
402#endif
Daniel Kingbd920622016-05-15 19:56:20 -0300403#endif
404
Gilles Peskine295fc132021-04-15 18:32:23 +0200405#if defined(MBEDTLS_GCM_C)
406 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
407 {
408 return( mbedtls_gcm_starts( (mbedtls_gcm_context *) ctx->cipher_ctx,
409 ctx->operation,
410 iv, iv_len ) );
411 }
412#endif
413
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200414#if defined(MBEDTLS_CCM_C)
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200415 if( MBEDTLS_MODE_CCM_STAR_NO_TAG == ctx->cipher_info->mode )
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200416 {
417 int set_lengths_result;
418 int ccm_star_mode;
419
420 set_lengths_result = mbedtls_ccm_set_lengths(
421 (mbedtls_ccm_context *) ctx->cipher_ctx,
422 0, 0, 0 );
423 if( set_lengths_result != 0 )
424 return set_lengths_result;
425
426 if( ctx->operation == MBEDTLS_DECRYPT )
427 ccm_star_mode = MBEDTLS_CCM_STAR_DECRYPT;
428 else if( ctx->operation == MBEDTLS_ENCRYPT )
429 ccm_star_mode = MBEDTLS_CCM_STAR_ENCRYPT;
430 else
431 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
432
433 return( mbedtls_ccm_starts( (mbedtls_ccm_context *) ctx->cipher_ctx,
434 ccm_star_mode,
435 iv, iv_len ) );
436 }
437#endif
438
Ron Eldorbb4bbbb2017-10-01 17:04:54 +0300439 if ( actual_iv_size != 0 )
Ron Eldor4e64e0b2017-09-25 18:22:32 +0300440 {
441 memcpy( ctx->iv, iv, actual_iv_size );
442 ctx->iv_size = actual_iv_size;
443 }
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200444
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200445 return( 0 );
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200446}
447
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200448int mbedtls_cipher_reset( mbedtls_cipher_context_t *ctx )
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200449{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500450 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 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200472 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200473
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000474#if defined(MBEDTLS_USE_PSA_CRYPTO)
475 if( ctx->psa_enabled == 1 )
476 {
477 /* While PSA Crypto has an API for multipart
478 * operations, we currently don't make it
479 * accessible through the cipher layer. */
480 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
481 }
482#endif /* MBEDTLS_USE_PSA_CRYPTO */
483
Daniel King8fe47012016-05-17 20:33:28 -0300484#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200485 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200486 {
Gilles Peskine295fc132021-04-15 18:32:23 +0200487 return( mbedtls_gcm_update_ad( (mbedtls_gcm_context *) ctx->cipher_ctx,
488 ad, ad_len ) );
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200489 }
Daniel King8fe47012016-05-17 20:33:28 -0300490#endif
491
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200492#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -0300493 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
494 {
495 int result;
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200496 mbedtls_chachapoly_mode_t mode;
Daniel King8fe47012016-05-17 20:33:28 -0300497
498 mode = ( ctx->operation == MBEDTLS_ENCRYPT )
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200499 ? MBEDTLS_CHACHAPOLY_ENCRYPT
500 : MBEDTLS_CHACHAPOLY_DECRYPT;
Daniel King8fe47012016-05-17 20:33:28 -0300501
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200502 result = mbedtls_chachapoly_starts( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
Daniel King8fe47012016-05-17 20:33:28 -0300503 ctx->iv,
504 mode );
505 if ( result != 0 )
506 return( result );
507
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500508 return( mbedtls_chachapoly_update_aad( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
509 ad, ad_len ) );
Daniel King8fe47012016-05-17 20:33:28 -0300510 }
511#endif
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200512
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200513 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000514}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200515#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000516
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200517int mbedtls_cipher_update( mbedtls_cipher_context_t *ctx, const unsigned char *input,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200518 size_t ilen, unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000519{
Janos Follath24eed8d2019-11-22 13:21:35 +0000520 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500521 size_t block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000522
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500523 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200524 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000525
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000526#if defined(MBEDTLS_USE_PSA_CRYPTO)
527 if( ctx->psa_enabled == 1 )
528 {
529 /* While PSA Crypto has an API for multipart
530 * operations, we currently don't make it
531 * accessible through the cipher layer. */
532 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
533 }
534#endif /* MBEDTLS_USE_PSA_CRYPTO */
535
Paul Bakker6c212762013-12-16 15:24:50 +0100536 *olen = 0;
Janos Follath98e28a72016-05-31 14:03:54 +0100537 block_size = mbedtls_cipher_get_block_size( ctx );
Gilles Peskinea2bdcb92020-01-21 15:02:14 +0100538 if ( 0 == block_size )
539 {
540 return( MBEDTLS_ERR_CIPHER_INVALID_CONTEXT );
541 }
Paul Bakker6c212762013-12-16 15:24:50 +0100542
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200543 if( ctx->cipher_info->mode == MBEDTLS_MODE_ECB )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200544 {
Janos Follath98e28a72016-05-31 14:03:54 +0100545 if( ilen != block_size )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200546 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200547
548 *olen = ilen;
549
550 if( 0 != ( ret = ctx->cipher_info->base->ecb_func( ctx->cipher_ctx,
551 ctx->operation, input, output ) ) )
552 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200553 return( ret );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200554 }
555
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200556 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200557 }
558
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200559#if defined(MBEDTLS_GCM_C)
560 if( ctx->cipher_info->mode == MBEDTLS_MODE_GCM )
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200561 {
Gilles Peskinea56c4482021-04-15 17:22:35 +0200562 return( mbedtls_gcm_update( (mbedtls_gcm_context *) ctx->cipher_ctx,
563 input, ilen,
564 output, ilen, olen ) );
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200565 }
566#endif
567
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200568#if defined(MBEDTLS_CCM_C)
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200569 if( ctx->cipher_info->mode == MBEDTLS_MODE_CCM_STAR_NO_TAG )
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200570 {
571 return( mbedtls_ccm_update( (mbedtls_ccm_context *) ctx->cipher_ctx,
572 input, ilen,
573 output, ilen, olen ) );
574 }
575#endif
576
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200577#if defined(MBEDTLS_CHACHAPOLY_C)
578 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20_POLY1305 )
579 {
580 *olen = ilen;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500581 return( mbedtls_chachapoly_update( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
582 ilen, input, output ) );
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200583 }
584#endif
585
Paul Bakker68884e32013-01-07 18:20:04 +0100586 if( input == output &&
Janos Follath98e28a72016-05-31 14:03:54 +0100587 ( ctx->unprocessed_len != 0 || ilen % block_size ) )
Paul Bakker68884e32013-01-07 18:20:04 +0100588 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200589 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker68884e32013-01-07 18:20:04 +0100590 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000591
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200592#if defined(MBEDTLS_CIPHER_MODE_CBC)
593 if( ctx->cipher_info->mode == MBEDTLS_MODE_CBC )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000594 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200595 size_t copy_len = 0;
596
Paul Bakker8123e9d2011-01-06 15:37:30 +0000597 /*
598 * If there is not enough data for a full block, cache it.
599 */
Andy Leiserson79e77892017-04-28 20:01:49 -0700600 if( ( ctx->operation == MBEDTLS_DECRYPT && NULL != ctx->add_padding &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000601 ilen <= block_size - ctx->unprocessed_len ) ||
Andy Leiserson79e77892017-04-28 20:01:49 -0700602 ( ctx->operation == MBEDTLS_DECRYPT && NULL == ctx->add_padding &&
603 ilen < block_size - ctx->unprocessed_len ) ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200604 ( ctx->operation == MBEDTLS_ENCRYPT &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000605 ilen < block_size - ctx->unprocessed_len ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000606 {
607 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
608 ilen );
609
610 ctx->unprocessed_len += ilen;
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200611 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000612 }
613
614 /*
615 * Process cached data first
616 */
Janos Follath98e28a72016-05-31 14:03:54 +0100617 if( 0 != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000618 {
Janos Follath98e28a72016-05-31 14:03:54 +0100619 copy_len = block_size - ctx->unprocessed_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000620
621 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
622 copy_len );
623
Paul Bakkerff61a782011-06-09 15:42:02 +0000624 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Janos Follath98e28a72016-05-31 14:03:54 +0100625 ctx->operation, block_size, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000626 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000627 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200628 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000629 }
630
Janos Follath98e28a72016-05-31 14:03:54 +0100631 *olen += block_size;
632 output += block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000633 ctx->unprocessed_len = 0;
634
635 input += copy_len;
636 ilen -= copy_len;
637 }
638
639 /*
640 * Cache final, incomplete block
641 */
642 if( 0 != ilen )
643 {
Andy Leiserson79e77892017-04-28 20:01:49 -0700644 /* Encryption: only cache partial blocks
645 * Decryption w/ padding: always keep at least one whole block
646 * Decryption w/o padding: only cache partial blocks
647 */
Janos Follath98e28a72016-05-31 14:03:54 +0100648 copy_len = ilen % block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700649 if( copy_len == 0 &&
650 ctx->operation == MBEDTLS_DECRYPT &&
651 NULL != ctx->add_padding)
652 {
Janos Follath98e28a72016-05-31 14:03:54 +0100653 copy_len = block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700654 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000655
656 memcpy( ctx->unprocessed_data, &( input[ilen - copy_len] ),
657 copy_len );
658
659 ctx->unprocessed_len += copy_len;
660 ilen -= copy_len;
661 }
662
663 /*
664 * Process remaining full blocks
665 */
666 if( ilen )
667 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000668 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
669 ctx->operation, ilen, ctx->iv, input, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000670 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200671 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000672 }
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200673
Paul Bakker8123e9d2011-01-06 15:37:30 +0000674 *olen += ilen;
675 }
676
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200677 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000678 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200679#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000680
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200681#if defined(MBEDTLS_CIPHER_MODE_CFB)
682 if( ctx->cipher_info->mode == MBEDTLS_MODE_CFB )
Paul Bakker343a8702011-06-09 14:27:58 +0000683 {
Paul Bakker6132d0a2012-07-04 17:10:40 +0000684 if( 0 != ( ret = ctx->cipher_info->base->cfb_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000685 ctx->operation, ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000686 input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000687 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200688 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000689 }
690
691 *olen = ilen;
692
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200693 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000694 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200695#endif /* MBEDTLS_CIPHER_MODE_CFB */
Paul Bakker343a8702011-06-09 14:27:58 +0000696
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100697#if defined(MBEDTLS_CIPHER_MODE_OFB)
698 if( ctx->cipher_info->mode == MBEDTLS_MODE_OFB )
699 {
700 if( 0 != ( ret = ctx->cipher_info->base->ofb_func( ctx->cipher_ctx,
701 ilen, &ctx->unprocessed_len, ctx->iv, input, output ) ) )
702 {
703 return( ret );
704 }
705
706 *olen = ilen;
707
708 return( 0 );
709 }
710#endif /* MBEDTLS_CIPHER_MODE_OFB */
711
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200712#if defined(MBEDTLS_CIPHER_MODE_CTR)
713 if( ctx->cipher_info->mode == MBEDTLS_MODE_CTR )
Paul Bakker343a8702011-06-09 14:27:58 +0000714 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000715 if( 0 != ( ret = ctx->cipher_info->base->ctr_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000716 ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000717 ctx->unprocessed_data, input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000718 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200719 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000720 }
721
722 *olen = ilen;
723
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200724 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000725 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200726#endif /* MBEDTLS_CIPHER_MODE_CTR */
Paul Bakker343a8702011-06-09 14:27:58 +0000727
Jaeden Ameroc6539902018-04-30 17:17:41 +0100728#if defined(MBEDTLS_CIPHER_MODE_XTS)
729 if( ctx->cipher_info->mode == MBEDTLS_MODE_XTS )
730 {
731 if( ctx->unprocessed_len > 0 ) {
732 /* We can only process an entire data unit at a time. */
733 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
734 }
735
736 ret = ctx->cipher_info->base->xts_func( ctx->cipher_ctx,
737 ctx->operation, ilen, ctx->iv, input, output );
738 if( ret != 0 )
739 {
740 return( ret );
741 }
742
743 *olen = ilen;
744
745 return( 0 );
746 }
747#endif /* MBEDTLS_CIPHER_MODE_XTS */
748
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200749#if defined(MBEDTLS_CIPHER_MODE_STREAM)
750 if( ctx->cipher_info->mode == MBEDTLS_MODE_STREAM )
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200751 {
752 if( 0 != ( ret = ctx->cipher_info->base->stream_func( ctx->cipher_ctx,
753 ilen, input, output ) ) )
754 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200755 return( ret );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200756 }
757
758 *olen = ilen;
759
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200760 return( 0 );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200761 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200762#endif /* MBEDTLS_CIPHER_MODE_STREAM */
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200763
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200764 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000765}
766
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200767#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
768#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200769/*
770 * PKCS7 (and PKCS5) padding: fill with ll bytes, with ll = padding_len
771 */
Paul Bakker23986e52011-04-24 08:57:21 +0000772static void add_pkcs_padding( unsigned char *output, size_t output_len,
773 size_t data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000774{
Paul Bakker23986e52011-04-24 08:57:21 +0000775 size_t padding_len = output_len - data_len;
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100776 unsigned char i;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000777
778 for( i = 0; i < padding_len; i++ )
Paul Bakker23986e52011-04-24 08:57:21 +0000779 output[data_len + i] = (unsigned char) padding_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000780}
781
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200782static int get_pkcs_padding( unsigned char *input, size_t input_len,
783 size_t *data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000784{
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100785 size_t i, pad_idx;
786 unsigned char padding_len, bad = 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000787
Paul Bakkera885d682011-01-20 16:35:05 +0000788 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200789 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000790
791 padding_len = input[input_len - 1];
Paul Bakker8123e9d2011-01-06 15:37:30 +0000792 *data_len = input_len - padding_len;
793
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100794 /* Avoid logical || since it results in a branch */
795 bad |= padding_len > input_len;
796 bad |= padding_len == 0;
797
798 /* The number of bytes checked must be independent of padding_len,
799 * so pick input_len, which is usually 8 or 16 (one block) */
800 pad_idx = input_len - padding_len;
801 for( i = 0; i < input_len; i++ )
802 bad |= ( input[i] ^ padding_len ) * ( i >= pad_idx );
803
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200804 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000805}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200806#endif /* MBEDTLS_CIPHER_PADDING_PKCS7 */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000807
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200808#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200809/*
810 * One and zeros padding: fill with 80 00 ... 00
811 */
812static void add_one_and_zeros_padding( unsigned char *output,
813 size_t output_len, size_t data_len )
814{
815 size_t padding_len = output_len - data_len;
816 unsigned char i = 0;
817
818 output[data_len] = 0x80;
819 for( i = 1; i < padding_len; i++ )
820 output[data_len + i] = 0x00;
821}
822
823static int get_one_and_zeros_padding( unsigned char *input, size_t input_len,
824 size_t *data_len )
825{
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100826 size_t i;
827 unsigned char done = 0, prev_done, bad;
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200828
829 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200830 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200831
Micha Krausba8316f2017-12-23 23:40:08 +0100832 bad = 0x80;
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100833 *data_len = 0;
834 for( i = input_len; i > 0; i-- )
835 {
836 prev_done = done;
Micha Krausba8316f2017-12-23 23:40:08 +0100837 done |= ( input[i - 1] != 0 );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100838 *data_len |= ( i - 1 ) * ( done != prev_done );
Micha Krausba8316f2017-12-23 23:40:08 +0100839 bad ^= input[i - 1] * ( done != prev_done );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100840 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200841
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200842 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200843
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200844}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200845#endif /* MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS */
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200846
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200847#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200848/*
849 * Zeros and len padding: fill with 00 ... 00 ll, where ll is padding length
850 */
851static void add_zeros_and_len_padding( unsigned char *output,
852 size_t output_len, size_t data_len )
853{
854 size_t padding_len = output_len - data_len;
855 unsigned char i = 0;
856
857 for( i = 1; i < padding_len; i++ )
858 output[data_len + i - 1] = 0x00;
859 output[output_len - 1] = (unsigned char) padding_len;
860}
861
862static int get_zeros_and_len_padding( unsigned char *input, size_t input_len,
863 size_t *data_len )
864{
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100865 size_t i, pad_idx;
866 unsigned char padding_len, bad = 0;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200867
868 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200869 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200870
871 padding_len = input[input_len - 1];
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200872 *data_len = input_len - padding_len;
873
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100874 /* Avoid logical || since it results in a branch */
875 bad |= padding_len > input_len;
876 bad |= padding_len == 0;
877
878 /* The number of bytes checked must be independent of padding_len */
879 pad_idx = input_len - padding_len;
880 for( i = 0; i < input_len - 1; i++ )
881 bad |= input[i] * ( i >= pad_idx );
882
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200883 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200884}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200885#endif /* MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN */
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200886
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200887#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200888/*
889 * Zero padding: fill with 00 ... 00
890 */
891static void add_zeros_padding( unsigned char *output,
892 size_t output_len, size_t data_len )
893{
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200894 size_t i;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200895
896 for( i = data_len; i < output_len; i++ )
897 output[i] = 0x00;
898}
899
900static int get_zeros_padding( unsigned char *input, size_t input_len,
901 size_t *data_len )
902{
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100903 size_t i;
904 unsigned char done = 0, prev_done;
905
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200906 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200907 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200908
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100909 *data_len = 0;
910 for( i = input_len; i > 0; i-- )
911 {
912 prev_done = done;
913 done |= ( input[i-1] != 0 );
914 *data_len |= i * ( done != prev_done );
915 }
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200916
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200917 return( 0 );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200918}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200919#endif /* MBEDTLS_CIPHER_PADDING_ZEROS */
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200920
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200921/*
922 * No padding: don't pad :)
923 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200924 * There is no add_padding function (check for NULL in mbedtls_cipher_finish)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200925 * but a trivial get_padding function
926 */
927static int get_no_padding( unsigned char *input, size_t input_len,
928 size_t *data_len )
929{
930 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200931 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200932
933 *data_len = input_len;
934
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200935 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200936}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200937#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200938
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200939int mbedtls_cipher_finish( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +0200940 unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000941{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500942 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200943 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000944
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000945#if defined(MBEDTLS_USE_PSA_CRYPTO)
946 if( ctx->psa_enabled == 1 )
947 {
948 /* While PSA Crypto has an API for multipart
949 * operations, we currently don't make it
950 * accessible through the cipher layer. */
951 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
952 }
953#endif /* MBEDTLS_USE_PSA_CRYPTO */
954
Paul Bakker8123e9d2011-01-06 15:37:30 +0000955 *olen = 0;
956
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200957 if( MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100958 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200959 MBEDTLS_MODE_CTR == ctx->cipher_info->mode ||
960 MBEDTLS_MODE_GCM == ctx->cipher_info->mode ||
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200961 MBEDTLS_MODE_CCM_STAR_NO_TAG == ctx->cipher_info->mode ||
Jaeden Ameroc6539902018-04-30 17:17:41 +0100962 MBEDTLS_MODE_XTS == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200963 MBEDTLS_MODE_STREAM == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000964 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200965 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000966 }
967
Daniel King8fe47012016-05-17 20:33:28 -0300968 if ( ( MBEDTLS_CIPHER_CHACHA20 == ctx->cipher_info->type ) ||
969 ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type ) )
Daniel Kingbd920622016-05-15 19:56:20 -0300970 {
971 return( 0 );
972 }
973
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200974 if( MBEDTLS_MODE_ECB == ctx->cipher_info->mode )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200975 {
976 if( ctx->unprocessed_len != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200977 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200978
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200979 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200980 }
981
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200982#if defined(MBEDTLS_CIPHER_MODE_CBC)
983 if( MBEDTLS_MODE_CBC == ctx->cipher_info->mode )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000984 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200985 int ret = 0;
986
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200987 if( MBEDTLS_ENCRYPT == ctx->operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000988 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200989 /* check for 'no padding' mode */
990 if( NULL == ctx->add_padding )
991 {
992 if( 0 != ctx->unprocessed_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200993 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200994
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200995 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200996 }
997
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200998 ctx->add_padding( ctx->unprocessed_data, mbedtls_cipher_get_iv_size( ctx ),
Paul Bakker8123e9d2011-01-06 15:37:30 +0000999 ctx->unprocessed_len );
1000 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001001 else if( mbedtls_cipher_get_block_size( ctx ) != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001002 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001003 /*
1004 * For decrypt operations, expect a full block,
1005 * or an empty block if no padding
1006 */
1007 if( NULL == ctx->add_padding && 0 == ctx->unprocessed_len )
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001008 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001009
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001010 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001011 }
1012
1013 /* cipher block */
Paul Bakkerff61a782011-06-09 15:42:02 +00001014 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001015 ctx->operation, mbedtls_cipher_get_block_size( ctx ), ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +00001016 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001017 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001018 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001019 }
1020
1021 /* Set output size for decryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001022 if( MBEDTLS_DECRYPT == ctx->operation )
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001023 return( ctx->get_padding( output, mbedtls_cipher_get_block_size( ctx ),
1024 olen ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001025
1026 /* Set output size for encryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001027 *olen = mbedtls_cipher_get_block_size( ctx );
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001028 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001029 }
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001030#else
1031 ((void) output);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001032#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +00001033
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001034 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001035}
1036
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001037#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Hanno Becker18597cd2018-11-09 16:36:33 +00001038int mbedtls_cipher_set_padding_mode( mbedtls_cipher_context_t *ctx,
1039 mbedtls_cipher_padding_t mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001040{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001041 if( NULL == ctx->cipher_info || MBEDTLS_MODE_CBC != ctx->cipher_info->mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001042 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001043 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001044 }
1045
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001046#if defined(MBEDTLS_USE_PSA_CRYPTO)
1047 if( ctx->psa_enabled == 1 )
1048 {
1049 /* While PSA Crypto knows about CBC padding
1050 * schemes, we currently don't make them
1051 * accessible through the cipher layer. */
1052 if( mode != MBEDTLS_PADDING_NONE )
1053 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1054
1055 return( 0 );
1056 }
1057#endif /* MBEDTLS_USE_PSA_CRYPTO */
1058
Paul Bakker1a45d912013-08-14 12:04:26 +02001059 switch( mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001060 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001061#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
1062 case MBEDTLS_PADDING_PKCS7:
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001063 ctx->add_padding = add_pkcs_padding;
1064 ctx->get_padding = get_pkcs_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001065 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001066#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001067#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
1068 case MBEDTLS_PADDING_ONE_AND_ZEROS:
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +02001069 ctx->add_padding = add_one_and_zeros_padding;
1070 ctx->get_padding = get_one_and_zeros_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001071 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001072#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001073#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
1074 case MBEDTLS_PADDING_ZEROS_AND_LEN:
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +02001075 ctx->add_padding = add_zeros_and_len_padding;
1076 ctx->get_padding = get_zeros_and_len_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001077 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001078#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001079#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
1080 case MBEDTLS_PADDING_ZEROS:
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +02001081 ctx->add_padding = add_zeros_padding;
1082 ctx->get_padding = get_zeros_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 case MBEDTLS_PADDING_NONE:
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001086 ctx->add_padding = NULL;
1087 ctx->get_padding = get_no_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001088 break;
1089
1090 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001091 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001092 }
1093
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001094 return( 0 );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001095}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001096#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001097
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001098#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001099int mbedtls_cipher_write_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001100 unsigned char *tag, size_t tag_len )
1101{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001102 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001103 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001104
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001105 if( MBEDTLS_ENCRYPT != ctx->operation )
1106 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001107
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001108#if defined(MBEDTLS_USE_PSA_CRYPTO)
1109 if( ctx->psa_enabled == 1 )
1110 {
1111 /* While PSA Crypto has an API for multipart
1112 * operations, we currently don't make it
1113 * accessible through the cipher layer. */
1114 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001115 }
1116#endif /* MBEDTLS_USE_PSA_CRYPTO */
1117
Daniel King8fe47012016-05-17 20:33:28 -03001118#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001119 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Gilles Peskine5a7be102021-06-23 21:51:32 +02001120 {
1121 size_t output_length;
1122 /* The code here doesn't yet support alternative implementations
1123 * that can delay up to a block of output. */
Hanno Becker18597cd2018-11-09 16:36:33 +00001124 return( mbedtls_gcm_finish( (mbedtls_gcm_context *) ctx->cipher_ctx,
Gilles Peskine5a7be102021-06-23 21:51:32 +02001125 NULL, 0, &output_length,
Hanno Becker18597cd2018-11-09 16:36:33 +00001126 tag, tag_len ) );
Gilles Peskine5a7be102021-06-23 21:51:32 +02001127 }
Daniel King8fe47012016-05-17 20:33:28 -03001128#endif
1129
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001130#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001131 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1132 {
1133 /* Don't allow truncated MAC for Poly1305 */
1134 if ( tag_len != 16U )
1135 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1136
Hanno Becker18597cd2018-11-09 16:36:33 +00001137 return( mbedtls_chachapoly_finish(
1138 (mbedtls_chachapoly_context*) ctx->cipher_ctx, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001139 }
1140#endif
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001141
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001142 return( 0 );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001143}
Paul Bakker9af723c2014-05-01 13:03:14 +02001144
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001145int mbedtls_cipher_check_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001146 const unsigned char *tag, size_t tag_len )
1147{
Daniel King8fe47012016-05-17 20:33:28 -03001148 unsigned char check_tag[16];
Janos Follath24eed8d2019-11-22 13:21:35 +00001149 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001150
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001151 if( ctx->cipher_info == NULL )
1152 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1153
1154 if( MBEDTLS_DECRYPT != ctx->operation )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001155 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001156 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001157 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001158
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001159#if defined(MBEDTLS_USE_PSA_CRYPTO)
1160 if( ctx->psa_enabled == 1 )
1161 {
1162 /* While PSA Crypto has an API for multipart
1163 * operations, we currently don't make it
1164 * accessible through the cipher layer. */
1165 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1166 }
1167#endif /* MBEDTLS_USE_PSA_CRYPTO */
1168
Gilles Peskinee7835d92021-12-13 12:32:43 +01001169 /* Status to return on a non-authenticated algorithm. It would make sense
1170 * to return MBEDTLS_ERR_CIPHER_INVALID_CONTEXT or perhaps
1171 * MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA, but at the time I write this our
1172 * unit tests assume 0. */
1173 ret = 0;
1174
Daniel King8fe47012016-05-17 20:33:28 -03001175#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001176 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001177 {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001178 size_t output_length;
1179 /* The code here doesn't yet support alternative implementations
1180 * that can delay up to a block of output. */
1181
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001182 if( tag_len > sizeof( check_tag ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001183 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001184
Hanno Becker18597cd2018-11-09 16:36:33 +00001185 if( 0 != ( ret = mbedtls_gcm_finish(
1186 (mbedtls_gcm_context *) ctx->cipher_ctx,
Gilles Peskine5a7be102021-06-23 21:51:32 +02001187 NULL, 0, &output_length,
Hanno Becker18597cd2018-11-09 16:36:33 +00001188 check_tag, tag_len ) ) )
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001189 {
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001190 return( ret );
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001191 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001192
1193 /* Check the tag in "constant-time" */
Gabor Mezei90437e32021-10-20 11:59:27 +02001194 if( mbedtls_ct_memcmp( tag, check_tag, tag_len ) != 0 )
Gilles Peskinecd742982021-12-13 16:57:47 +01001195 {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001196 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001197 goto exit;
1198 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001199 }
Daniel King8fe47012016-05-17 20:33:28 -03001200#endif /* MBEDTLS_GCM_C */
1201
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001202#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001203 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1204 {
1205 /* Don't allow truncated MAC for Poly1305 */
1206 if ( tag_len != sizeof( check_tag ) )
1207 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1208
Hanno Becker18597cd2018-11-09 16:36:33 +00001209 ret = mbedtls_chachapoly_finish(
1210 (mbedtls_chachapoly_context*) ctx->cipher_ctx, check_tag );
Daniel King8fe47012016-05-17 20:33:28 -03001211 if ( ret != 0 )
1212 {
1213 return( ret );
1214 }
1215
1216 /* Check the tag in "constant-time" */
Gabor Mezei90437e32021-10-20 11:59:27 +02001217 if( mbedtls_ct_memcmp( tag, check_tag, tag_len ) != 0 )
Gilles Peskinecd742982021-12-13 16:57:47 +01001218 {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001219 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001220 goto exit;
1221 }
Daniel King8fe47012016-05-17 20:33:28 -03001222 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001223#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001224
Gilles Peskinecd742982021-12-13 16:57:47 +01001225exit:
Gilles Peskinee7835d92021-12-13 12:32:43 +01001226 mbedtls_platform_zeroize( check_tag, tag_len );
1227 return( ret );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001228}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001229#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001230
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001231/*
1232 * Packet-oriented wrapper for non-AEAD modes
1233 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001234int mbedtls_cipher_crypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001235 const unsigned char *iv, size_t iv_len,
1236 const unsigned char *input, size_t ilen,
1237 unsigned char *output, size_t *olen )
1238{
Janos Follath24eed8d2019-11-22 13:21:35 +00001239 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001240 size_t finish_olen;
1241
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001242#if defined(MBEDTLS_USE_PSA_CRYPTO)
1243 if( ctx->psa_enabled == 1 )
1244 {
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001245 /* As in the non-PSA case, we don't check that
1246 * a key has been set. If not, the key slot will
1247 * still be in its default state of 0, which is
1248 * guaranteed to be invalid, hence the PSA-call
1249 * below will gracefully fail. */
1250 mbedtls_cipher_context_psa * const cipher_psa =
1251 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1252
1253 psa_status_t status;
Jaeden Amerofe96fbe2019-02-20 10:32:28 +00001254 psa_cipher_operation_t cipher_op = PSA_CIPHER_OPERATION_INIT;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001255 size_t part_len;
1256
1257 if( ctx->operation == MBEDTLS_DECRYPT )
1258 {
1259 status = psa_cipher_decrypt_setup( &cipher_op,
1260 cipher_psa->slot,
1261 cipher_psa->alg );
1262 }
1263 else if( ctx->operation == MBEDTLS_ENCRYPT )
1264 {
1265 status = psa_cipher_encrypt_setup( &cipher_op,
1266 cipher_psa->slot,
1267 cipher_psa->alg );
1268 }
1269 else
1270 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1271
1272 /* In the following, we can immediately return on an error,
1273 * because the PSA Crypto API guarantees that cipher operations
1274 * are terminated by unsuccessful calls to psa_cipher_update(),
1275 * and by any call to psa_cipher_finish(). */
1276 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001277 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001278
Przemyslaw Stekiel80c6a8e2021-09-29 12:13:11 +02001279 if( ctx->cipher_info->mode != MBEDTLS_MODE_ECB )
1280 {
1281 status = psa_cipher_set_iv( &cipher_op, iv, iv_len );
1282 if( status != PSA_SUCCESS )
1283 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
1284 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001285
1286 status = psa_cipher_update( &cipher_op,
1287 input, ilen,
1288 output, ilen, olen );
1289 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001290 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001291
1292 status = psa_cipher_finish( &cipher_op,
1293 output + *olen, ilen - *olen,
1294 &part_len );
1295 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001296 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001297
1298 *olen += part_len;
1299 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001300 }
1301#endif /* MBEDTLS_USE_PSA_CRYPTO */
1302
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001303 if( ( ret = mbedtls_cipher_set_iv( ctx, iv, iv_len ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001304 return( ret );
1305
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001306 if( ( ret = mbedtls_cipher_reset( ctx ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001307 return( ret );
1308
Hanno Becker18597cd2018-11-09 16:36:33 +00001309 if( ( ret = mbedtls_cipher_update( ctx, input, ilen,
1310 output, olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001311 return( ret );
1312
Hanno Becker18597cd2018-11-09 16:36:33 +00001313 if( ( ret = mbedtls_cipher_finish( ctx, output + *olen,
1314 &finish_olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001315 return( ret );
1316
1317 *olen += finish_olen;
1318
1319 return( 0 );
1320}
1321
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001322#if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001323/*
TRodziewicz18efb732021-04-29 23:12:19 +02001324 * Packet-oriented encryption for AEAD modes: internal function used by
1325 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001326 */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001327static int mbedtls_cipher_aead_encrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001328 const unsigned char *iv, size_t iv_len,
1329 const unsigned char *ad, size_t ad_len,
1330 const unsigned char *input, size_t ilen,
1331 unsigned char *output, size_t *olen,
1332 unsigned char *tag, size_t tag_len )
1333{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001334#if defined(MBEDTLS_USE_PSA_CRYPTO)
1335 if( ctx->psa_enabled == 1 )
1336 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001337 /* As in the non-PSA case, we don't check that
1338 * a key has been set. If not, the key slot will
1339 * still be in its default state of 0, which is
1340 * guaranteed to be invalid, hence the PSA-call
1341 * below will gracefully fail. */
1342 mbedtls_cipher_context_psa * const cipher_psa =
1343 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1344
1345 psa_status_t status;
1346
1347 /* PSA Crypto API always writes the authentication tag
1348 * at the end of the encrypted message. */
Gilles Peskine70edd682020-12-03 20:27:27 +01001349 if( output == NULL || tag != output + ilen )
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001350 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1351
1352 status = psa_aead_encrypt( cipher_psa->slot,
1353 cipher_psa->alg,
1354 iv, iv_len,
1355 ad, ad_len,
1356 input, ilen,
1357 output, ilen + tag_len, olen );
1358 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001359 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001360
1361 *olen -= tag_len;
1362 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001363 }
1364#endif /* MBEDTLS_USE_PSA_CRYPTO */
1365
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001366#if defined(MBEDTLS_GCM_C)
1367 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001368 {
1369 *olen = ilen;
Hanno Becker18597cd2018-11-09 16:36:33 +00001370 return( mbedtls_gcm_crypt_and_tag( ctx->cipher_ctx, MBEDTLS_GCM_ENCRYPT,
1371 ilen, iv, iv_len, ad, ad_len,
1372 input, output, tag_len, tag ) );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001373 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001374#endif /* MBEDTLS_GCM_C */
1375#if defined(MBEDTLS_CCM_C)
1376 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001377 {
1378 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001379 return( mbedtls_ccm_encrypt_and_tag( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001380 iv, iv_len, ad, ad_len, input, output,
1381 tag, tag_len ) );
1382 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001383#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001384#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001385 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1386 {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001387 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001388 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001389 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001390 {
1391 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1392 }
1393
1394 *olen = ilen;
Manuel Pégourié-Gonnard3dc62a02018-06-04 12:18:19 +02001395 return( mbedtls_chachapoly_encrypt_and_tag( ctx->cipher_ctx,
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001396 ilen, iv, ad, ad_len, input, output, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001397 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001398#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001399
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001400 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001401}
1402
1403/*
TRodziewicz18efb732021-04-29 23:12:19 +02001404 * Packet-oriented encryption for AEAD modes: internal function used by
1405 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001406 */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001407static int mbedtls_cipher_aead_decrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001408 const unsigned char *iv, size_t iv_len,
1409 const unsigned char *ad, size_t ad_len,
1410 const unsigned char *input, size_t ilen,
1411 unsigned char *output, size_t *olen,
1412 const unsigned char *tag, size_t tag_len )
1413{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001414#if defined(MBEDTLS_USE_PSA_CRYPTO)
1415 if( ctx->psa_enabled == 1 )
1416 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001417 /* As in the non-PSA case, we don't check that
1418 * a key has been set. If not, the key slot will
1419 * still be in its default state of 0, which is
1420 * guaranteed to be invalid, hence the PSA-call
1421 * below will gracefully fail. */
1422 mbedtls_cipher_context_psa * const cipher_psa =
1423 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1424
1425 psa_status_t status;
1426
1427 /* PSA Crypto API always writes the authentication tag
1428 * at the end of the encrypted message. */
Gilles Peskine70edd682020-12-03 20:27:27 +01001429 if( input == NULL || tag != input + ilen )
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001430 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1431
1432 status = psa_aead_decrypt( cipher_psa->slot,
1433 cipher_psa->alg,
1434 iv, iv_len,
1435 ad, ad_len,
1436 input, ilen + tag_len,
1437 output, ilen, olen );
1438 if( status == PSA_ERROR_INVALID_SIGNATURE )
1439 return( MBEDTLS_ERR_CIPHER_AUTH_FAILED );
1440 else if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001441 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001442
1443 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001444 }
1445#endif /* MBEDTLS_USE_PSA_CRYPTO */
1446
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001447#if defined(MBEDTLS_GCM_C)
1448 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001449 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001450 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001451
1452 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001453 ret = mbedtls_gcm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001454 iv, iv_len, ad, ad_len,
1455 tag, tag_len, input, output );
1456
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001457 if( ret == MBEDTLS_ERR_GCM_AUTH_FAILED )
1458 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001459
1460 return( ret );
1461 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001462#endif /* MBEDTLS_GCM_C */
1463#if defined(MBEDTLS_CCM_C)
1464 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001465 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001466 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001467
1468 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001469 ret = mbedtls_ccm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001470 iv, iv_len, ad, ad_len,
1471 input, output, tag, tag_len );
1472
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001473 if( ret == MBEDTLS_ERR_CCM_AUTH_FAILED )
1474 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001475
1476 return( ret );
1477 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001478#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001479#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001480 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1481 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001482 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel King8fe47012016-05-17 20:33:28 -03001483
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001484 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001485 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001486 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001487 {
1488 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1489 }
1490
1491 *olen = ilen;
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001492 ret = mbedtls_chachapoly_auth_decrypt( ctx->cipher_ctx, ilen,
1493 iv, ad, ad_len, tag, input, output );
Daniel King8fe47012016-05-17 20:33:28 -03001494
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001495 if( ret == MBEDTLS_ERR_CHACHAPOLY_AUTH_FAILED )
1496 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Daniel King8fe47012016-05-17 20:33:28 -03001497
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001498 return( ret );
Daniel King8fe47012016-05-17 20:33:28 -03001499 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001500#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001501
1502 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1503}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001504#endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001505
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001506#if defined(MBEDTLS_CIPHER_MODE_AEAD) || defined(MBEDTLS_NIST_KW_C)
1507/*
1508 * Packet-oriented encryption for AEAD/NIST_KW: public function.
1509 */
1510int mbedtls_cipher_auth_encrypt_ext( mbedtls_cipher_context_t *ctx,
1511 const unsigned char *iv, size_t iv_len,
1512 const unsigned char *ad, size_t ad_len,
1513 const unsigned char *input, size_t ilen,
1514 unsigned char *output, size_t output_len,
1515 size_t *olen, size_t tag_len )
1516{
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001517#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001518 if(
1519#if defined(MBEDTLS_USE_PSA_CRYPTO)
1520 ctx->psa_enabled == 0 &&
1521#endif
1522 ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1523 MBEDTLS_MODE_KWP == ctx->cipher_info->mode ) )
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001524 {
1525 mbedtls_nist_kw_mode_t mode = ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ) ?
1526 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
1527
1528 /* There is no iv, tag or ad associated with KW and KWP,
1529 * so these length should be 0 as documented. */
1530 if( iv_len != 0 || tag_len != 0 || ad_len != 0 )
1531 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1532
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001533 (void) iv;
1534 (void) ad;
1535
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001536 return( mbedtls_nist_kw_wrap( ctx->cipher_ctx, mode, input, ilen,
1537 output, olen, output_len ) );
1538 }
1539#endif /* MBEDTLS_NIST_KW_C */
1540
1541#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1542 /* AEAD case: check length before passing on to shared function */
1543 if( output_len < ilen + tag_len )
1544 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1545
1546 int ret = mbedtls_cipher_aead_encrypt( ctx, iv, iv_len, ad, ad_len,
1547 input, ilen, output, olen,
1548 output + ilen, tag_len );
1549 *olen += tag_len;
1550 return( ret );
1551#else
1552 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1553#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1554}
1555
1556/*
1557 * Packet-oriented decryption for AEAD/NIST_KW: public function.
1558 */
1559int mbedtls_cipher_auth_decrypt_ext( mbedtls_cipher_context_t *ctx,
1560 const unsigned char *iv, size_t iv_len,
1561 const unsigned char *ad, size_t ad_len,
1562 const unsigned char *input, size_t ilen,
1563 unsigned char *output, size_t output_len,
1564 size_t *olen, size_t tag_len )
1565{
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001566#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001567 if(
1568#if defined(MBEDTLS_USE_PSA_CRYPTO)
1569 ctx->psa_enabled == 0 &&
1570#endif
1571 ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1572 MBEDTLS_MODE_KWP == ctx->cipher_info->mode ) )
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001573 {
1574 mbedtls_nist_kw_mode_t mode = ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ) ?
1575 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
1576
1577 /* There is no iv, tag or ad associated with KW and KWP,
1578 * so these length should be 0 as documented. */
1579 if( iv_len != 0 || tag_len != 0 || ad_len != 0 )
1580 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1581
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001582 (void) iv;
1583 (void) ad;
1584
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001585 return( mbedtls_nist_kw_unwrap( ctx->cipher_ctx, mode, input, ilen,
1586 output, olen, output_len ) );
1587 }
1588#endif /* MBEDTLS_NIST_KW_C */
1589
1590#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1591 /* AEAD case: check length before passing on to shared function */
1592 if( ilen < tag_len || output_len < ilen - tag_len )
1593 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1594
1595 return( mbedtls_cipher_aead_decrypt( ctx, iv, iv_len, ad, ad_len,
1596 input, ilen - tag_len, output, olen,
1597 input + ilen - tag_len, tag_len ) );
1598#else
1599 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1600#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1601}
1602#endif /* MBEDTLS_CIPHER_MODE_AEAD || MBEDTLS_NIST_KW_C */
1603
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001604#endif /* MBEDTLS_CIPHER_C */