blob: 4de290a4691f8b379c5f657a87fda8d8a09fabf7 [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#include "mbedtls/platform.h"
Simon Butcher327398a2016-10-05 14:09:11 +010067
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050068#define CIPHER_VALIDATE_RET( cond ) \
69 MBEDTLS_INTERNAL_VALIDATE_RET( cond, MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA )
70#define CIPHER_VALIDATE( cond ) \
71 MBEDTLS_INTERNAL_VALIDATE( cond )
72
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020073static int supported_init = 0;
Paul Bakker72f62662011-01-16 21:27:44 +000074
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020075const int *mbedtls_cipher_list( void )
Paul Bakker72f62662011-01-16 21:27:44 +000076{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020078 int *type;
79
80 if( ! supported_init )
81 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082 def = mbedtls_cipher_definitions;
83 type = mbedtls_cipher_supported;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020084
85 while( def->type != 0 )
86 *type++ = (*def++).type;
87
88 *type = 0;
89
90 supported_init = 1;
91 }
92
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020093 return( mbedtls_cipher_supported );
Paul Bakker72f62662011-01-16 21:27:44 +000094}
95
Hanno Becker18597cd2018-11-09 16:36:33 +000096const mbedtls_cipher_info_t *mbedtls_cipher_info_from_type(
97 const mbedtls_cipher_type_t cipher_type )
Paul Bakker8123e9d2011-01-06 15:37:30 +000098{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020099 const mbedtls_cipher_definition_t *def;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200100
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200101 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200102 if( def->type == cipher_type )
103 return( def->info );
Paul Bakker343a8702011-06-09 14:27:58 +0000104
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200105 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000106}
107
Hanno Becker18597cd2018-11-09 16:36:33 +0000108const mbedtls_cipher_info_t *mbedtls_cipher_info_from_string(
109 const char *cipher_name )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000110{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200111 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200112
Paul Bakker8123e9d2011-01-06 15:37:30 +0000113 if( NULL == cipher_name )
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200114 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000115
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200116 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnardcb46fd82015-05-28 17:06:07 +0200117 if( ! strcmp( def->info->name, cipher_name ) )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200118 return( def->info );
Paul Bakkerfab5c822012-02-06 16:45:10 +0000119
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200120 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000121}
122
Hanno Becker18597cd2018-11-09 16:36:33 +0000123const mbedtls_cipher_info_t *mbedtls_cipher_info_from_values(
124 const mbedtls_cipher_id_t cipher_id,
125 int key_bitlen,
126 const mbedtls_cipher_mode_t mode )
Paul Bakkerf46b6952013-09-09 00:08:26 +0200127{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200128 const mbedtls_cipher_definition_t *def;
Paul Bakkerf46b6952013-09-09 00:08:26 +0200129
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200130 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200131 if( def->info->base->cipher == cipher_id &&
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200132 def->info->key_bitlen == (unsigned) key_bitlen &&
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200133 def->info->mode == mode )
134 return( def->info );
Paul Bakkerf46b6952013-09-09 00:08:26 +0200135
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200136 return( NULL );
Paul Bakkerf46b6952013-09-09 00:08:26 +0200137}
138
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200139void mbedtls_cipher_init( mbedtls_cipher_context_t *ctx )
Paul Bakker84bbeb52014-07-01 14:53:22 +0200140{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500141 CIPHER_VALIDATE( ctx != NULL );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200142 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
Paul Bakker84bbeb52014-07-01 14:53:22 +0200143}
144
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200145void mbedtls_cipher_free( mbedtls_cipher_context_t *ctx )
Paul Bakker84bbeb52014-07-01 14:53:22 +0200146{
147 if( ctx == NULL )
148 return;
149
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000150#if defined(MBEDTLS_USE_PSA_CRYPTO)
151 if( ctx->psa_enabled == 1 )
152 {
Hanno Becker6118e432018-11-09 16:47:20 +0000153 if( ctx->cipher_ctx != NULL )
154 {
155 mbedtls_cipher_context_psa * const cipher_psa =
156 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
157
Hanno Becker19086552018-11-17 22:11:16 +0000158 if( cipher_psa->slot_state == MBEDTLS_CIPHER_PSA_KEY_OWNED )
Hanno Becker6118e432018-11-09 16:47:20 +0000159 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000160 /* xxx_free() doesn't allow to return failures. */
161 (void) psa_destroy_key( cipher_psa->slot );
Hanno Becker6118e432018-11-09 16:47:20 +0000162 }
163
164 mbedtls_platform_zeroize( cipher_psa, sizeof( *cipher_psa ) );
165 mbedtls_free( cipher_psa );
166 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000167
168 mbedtls_platform_zeroize( ctx, sizeof(mbedtls_cipher_context_t) );
169 return;
170 }
171#endif /* MBEDTLS_USE_PSA_CRYPTO */
172
Simon Butcher327398a2016-10-05 14:09:11 +0100173#if defined(MBEDTLS_CMAC_C)
174 if( ctx->cmac_ctx )
175 {
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500176 mbedtls_platform_zeroize( ctx->cmac_ctx,
177 sizeof( mbedtls_cmac_context_t ) );
Simon Butcher327398a2016-10-05 14:09:11 +0100178 mbedtls_free( ctx->cmac_ctx );
179 }
180#endif
181
Paul Bakker84bbeb52014-07-01 14:53:22 +0200182 if( ctx->cipher_ctx )
183 ctx->cipher_info->base->ctx_free_func( ctx->cipher_ctx );
184
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500185 mbedtls_platform_zeroize( ctx, sizeof(mbedtls_cipher_context_t) );
Paul Bakker84bbeb52014-07-01 14:53:22 +0200186}
187
Hanno Becker18597cd2018-11-09 16:36:33 +0000188int mbedtls_cipher_setup( mbedtls_cipher_context_t *ctx,
189 const mbedtls_cipher_info_t *cipher_info )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000190{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500191 CIPHER_VALIDATE_RET( ctx != NULL );
192 if( cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200193 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000194
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200195 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000196
Paul Bakker343a8702011-06-09 14:27:58 +0000197 if( NULL == ( ctx->cipher_ctx = cipher_info->base->ctx_alloc_func() ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200198 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000199
200 ctx->cipher_info = cipher_info;
201
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200202#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200203 /*
204 * Ignore possible errors caused by a cipher mode that doesn't use padding
205 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200206#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
207 (void) mbedtls_cipher_set_padding_mode( ctx, MBEDTLS_PADDING_PKCS7 );
Paul Bakker48e93c82013-08-14 12:21:18 +0200208#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200209 (void) mbedtls_cipher_set_padding_mode( ctx, MBEDTLS_PADDING_NONE );
Paul Bakker48e93c82013-08-14 12:21:18 +0200210#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200212
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200213 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000214}
215
Hanno Becker4ccfc402018-11-09 16:10:57 +0000216#if defined(MBEDTLS_USE_PSA_CRYPTO)
Przemek Stekielef1fb4a2022-05-06 10:55:10 +0200217#if !defined(MBEDTLS_DEPRECATED_REMOVED)
Hanno Becker4ccfc402018-11-09 16:10:57 +0000218int mbedtls_cipher_setup_psa( mbedtls_cipher_context_t *ctx,
Hanno Becker20120b32018-11-12 16:26:27 +0000219 const mbedtls_cipher_info_t *cipher_info,
220 size_t taglen )
Hanno Becker4ccfc402018-11-09 16:10:57 +0000221{
Hanno Beckeredda8b82018-11-12 11:59:30 +0000222 psa_algorithm_t alg;
223 mbedtls_cipher_context_psa *cipher_psa;
224
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000225 if( NULL == cipher_info || NULL == ctx )
226 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
227
Hanno Becker4ee7e762018-11-17 22:00:38 +0000228 /* Check that the underlying cipher mode and cipher type are
229 * supported by the underlying PSA Crypto implementation. */
Hanno Becker20120b32018-11-12 16:26:27 +0000230 alg = mbedtls_psa_translate_cipher_mode( cipher_info->mode, taglen );
Hanno Becker4ee7e762018-11-17 22:00:38 +0000231 if( alg == 0 )
232 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
233 if( mbedtls_psa_translate_cipher_type( cipher_info->type ) == 0 )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000234 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Becker6118e432018-11-09 16:47:20 +0000235
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000236 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
237
Hanno Beckeredda8b82018-11-12 11:59:30 +0000238 cipher_psa = mbedtls_calloc( 1, sizeof(mbedtls_cipher_context_psa ) );
239 if( cipher_psa == NULL )
240 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
241 cipher_psa->alg = alg;
242 ctx->cipher_ctx = cipher_psa;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000243 ctx->cipher_info = cipher_info;
244 ctx->psa_enabled = 1;
245 return( 0 );
Hanno Becker4ccfc402018-11-09 16:10:57 +0000246}
Przemek Stekielef1fb4a2022-05-06 10:55:10 +0200247#endif /* MBEDTLS_DEPRECATED_REMOVED */
Hanno Becker4ccfc402018-11-09 16:10:57 +0000248#endif /* MBEDTLS_USE_PSA_CRYPTO */
249
Hanno Becker18597cd2018-11-09 16:36:33 +0000250int mbedtls_cipher_setkey( mbedtls_cipher_context_t *ctx,
251 const unsigned char *key,
252 int key_bitlen,
253 const mbedtls_operation_t operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000254{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500255 CIPHER_VALIDATE_RET( ctx != NULL );
256 CIPHER_VALIDATE_RET( key != NULL );
257 CIPHER_VALIDATE_RET( operation == MBEDTLS_ENCRYPT ||
Krzysztof Stachowiake0215d72018-12-17 10:20:30 +0100258 operation == MBEDTLS_DECRYPT );
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500259 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200260 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000261
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000262#if defined(MBEDTLS_USE_PSA_CRYPTO)
263 if( ctx->psa_enabled == 1 )
264 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000265 mbedtls_cipher_context_psa * const cipher_psa =
266 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
267
268 size_t const key_bytelen = ( (size_t) key_bitlen + 7 ) / 8;
269
270 psa_status_t status;
271 psa_key_type_t key_type;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200272 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000273
274 /* PSA Crypto API only accepts byte-aligned keys. */
275 if( key_bitlen % 8 != 0 )
276 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
277
278 /* Don't allow keys to be set multiple times. */
Hanno Becker19086552018-11-17 22:11:16 +0000279 if( cipher_psa->slot_state != MBEDTLS_CIPHER_PSA_KEY_UNSET )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000280 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
281
Andrzej Kurekc7509322019-01-08 09:36:01 -0500282 key_type = mbedtls_psa_translate_cipher_type(
283 ctx->cipher_info->type );
284 if( key_type == 0 )
285 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200286 psa_set_key_type( &attributes, key_type );
Hanno Beckera395d8f2018-11-12 13:33:16 +0000287
288 /* Mbed TLS' cipher layer doesn't enforce the mode of operation
Andrzej Kurekf410a5c2019-01-15 03:33:35 -0500289 * (encrypt vs. decrypt): it is possible to setup a key for encryption
290 * and use it for AEAD decryption. Until tests relying on this
291 * are changed, allow any usage in PSA. */
Gilles Peskined2d45c12019-05-27 14:53:13 +0200292 psa_set_key_usage_flags( &attributes,
293 /* mbedtls_psa_translate_cipher_operation( operation ); */
294 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT );
295 psa_set_key_algorithm( &attributes, cipher_psa->alg );
Hanno Beckeredda8b82018-11-12 11:59:30 +0000296
Gilles Peskined2d45c12019-05-27 14:53:13 +0200297 status = psa_import_key( &attributes, key, key_bytelen,
298 &cipher_psa->slot );
299 switch( status )
300 {
301 case PSA_SUCCESS:
302 break;
303 case PSA_ERROR_INSUFFICIENT_MEMORY:
304 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
305 case PSA_ERROR_NOT_SUPPORTED:
306 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
307 default:
TRodziewiczb579ccd2021-04-13 14:28:28 +0200308 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200309 }
310 /* Indicate that we own the key slot and need to
311 * destroy it in mbedtls_cipher_free(). */
312 cipher_psa->slot_state = MBEDTLS_CIPHER_PSA_KEY_OWNED;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000313
314 ctx->key_bitlen = key_bitlen;
315 ctx->operation = operation;
316 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000317 }
318#endif /* MBEDTLS_USE_PSA_CRYPTO */
319
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200320 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_KEY_LEN ) == 0 &&
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200321 (int) ctx->cipher_info->key_bitlen != key_bitlen )
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200322 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200323 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200324 }
Manuel Pégourié-Gonnarddd0f57f2013-09-16 11:47:43 +0200325
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200326 ctx->key_bitlen = key_bitlen;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000327 ctx->operation = operation;
328
Paul Bakker343a8702011-06-09 14:27:58 +0000329 /*
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100330 * For OFB, CFB and CTR mode always use the encryption key schedule
Paul Bakker343a8702011-06-09 14:27:58 +0000331 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200332 if( MBEDTLS_ENCRYPT == operation ||
333 MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100334 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200335 MBEDTLS_MODE_CTR == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000336 {
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500337 return( ctx->cipher_info->base->setkey_enc_func( ctx->cipher_ctx, key,
338 ctx->key_bitlen ) );
Paul Bakker343a8702011-06-09 14:27:58 +0000339 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000340
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200341 if( MBEDTLS_DECRYPT == operation )
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500342 return( ctx->cipher_info->base->setkey_dec_func( ctx->cipher_ctx, key,
343 ctx->key_bitlen ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000344
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200345 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000346}
347
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200348int mbedtls_cipher_set_iv( mbedtls_cipher_context_t *ctx,
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500349 const unsigned char *iv,
350 size_t iv_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000351{
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200352 size_t actual_iv_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000353
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500354 CIPHER_VALIDATE_RET( ctx != NULL );
355 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
356 if( ctx->cipher_info == NULL )
357 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000358#if defined(MBEDTLS_USE_PSA_CRYPTO)
359 if( ctx->psa_enabled == 1 )
360 {
361 /* While PSA Crypto has an API for multipart
362 * operations, we currently don't make it
363 * accessible through the cipher layer. */
364 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
365 }
366#endif /* MBEDTLS_USE_PSA_CRYPTO */
367
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200368 /* avoid buffer overflow in ctx->iv */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200369 if( iv_len > MBEDTLS_MAX_IV_LENGTH )
370 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200371
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200372 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_IV_LEN ) != 0 )
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200373 actual_iv_size = iv_len;
374 else
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200375 {
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200376 actual_iv_size = ctx->cipher_info->iv_size;
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200377
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200378 /* avoid reading past the end of input buffer */
379 if( actual_iv_size > iv_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200380 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200381 }
382
Daniel Kingbd920622016-05-15 19:56:20 -0300383#if defined(MBEDTLS_CHACHA20_C)
384 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20 )
385 {
Andrzej Kurek33ca6af2021-12-01 21:58:05 +0100386 /* Even though the actual_iv_size is overwritten with a correct value
387 * of 12 from the cipher info, return an error to indicate that
388 * the input iv_len is wrong. */
389 if( iv_len != 12 )
390 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
391
Daniel Kingbd920622016-05-15 19:56:20 -0300392 if ( 0 != mbedtls_chacha20_starts( (mbedtls_chacha20_context*)ctx->cipher_ctx,
393 iv,
394 0U ) ) /* Initial counter value */
395 {
396 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
397 }
398 }
Andrzej Kurek63439ed2021-12-01 22:19:33 +0100399#if defined(MBEDTLS_CHACHAPOLY_C)
400 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20_POLY1305 &&
401 iv_len != 12 )
402 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
403#endif
Daniel Kingbd920622016-05-15 19:56:20 -0300404#endif
405
Gilles Peskine295fc132021-04-15 18:32:23 +0200406#if defined(MBEDTLS_GCM_C)
407 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
408 {
409 return( mbedtls_gcm_starts( (mbedtls_gcm_context *) ctx->cipher_ctx,
410 ctx->operation,
411 iv, iv_len ) );
412 }
413#endif
414
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200415#if defined(MBEDTLS_CCM_C)
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200416 if( MBEDTLS_MODE_CCM_STAR_NO_TAG == ctx->cipher_info->mode )
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200417 {
418 int set_lengths_result;
419 int ccm_star_mode;
420
421 set_lengths_result = mbedtls_ccm_set_lengths(
422 (mbedtls_ccm_context *) ctx->cipher_ctx,
423 0, 0, 0 );
424 if( set_lengths_result != 0 )
425 return set_lengths_result;
426
427 if( ctx->operation == MBEDTLS_DECRYPT )
428 ccm_star_mode = MBEDTLS_CCM_STAR_DECRYPT;
429 else if( ctx->operation == MBEDTLS_ENCRYPT )
430 ccm_star_mode = MBEDTLS_CCM_STAR_ENCRYPT;
431 else
432 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
433
434 return( mbedtls_ccm_starts( (mbedtls_ccm_context *) ctx->cipher_ctx,
435 ccm_star_mode,
436 iv, iv_len ) );
437 }
438#endif
439
Ron Eldorbb4bbbb2017-10-01 17:04:54 +0300440 if ( actual_iv_size != 0 )
Ron Eldor4e64e0b2017-09-25 18:22:32 +0300441 {
442 memcpy( ctx->iv, iv, actual_iv_size );
443 ctx->iv_size = actual_iv_size;
444 }
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200445
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200446 return( 0 );
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200447}
448
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200449int mbedtls_cipher_reset( mbedtls_cipher_context_t *ctx )
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200450{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500451 CIPHER_VALIDATE_RET( ctx != NULL );
452 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200453 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200454
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000455#if defined(MBEDTLS_USE_PSA_CRYPTO)
456 if( ctx->psa_enabled == 1 )
457 {
458 /* We don't support resetting PSA-based
459 * cipher contexts, yet. */
460 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
461 }
462#endif /* MBEDTLS_USE_PSA_CRYPTO */
463
Paul Bakker8123e9d2011-01-06 15:37:30 +0000464 ctx->unprocessed_len = 0;
465
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200466 return( 0 );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200467}
468
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200469#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200470int mbedtls_cipher_update_ad( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200471 const unsigned char *ad, size_t ad_len )
472{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500473 CIPHER_VALIDATE_RET( ctx != NULL );
474 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
475 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200476 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200477
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000478#if defined(MBEDTLS_USE_PSA_CRYPTO)
479 if( ctx->psa_enabled == 1 )
480 {
481 /* While PSA Crypto has an API for multipart
482 * operations, we currently don't make it
483 * accessible through the cipher layer. */
484 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
485 }
486#endif /* MBEDTLS_USE_PSA_CRYPTO */
487
Daniel King8fe47012016-05-17 20:33:28 -0300488#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200489 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200490 {
Gilles Peskine295fc132021-04-15 18:32:23 +0200491 return( mbedtls_gcm_update_ad( (mbedtls_gcm_context *) ctx->cipher_ctx,
492 ad, ad_len ) );
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200493 }
Daniel King8fe47012016-05-17 20:33:28 -0300494#endif
495
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200496#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -0300497 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
498 {
499 int result;
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200500 mbedtls_chachapoly_mode_t mode;
Daniel King8fe47012016-05-17 20:33:28 -0300501
502 mode = ( ctx->operation == MBEDTLS_ENCRYPT )
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200503 ? MBEDTLS_CHACHAPOLY_ENCRYPT
504 : MBEDTLS_CHACHAPOLY_DECRYPT;
Daniel King8fe47012016-05-17 20:33:28 -0300505
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200506 result = mbedtls_chachapoly_starts( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
Daniel King8fe47012016-05-17 20:33:28 -0300507 ctx->iv,
508 mode );
509 if ( result != 0 )
510 return( result );
511
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500512 return( mbedtls_chachapoly_update_aad( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
513 ad, ad_len ) );
Daniel King8fe47012016-05-17 20:33:28 -0300514 }
515#endif
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200516
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200517 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000518}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200519#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000520
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200521int mbedtls_cipher_update( mbedtls_cipher_context_t *ctx, const unsigned char *input,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200522 size_t ilen, unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000523{
Janos Follath24eed8d2019-11-22 13:21:35 +0000524 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500525 size_t block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000526
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500527 CIPHER_VALIDATE_RET( ctx != NULL );
528 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
529 CIPHER_VALIDATE_RET( output != NULL );
530 CIPHER_VALIDATE_RET( olen != NULL );
531 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200532 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000533
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000534#if defined(MBEDTLS_USE_PSA_CRYPTO)
535 if( ctx->psa_enabled == 1 )
536 {
537 /* While PSA Crypto has an API for multipart
538 * operations, we currently don't make it
539 * accessible through the cipher layer. */
540 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
541 }
542#endif /* MBEDTLS_USE_PSA_CRYPTO */
543
Paul Bakker6c212762013-12-16 15:24:50 +0100544 *olen = 0;
Janos Follath98e28a72016-05-31 14:03:54 +0100545 block_size = mbedtls_cipher_get_block_size( ctx );
Gilles Peskinea2bdcb92020-01-21 15:02:14 +0100546 if ( 0 == block_size )
547 {
548 return( MBEDTLS_ERR_CIPHER_INVALID_CONTEXT );
549 }
Paul Bakker6c212762013-12-16 15:24:50 +0100550
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200551 if( ctx->cipher_info->mode == MBEDTLS_MODE_ECB )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200552 {
Janos Follath98e28a72016-05-31 14:03:54 +0100553 if( ilen != block_size )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200554 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200555
556 *olen = ilen;
557
558 if( 0 != ( ret = ctx->cipher_info->base->ecb_func( ctx->cipher_ctx,
559 ctx->operation, input, output ) ) )
560 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200561 return( ret );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200562 }
563
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200564 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200565 }
566
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200567#if defined(MBEDTLS_GCM_C)
568 if( ctx->cipher_info->mode == MBEDTLS_MODE_GCM )
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200569 {
Gilles Peskinea56c4482021-04-15 17:22:35 +0200570 return( mbedtls_gcm_update( (mbedtls_gcm_context *) ctx->cipher_ctx,
571 input, ilen,
572 output, ilen, olen ) );
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200573 }
574#endif
575
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200576#if defined(MBEDTLS_CCM_C)
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200577 if( ctx->cipher_info->mode == MBEDTLS_MODE_CCM_STAR_NO_TAG )
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200578 {
579 return( mbedtls_ccm_update( (mbedtls_ccm_context *) ctx->cipher_ctx,
580 input, ilen,
581 output, ilen, olen ) );
582 }
583#endif
584
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200585#if defined(MBEDTLS_CHACHAPOLY_C)
586 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20_POLY1305 )
587 {
588 *olen = ilen;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500589 return( mbedtls_chachapoly_update( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
590 ilen, input, output ) );
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200591 }
592#endif
593
Paul Bakker68884e32013-01-07 18:20:04 +0100594 if( input == output &&
Janos Follath98e28a72016-05-31 14:03:54 +0100595 ( ctx->unprocessed_len != 0 || ilen % block_size ) )
Paul Bakker68884e32013-01-07 18:20:04 +0100596 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200597 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker68884e32013-01-07 18:20:04 +0100598 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000599
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200600#if defined(MBEDTLS_CIPHER_MODE_CBC)
601 if( ctx->cipher_info->mode == MBEDTLS_MODE_CBC )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000602 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200603 size_t copy_len = 0;
604
Paul Bakker8123e9d2011-01-06 15:37:30 +0000605 /*
606 * If there is not enough data for a full block, cache it.
607 */
Andy Leiserson79e77892017-04-28 20:01:49 -0700608 if( ( ctx->operation == MBEDTLS_DECRYPT && NULL != ctx->add_padding &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000609 ilen <= block_size - ctx->unprocessed_len ) ||
Andy Leiserson79e77892017-04-28 20:01:49 -0700610 ( ctx->operation == MBEDTLS_DECRYPT && NULL == ctx->add_padding &&
611 ilen < block_size - ctx->unprocessed_len ) ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200612 ( ctx->operation == MBEDTLS_ENCRYPT &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000613 ilen < block_size - ctx->unprocessed_len ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000614 {
615 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
616 ilen );
617
618 ctx->unprocessed_len += ilen;
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200619 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000620 }
621
622 /*
623 * Process cached data first
624 */
Janos Follath98e28a72016-05-31 14:03:54 +0100625 if( 0 != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000626 {
Janos Follath98e28a72016-05-31 14:03:54 +0100627 copy_len = block_size - ctx->unprocessed_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000628
629 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
630 copy_len );
631
Paul Bakkerff61a782011-06-09 15:42:02 +0000632 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Janos Follath98e28a72016-05-31 14:03:54 +0100633 ctx->operation, block_size, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000634 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000635 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200636 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000637 }
638
Janos Follath98e28a72016-05-31 14:03:54 +0100639 *olen += block_size;
640 output += block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000641 ctx->unprocessed_len = 0;
642
643 input += copy_len;
644 ilen -= copy_len;
645 }
646
647 /*
648 * Cache final, incomplete block
649 */
650 if( 0 != ilen )
651 {
Andy Leiserson79e77892017-04-28 20:01:49 -0700652 /* Encryption: only cache partial blocks
653 * Decryption w/ padding: always keep at least one whole block
654 * Decryption w/o padding: only cache partial blocks
655 */
Janos Follath98e28a72016-05-31 14:03:54 +0100656 copy_len = ilen % block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700657 if( copy_len == 0 &&
658 ctx->operation == MBEDTLS_DECRYPT &&
659 NULL != ctx->add_padding)
660 {
Janos Follath98e28a72016-05-31 14:03:54 +0100661 copy_len = block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700662 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000663
664 memcpy( ctx->unprocessed_data, &( input[ilen - copy_len] ),
665 copy_len );
666
667 ctx->unprocessed_len += copy_len;
668 ilen -= copy_len;
669 }
670
671 /*
672 * Process remaining full blocks
673 */
674 if( ilen )
675 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000676 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
677 ctx->operation, ilen, ctx->iv, input, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000678 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200679 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000680 }
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200681
Paul Bakker8123e9d2011-01-06 15:37:30 +0000682 *olen += ilen;
683 }
684
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200685 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000686 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200687#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000688
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200689#if defined(MBEDTLS_CIPHER_MODE_CFB)
690 if( ctx->cipher_info->mode == MBEDTLS_MODE_CFB )
Paul Bakker343a8702011-06-09 14:27:58 +0000691 {
Paul Bakker6132d0a2012-07-04 17:10:40 +0000692 if( 0 != ( ret = ctx->cipher_info->base->cfb_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000693 ctx->operation, ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000694 input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000695 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200696 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000697 }
698
699 *olen = ilen;
700
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200701 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000702 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200703#endif /* MBEDTLS_CIPHER_MODE_CFB */
Paul Bakker343a8702011-06-09 14:27:58 +0000704
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100705#if defined(MBEDTLS_CIPHER_MODE_OFB)
706 if( ctx->cipher_info->mode == MBEDTLS_MODE_OFB )
707 {
708 if( 0 != ( ret = ctx->cipher_info->base->ofb_func( ctx->cipher_ctx,
709 ilen, &ctx->unprocessed_len, ctx->iv, input, output ) ) )
710 {
711 return( ret );
712 }
713
714 *olen = ilen;
715
716 return( 0 );
717 }
718#endif /* MBEDTLS_CIPHER_MODE_OFB */
719
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200720#if defined(MBEDTLS_CIPHER_MODE_CTR)
721 if( ctx->cipher_info->mode == MBEDTLS_MODE_CTR )
Paul Bakker343a8702011-06-09 14:27:58 +0000722 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000723 if( 0 != ( ret = ctx->cipher_info->base->ctr_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000724 ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000725 ctx->unprocessed_data, input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000726 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200727 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000728 }
729
730 *olen = ilen;
731
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200732 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000733 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200734#endif /* MBEDTLS_CIPHER_MODE_CTR */
Paul Bakker343a8702011-06-09 14:27:58 +0000735
Jaeden Ameroc6539902018-04-30 17:17:41 +0100736#if defined(MBEDTLS_CIPHER_MODE_XTS)
737 if( ctx->cipher_info->mode == MBEDTLS_MODE_XTS )
738 {
739 if( ctx->unprocessed_len > 0 ) {
740 /* We can only process an entire data unit at a time. */
741 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
742 }
743
744 ret = ctx->cipher_info->base->xts_func( ctx->cipher_ctx,
745 ctx->operation, ilen, ctx->iv, input, output );
746 if( ret != 0 )
747 {
748 return( ret );
749 }
750
751 *olen = ilen;
752
753 return( 0 );
754 }
755#endif /* MBEDTLS_CIPHER_MODE_XTS */
756
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200757#if defined(MBEDTLS_CIPHER_MODE_STREAM)
758 if( ctx->cipher_info->mode == MBEDTLS_MODE_STREAM )
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200759 {
760 if( 0 != ( ret = ctx->cipher_info->base->stream_func( ctx->cipher_ctx,
761 ilen, input, output ) ) )
762 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200763 return( ret );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200764 }
765
766 *olen = ilen;
767
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200768 return( 0 );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200769 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200770#endif /* MBEDTLS_CIPHER_MODE_STREAM */
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200771
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200772 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000773}
774
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200775#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
776#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200777/*
778 * PKCS7 (and PKCS5) padding: fill with ll bytes, with ll = padding_len
779 */
Paul Bakker23986e52011-04-24 08:57:21 +0000780static void add_pkcs_padding( unsigned char *output, size_t output_len,
781 size_t data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000782{
Paul Bakker23986e52011-04-24 08:57:21 +0000783 size_t padding_len = output_len - data_len;
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100784 unsigned char i;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000785
786 for( i = 0; i < padding_len; i++ )
Paul Bakker23986e52011-04-24 08:57:21 +0000787 output[data_len + i] = (unsigned char) padding_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000788}
789
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200790static int get_pkcs_padding( unsigned char *input, size_t input_len,
791 size_t *data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000792{
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100793 size_t i, pad_idx;
794 unsigned char padding_len, bad = 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000795
Paul Bakkera885d682011-01-20 16:35:05 +0000796 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200797 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000798
799 padding_len = input[input_len - 1];
Paul Bakker8123e9d2011-01-06 15:37:30 +0000800 *data_len = input_len - padding_len;
801
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100802 /* Avoid logical || since it results in a branch */
803 bad |= padding_len > input_len;
804 bad |= padding_len == 0;
805
806 /* The number of bytes checked must be independent of padding_len,
807 * so pick input_len, which is usually 8 or 16 (one block) */
808 pad_idx = input_len - padding_len;
809 for( i = 0; i < input_len; i++ )
810 bad |= ( input[i] ^ padding_len ) * ( i >= pad_idx );
811
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200812 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000813}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200814#endif /* MBEDTLS_CIPHER_PADDING_PKCS7 */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000815
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200816#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200817/*
818 * One and zeros padding: fill with 80 00 ... 00
819 */
820static void add_one_and_zeros_padding( unsigned char *output,
821 size_t output_len, size_t data_len )
822{
823 size_t padding_len = output_len - data_len;
824 unsigned char i = 0;
825
826 output[data_len] = 0x80;
827 for( i = 1; i < padding_len; i++ )
828 output[data_len + i] = 0x00;
829}
830
831static int get_one_and_zeros_padding( unsigned char *input, size_t input_len,
832 size_t *data_len )
833{
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100834 size_t i;
835 unsigned char done = 0, prev_done, bad;
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200836
837 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200838 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200839
Micha Krausba8316f2017-12-23 23:40:08 +0100840 bad = 0x80;
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100841 *data_len = 0;
842 for( i = input_len; i > 0; i-- )
843 {
844 prev_done = done;
Micha Krausba8316f2017-12-23 23:40:08 +0100845 done |= ( input[i - 1] != 0 );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100846 *data_len |= ( i - 1 ) * ( done != prev_done );
Micha Krausba8316f2017-12-23 23:40:08 +0100847 bad ^= input[i - 1] * ( done != prev_done );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100848 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200849
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200850 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200851
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200852}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200853#endif /* MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS */
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200854
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200855#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200856/*
857 * Zeros and len padding: fill with 00 ... 00 ll, where ll is padding length
858 */
859static void add_zeros_and_len_padding( unsigned char *output,
860 size_t output_len, size_t data_len )
861{
862 size_t padding_len = output_len - data_len;
863 unsigned char i = 0;
864
865 for( i = 1; i < padding_len; i++ )
866 output[data_len + i - 1] = 0x00;
867 output[output_len - 1] = (unsigned char) padding_len;
868}
869
870static int get_zeros_and_len_padding( unsigned char *input, size_t input_len,
871 size_t *data_len )
872{
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100873 size_t i, pad_idx;
874 unsigned char padding_len, bad = 0;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200875
876 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200877 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200878
879 padding_len = input[input_len - 1];
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200880 *data_len = input_len - padding_len;
881
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100882 /* Avoid logical || since it results in a branch */
883 bad |= padding_len > input_len;
884 bad |= padding_len == 0;
885
886 /* The number of bytes checked must be independent of padding_len */
887 pad_idx = input_len - padding_len;
888 for( i = 0; i < input_len - 1; i++ )
889 bad |= input[i] * ( i >= pad_idx );
890
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200891 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200892}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200893#endif /* MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN */
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200894
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200895#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200896/*
897 * Zero padding: fill with 00 ... 00
898 */
899static void add_zeros_padding( unsigned char *output,
900 size_t output_len, size_t data_len )
901{
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200902 size_t i;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200903
904 for( i = data_len; i < output_len; i++ )
905 output[i] = 0x00;
906}
907
908static int get_zeros_padding( unsigned char *input, size_t input_len,
909 size_t *data_len )
910{
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100911 size_t i;
912 unsigned char done = 0, prev_done;
913
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200914 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200915 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200916
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100917 *data_len = 0;
918 for( i = input_len; i > 0; i-- )
919 {
920 prev_done = done;
921 done |= ( input[i-1] != 0 );
922 *data_len |= i * ( done != prev_done );
923 }
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200924
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200925 return( 0 );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200926}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200927#endif /* MBEDTLS_CIPHER_PADDING_ZEROS */
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200928
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200929/*
930 * No padding: don't pad :)
931 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200932 * There is no add_padding function (check for NULL in mbedtls_cipher_finish)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200933 * but a trivial get_padding function
934 */
935static int get_no_padding( unsigned char *input, size_t input_len,
936 size_t *data_len )
937{
938 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200939 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200940
941 *data_len = input_len;
942
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200943 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200944}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200945#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200946
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200947int mbedtls_cipher_finish( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +0200948 unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000949{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500950 CIPHER_VALIDATE_RET( ctx != NULL );
951 CIPHER_VALIDATE_RET( output != NULL );
952 CIPHER_VALIDATE_RET( olen != NULL );
953 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200954 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000955
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000956#if defined(MBEDTLS_USE_PSA_CRYPTO)
957 if( ctx->psa_enabled == 1 )
958 {
959 /* While PSA Crypto has an API for multipart
960 * operations, we currently don't make it
961 * accessible through the cipher layer. */
962 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
963 }
964#endif /* MBEDTLS_USE_PSA_CRYPTO */
965
Paul Bakker8123e9d2011-01-06 15:37:30 +0000966 *olen = 0;
967
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200968 if( MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100969 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200970 MBEDTLS_MODE_CTR == ctx->cipher_info->mode ||
971 MBEDTLS_MODE_GCM == ctx->cipher_info->mode ||
Mateusz Starzyk4cb97392021-10-27 10:42:31 +0200972 MBEDTLS_MODE_CCM_STAR_NO_TAG == ctx->cipher_info->mode ||
Jaeden Ameroc6539902018-04-30 17:17:41 +0100973 MBEDTLS_MODE_XTS == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200974 MBEDTLS_MODE_STREAM == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000975 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200976 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000977 }
978
Daniel King8fe47012016-05-17 20:33:28 -0300979 if ( ( MBEDTLS_CIPHER_CHACHA20 == ctx->cipher_info->type ) ||
980 ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type ) )
Daniel Kingbd920622016-05-15 19:56:20 -0300981 {
982 return( 0 );
983 }
984
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200985 if( MBEDTLS_MODE_ECB == ctx->cipher_info->mode )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200986 {
987 if( ctx->unprocessed_len != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200988 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200989
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200990 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200991 }
992
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200993#if defined(MBEDTLS_CIPHER_MODE_CBC)
994 if( MBEDTLS_MODE_CBC == ctx->cipher_info->mode )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000995 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200996 int ret = 0;
997
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200998 if( MBEDTLS_ENCRYPT == ctx->operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000999 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001000 /* check for 'no padding' mode */
1001 if( NULL == ctx->add_padding )
1002 {
1003 if( 0 != ctx->unprocessed_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001004 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001005
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001006 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001007 }
1008
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001009 ctx->add_padding( ctx->unprocessed_data, mbedtls_cipher_get_iv_size( ctx ),
Paul Bakker8123e9d2011-01-06 15:37:30 +00001010 ctx->unprocessed_len );
1011 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001012 else if( mbedtls_cipher_get_block_size( ctx ) != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001013 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001014 /*
1015 * For decrypt operations, expect a full block,
1016 * or an empty block if no padding
1017 */
1018 if( NULL == ctx->add_padding && 0 == ctx->unprocessed_len )
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001019 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001020
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001021 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001022 }
1023
1024 /* cipher block */
Paul Bakkerff61a782011-06-09 15:42:02 +00001025 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001026 ctx->operation, mbedtls_cipher_get_block_size( ctx ), ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +00001027 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001028 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001029 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001030 }
1031
1032 /* Set output size for decryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001033 if( MBEDTLS_DECRYPT == ctx->operation )
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001034 return( ctx->get_padding( output, mbedtls_cipher_get_block_size( ctx ),
1035 olen ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001036
1037 /* Set output size for encryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001038 *olen = mbedtls_cipher_get_block_size( ctx );
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001039 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001040 }
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001041#else
1042 ((void) output);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001043#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +00001044
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001045 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001046}
1047
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001048#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Hanno Becker18597cd2018-11-09 16:36:33 +00001049int mbedtls_cipher_set_padding_mode( mbedtls_cipher_context_t *ctx,
1050 mbedtls_cipher_padding_t mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001051{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001052 CIPHER_VALIDATE_RET( ctx != NULL );
1053
1054 if( NULL == ctx->cipher_info || MBEDTLS_MODE_CBC != ctx->cipher_info->mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001055 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001056 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001057 }
1058
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001059#if defined(MBEDTLS_USE_PSA_CRYPTO)
1060 if( ctx->psa_enabled == 1 )
1061 {
1062 /* While PSA Crypto knows about CBC padding
1063 * schemes, we currently don't make them
1064 * accessible through the cipher layer. */
1065 if( mode != MBEDTLS_PADDING_NONE )
1066 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1067
1068 return( 0 );
1069 }
1070#endif /* MBEDTLS_USE_PSA_CRYPTO */
1071
Paul Bakker1a45d912013-08-14 12:04:26 +02001072 switch( mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001073 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001074#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
1075 case MBEDTLS_PADDING_PKCS7:
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001076 ctx->add_padding = add_pkcs_padding;
1077 ctx->get_padding = get_pkcs_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001078 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001079#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001080#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
1081 case MBEDTLS_PADDING_ONE_AND_ZEROS:
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +02001082 ctx->add_padding = add_one_and_zeros_padding;
1083 ctx->get_padding = get_one_and_zeros_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001084 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001085#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001086#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
1087 case MBEDTLS_PADDING_ZEROS_AND_LEN:
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +02001088 ctx->add_padding = add_zeros_and_len_padding;
1089 ctx->get_padding = get_zeros_and_len_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001090 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001091#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001092#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
1093 case MBEDTLS_PADDING_ZEROS:
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +02001094 ctx->add_padding = add_zeros_padding;
1095 ctx->get_padding = get_zeros_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001096 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001097#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001098 case MBEDTLS_PADDING_NONE:
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001099 ctx->add_padding = NULL;
1100 ctx->get_padding = get_no_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001101 break;
1102
1103 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001104 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001105 }
1106
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001107 return( 0 );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001108}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001109#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001110
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001111#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001112int mbedtls_cipher_write_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001113 unsigned char *tag, size_t tag_len )
1114{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001115 CIPHER_VALIDATE_RET( ctx != NULL );
1116 CIPHER_VALIDATE_RET( tag_len == 0 || tag != NULL );
1117 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001118 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001119
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001120 if( MBEDTLS_ENCRYPT != ctx->operation )
1121 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001122
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001123#if defined(MBEDTLS_USE_PSA_CRYPTO)
1124 if( ctx->psa_enabled == 1 )
1125 {
1126 /* While PSA Crypto has an API for multipart
1127 * operations, we currently don't make it
1128 * accessible through the cipher layer. */
1129 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001130 }
1131#endif /* MBEDTLS_USE_PSA_CRYPTO */
1132
Daniel King8fe47012016-05-17 20:33:28 -03001133#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001134 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Gilles Peskine5a7be102021-06-23 21:51:32 +02001135 {
1136 size_t output_length;
1137 /* The code here doesn't yet support alternative implementations
1138 * that can delay up to a block of output. */
Hanno Becker18597cd2018-11-09 16:36:33 +00001139 return( mbedtls_gcm_finish( (mbedtls_gcm_context *) ctx->cipher_ctx,
Gilles Peskine5a7be102021-06-23 21:51:32 +02001140 NULL, 0, &output_length,
Hanno Becker18597cd2018-11-09 16:36:33 +00001141 tag, tag_len ) );
Gilles Peskine5a7be102021-06-23 21:51:32 +02001142 }
Daniel King8fe47012016-05-17 20:33:28 -03001143#endif
1144
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001145#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001146 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1147 {
1148 /* Don't allow truncated MAC for Poly1305 */
1149 if ( tag_len != 16U )
1150 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1151
Hanno Becker18597cd2018-11-09 16:36:33 +00001152 return( mbedtls_chachapoly_finish(
1153 (mbedtls_chachapoly_context*) ctx->cipher_ctx, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001154 }
1155#endif
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001156
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001157 return( 0 );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001158}
Paul Bakker9af723c2014-05-01 13:03:14 +02001159
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001160int mbedtls_cipher_check_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001161 const unsigned char *tag, size_t tag_len )
1162{
Daniel King8fe47012016-05-17 20:33:28 -03001163 unsigned char check_tag[16];
Janos Follath24eed8d2019-11-22 13:21:35 +00001164 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001165
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001166 CIPHER_VALIDATE_RET( ctx != NULL );
1167 CIPHER_VALIDATE_RET( tag_len == 0 || tag != NULL );
1168 if( ctx->cipher_info == NULL )
1169 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1170
1171 if( MBEDTLS_DECRYPT != ctx->operation )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001172 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001173 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001174 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001175
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001176#if defined(MBEDTLS_USE_PSA_CRYPTO)
1177 if( ctx->psa_enabled == 1 )
1178 {
1179 /* While PSA Crypto has an API for multipart
1180 * operations, we currently don't make it
1181 * accessible through the cipher layer. */
1182 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1183 }
1184#endif /* MBEDTLS_USE_PSA_CRYPTO */
1185
Gilles Peskinee7835d92021-12-13 12:32:43 +01001186 /* Status to return on a non-authenticated algorithm. It would make sense
1187 * to return MBEDTLS_ERR_CIPHER_INVALID_CONTEXT or perhaps
1188 * MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA, but at the time I write this our
1189 * unit tests assume 0. */
1190 ret = 0;
1191
Daniel King8fe47012016-05-17 20:33:28 -03001192#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001193 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001194 {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001195 size_t output_length;
1196 /* The code here doesn't yet support alternative implementations
1197 * that can delay up to a block of output. */
1198
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001199 if( tag_len > sizeof( check_tag ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001200 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001201
Hanno Becker18597cd2018-11-09 16:36:33 +00001202 if( 0 != ( ret = mbedtls_gcm_finish(
1203 (mbedtls_gcm_context *) ctx->cipher_ctx,
Gilles Peskine5a7be102021-06-23 21:51:32 +02001204 NULL, 0, &output_length,
Hanno Becker18597cd2018-11-09 16:36:33 +00001205 check_tag, tag_len ) ) )
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001206 {
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001207 return( ret );
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001208 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001209
1210 /* Check the tag in "constant-time" */
Gabor Mezei90437e32021-10-20 11:59:27 +02001211 if( mbedtls_ct_memcmp( tag, check_tag, tag_len ) != 0 )
Gilles Peskinecd742982021-12-13 16:57:47 +01001212 {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001213 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001214 goto exit;
1215 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001216 }
Daniel King8fe47012016-05-17 20:33:28 -03001217#endif /* MBEDTLS_GCM_C */
1218
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001219#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001220 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1221 {
1222 /* Don't allow truncated MAC for Poly1305 */
1223 if ( tag_len != sizeof( check_tag ) )
1224 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1225
Hanno Becker18597cd2018-11-09 16:36:33 +00001226 ret = mbedtls_chachapoly_finish(
1227 (mbedtls_chachapoly_context*) ctx->cipher_ctx, check_tag );
Daniel King8fe47012016-05-17 20:33:28 -03001228 if ( ret != 0 )
1229 {
1230 return( ret );
1231 }
1232
1233 /* Check the tag in "constant-time" */
Gabor Mezei90437e32021-10-20 11:59:27 +02001234 if( mbedtls_ct_memcmp( tag, check_tag, tag_len ) != 0 )
Gilles Peskinecd742982021-12-13 16:57:47 +01001235 {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001236 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001237 goto exit;
1238 }
Daniel King8fe47012016-05-17 20:33:28 -03001239 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001240#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001241
Gilles Peskinecd742982021-12-13 16:57:47 +01001242exit:
Gilles Peskinee7835d92021-12-13 12:32:43 +01001243 mbedtls_platform_zeroize( check_tag, tag_len );
1244 return( ret );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001245}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001246#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001247
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001248/*
1249 * Packet-oriented wrapper for non-AEAD modes
1250 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001251int mbedtls_cipher_crypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001252 const unsigned char *iv, size_t iv_len,
1253 const unsigned char *input, size_t ilen,
1254 unsigned char *output, size_t *olen )
1255{
Janos Follath24eed8d2019-11-22 13:21:35 +00001256 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001257 size_t finish_olen;
1258
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001259 CIPHER_VALIDATE_RET( ctx != NULL );
1260 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
1261 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1262 CIPHER_VALIDATE_RET( output != NULL );
1263 CIPHER_VALIDATE_RET( olen != NULL );
1264
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001265#if defined(MBEDTLS_USE_PSA_CRYPTO)
1266 if( ctx->psa_enabled == 1 )
1267 {
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001268 /* As in the non-PSA case, we don't check that
1269 * a key has been set. If not, the key slot will
1270 * still be in its default state of 0, which is
1271 * guaranteed to be invalid, hence the PSA-call
1272 * below will gracefully fail. */
1273 mbedtls_cipher_context_psa * const cipher_psa =
1274 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1275
1276 psa_status_t status;
Jaeden Amerofe96fbe2019-02-20 10:32:28 +00001277 psa_cipher_operation_t cipher_op = PSA_CIPHER_OPERATION_INIT;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001278 size_t part_len;
1279
1280 if( ctx->operation == MBEDTLS_DECRYPT )
1281 {
1282 status = psa_cipher_decrypt_setup( &cipher_op,
1283 cipher_psa->slot,
1284 cipher_psa->alg );
1285 }
1286 else if( ctx->operation == MBEDTLS_ENCRYPT )
1287 {
1288 status = psa_cipher_encrypt_setup( &cipher_op,
1289 cipher_psa->slot,
1290 cipher_psa->alg );
1291 }
1292 else
1293 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1294
1295 /* In the following, we can immediately return on an error,
1296 * because the PSA Crypto API guarantees that cipher operations
1297 * are terminated by unsuccessful calls to psa_cipher_update(),
1298 * and by any call to psa_cipher_finish(). */
1299 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001300 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001301
Przemyslaw Stekiel80c6a8e2021-09-29 12:13:11 +02001302 if( ctx->cipher_info->mode != MBEDTLS_MODE_ECB )
1303 {
1304 status = psa_cipher_set_iv( &cipher_op, iv, iv_len );
1305 if( status != PSA_SUCCESS )
1306 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
1307 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001308
1309 status = psa_cipher_update( &cipher_op,
1310 input, ilen,
1311 output, ilen, olen );
1312 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001313 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001314
1315 status = psa_cipher_finish( &cipher_op,
1316 output + *olen, ilen - *olen,
1317 &part_len );
1318 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001319 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001320
1321 *olen += part_len;
1322 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001323 }
1324#endif /* MBEDTLS_USE_PSA_CRYPTO */
1325
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001326 if( ( ret = mbedtls_cipher_set_iv( ctx, iv, iv_len ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001327 return( ret );
1328
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001329 if( ( ret = mbedtls_cipher_reset( ctx ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001330 return( ret );
1331
Hanno Becker18597cd2018-11-09 16:36:33 +00001332 if( ( ret = mbedtls_cipher_update( ctx, input, ilen,
1333 output, olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001334 return( ret );
1335
Hanno Becker18597cd2018-11-09 16:36:33 +00001336 if( ( ret = mbedtls_cipher_finish( ctx, output + *olen,
1337 &finish_olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001338 return( ret );
1339
1340 *olen += finish_olen;
1341
1342 return( 0 );
1343}
1344
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001345#if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001346/*
TRodziewicz18efb732021-04-29 23:12:19 +02001347 * Packet-oriented encryption for AEAD modes: internal function used by
1348 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001349 */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001350static int mbedtls_cipher_aead_encrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001351 const unsigned char *iv, size_t iv_len,
1352 const unsigned char *ad, size_t ad_len,
1353 const unsigned char *input, size_t ilen,
1354 unsigned char *output, size_t *olen,
1355 unsigned char *tag, size_t tag_len )
1356{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001357#if defined(MBEDTLS_USE_PSA_CRYPTO)
1358 if( ctx->psa_enabled == 1 )
1359 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001360 /* As in the non-PSA case, we don't check that
1361 * a key has been set. If not, the key slot will
1362 * still be in its default state of 0, which is
1363 * guaranteed to be invalid, hence the PSA-call
1364 * below will gracefully fail. */
1365 mbedtls_cipher_context_psa * const cipher_psa =
1366 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1367
1368 psa_status_t status;
1369
1370 /* PSA Crypto API always writes the authentication tag
1371 * at the end of the encrypted message. */
Gilles Peskine70edd682020-12-03 20:27:27 +01001372 if( output == NULL || tag != output + ilen )
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001373 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1374
1375 status = psa_aead_encrypt( cipher_psa->slot,
1376 cipher_psa->alg,
1377 iv, iv_len,
1378 ad, ad_len,
1379 input, ilen,
1380 output, ilen + tag_len, olen );
1381 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001382 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001383
1384 *olen -= tag_len;
1385 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001386 }
1387#endif /* MBEDTLS_USE_PSA_CRYPTO */
1388
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001389#if defined(MBEDTLS_GCM_C)
1390 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001391 {
1392 *olen = ilen;
Hanno Becker18597cd2018-11-09 16:36:33 +00001393 return( mbedtls_gcm_crypt_and_tag( ctx->cipher_ctx, MBEDTLS_GCM_ENCRYPT,
1394 ilen, iv, iv_len, ad, ad_len,
1395 input, output, tag_len, tag ) );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001396 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001397#endif /* MBEDTLS_GCM_C */
1398#if defined(MBEDTLS_CCM_C)
1399 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001400 {
1401 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001402 return( mbedtls_ccm_encrypt_and_tag( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001403 iv, iv_len, ad, ad_len, input, output,
1404 tag, tag_len ) );
1405 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001406#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001407#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001408 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1409 {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001410 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001411 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001412 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001413 {
1414 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1415 }
1416
1417 *olen = ilen;
Manuel Pégourié-Gonnard3dc62a02018-06-04 12:18:19 +02001418 return( mbedtls_chachapoly_encrypt_and_tag( ctx->cipher_ctx,
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001419 ilen, iv, ad, ad_len, input, output, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001420 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001421#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001422
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001423 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001424}
1425
1426/*
TRodziewicz18efb732021-04-29 23:12:19 +02001427 * Packet-oriented encryption for AEAD modes: internal function used by
1428 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001429 */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001430static int mbedtls_cipher_aead_decrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001431 const unsigned char *iv, size_t iv_len,
1432 const unsigned char *ad, size_t ad_len,
1433 const unsigned char *input, size_t ilen,
1434 unsigned char *output, size_t *olen,
1435 const unsigned char *tag, size_t tag_len )
1436{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001437#if defined(MBEDTLS_USE_PSA_CRYPTO)
1438 if( ctx->psa_enabled == 1 )
1439 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001440 /* As in the non-PSA case, we don't check that
1441 * a key has been set. If not, the key slot will
1442 * still be in its default state of 0, which is
1443 * guaranteed to be invalid, hence the PSA-call
1444 * below will gracefully fail. */
1445 mbedtls_cipher_context_psa * const cipher_psa =
1446 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1447
1448 psa_status_t status;
1449
1450 /* PSA Crypto API always writes the authentication tag
1451 * at the end of the encrypted message. */
Gilles Peskine70edd682020-12-03 20:27:27 +01001452 if( input == NULL || tag != input + ilen )
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001453 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1454
1455 status = psa_aead_decrypt( cipher_psa->slot,
1456 cipher_psa->alg,
1457 iv, iv_len,
1458 ad, ad_len,
1459 input, ilen + tag_len,
1460 output, ilen, olen );
1461 if( status == PSA_ERROR_INVALID_SIGNATURE )
1462 return( MBEDTLS_ERR_CIPHER_AUTH_FAILED );
1463 else if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001464 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001465
1466 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001467 }
1468#endif /* MBEDTLS_USE_PSA_CRYPTO */
1469
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001470#if defined(MBEDTLS_GCM_C)
1471 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001472 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001473 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001474
1475 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001476 ret = mbedtls_gcm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001477 iv, iv_len, ad, ad_len,
1478 tag, tag_len, input, output );
1479
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001480 if( ret == MBEDTLS_ERR_GCM_AUTH_FAILED )
1481 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001482
1483 return( ret );
1484 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001485#endif /* MBEDTLS_GCM_C */
1486#if defined(MBEDTLS_CCM_C)
1487 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001488 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001489 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001490
1491 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001492 ret = mbedtls_ccm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001493 iv, iv_len, ad, ad_len,
1494 input, output, tag, tag_len );
1495
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001496 if( ret == MBEDTLS_ERR_CCM_AUTH_FAILED )
1497 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001498
1499 return( ret );
1500 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001501#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001502#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001503 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1504 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001505 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel King8fe47012016-05-17 20:33:28 -03001506
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001507 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001508 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001509 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001510 {
1511 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1512 }
1513
1514 *olen = ilen;
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001515 ret = mbedtls_chachapoly_auth_decrypt( ctx->cipher_ctx, ilen,
1516 iv, ad, ad_len, tag, input, output );
Daniel King8fe47012016-05-17 20:33:28 -03001517
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001518 if( ret == MBEDTLS_ERR_CHACHAPOLY_AUTH_FAILED )
1519 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Daniel King8fe47012016-05-17 20:33:28 -03001520
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001521 return( ret );
Daniel King8fe47012016-05-17 20:33:28 -03001522 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001523#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001524
1525 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1526}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001527#endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001528
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001529#if defined(MBEDTLS_CIPHER_MODE_AEAD) || defined(MBEDTLS_NIST_KW_C)
1530/*
1531 * Packet-oriented encryption for AEAD/NIST_KW: public function.
1532 */
1533int mbedtls_cipher_auth_encrypt_ext( mbedtls_cipher_context_t *ctx,
1534 const unsigned char *iv, size_t iv_len,
1535 const unsigned char *ad, size_t ad_len,
1536 const unsigned char *input, size_t ilen,
1537 unsigned char *output, size_t output_len,
1538 size_t *olen, size_t tag_len )
1539{
1540 CIPHER_VALIDATE_RET( ctx != NULL );
Gilles Peskine70edd682020-12-03 20:27:27 +01001541 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001542 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
1543 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1544 CIPHER_VALIDATE_RET( output != NULL );
1545 CIPHER_VALIDATE_RET( olen != NULL );
1546
1547#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001548 if(
1549#if defined(MBEDTLS_USE_PSA_CRYPTO)
1550 ctx->psa_enabled == 0 &&
1551#endif
1552 ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1553 MBEDTLS_MODE_KWP == ctx->cipher_info->mode ) )
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001554 {
1555 mbedtls_nist_kw_mode_t mode = ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ) ?
1556 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
1557
1558 /* There is no iv, tag or ad associated with KW and KWP,
1559 * so these length should be 0 as documented. */
1560 if( iv_len != 0 || tag_len != 0 || ad_len != 0 )
1561 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1562
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001563 (void) iv;
1564 (void) ad;
1565
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001566 return( mbedtls_nist_kw_wrap( ctx->cipher_ctx, mode, input, ilen,
1567 output, olen, output_len ) );
1568 }
1569#endif /* MBEDTLS_NIST_KW_C */
1570
1571#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1572 /* AEAD case: check length before passing on to shared function */
1573 if( output_len < ilen + tag_len )
1574 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1575
1576 int ret = mbedtls_cipher_aead_encrypt( ctx, iv, iv_len, ad, ad_len,
1577 input, ilen, output, olen,
1578 output + ilen, tag_len );
1579 *olen += tag_len;
1580 return( ret );
1581#else
1582 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1583#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1584}
1585
1586/*
1587 * Packet-oriented decryption for AEAD/NIST_KW: public function.
1588 */
1589int mbedtls_cipher_auth_decrypt_ext( mbedtls_cipher_context_t *ctx,
1590 const unsigned char *iv, size_t iv_len,
1591 const unsigned char *ad, size_t ad_len,
1592 const unsigned char *input, size_t ilen,
1593 unsigned char *output, size_t output_len,
1594 size_t *olen, size_t tag_len )
1595{
1596 CIPHER_VALIDATE_RET( ctx != NULL );
Gilles Peskine70edd682020-12-03 20:27:27 +01001597 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001598 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
1599 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1600 CIPHER_VALIDATE_RET( output_len == 0 || output != NULL );
1601 CIPHER_VALIDATE_RET( olen != NULL );
1602
1603#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001604 if(
1605#if defined(MBEDTLS_USE_PSA_CRYPTO)
1606 ctx->psa_enabled == 0 &&
1607#endif
1608 ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1609 MBEDTLS_MODE_KWP == ctx->cipher_info->mode ) )
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001610 {
1611 mbedtls_nist_kw_mode_t mode = ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ) ?
1612 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
1613
1614 /* There is no iv, tag or ad associated with KW and KWP,
1615 * so these length should be 0 as documented. */
1616 if( iv_len != 0 || tag_len != 0 || ad_len != 0 )
1617 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1618
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001619 (void) iv;
1620 (void) ad;
1621
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001622 return( mbedtls_nist_kw_unwrap( ctx->cipher_ctx, mode, input, ilen,
1623 output, olen, output_len ) );
1624 }
1625#endif /* MBEDTLS_NIST_KW_C */
1626
1627#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1628 /* AEAD case: check length before passing on to shared function */
1629 if( ilen < tag_len || output_len < ilen - tag_len )
1630 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1631
1632 return( mbedtls_cipher_aead_decrypt( ctx, iv, iv_len, ad, ad_len,
1633 input, ilen - tag_len, output, olen,
1634 input + ilen - tag_len, tag_len ) );
1635#else
1636 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1637#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1638}
1639#endif /* MBEDTLS_CIPHER_MODE_AEAD || MBEDTLS_NIST_KW_C */
1640
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001641#endif /* MBEDTLS_CIPHER_C */