blob: 4ed6c910f0ed287ae1d38f314ef7af4a9dc19d6d [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"
Paul Bakker8123e9d2011-01-06 15:37:30 +000032
Rich Evans00ab4702015-02-06 13:43:58 +000033#include <stdlib.h>
34#include <string.h>
35
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020036#if defined(MBEDTLS_CHACHAPOLY_C)
37#include "mbedtls/chachapoly.h"
Daniel King8fe47012016-05-17 20:33:28 -030038#endif
39
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000041#include "mbedtls/gcm.h"
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +020042#endif
43
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020044#if defined(MBEDTLS_CCM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000045#include "mbedtls/ccm.h"
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +020046#endif
47
Daniel Kingbd920622016-05-15 19:56:20 -030048#if defined(MBEDTLS_CHACHA20_C)
49#include "mbedtls/chacha20.h"
50#endif
51
Simon Butcher327398a2016-10-05 14:09:11 +010052#if defined(MBEDTLS_CMAC_C)
53#include "mbedtls/cmac.h"
54#endif
55
Hanno Becker4ccfc402018-11-09 16:10:57 +000056#if defined(MBEDTLS_USE_PSA_CRYPTO)
57#include "psa/crypto.h"
Hanno Beckeredda8b82018-11-12 11:59:30 +000058#include "mbedtls/psa_util.h"
Hanno Becker4ccfc402018-11-09 16:10:57 +000059#endif /* MBEDTLS_USE_PSA_CRYPTO */
60
Jack Lloydffdf2882019-03-07 17:00:32 -050061#if defined(MBEDTLS_NIST_KW_C)
62#include "mbedtls/nist_kw.h"
63#endif
64
Simon Butcher327398a2016-10-05 14:09:11 +010065#if defined(MBEDTLS_PLATFORM_C)
66#include "mbedtls/platform.h"
67#else
68#define mbedtls_calloc calloc
69#define mbedtls_free free
70#endif
71
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050072#define CIPHER_VALIDATE_RET( cond ) \
73 MBEDTLS_INTERNAL_VALIDATE_RET( cond, MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA )
74#define CIPHER_VALIDATE( cond ) \
75 MBEDTLS_INTERNAL_VALIDATE( cond )
76
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020077#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -030078/* Compare the contents of two buffers in constant time.
79 * Returns 0 if the contents are bitwise identical, otherwise returns
Daniel King16b04ce2016-05-18 13:38:22 -030080 * a non-zero value.
81 * This is currently only used by GCM and ChaCha20+Poly1305.
82 */
Hanno Becker18597cd2018-11-09 16:36:33 +000083static int mbedtls_constant_time_memcmp( const void *v1, const void *v2,
84 size_t len )
Daniel King8fe47012016-05-17 20:33:28 -030085{
86 const unsigned char *p1 = (const unsigned char*) v1;
87 const unsigned char *p2 = (const unsigned char*) v2;
88 size_t i;
89 unsigned char diff;
90
91 for( diff = 0, i = 0; i < len; i++ )
92 diff |= p1[i] ^ p2[i];
93
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050094 return( (int)diff );
Daniel King8fe47012016-05-17 20:33:28 -030095}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020096#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Daniel King8fe47012016-05-17 20:33:28 -030097
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020098static int supported_init = 0;
Paul Bakker72f62662011-01-16 21:27:44 +000099
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200100const int *mbedtls_cipher_list( void )
Paul Bakker72f62662011-01-16 21:27:44 +0000101{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200102 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200103 int *type;
104
105 if( ! supported_init )
106 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200107 def = mbedtls_cipher_definitions;
108 type = mbedtls_cipher_supported;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200109
110 while( def->type != 0 )
111 *type++ = (*def++).type;
112
113 *type = 0;
114
115 supported_init = 1;
116 }
117
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118 return( mbedtls_cipher_supported );
Paul Bakker72f62662011-01-16 21:27:44 +0000119}
120
Hanno Becker18597cd2018-11-09 16:36:33 +0000121const mbedtls_cipher_info_t *mbedtls_cipher_info_from_type(
122 const mbedtls_cipher_type_t cipher_type )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000123{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200124 const mbedtls_cipher_definition_t *def;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200125
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200126 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200127 if( def->type == cipher_type )
128 return( def->info );
Paul Bakker343a8702011-06-09 14:27:58 +0000129
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200130 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000131}
132
Hanno Becker18597cd2018-11-09 16:36:33 +0000133const mbedtls_cipher_info_t *mbedtls_cipher_info_from_string(
134 const char *cipher_name )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000135{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200136 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200137
Paul Bakker8123e9d2011-01-06 15:37:30 +0000138 if( NULL == cipher_name )
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200139 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000140
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200141 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnardcb46fd82015-05-28 17:06:07 +0200142 if( ! strcmp( def->info->name, cipher_name ) )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200143 return( def->info );
Paul Bakkerfab5c822012-02-06 16:45:10 +0000144
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200145 return( NULL );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000146}
147
Hanno Becker18597cd2018-11-09 16:36:33 +0000148const mbedtls_cipher_info_t *mbedtls_cipher_info_from_values(
149 const mbedtls_cipher_id_t cipher_id,
150 int key_bitlen,
151 const mbedtls_cipher_mode_t mode )
Paul Bakkerf46b6952013-09-09 00:08:26 +0200152{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200153 const mbedtls_cipher_definition_t *def;
Paul Bakkerf46b6952013-09-09 00:08:26 +0200154
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200155 for( def = mbedtls_cipher_definitions; def->info != NULL; def++ )
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200156 if( def->info->base->cipher == cipher_id &&
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200157 def->info->key_bitlen == (unsigned) key_bitlen &&
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200158 def->info->mode == mode )
159 return( def->info );
Paul Bakkerf46b6952013-09-09 00:08:26 +0200160
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200161 return( NULL );
Paul Bakkerf46b6952013-09-09 00:08:26 +0200162}
163
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200164void mbedtls_cipher_init( mbedtls_cipher_context_t *ctx )
Paul Bakker84bbeb52014-07-01 14:53:22 +0200165{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500166 CIPHER_VALIDATE( ctx != NULL );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200167 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
Paul Bakker84bbeb52014-07-01 14:53:22 +0200168}
169
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200170void mbedtls_cipher_free( mbedtls_cipher_context_t *ctx )
Paul Bakker84bbeb52014-07-01 14:53:22 +0200171{
172 if( ctx == NULL )
173 return;
174
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000175#if defined(MBEDTLS_USE_PSA_CRYPTO)
176 if( ctx->psa_enabled == 1 )
177 {
Hanno Becker6118e432018-11-09 16:47:20 +0000178 if( ctx->cipher_ctx != NULL )
179 {
180 mbedtls_cipher_context_psa * const cipher_psa =
181 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
182
Hanno Becker19086552018-11-17 22:11:16 +0000183 if( cipher_psa->slot_state == MBEDTLS_CIPHER_PSA_KEY_OWNED )
Hanno Becker6118e432018-11-09 16:47:20 +0000184 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000185 /* xxx_free() doesn't allow to return failures. */
186 (void) psa_destroy_key( cipher_psa->slot );
Hanno Becker6118e432018-11-09 16:47:20 +0000187 }
188
189 mbedtls_platform_zeroize( cipher_psa, sizeof( *cipher_psa ) );
190 mbedtls_free( cipher_psa );
191 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000192
193 mbedtls_platform_zeroize( ctx, sizeof(mbedtls_cipher_context_t) );
194 return;
195 }
196#endif /* MBEDTLS_USE_PSA_CRYPTO */
197
Simon Butcher327398a2016-10-05 14:09:11 +0100198#if defined(MBEDTLS_CMAC_C)
199 if( ctx->cmac_ctx )
200 {
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500201 mbedtls_platform_zeroize( ctx->cmac_ctx,
202 sizeof( mbedtls_cmac_context_t ) );
Simon Butcher327398a2016-10-05 14:09:11 +0100203 mbedtls_free( ctx->cmac_ctx );
204 }
205#endif
206
Paul Bakker84bbeb52014-07-01 14:53:22 +0200207 if( ctx->cipher_ctx )
208 ctx->cipher_info->base->ctx_free_func( ctx->cipher_ctx );
209
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500210 mbedtls_platform_zeroize( ctx, sizeof(mbedtls_cipher_context_t) );
Paul Bakker84bbeb52014-07-01 14:53:22 +0200211}
212
Hanno Becker18597cd2018-11-09 16:36:33 +0000213int mbedtls_cipher_setup( mbedtls_cipher_context_t *ctx,
214 const mbedtls_cipher_info_t *cipher_info )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000215{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500216 CIPHER_VALIDATE_RET( ctx != NULL );
217 if( cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200218 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000219
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200220 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000221
Paul Bakker343a8702011-06-09 14:27:58 +0000222 if( NULL == ( ctx->cipher_ctx = cipher_info->base->ctx_alloc_func() ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200223 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000224
225 ctx->cipher_info = cipher_info;
226
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200227#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200228 /*
229 * Ignore possible errors caused by a cipher mode that doesn't use padding
230 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200231#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
232 (void) mbedtls_cipher_set_padding_mode( ctx, MBEDTLS_PADDING_PKCS7 );
Paul Bakker48e93c82013-08-14 12:21:18 +0200233#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200234 (void) mbedtls_cipher_set_padding_mode( ctx, MBEDTLS_PADDING_NONE );
Paul Bakker48e93c82013-08-14 12:21:18 +0200235#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200236#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200237
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200238 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000239}
240
Hanno Becker4ccfc402018-11-09 16:10:57 +0000241#if defined(MBEDTLS_USE_PSA_CRYPTO)
242int mbedtls_cipher_setup_psa( mbedtls_cipher_context_t *ctx,
Hanno Becker20120b32018-11-12 16:26:27 +0000243 const mbedtls_cipher_info_t *cipher_info,
244 size_t taglen )
Hanno Becker4ccfc402018-11-09 16:10:57 +0000245{
Hanno Beckeredda8b82018-11-12 11:59:30 +0000246 psa_algorithm_t alg;
247 mbedtls_cipher_context_psa *cipher_psa;
248
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000249 if( NULL == cipher_info || NULL == ctx )
250 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
251
Hanno Becker4ee7e762018-11-17 22:00:38 +0000252 /* Check that the underlying cipher mode and cipher type are
253 * supported by the underlying PSA Crypto implementation. */
Hanno Becker20120b32018-11-12 16:26:27 +0000254 alg = mbedtls_psa_translate_cipher_mode( cipher_info->mode, taglen );
Hanno Becker4ee7e762018-11-17 22:00:38 +0000255 if( alg == 0 )
256 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
257 if( mbedtls_psa_translate_cipher_type( cipher_info->type ) == 0 )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000258 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Becker6118e432018-11-09 16:47:20 +0000259
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000260 memset( ctx, 0, sizeof( mbedtls_cipher_context_t ) );
261
Hanno Beckeredda8b82018-11-12 11:59:30 +0000262 cipher_psa = mbedtls_calloc( 1, sizeof(mbedtls_cipher_context_psa ) );
263 if( cipher_psa == NULL )
264 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
265 cipher_psa->alg = alg;
266 ctx->cipher_ctx = cipher_psa;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000267 ctx->cipher_info = cipher_info;
268 ctx->psa_enabled = 1;
269 return( 0 );
Hanno Becker4ccfc402018-11-09 16:10:57 +0000270}
271#endif /* MBEDTLS_USE_PSA_CRYPTO */
272
Hanno Becker18597cd2018-11-09 16:36:33 +0000273int mbedtls_cipher_setkey( mbedtls_cipher_context_t *ctx,
274 const unsigned char *key,
275 int key_bitlen,
276 const mbedtls_operation_t operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000277{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500278 CIPHER_VALIDATE_RET( ctx != NULL );
279 CIPHER_VALIDATE_RET( key != NULL );
280 CIPHER_VALIDATE_RET( operation == MBEDTLS_ENCRYPT ||
Krzysztof Stachowiake0215d72018-12-17 10:20:30 +0100281 operation == MBEDTLS_DECRYPT );
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500282 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200283 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000284
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000285#if defined(MBEDTLS_USE_PSA_CRYPTO)
286 if( ctx->psa_enabled == 1 )
287 {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000288 mbedtls_cipher_context_psa * const cipher_psa =
289 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
290
291 size_t const key_bytelen = ( (size_t) key_bitlen + 7 ) / 8;
292
293 psa_status_t status;
294 psa_key_type_t key_type;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200295 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000296
297 /* PSA Crypto API only accepts byte-aligned keys. */
298 if( key_bitlen % 8 != 0 )
299 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
300
301 /* Don't allow keys to be set multiple times. */
Hanno Becker19086552018-11-17 22:11:16 +0000302 if( cipher_psa->slot_state != MBEDTLS_CIPHER_PSA_KEY_UNSET )
Hanno Beckeredda8b82018-11-12 11:59:30 +0000303 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
304
Andrzej Kurekc7509322019-01-08 09:36:01 -0500305 key_type = mbedtls_psa_translate_cipher_type(
306 ctx->cipher_info->type );
307 if( key_type == 0 )
308 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200309 psa_set_key_type( &attributes, key_type );
Hanno Beckera395d8f2018-11-12 13:33:16 +0000310
311 /* Mbed TLS' cipher layer doesn't enforce the mode of operation
Andrzej Kurekf410a5c2019-01-15 03:33:35 -0500312 * (encrypt vs. decrypt): it is possible to setup a key for encryption
313 * and use it for AEAD decryption. Until tests relying on this
314 * are changed, allow any usage in PSA. */
Gilles Peskined2d45c12019-05-27 14:53:13 +0200315 psa_set_key_usage_flags( &attributes,
316 /* mbedtls_psa_translate_cipher_operation( operation ); */
317 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT );
318 psa_set_key_algorithm( &attributes, cipher_psa->alg );
Hanno Beckeredda8b82018-11-12 11:59:30 +0000319
Gilles Peskined2d45c12019-05-27 14:53:13 +0200320 status = psa_import_key( &attributes, key, key_bytelen,
321 &cipher_psa->slot );
322 switch( status )
323 {
324 case PSA_SUCCESS:
325 break;
326 case PSA_ERROR_INSUFFICIENT_MEMORY:
327 return( MBEDTLS_ERR_CIPHER_ALLOC_FAILED );
328 case PSA_ERROR_NOT_SUPPORTED:
329 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
330 default:
TRodziewiczb579ccd2021-04-13 14:28:28 +0200331 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Gilles Peskined2d45c12019-05-27 14:53:13 +0200332 }
333 /* Indicate that we own the key slot and need to
334 * destroy it in mbedtls_cipher_free(). */
335 cipher_psa->slot_state = MBEDTLS_CIPHER_PSA_KEY_OWNED;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000336
337 ctx->key_bitlen = key_bitlen;
338 ctx->operation = operation;
339 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000340 }
341#endif /* MBEDTLS_USE_PSA_CRYPTO */
342
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200343 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_KEY_LEN ) == 0 &&
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200344 (int) ctx->cipher_info->key_bitlen != key_bitlen )
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200345 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200346 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200347 }
Manuel Pégourié-Gonnarddd0f57f2013-09-16 11:47:43 +0200348
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200349 ctx->key_bitlen = key_bitlen;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000350 ctx->operation = operation;
351
Paul Bakker343a8702011-06-09 14:27:58 +0000352 /*
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100353 * For OFB, CFB and CTR mode always use the encryption key schedule
Paul Bakker343a8702011-06-09 14:27:58 +0000354 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200355 if( MBEDTLS_ENCRYPT == operation ||
356 MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100357 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200358 MBEDTLS_MODE_CTR == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000359 {
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500360 return( ctx->cipher_info->base->setkey_enc_func( ctx->cipher_ctx, key,
361 ctx->key_bitlen ) );
Paul Bakker343a8702011-06-09 14:27:58 +0000362 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000363
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200364 if( MBEDTLS_DECRYPT == operation )
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500365 return( ctx->cipher_info->base->setkey_dec_func( ctx->cipher_ctx, key,
366 ctx->key_bitlen ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000367
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200368 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000369}
370
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200371int mbedtls_cipher_set_iv( mbedtls_cipher_context_t *ctx,
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500372 const unsigned char *iv,
373 size_t iv_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000374{
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200375 size_t actual_iv_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000376
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500377 CIPHER_VALIDATE_RET( ctx != NULL );
378 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
379 if( ctx->cipher_info == NULL )
380 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000381#if defined(MBEDTLS_USE_PSA_CRYPTO)
382 if( ctx->psa_enabled == 1 )
383 {
384 /* While PSA Crypto has an API for multipart
385 * operations, we currently don't make it
386 * accessible through the cipher layer. */
387 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
388 }
389#endif /* MBEDTLS_USE_PSA_CRYPTO */
390
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200391 /* avoid buffer overflow in ctx->iv */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200392 if( iv_len > MBEDTLS_MAX_IV_LENGTH )
393 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200394
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200395 if( ( ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_IV_LEN ) != 0 )
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200396 actual_iv_size = iv_len;
397 else
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200398 {
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200399 actual_iv_size = ctx->cipher_info->iv_size;
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200400
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200401 /* avoid reading past the end of input buffer */
402 if( actual_iv_size > iv_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200403 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200404 }
405
Daniel Kingbd920622016-05-15 19:56:20 -0300406#if defined(MBEDTLS_CHACHA20_C)
407 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20 )
408 {
409 if ( 0 != mbedtls_chacha20_starts( (mbedtls_chacha20_context*)ctx->cipher_ctx,
410 iv,
411 0U ) ) /* Initial counter value */
412 {
413 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
414 }
415 }
416#endif
417
Gilles Peskine295fc132021-04-15 18:32:23 +0200418#if defined(MBEDTLS_GCM_C)
419 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
420 {
421 return( mbedtls_gcm_starts( (mbedtls_gcm_context *) ctx->cipher_ctx,
422 ctx->operation,
423 iv, iv_len ) );
424 }
425#endif
426
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200427#if defined(MBEDTLS_CCM_C)
428 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
429 {
430 int set_lengths_result;
431 int ccm_star_mode;
432
433 set_lengths_result = mbedtls_ccm_set_lengths(
434 (mbedtls_ccm_context *) ctx->cipher_ctx,
435 0, 0, 0 );
436 if( set_lengths_result != 0 )
437 return set_lengths_result;
438
439 if( ctx->operation == MBEDTLS_DECRYPT )
440 ccm_star_mode = MBEDTLS_CCM_STAR_DECRYPT;
441 else if( ctx->operation == MBEDTLS_ENCRYPT )
442 ccm_star_mode = MBEDTLS_CCM_STAR_ENCRYPT;
443 else
444 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
445
446 return( mbedtls_ccm_starts( (mbedtls_ccm_context *) ctx->cipher_ctx,
447 ccm_star_mode,
448 iv, iv_len ) );
449 }
450#endif
451
Ron Eldorbb4bbbb2017-10-01 17:04:54 +0300452 if ( actual_iv_size != 0 )
Ron Eldor4e64e0b2017-09-25 18:22:32 +0300453 {
454 memcpy( ctx->iv, iv, actual_iv_size );
455 ctx->iv_size = actual_iv_size;
456 }
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200457
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200458 return( 0 );
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200459}
460
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200461int mbedtls_cipher_reset( mbedtls_cipher_context_t *ctx )
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200462{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500463 CIPHER_VALIDATE_RET( ctx != NULL );
464 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200465 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200466
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000467#if defined(MBEDTLS_USE_PSA_CRYPTO)
468 if( ctx->psa_enabled == 1 )
469 {
470 /* We don't support resetting PSA-based
471 * cipher contexts, yet. */
472 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
473 }
474#endif /* MBEDTLS_USE_PSA_CRYPTO */
475
Paul Bakker8123e9d2011-01-06 15:37:30 +0000476 ctx->unprocessed_len = 0;
477
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200478 return( 0 );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200479}
480
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200481#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200482int mbedtls_cipher_update_ad( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200483 const unsigned char *ad, size_t ad_len )
484{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500485 CIPHER_VALIDATE_RET( ctx != NULL );
486 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
487 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200488 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200489
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000490#if defined(MBEDTLS_USE_PSA_CRYPTO)
491 if( ctx->psa_enabled == 1 )
492 {
493 /* While PSA Crypto has an API for multipart
494 * operations, we currently don't make it
495 * accessible through the cipher layer. */
496 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
497 }
498#endif /* MBEDTLS_USE_PSA_CRYPTO */
499
Daniel King8fe47012016-05-17 20:33:28 -0300500#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200501 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200502 {
Gilles Peskine295fc132021-04-15 18:32:23 +0200503 return( mbedtls_gcm_update_ad( (mbedtls_gcm_context *) ctx->cipher_ctx,
504 ad, ad_len ) );
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200505 }
Daniel King8fe47012016-05-17 20:33:28 -0300506#endif
507
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200508#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -0300509 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
510 {
511 int result;
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200512 mbedtls_chachapoly_mode_t mode;
Daniel King8fe47012016-05-17 20:33:28 -0300513
514 mode = ( ctx->operation == MBEDTLS_ENCRYPT )
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200515 ? MBEDTLS_CHACHAPOLY_ENCRYPT
516 : MBEDTLS_CHACHAPOLY_DECRYPT;
Daniel King8fe47012016-05-17 20:33:28 -0300517
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200518 result = mbedtls_chachapoly_starts( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
Daniel King8fe47012016-05-17 20:33:28 -0300519 ctx->iv,
520 mode );
521 if ( result != 0 )
522 return( result );
523
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500524 return( mbedtls_chachapoly_update_aad( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
525 ad, ad_len ) );
Daniel King8fe47012016-05-17 20:33:28 -0300526 }
527#endif
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200528
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200529 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000530}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200531#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000532
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200533int mbedtls_cipher_update( mbedtls_cipher_context_t *ctx, const unsigned char *input,
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200534 size_t ilen, unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000535{
Janos Follath24eed8d2019-11-22 13:21:35 +0000536 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500537 size_t block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000538
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500539 CIPHER_VALIDATE_RET( ctx != NULL );
540 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
541 CIPHER_VALIDATE_RET( output != NULL );
542 CIPHER_VALIDATE_RET( olen != NULL );
543 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200544 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000545
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000546#if defined(MBEDTLS_USE_PSA_CRYPTO)
547 if( ctx->psa_enabled == 1 )
548 {
549 /* While PSA Crypto has an API for multipart
550 * operations, we currently don't make it
551 * accessible through the cipher layer. */
552 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
553 }
554#endif /* MBEDTLS_USE_PSA_CRYPTO */
555
Paul Bakker6c212762013-12-16 15:24:50 +0100556 *olen = 0;
Janos Follath98e28a72016-05-31 14:03:54 +0100557 block_size = mbedtls_cipher_get_block_size( ctx );
Gilles Peskinea2bdcb92020-01-21 15:02:14 +0100558 if ( 0 == block_size )
559 {
560 return( MBEDTLS_ERR_CIPHER_INVALID_CONTEXT );
561 }
Paul Bakker6c212762013-12-16 15:24:50 +0100562
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200563 if( ctx->cipher_info->mode == MBEDTLS_MODE_ECB )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200564 {
Janos Follath98e28a72016-05-31 14:03:54 +0100565 if( ilen != block_size )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200566 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200567
568 *olen = ilen;
569
570 if( 0 != ( ret = ctx->cipher_info->base->ecb_func( ctx->cipher_ctx,
571 ctx->operation, input, output ) ) )
572 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200573 return( ret );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200574 }
575
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200576 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +0200577 }
578
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200579#if defined(MBEDTLS_GCM_C)
580 if( ctx->cipher_info->mode == MBEDTLS_MODE_GCM )
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200581 {
Gilles Peskinea56c4482021-04-15 17:22:35 +0200582 return( mbedtls_gcm_update( (mbedtls_gcm_context *) ctx->cipher_ctx,
583 input, ilen,
584 output, ilen, olen ) );
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200585 }
586#endif
587
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200588#if defined(MBEDTLS_CCM_C)
589 if( ctx->cipher_info->mode == MBEDTLS_MODE_CCM )
590 {
591 return( mbedtls_ccm_update( (mbedtls_ccm_context *) ctx->cipher_ctx,
592 input, ilen,
593 output, ilen, olen ) );
594 }
595#endif
596
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200597#if defined(MBEDTLS_CHACHAPOLY_C)
598 if ( ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20_POLY1305 )
599 {
600 *olen = ilen;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500601 return( mbedtls_chachapoly_update( (mbedtls_chachapoly_context*) ctx->cipher_ctx,
602 ilen, input, output ) );
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200603 }
604#endif
605
Paul Bakker68884e32013-01-07 18:20:04 +0100606 if( input == output &&
Janos Follath98e28a72016-05-31 14:03:54 +0100607 ( ctx->unprocessed_len != 0 || ilen % block_size ) )
Paul Bakker68884e32013-01-07 18:20:04 +0100608 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200609 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker68884e32013-01-07 18:20:04 +0100610 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000611
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200612#if defined(MBEDTLS_CIPHER_MODE_CBC)
613 if( ctx->cipher_info->mode == MBEDTLS_MODE_CBC )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000614 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200615 size_t copy_len = 0;
616
Paul Bakker8123e9d2011-01-06 15:37:30 +0000617 /*
618 * If there is not enough data for a full block, cache it.
619 */
Andy Leiserson79e77892017-04-28 20:01:49 -0700620 if( ( ctx->operation == MBEDTLS_DECRYPT && NULL != ctx->add_padding &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000621 ilen <= block_size - ctx->unprocessed_len ) ||
Andy Leiserson79e77892017-04-28 20:01:49 -0700622 ( ctx->operation == MBEDTLS_DECRYPT && NULL == ctx->add_padding &&
623 ilen < block_size - ctx->unprocessed_len ) ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200624 ( ctx->operation == MBEDTLS_ENCRYPT &&
Andres Amaya Garcia6a543362017-01-17 23:04:22 +0000625 ilen < block_size - ctx->unprocessed_len ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000626 {
627 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
628 ilen );
629
630 ctx->unprocessed_len += ilen;
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200631 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000632 }
633
634 /*
635 * Process cached data first
636 */
Janos Follath98e28a72016-05-31 14:03:54 +0100637 if( 0 != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000638 {
Janos Follath98e28a72016-05-31 14:03:54 +0100639 copy_len = block_size - ctx->unprocessed_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000640
641 memcpy( &( ctx->unprocessed_data[ctx->unprocessed_len] ), input,
642 copy_len );
643
Paul Bakkerff61a782011-06-09 15:42:02 +0000644 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Janos Follath98e28a72016-05-31 14:03:54 +0100645 ctx->operation, block_size, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000646 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000647 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200648 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000649 }
650
Janos Follath98e28a72016-05-31 14:03:54 +0100651 *olen += block_size;
652 output += block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000653 ctx->unprocessed_len = 0;
654
655 input += copy_len;
656 ilen -= copy_len;
657 }
658
659 /*
660 * Cache final, incomplete block
661 */
662 if( 0 != ilen )
663 {
Andy Leiserson79e77892017-04-28 20:01:49 -0700664 /* Encryption: only cache partial blocks
665 * Decryption w/ padding: always keep at least one whole block
666 * Decryption w/o padding: only cache partial blocks
667 */
Janos Follath98e28a72016-05-31 14:03:54 +0100668 copy_len = ilen % block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700669 if( copy_len == 0 &&
670 ctx->operation == MBEDTLS_DECRYPT &&
671 NULL != ctx->add_padding)
672 {
Janos Follath98e28a72016-05-31 14:03:54 +0100673 copy_len = block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700674 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000675
676 memcpy( ctx->unprocessed_data, &( input[ilen - copy_len] ),
677 copy_len );
678
679 ctx->unprocessed_len += copy_len;
680 ilen -= copy_len;
681 }
682
683 /*
684 * Process remaining full blocks
685 */
686 if( ilen )
687 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000688 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
689 ctx->operation, ilen, ctx->iv, input, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000690 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200691 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000692 }
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200693
Paul Bakker8123e9d2011-01-06 15:37:30 +0000694 *olen += ilen;
695 }
696
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200697 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000698 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200699#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000700
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200701#if defined(MBEDTLS_CIPHER_MODE_CFB)
702 if( ctx->cipher_info->mode == MBEDTLS_MODE_CFB )
Paul Bakker343a8702011-06-09 14:27:58 +0000703 {
Paul Bakker6132d0a2012-07-04 17:10:40 +0000704 if( 0 != ( ret = ctx->cipher_info->base->cfb_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000705 ctx->operation, ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000706 input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000707 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200708 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000709 }
710
711 *olen = ilen;
712
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200713 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000714 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200715#endif /* MBEDTLS_CIPHER_MODE_CFB */
Paul Bakker343a8702011-06-09 14:27:58 +0000716
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100717#if defined(MBEDTLS_CIPHER_MODE_OFB)
718 if( ctx->cipher_info->mode == MBEDTLS_MODE_OFB )
719 {
720 if( 0 != ( ret = ctx->cipher_info->base->ofb_func( ctx->cipher_ctx,
721 ilen, &ctx->unprocessed_len, ctx->iv, input, output ) ) )
722 {
723 return( ret );
724 }
725
726 *olen = ilen;
727
728 return( 0 );
729 }
730#endif /* MBEDTLS_CIPHER_MODE_OFB */
731
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200732#if defined(MBEDTLS_CIPHER_MODE_CTR)
733 if( ctx->cipher_info->mode == MBEDTLS_MODE_CTR )
Paul Bakker343a8702011-06-09 14:27:58 +0000734 {
Paul Bakkerff61a782011-06-09 15:42:02 +0000735 if( 0 != ( ret = ctx->cipher_info->base->ctr_func( ctx->cipher_ctx,
Paul Bakker343a8702011-06-09 14:27:58 +0000736 ilen, &ctx->unprocessed_len, ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +0000737 ctx->unprocessed_data, input, output ) ) )
Paul Bakker343a8702011-06-09 14:27:58 +0000738 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200739 return( ret );
Paul Bakker343a8702011-06-09 14:27:58 +0000740 }
741
742 *olen = ilen;
743
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200744 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000745 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200746#endif /* MBEDTLS_CIPHER_MODE_CTR */
Paul Bakker343a8702011-06-09 14:27:58 +0000747
Jaeden Ameroc6539902018-04-30 17:17:41 +0100748#if defined(MBEDTLS_CIPHER_MODE_XTS)
749 if( ctx->cipher_info->mode == MBEDTLS_MODE_XTS )
750 {
751 if( ctx->unprocessed_len > 0 ) {
752 /* We can only process an entire data unit at a time. */
753 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
754 }
755
756 ret = ctx->cipher_info->base->xts_func( ctx->cipher_ctx,
757 ctx->operation, ilen, ctx->iv, input, output );
758 if( ret != 0 )
759 {
760 return( ret );
761 }
762
763 *olen = ilen;
764
765 return( 0 );
766 }
767#endif /* MBEDTLS_CIPHER_MODE_XTS */
768
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200769#if defined(MBEDTLS_CIPHER_MODE_STREAM)
770 if( ctx->cipher_info->mode == MBEDTLS_MODE_STREAM )
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200771 {
772 if( 0 != ( ret = ctx->cipher_info->base->stream_func( ctx->cipher_ctx,
773 ilen, input, output ) ) )
774 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200775 return( ret );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200776 }
777
778 *olen = ilen;
779
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200780 return( 0 );
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200781 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200782#endif /* MBEDTLS_CIPHER_MODE_STREAM */
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200783
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200784 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000785}
786
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200787#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
788#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200789/*
790 * PKCS7 (and PKCS5) padding: fill with ll bytes, with ll = padding_len
791 */
Paul Bakker23986e52011-04-24 08:57:21 +0000792static void add_pkcs_padding( unsigned char *output, size_t output_len,
793 size_t data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000794{
Paul Bakker23986e52011-04-24 08:57:21 +0000795 size_t padding_len = output_len - data_len;
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100796 unsigned char i;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000797
798 for( i = 0; i < padding_len; i++ )
Paul Bakker23986e52011-04-24 08:57:21 +0000799 output[data_len + i] = (unsigned char) padding_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000800}
801
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200802static int get_pkcs_padding( unsigned char *input, size_t input_len,
803 size_t *data_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000804{
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100805 size_t i, pad_idx;
806 unsigned char padding_len, bad = 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000807
Paul Bakkera885d682011-01-20 16:35:05 +0000808 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200809 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000810
811 padding_len = input[input_len - 1];
Paul Bakker8123e9d2011-01-06 15:37:30 +0000812 *data_len = input_len - padding_len;
813
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100814 /* Avoid logical || since it results in a branch */
815 bad |= padding_len > input_len;
816 bad |= padding_len == 0;
817
818 /* The number of bytes checked must be independent of padding_len,
819 * so pick input_len, which is usually 8 or 16 (one block) */
820 pad_idx = input_len - padding_len;
821 for( i = 0; i < input_len; i++ )
822 bad |= ( input[i] ^ padding_len ) * ( i >= pad_idx );
823
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200824 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000825}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200826#endif /* MBEDTLS_CIPHER_PADDING_PKCS7 */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000827
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200828#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200829/*
830 * One and zeros padding: fill with 80 00 ... 00
831 */
832static void add_one_and_zeros_padding( unsigned char *output,
833 size_t output_len, size_t data_len )
834{
835 size_t padding_len = output_len - data_len;
836 unsigned char i = 0;
837
838 output[data_len] = 0x80;
839 for( i = 1; i < padding_len; i++ )
840 output[data_len + i] = 0x00;
841}
842
843static int get_one_and_zeros_padding( unsigned char *input, size_t input_len,
844 size_t *data_len )
845{
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100846 size_t i;
847 unsigned char done = 0, prev_done, bad;
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200848
849 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200850 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200851
Micha Krausba8316f2017-12-23 23:40:08 +0100852 bad = 0x80;
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100853 *data_len = 0;
854 for( i = input_len; i > 0; i-- )
855 {
856 prev_done = done;
Micha Krausba8316f2017-12-23 23:40:08 +0100857 done |= ( input[i - 1] != 0 );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100858 *data_len |= ( i - 1 ) * ( done != prev_done );
Micha Krausba8316f2017-12-23 23:40:08 +0100859 bad ^= input[i - 1] * ( done != prev_done );
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100860 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200861
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200862 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200863
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200864}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200865#endif /* MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS */
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200866
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200867#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200868/*
869 * Zeros and len padding: fill with 00 ... 00 ll, where ll is padding length
870 */
871static void add_zeros_and_len_padding( unsigned char *output,
872 size_t output_len, size_t data_len )
873{
874 size_t padding_len = output_len - data_len;
875 unsigned char i = 0;
876
877 for( i = 1; i < padding_len; i++ )
878 output[data_len + i - 1] = 0x00;
879 output[output_len - 1] = (unsigned char) padding_len;
880}
881
882static int get_zeros_and_len_padding( unsigned char *input, size_t input_len,
883 size_t *data_len )
884{
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100885 size_t i, pad_idx;
886 unsigned char padding_len, bad = 0;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200887
888 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200889 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200890
891 padding_len = input[input_len - 1];
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200892 *data_len = input_len - padding_len;
893
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100894 /* Avoid logical || since it results in a branch */
895 bad |= padding_len > input_len;
896 bad |= padding_len == 0;
897
898 /* The number of bytes checked must be independent of padding_len */
899 pad_idx = input_len - padding_len;
900 for( i = 0; i < input_len - 1; i++ )
901 bad |= input[i] * ( i >= pad_idx );
902
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200903 return( MBEDTLS_ERR_CIPHER_INVALID_PADDING * ( bad != 0 ) );
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200904}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200905#endif /* MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN */
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200906
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200907#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200908/*
909 * Zero padding: fill with 00 ... 00
910 */
911static void add_zeros_padding( unsigned char *output,
912 size_t output_len, size_t data_len )
913{
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200914 size_t i;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200915
916 for( i = data_len; i < output_len; i++ )
917 output[i] = 0x00;
918}
919
920static int get_zeros_padding( unsigned char *input, size_t input_len,
921 size_t *data_len )
922{
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100923 size_t i;
924 unsigned char done = 0, prev_done;
925
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200926 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200927 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200928
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100929 *data_len = 0;
930 for( i = input_len; i > 0; i-- )
931 {
932 prev_done = done;
933 done |= ( input[i-1] != 0 );
934 *data_len |= i * ( done != prev_done );
935 }
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200936
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200937 return( 0 );
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200938}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200939#endif /* MBEDTLS_CIPHER_PADDING_ZEROS */
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200940
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200941/*
942 * No padding: don't pad :)
943 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200944 * There is no add_padding function (check for NULL in mbedtls_cipher_finish)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200945 * but a trivial get_padding function
946 */
947static int get_no_padding( unsigned char *input, size_t input_len,
948 size_t *data_len )
949{
950 if( NULL == input || NULL == data_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200951 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200952
953 *data_len = input_len;
954
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200955 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200956}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200957#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200958
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200959int mbedtls_cipher_finish( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +0200960 unsigned char *output, size_t *olen )
Paul Bakker8123e9d2011-01-06 15:37:30 +0000961{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500962 CIPHER_VALIDATE_RET( ctx != NULL );
963 CIPHER_VALIDATE_RET( output != NULL );
964 CIPHER_VALIDATE_RET( olen != NULL );
965 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200966 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Paul Bakker8123e9d2011-01-06 15:37:30 +0000967
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000968#if defined(MBEDTLS_USE_PSA_CRYPTO)
969 if( ctx->psa_enabled == 1 )
970 {
971 /* While PSA Crypto has an API for multipart
972 * operations, we currently don't make it
973 * accessible through the cipher layer. */
974 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
975 }
976#endif /* MBEDTLS_USE_PSA_CRYPTO */
977
Paul Bakker8123e9d2011-01-06 15:37:30 +0000978 *olen = 0;
979
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200980 if( MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100981 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200982 MBEDTLS_MODE_CTR == ctx->cipher_info->mode ||
983 MBEDTLS_MODE_GCM == ctx->cipher_info->mode ||
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200984 MBEDTLS_MODE_CCM == ctx->cipher_info->mode ||
Jaeden Ameroc6539902018-04-30 17:17:41 +0100985 MBEDTLS_MODE_XTS == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200986 MBEDTLS_MODE_STREAM == ctx->cipher_info->mode )
Paul Bakker343a8702011-06-09 14:27:58 +0000987 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200988 return( 0 );
Paul Bakker343a8702011-06-09 14:27:58 +0000989 }
990
Daniel King8fe47012016-05-17 20:33:28 -0300991 if ( ( MBEDTLS_CIPHER_CHACHA20 == ctx->cipher_info->type ) ||
992 ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type ) )
Daniel Kingbd920622016-05-15 19:56:20 -0300993 {
994 return( 0 );
995 }
996
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200997 if( MBEDTLS_MODE_ECB == ctx->cipher_info->mode )
Paul Bakker5e0efa72013-09-08 23:04:04 +0200998 {
999 if( ctx->unprocessed_len != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001000 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker5e0efa72013-09-08 23:04:04 +02001001
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001002 return( 0 );
Paul Bakker5e0efa72013-09-08 23:04:04 +02001003 }
1004
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001005#if defined(MBEDTLS_CIPHER_MODE_CBC)
1006 if( MBEDTLS_MODE_CBC == ctx->cipher_info->mode )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001007 {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001008 int ret = 0;
1009
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001010 if( MBEDTLS_ENCRYPT == ctx->operation )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001011 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001012 /* check for 'no padding' mode */
1013 if( NULL == ctx->add_padding )
1014 {
1015 if( 0 != ctx->unprocessed_len )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001016 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001017
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001018 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001019 }
1020
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001021 ctx->add_padding( ctx->unprocessed_data, mbedtls_cipher_get_iv_size( ctx ),
Paul Bakker8123e9d2011-01-06 15:37:30 +00001022 ctx->unprocessed_len );
1023 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001024 else if( mbedtls_cipher_get_block_size( ctx ) != ctx->unprocessed_len )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001025 {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001026 /*
1027 * For decrypt operations, expect a full block,
1028 * or an empty block if no padding
1029 */
1030 if( NULL == ctx->add_padding && 0 == ctx->unprocessed_len )
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001031 return( 0 );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001032
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001033 return( MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001034 }
1035
1036 /* cipher block */
Paul Bakkerff61a782011-06-09 15:42:02 +00001037 if( 0 != ( ret = ctx->cipher_info->base->cbc_func( ctx->cipher_ctx,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001038 ctx->operation, mbedtls_cipher_get_block_size( ctx ), ctx->iv,
Paul Bakkerff61a782011-06-09 15:42:02 +00001039 ctx->unprocessed_data, output ) ) )
Paul Bakker8123e9d2011-01-06 15:37:30 +00001040 {
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001041 return( ret );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001042 }
1043
1044 /* Set output size for decryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001045 if( MBEDTLS_DECRYPT == ctx->operation )
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001046 return( ctx->get_padding( output, mbedtls_cipher_get_block_size( ctx ),
1047 olen ) );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001048
1049 /* Set output size for encryption */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001050 *olen = mbedtls_cipher_get_block_size( ctx );
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001051 return( 0 );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001052 }
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001053#else
1054 ((void) output);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001055#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +00001056
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001057 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Paul Bakker8123e9d2011-01-06 15:37:30 +00001058}
1059
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001060#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Hanno Becker18597cd2018-11-09 16:36:33 +00001061int mbedtls_cipher_set_padding_mode( mbedtls_cipher_context_t *ctx,
1062 mbedtls_cipher_padding_t mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001063{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001064 CIPHER_VALIDATE_RET( ctx != NULL );
1065
1066 if( NULL == ctx->cipher_info || MBEDTLS_MODE_CBC != ctx->cipher_info->mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001067 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001068 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001069 }
1070
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001071#if defined(MBEDTLS_USE_PSA_CRYPTO)
1072 if( ctx->psa_enabled == 1 )
1073 {
1074 /* While PSA Crypto knows about CBC padding
1075 * schemes, we currently don't make them
1076 * accessible through the cipher layer. */
1077 if( mode != MBEDTLS_PADDING_NONE )
1078 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1079
1080 return( 0 );
1081 }
1082#endif /* MBEDTLS_USE_PSA_CRYPTO */
1083
Paul Bakker1a45d912013-08-14 12:04:26 +02001084 switch( mode )
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001085 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001086#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
1087 case MBEDTLS_PADDING_PKCS7:
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001088 ctx->add_padding = add_pkcs_padding;
1089 ctx->get_padding = get_pkcs_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_ONE_AND_ZEROS)
1093 case MBEDTLS_PADDING_ONE_AND_ZEROS:
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +02001094 ctx->add_padding = add_one_and_zeros_padding;
1095 ctx->get_padding = get_one_and_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#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
1099 case MBEDTLS_PADDING_ZEROS_AND_LEN:
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +02001100 ctx->add_padding = add_zeros_and_len_padding;
1101 ctx->get_padding = get_zeros_and_len_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001102 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001103#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001104#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
1105 case MBEDTLS_PADDING_ZEROS:
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +02001106 ctx->add_padding = add_zeros_padding;
1107 ctx->get_padding = get_zeros_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001108 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001109#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001110 case MBEDTLS_PADDING_NONE:
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001111 ctx->add_padding = NULL;
1112 ctx->get_padding = get_no_padding;
Paul Bakker1a45d912013-08-14 12:04:26 +02001113 break;
1114
1115 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001116 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001117 }
1118
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001119 return( 0 );
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001120}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001121#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001122
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001123#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001124int mbedtls_cipher_write_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001125 unsigned char *tag, size_t tag_len )
1126{
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001127 CIPHER_VALIDATE_RET( ctx != NULL );
1128 CIPHER_VALIDATE_RET( tag_len == 0 || tag != NULL );
1129 if( ctx->cipher_info == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001130 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001131
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001132 if( MBEDTLS_ENCRYPT != ctx->operation )
1133 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001134
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001135#if defined(MBEDTLS_USE_PSA_CRYPTO)
1136 if( ctx->psa_enabled == 1 )
1137 {
1138 /* While PSA Crypto has an API for multipart
1139 * operations, we currently don't make it
1140 * accessible through the cipher layer. */
1141 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001142 }
1143#endif /* MBEDTLS_USE_PSA_CRYPTO */
1144
Daniel King8fe47012016-05-17 20:33:28 -03001145#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001146 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Gilles Peskine5a7be102021-06-23 21:51:32 +02001147 {
1148 size_t output_length;
1149 /* The code here doesn't yet support alternative implementations
1150 * that can delay up to a block of output. */
Hanno Becker18597cd2018-11-09 16:36:33 +00001151 return( mbedtls_gcm_finish( (mbedtls_gcm_context *) ctx->cipher_ctx,
Gilles Peskine5a7be102021-06-23 21:51:32 +02001152 NULL, 0, &output_length,
Hanno Becker18597cd2018-11-09 16:36:33 +00001153 tag, tag_len ) );
Gilles Peskine5a7be102021-06-23 21:51:32 +02001154 }
Daniel King8fe47012016-05-17 20:33:28 -03001155#endif
1156
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001157#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001158 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1159 {
1160 /* Don't allow truncated MAC for Poly1305 */
1161 if ( tag_len != 16U )
1162 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1163
Hanno Becker18597cd2018-11-09 16:36:33 +00001164 return( mbedtls_chachapoly_finish(
1165 (mbedtls_chachapoly_context*) ctx->cipher_ctx, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001166 }
1167#endif
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001168
Paul Bakkerd8bb8262014-06-17 14:06:49 +02001169 return( 0 );
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001170}
Paul Bakker9af723c2014-05-01 13:03:14 +02001171
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001172int mbedtls_cipher_check_tag( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001173 const unsigned char *tag, size_t tag_len )
1174{
Daniel King8fe47012016-05-17 20:33:28 -03001175 unsigned char check_tag[16];
Janos Follath24eed8d2019-11-22 13:21:35 +00001176 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001177
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001178 CIPHER_VALIDATE_RET( ctx != NULL );
1179 CIPHER_VALIDATE_RET( tag_len == 0 || tag != NULL );
1180 if( ctx->cipher_info == NULL )
1181 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1182
1183 if( MBEDTLS_DECRYPT != ctx->operation )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001184 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001185 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001186 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001187
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001188#if defined(MBEDTLS_USE_PSA_CRYPTO)
1189 if( ctx->psa_enabled == 1 )
1190 {
1191 /* While PSA Crypto has an API for multipart
1192 * operations, we currently don't make it
1193 * accessible through the cipher layer. */
1194 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1195 }
1196#endif /* MBEDTLS_USE_PSA_CRYPTO */
1197
Daniel King8fe47012016-05-17 20:33:28 -03001198#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001199 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001200 {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001201 size_t output_length;
1202 /* The code here doesn't yet support alternative implementations
1203 * that can delay up to a block of output. */
1204
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001205 if( tag_len > sizeof( check_tag ) )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001206 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001207
Hanno Becker18597cd2018-11-09 16:36:33 +00001208 if( 0 != ( ret = mbedtls_gcm_finish(
1209 (mbedtls_gcm_context *) ctx->cipher_ctx,
Gilles Peskine5a7be102021-06-23 21:51:32 +02001210 NULL, 0, &output_length,
Hanno Becker18597cd2018-11-09 16:36:33 +00001211 check_tag, tag_len ) ) )
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001212 {
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001213 return( ret );
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001214 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001215
1216 /* Check the tag in "constant-time" */
Daniel King8fe47012016-05-17 20:33:28 -03001217 if( mbedtls_constant_time_memcmp( tag, check_tag, tag_len ) != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001218 return( MBEDTLS_ERR_CIPHER_AUTH_FAILED );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001219
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001220 return( 0 );
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001221 }
Daniel King8fe47012016-05-17 20:33:28 -03001222#endif /* MBEDTLS_GCM_C */
1223
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001224#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001225 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1226 {
1227 /* Don't allow truncated MAC for Poly1305 */
1228 if ( tag_len != sizeof( check_tag ) )
1229 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1230
Hanno Becker18597cd2018-11-09 16:36:33 +00001231 ret = mbedtls_chachapoly_finish(
1232 (mbedtls_chachapoly_context*) ctx->cipher_ctx, check_tag );
Daniel King8fe47012016-05-17 20:33:28 -03001233 if ( ret != 0 )
1234 {
1235 return( ret );
1236 }
1237
1238 /* Check the tag in "constant-time" */
1239 if( mbedtls_constant_time_memcmp( tag, check_tag, tag_len ) != 0 )
1240 return( MBEDTLS_ERR_CIPHER_AUTH_FAILED );
1241
1242 return( 0 );
1243 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001244#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001245
1246 return( 0 );
1247}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001248#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001249
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001250/*
1251 * Packet-oriented wrapper for non-AEAD modes
1252 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001253int mbedtls_cipher_crypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001254 const unsigned char *iv, size_t iv_len,
1255 const unsigned char *input, size_t ilen,
1256 unsigned char *output, size_t *olen )
1257{
Janos Follath24eed8d2019-11-22 13:21:35 +00001258 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001259 size_t finish_olen;
1260
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001261 CIPHER_VALIDATE_RET( ctx != NULL );
1262 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
1263 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1264 CIPHER_VALIDATE_RET( output != NULL );
1265 CIPHER_VALIDATE_RET( olen != NULL );
1266
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001267#if defined(MBEDTLS_USE_PSA_CRYPTO)
1268 if( ctx->psa_enabled == 1 )
1269 {
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001270 /* As in the non-PSA case, we don't check that
1271 * a key has been set. If not, the key slot will
1272 * still be in its default state of 0, which is
1273 * guaranteed to be invalid, hence the PSA-call
1274 * below will gracefully fail. */
1275 mbedtls_cipher_context_psa * const cipher_psa =
1276 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1277
1278 psa_status_t status;
Jaeden Amerofe96fbe2019-02-20 10:32:28 +00001279 psa_cipher_operation_t cipher_op = PSA_CIPHER_OPERATION_INIT;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001280 size_t part_len;
1281
1282 if( ctx->operation == MBEDTLS_DECRYPT )
1283 {
1284 status = psa_cipher_decrypt_setup( &cipher_op,
1285 cipher_psa->slot,
1286 cipher_psa->alg );
1287 }
1288 else if( ctx->operation == MBEDTLS_ENCRYPT )
1289 {
1290 status = psa_cipher_encrypt_setup( &cipher_op,
1291 cipher_psa->slot,
1292 cipher_psa->alg );
1293 }
1294 else
1295 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1296
1297 /* In the following, we can immediately return on an error,
1298 * because the PSA Crypto API guarantees that cipher operations
1299 * are terminated by unsuccessful calls to psa_cipher_update(),
1300 * and by any call to psa_cipher_finish(). */
1301 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001302 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001303
Przemyslaw Stekiel80c6a8e2021-09-29 12:13:11 +02001304 if( ctx->cipher_info->mode != MBEDTLS_MODE_ECB )
1305 {
1306 status = psa_cipher_set_iv( &cipher_op, iv, iv_len );
1307 if( status != PSA_SUCCESS )
1308 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
1309 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001310
1311 status = psa_cipher_update( &cipher_op,
1312 input, ilen,
1313 output, ilen, olen );
1314 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001315 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001316
1317 status = psa_cipher_finish( &cipher_op,
1318 output + *olen, ilen - *olen,
1319 &part_len );
1320 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001321 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001322
1323 *olen += part_len;
1324 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001325 }
1326#endif /* MBEDTLS_USE_PSA_CRYPTO */
1327
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001328 if( ( ret = mbedtls_cipher_set_iv( ctx, iv, iv_len ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001329 return( ret );
1330
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001331 if( ( ret = mbedtls_cipher_reset( ctx ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001332 return( ret );
1333
Hanno Becker18597cd2018-11-09 16:36:33 +00001334 if( ( ret = mbedtls_cipher_update( ctx, input, ilen,
1335 output, olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001336 return( ret );
1337
Hanno Becker18597cd2018-11-09 16:36:33 +00001338 if( ( ret = mbedtls_cipher_finish( ctx, output + *olen,
1339 &finish_olen ) ) != 0 )
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001340 return( ret );
1341
1342 *olen += finish_olen;
1343
1344 return( 0 );
1345}
1346
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001347#if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001348/*
TRodziewicz18efb732021-04-29 23:12:19 +02001349 * Packet-oriented encryption for AEAD modes: internal function used by
1350 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001351 */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001352static int mbedtls_cipher_aead_encrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001353 const unsigned char *iv, size_t iv_len,
1354 const unsigned char *ad, size_t ad_len,
1355 const unsigned char *input, size_t ilen,
1356 unsigned char *output, size_t *olen,
1357 unsigned char *tag, size_t tag_len )
1358{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001359#if defined(MBEDTLS_USE_PSA_CRYPTO)
1360 if( ctx->psa_enabled == 1 )
1361 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001362 /* As in the non-PSA case, we don't check that
1363 * a key has been set. If not, the key slot will
1364 * still be in its default state of 0, which is
1365 * guaranteed to be invalid, hence the PSA-call
1366 * below will gracefully fail. */
1367 mbedtls_cipher_context_psa * const cipher_psa =
1368 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1369
1370 psa_status_t status;
1371
1372 /* PSA Crypto API always writes the authentication tag
1373 * at the end of the encrypted message. */
Gilles Peskine70edd682020-12-03 20:27:27 +01001374 if( output == NULL || tag != output + ilen )
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001375 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1376
1377 status = psa_aead_encrypt( cipher_psa->slot,
1378 cipher_psa->alg,
1379 iv, iv_len,
1380 ad, ad_len,
1381 input, ilen,
1382 output, ilen + tag_len, olen );
1383 if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001384 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001385
1386 *olen -= tag_len;
1387 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001388 }
1389#endif /* MBEDTLS_USE_PSA_CRYPTO */
1390
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001391#if defined(MBEDTLS_GCM_C)
1392 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001393 {
1394 *olen = ilen;
Hanno Becker18597cd2018-11-09 16:36:33 +00001395 return( mbedtls_gcm_crypt_and_tag( ctx->cipher_ctx, MBEDTLS_GCM_ENCRYPT,
1396 ilen, iv, iv_len, ad, ad_len,
1397 input, output, tag_len, tag ) );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001398 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001399#endif /* MBEDTLS_GCM_C */
1400#if defined(MBEDTLS_CCM_C)
1401 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001402 {
1403 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001404 return( mbedtls_ccm_encrypt_and_tag( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001405 iv, iv_len, ad, ad_len, input, output,
1406 tag, tag_len ) );
1407 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001408#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001409#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001410 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1411 {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001412 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001413 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001414 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001415 {
1416 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1417 }
1418
1419 *olen = ilen;
Manuel Pégourié-Gonnard3dc62a02018-06-04 12:18:19 +02001420 return( mbedtls_chachapoly_encrypt_and_tag( ctx->cipher_ctx,
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001421 ilen, iv, ad, ad_len, input, output, tag ) );
Daniel King8fe47012016-05-17 20:33:28 -03001422 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001423#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001424
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001425 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001426}
1427
1428/*
TRodziewicz18efb732021-04-29 23:12:19 +02001429 * Packet-oriented encryption for AEAD modes: internal function used by
1430 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001431 */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001432static int mbedtls_cipher_aead_decrypt( mbedtls_cipher_context_t *ctx,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001433 const unsigned char *iv, size_t iv_len,
1434 const unsigned char *ad, size_t ad_len,
1435 const unsigned char *input, size_t ilen,
1436 unsigned char *output, size_t *olen,
1437 const unsigned char *tag, size_t tag_len )
1438{
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001439#if defined(MBEDTLS_USE_PSA_CRYPTO)
1440 if( ctx->psa_enabled == 1 )
1441 {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001442 /* As in the non-PSA case, we don't check that
1443 * a key has been set. If not, the key slot will
1444 * still be in its default state of 0, which is
1445 * guaranteed to be invalid, hence the PSA-call
1446 * below will gracefully fail. */
1447 mbedtls_cipher_context_psa * const cipher_psa =
1448 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1449
1450 psa_status_t status;
1451
1452 /* PSA Crypto API always writes the authentication tag
1453 * at the end of the encrypted message. */
Gilles Peskine70edd682020-12-03 20:27:27 +01001454 if( input == NULL || tag != input + ilen )
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001455 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1456
1457 status = psa_aead_decrypt( cipher_psa->slot,
1458 cipher_psa->alg,
1459 iv, iv_len,
1460 ad, ad_len,
1461 input, ilen + tag_len,
1462 output, ilen, olen );
1463 if( status == PSA_ERROR_INVALID_SIGNATURE )
1464 return( MBEDTLS_ERR_CIPHER_AUTH_FAILED );
1465 else if( status != PSA_SUCCESS )
TRodziewiczb579ccd2021-04-13 14:28:28 +02001466 return( MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED );
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001467
1468 return( 0 );
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001469 }
1470#endif /* MBEDTLS_USE_PSA_CRYPTO */
1471
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001472#if defined(MBEDTLS_GCM_C)
1473 if( MBEDTLS_MODE_GCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001474 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001475 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001476
1477 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001478 ret = mbedtls_gcm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001479 iv, iv_len, ad, ad_len,
1480 tag, tag_len, input, output );
1481
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001482 if( ret == MBEDTLS_ERR_GCM_AUTH_FAILED )
1483 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001484
1485 return( ret );
1486 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001487#endif /* MBEDTLS_GCM_C */
1488#if defined(MBEDTLS_CCM_C)
1489 if( MBEDTLS_MODE_CCM == ctx->cipher_info->mode )
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001490 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001491 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001492
1493 *olen = ilen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001494 ret = mbedtls_ccm_auth_decrypt( ctx->cipher_ctx, ilen,
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001495 iv, iv_len, ad, ad_len,
1496 input, output, tag, tag_len );
1497
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001498 if( ret == MBEDTLS_ERR_CCM_AUTH_FAILED )
1499 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001500
1501 return( ret );
1502 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001503#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001504#if defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -03001505 if ( MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type )
1506 {
Janos Follath24eed8d2019-11-22 13:21:35 +00001507 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel King8fe47012016-05-17 20:33:28 -03001508
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001509 /* ChachaPoly has fixed length nonce and MAC (tag) */
Daniel King8fe47012016-05-17 20:33:28 -03001510 if ( ( iv_len != ctx->cipher_info->iv_size ) ||
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001511 ( tag_len != 16U ) )
Daniel King8fe47012016-05-17 20:33:28 -03001512 {
1513 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1514 }
1515
1516 *olen = ilen;
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001517 ret = mbedtls_chachapoly_auth_decrypt( ctx->cipher_ctx, ilen,
1518 iv, ad, ad_len, tag, input, output );
Daniel King8fe47012016-05-17 20:33:28 -03001519
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001520 if( ret == MBEDTLS_ERR_CHACHAPOLY_AUTH_FAILED )
1521 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Daniel King8fe47012016-05-17 20:33:28 -03001522
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001523 return( ret );
Daniel King8fe47012016-05-17 20:33:28 -03001524 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001525#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001526
1527 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1528}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001529#endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001530
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001531#if defined(MBEDTLS_CIPHER_MODE_AEAD) || defined(MBEDTLS_NIST_KW_C)
1532/*
1533 * Packet-oriented encryption for AEAD/NIST_KW: public function.
1534 */
1535int mbedtls_cipher_auth_encrypt_ext( mbedtls_cipher_context_t *ctx,
1536 const unsigned char *iv, size_t iv_len,
1537 const unsigned char *ad, size_t ad_len,
1538 const unsigned char *input, size_t ilen,
1539 unsigned char *output, size_t output_len,
1540 size_t *olen, size_t tag_len )
1541{
1542 CIPHER_VALIDATE_RET( ctx != NULL );
Gilles Peskine70edd682020-12-03 20:27:27 +01001543 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001544 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
1545 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1546 CIPHER_VALIDATE_RET( output != NULL );
1547 CIPHER_VALIDATE_RET( olen != NULL );
1548
1549#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001550 if(
1551#if defined(MBEDTLS_USE_PSA_CRYPTO)
1552 ctx->psa_enabled == 0 &&
1553#endif
1554 ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1555 MBEDTLS_MODE_KWP == ctx->cipher_info->mode ) )
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001556 {
1557 mbedtls_nist_kw_mode_t mode = ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ) ?
1558 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
1559
1560 /* There is no iv, tag or ad associated with KW and KWP,
1561 * so these length should be 0 as documented. */
1562 if( iv_len != 0 || tag_len != 0 || ad_len != 0 )
1563 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1564
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001565 (void) iv;
1566 (void) ad;
1567
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001568 return( mbedtls_nist_kw_wrap( ctx->cipher_ctx, mode, input, ilen,
1569 output, olen, output_len ) );
1570 }
1571#endif /* MBEDTLS_NIST_KW_C */
1572
1573#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1574 /* AEAD case: check length before passing on to shared function */
1575 if( output_len < ilen + tag_len )
1576 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1577
1578 int ret = mbedtls_cipher_aead_encrypt( ctx, iv, iv_len, ad, ad_len,
1579 input, ilen, output, olen,
1580 output + ilen, tag_len );
1581 *olen += tag_len;
1582 return( ret );
1583#else
1584 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1585#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1586}
1587
1588/*
1589 * Packet-oriented decryption for AEAD/NIST_KW: public function.
1590 */
1591int mbedtls_cipher_auth_decrypt_ext( mbedtls_cipher_context_t *ctx,
1592 const unsigned char *iv, size_t iv_len,
1593 const unsigned char *ad, size_t ad_len,
1594 const unsigned char *input, size_t ilen,
1595 unsigned char *output, size_t output_len,
1596 size_t *olen, size_t tag_len )
1597{
1598 CIPHER_VALIDATE_RET( ctx != NULL );
Gilles Peskine70edd682020-12-03 20:27:27 +01001599 CIPHER_VALIDATE_RET( iv_len == 0 || iv != NULL );
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001600 CIPHER_VALIDATE_RET( ad_len == 0 || ad != NULL );
1601 CIPHER_VALIDATE_RET( ilen == 0 || input != NULL );
1602 CIPHER_VALIDATE_RET( output_len == 0 || output != NULL );
1603 CIPHER_VALIDATE_RET( olen != NULL );
1604
1605#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001606 if(
1607#if defined(MBEDTLS_USE_PSA_CRYPTO)
1608 ctx->psa_enabled == 0 &&
1609#endif
1610 ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1611 MBEDTLS_MODE_KWP == ctx->cipher_info->mode ) )
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001612 {
1613 mbedtls_nist_kw_mode_t mode = ( MBEDTLS_MODE_KW == ctx->cipher_info->mode ) ?
1614 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
1615
1616 /* There is no iv, tag or ad associated with KW and KWP,
1617 * so these length should be 0 as documented. */
1618 if( iv_len != 0 || tag_len != 0 || ad_len != 0 )
1619 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1620
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001621 (void) iv;
1622 (void) ad;
1623
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001624 return( mbedtls_nist_kw_unwrap( ctx->cipher_ctx, mode, input, ilen,
1625 output, olen, output_len ) );
1626 }
1627#endif /* MBEDTLS_NIST_KW_C */
1628
1629#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1630 /* AEAD case: check length before passing on to shared function */
1631 if( ilen < tag_len || output_len < ilen - tag_len )
1632 return( MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA );
1633
1634 return( mbedtls_cipher_aead_decrypt( ctx, iv, iv_len, ad, ad_len,
1635 input, ilen - tag_len, output, olen,
1636 input + ilen - tag_len, tag_len ) );
1637#else
1638 return( MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE );
1639#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1640}
1641#endif /* MBEDTLS_CIPHER_MODE_AEAD || MBEDTLS_NIST_KW_C */
1642
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001643#endif /* MBEDTLS_CIPHER_C */