blob: ddddec92d459bc42a0f59c8c7d01d5d1d8b3448f [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
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020028# include "mbedtls/cipher.h"
29# include "cipher_wrap.h"
30# include "mbedtls/platform_util.h"
31# include "mbedtls/error.h"
Paul Bakker8123e9d2011-01-06 15:37:30 +000032
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020033# include <stdlib.h>
34# include <string.h>
Rich Evans00ab4702015-02-06 13:43:58 +000035
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020036# if defined(MBEDTLS_CHACHAPOLY_C)
37# include "mbedtls/chachapoly.h"
38# endif
Daniel King8fe47012016-05-17 20:33:28 -030039
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020040# if defined(MBEDTLS_GCM_C)
41# include "mbedtls/gcm.h"
42# endif
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +020043
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020044# if defined(MBEDTLS_CCM_C)
45# include "mbedtls/ccm.h"
46# endif
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +020047
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020048# if defined(MBEDTLS_CHACHA20_C)
49# include "mbedtls/chacha20.h"
50# endif
Daniel Kingbd920622016-05-15 19:56:20 -030051
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020052# if defined(MBEDTLS_CMAC_C)
53# include "mbedtls/cmac.h"
54# endif
Simon Butcher327398a2016-10-05 14:09:11 +010055
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020056# if defined(MBEDTLS_USE_PSA_CRYPTO)
57# include "psa/crypto.h"
58# include "mbedtls/psa_util.h"
59# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Becker4ccfc402018-11-09 16:10:57 +000060
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020061# if defined(MBEDTLS_NIST_KW_C)
62# include "mbedtls/nist_kw.h"
63# endif
Jack Lloydffdf2882019-03-07 17:00:32 -050064
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020065# if defined(MBEDTLS_PLATFORM_C)
66# include "mbedtls/platform.h"
67# else
68# define mbedtls_calloc calloc
69# define mbedtls_free free
70# endif
Simon Butcher327398a2016-10-05 14:09:11 +010071
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020072# define CIPHER_VALIDATE_RET(cond) \
73 MBEDTLS_INTERNAL_VALIDATE_RET(cond, MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA)
74# define CIPHER_VALIDATE(cond) MBEDTLS_INTERNAL_VALIDATE(cond)
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050075
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020076# if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Daniel King8fe47012016-05-17 20:33:28 -030077/* Compare the contents of two buffers in constant time.
78 * Returns 0 if the contents are bitwise identical, otherwise returns
Daniel King16b04ce2016-05-18 13:38:22 -030079 * a non-zero value.
80 * This is currently only used by GCM and ChaCha20+Poly1305.
81 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020082static int
83mbedtls_constant_time_memcmp(const void *v1, const void *v2, size_t len)
Daniel King8fe47012016-05-17 20:33:28 -030084{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020085 const unsigned char *p1 = (const unsigned char *)v1;
86 const unsigned char *p2 = (const unsigned char *)v2;
Daniel King8fe47012016-05-17 20:33:28 -030087 size_t i;
88 unsigned char diff;
89
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020090 for (diff = 0, i = 0; i < len; i++)
Daniel King8fe47012016-05-17 20:33:28 -030091 diff |= p1[i] ^ p2[i];
92
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020093 return (int)diff;
Daniel King8fe47012016-05-17 20:33:28 -030094}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020095# endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Daniel King8fe47012016-05-17 20:33:28 -030096
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020097static int supported_init = 0;
Paul Bakker72f62662011-01-16 21:27:44 +000098
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +020099const int *mbedtls_cipher_list(void)
Paul Bakker72f62662011-01-16 21:27:44 +0000100{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200101 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200102 int *type;
103
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200104 if (!supported_init) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200105 def = mbedtls_cipher_definitions;
106 type = mbedtls_cipher_supported;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200107
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200108 while (def->type != 0)
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200109 *type++ = (*def++).type;
110
111 *type = 0;
112
113 supported_init = 1;
114 }
115
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200116 return mbedtls_cipher_supported;
Paul Bakker72f62662011-01-16 21:27:44 +0000117}
118
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200119const mbedtls_cipher_info_t *
120mbedtls_cipher_info_from_type(const mbedtls_cipher_type_t cipher_type)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000121{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200122 const mbedtls_cipher_definition_t *def;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200123
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200124 for (def = mbedtls_cipher_definitions; def->info != NULL; def++)
125 if (def->type == cipher_type)
126 return def->info;
Paul Bakker343a8702011-06-09 14:27:58 +0000127
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200128 return NULL;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000129}
130
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200131const mbedtls_cipher_info_t *
132mbedtls_cipher_info_from_string(const char *cipher_name)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000133{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200134 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200135
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200136 if (NULL == cipher_name)
137 return NULL;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000138
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200139 for (def = mbedtls_cipher_definitions; def->info != NULL; def++)
140 if (!strcmp(def->info->name, cipher_name))
141 return def->info;
Paul Bakkerfab5c822012-02-06 16:45:10 +0000142
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200143 return NULL;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000144}
145
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200146const mbedtls_cipher_info_t *
147mbedtls_cipher_info_from_values(const mbedtls_cipher_id_t cipher_id,
148 int key_bitlen,
149 const mbedtls_cipher_mode_t mode)
Paul Bakkerf46b6952013-09-09 00:08:26 +0200150{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200151 const mbedtls_cipher_definition_t *def;
Paul Bakkerf46b6952013-09-09 00:08:26 +0200152
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200153 for (def = mbedtls_cipher_definitions; def->info != NULL; def++)
154 if (def->info->base->cipher == cipher_id &&
155 def->info->key_bitlen == (unsigned)key_bitlen &&
156 def->info->mode == mode)
157 return def->info;
Paul Bakkerf46b6952013-09-09 00:08:26 +0200158
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200159 return NULL;
Paul Bakkerf46b6952013-09-09 00:08:26 +0200160}
161
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200162void mbedtls_cipher_init(mbedtls_cipher_context_t *ctx)
Paul Bakker84bbeb52014-07-01 14:53:22 +0200163{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200164 CIPHER_VALIDATE(ctx != NULL);
165 memset(ctx, 0, sizeof(mbedtls_cipher_context_t));
Paul Bakker84bbeb52014-07-01 14:53:22 +0200166}
167
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200168void mbedtls_cipher_free(mbedtls_cipher_context_t *ctx)
Paul Bakker84bbeb52014-07-01 14:53:22 +0200169{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200170 if (ctx == NULL)
Paul Bakker84bbeb52014-07-01 14:53:22 +0200171 return;
172
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200173# if defined(MBEDTLS_USE_PSA_CRYPTO)
174 if (ctx->psa_enabled == 1) {
175 if (ctx->cipher_ctx != NULL) {
176 mbedtls_cipher_context_psa *const cipher_psa =
177 (mbedtls_cipher_context_psa *)ctx->cipher_ctx;
Hanno Becker6118e432018-11-09 16:47:20 +0000178
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200179 if (cipher_psa->slot_state == MBEDTLS_CIPHER_PSA_KEY_OWNED) {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000180 /* xxx_free() doesn't allow to return failures. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200181 (void)psa_destroy_key(cipher_psa->slot);
Hanno Becker6118e432018-11-09 16:47:20 +0000182 }
183
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200184 mbedtls_platform_zeroize(cipher_psa, sizeof(*cipher_psa));
185 mbedtls_free(cipher_psa);
Hanno Becker6118e432018-11-09 16:47:20 +0000186 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000187
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200188 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_cipher_context_t));
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000189 return;
190 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200191# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000192
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200193# if defined(MBEDTLS_CMAC_C)
194 if (ctx->cmac_ctx) {
195 mbedtls_platform_zeroize(ctx->cmac_ctx, sizeof(mbedtls_cmac_context_t));
196 mbedtls_free(ctx->cmac_ctx);
Simon Butcher327398a2016-10-05 14:09:11 +0100197 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200198# endif
Simon Butcher327398a2016-10-05 14:09:11 +0100199
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200200 if (ctx->cipher_ctx)
201 ctx->cipher_info->base->ctx_free_func(ctx->cipher_ctx);
Paul Bakker84bbeb52014-07-01 14:53:22 +0200202
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200203 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_cipher_context_t));
Paul Bakker84bbeb52014-07-01 14:53:22 +0200204}
205
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200206int mbedtls_cipher_setup(mbedtls_cipher_context_t *ctx,
207 const mbedtls_cipher_info_t *cipher_info)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000208{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200209 CIPHER_VALIDATE_RET(ctx != NULL);
210 if (cipher_info == NULL)
211 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000212
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200213 memset(ctx, 0, sizeof(mbedtls_cipher_context_t));
Paul Bakker8123e9d2011-01-06 15:37:30 +0000214
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200215 if (NULL == (ctx->cipher_ctx = cipher_info->base->ctx_alloc_func()))
216 return MBEDTLS_ERR_CIPHER_ALLOC_FAILED;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000217
218 ctx->cipher_info = cipher_info;
219
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200220# if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200221 /*
222 * Ignore possible errors caused by a cipher mode that doesn't use padding
223 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200224# if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
225 (void)mbedtls_cipher_set_padding_mode(ctx, MBEDTLS_PADDING_PKCS7);
226# else
227 (void)mbedtls_cipher_set_padding_mode(ctx, MBEDTLS_PADDING_NONE);
228# endif
229# endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200230
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200231 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000232}
233
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200234# if defined(MBEDTLS_USE_PSA_CRYPTO)
235int mbedtls_cipher_setup_psa(mbedtls_cipher_context_t *ctx,
236 const mbedtls_cipher_info_t *cipher_info,
237 size_t taglen)
Hanno Becker4ccfc402018-11-09 16:10:57 +0000238{
Hanno Beckeredda8b82018-11-12 11:59:30 +0000239 psa_algorithm_t alg;
240 mbedtls_cipher_context_psa *cipher_psa;
241
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200242 if (NULL == cipher_info || NULL == ctx)
243 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000244
Hanno Becker4ee7e762018-11-17 22:00:38 +0000245 /* Check that the underlying cipher mode and cipher type are
246 * supported by the underlying PSA Crypto implementation. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200247 alg = mbedtls_psa_translate_cipher_mode(cipher_info->mode, taglen);
248 if (alg == 0)
249 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
250 if (mbedtls_psa_translate_cipher_type(cipher_info->type) == 0)
251 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Becker6118e432018-11-09 16:47:20 +0000252
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200253 memset(ctx, 0, sizeof(mbedtls_cipher_context_t));
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000254
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200255 cipher_psa = mbedtls_calloc(1, sizeof(mbedtls_cipher_context_psa));
256 if (cipher_psa == NULL)
257 return MBEDTLS_ERR_CIPHER_ALLOC_FAILED;
258 cipher_psa->alg = alg;
259 ctx->cipher_ctx = cipher_psa;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000260 ctx->cipher_info = cipher_info;
261 ctx->psa_enabled = 1;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200262 return 0;
Hanno Becker4ccfc402018-11-09 16:10:57 +0000263}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200264# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Becker4ccfc402018-11-09 16:10:57 +0000265
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200266int mbedtls_cipher_setkey(mbedtls_cipher_context_t *ctx,
267 const unsigned char *key,
268 int key_bitlen,
269 const mbedtls_operation_t operation)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000270{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200271 CIPHER_VALIDATE_RET(ctx != NULL);
272 CIPHER_VALIDATE_RET(key != NULL);
273 CIPHER_VALIDATE_RET(operation == MBEDTLS_ENCRYPT ||
274 operation == MBEDTLS_DECRYPT);
275 if (ctx->cipher_info == NULL)
276 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000277
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200278# if defined(MBEDTLS_USE_PSA_CRYPTO)
279 if (ctx->psa_enabled == 1) {
280 mbedtls_cipher_context_psa *const cipher_psa =
281 (mbedtls_cipher_context_psa *)ctx->cipher_ctx;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000282
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200283 size_t const key_bytelen = ((size_t)key_bitlen + 7) / 8;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000284
285 psa_status_t status;
286 psa_key_type_t key_type;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200287 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000288
289 /* PSA Crypto API only accepts byte-aligned keys. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200290 if (key_bitlen % 8 != 0)
291 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000292
293 /* Don't allow keys to be set multiple times. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200294 if (cipher_psa->slot_state != MBEDTLS_CIPHER_PSA_KEY_UNSET)
295 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000296
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200297 key_type = mbedtls_psa_translate_cipher_type(ctx->cipher_info->type);
298 if (key_type == 0)
299 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
300 psa_set_key_type(&attributes, key_type);
Hanno Beckera395d8f2018-11-12 13:33:16 +0000301
302 /* Mbed TLS' cipher layer doesn't enforce the mode of operation
Andrzej Kurekf410a5c2019-01-15 03:33:35 -0500303 * (encrypt vs. decrypt): it is possible to setup a key for encryption
304 * and use it for AEAD decryption. Until tests relying on this
305 * are changed, allow any usage in PSA. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200306 psa_set_key_usage_flags(&attributes,
307 /* mbedtls_psa_translate_cipher_operation(
308 operation ); */
309 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT);
310 psa_set_key_algorithm(&attributes, cipher_psa->alg);
Hanno Beckeredda8b82018-11-12 11:59:30 +0000311
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200312 status =
313 psa_import_key(&attributes, key, key_bytelen, &cipher_psa->slot);
314 switch (status) {
Gilles Peskined2d45c12019-05-27 14:53:13 +0200315 case PSA_SUCCESS:
316 break;
317 case PSA_ERROR_INSUFFICIENT_MEMORY:
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200318 return MBEDTLS_ERR_CIPHER_ALLOC_FAILED;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200319 case PSA_ERROR_NOT_SUPPORTED:
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200320 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200321 default:
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200322 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200323 }
324 /* Indicate that we own the key slot and need to
325 * destroy it in mbedtls_cipher_free(). */
326 cipher_psa->slot_state = MBEDTLS_CIPHER_PSA_KEY_OWNED;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000327
328 ctx->key_bitlen = key_bitlen;
329 ctx->operation = operation;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200330 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000331 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200332# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000333
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200334 if ((ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_KEY_LEN) == 0 &&
335 (int)ctx->cipher_info->key_bitlen != key_bitlen) {
336 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200337 }
Manuel Pégourié-Gonnarddd0f57f2013-09-16 11:47:43 +0200338
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200339 ctx->key_bitlen = key_bitlen;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000340 ctx->operation = operation;
341
Paul Bakker343a8702011-06-09 14:27:58 +0000342 /*
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100343 * For OFB, CFB and CTR mode always use the encryption key schedule
Paul Bakker343a8702011-06-09 14:27:58 +0000344 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200345 if (MBEDTLS_ENCRYPT == operation ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200346 MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100347 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200348 MBEDTLS_MODE_CTR == ctx->cipher_info->mode) {
349 return (ctx->cipher_info->base->setkey_enc_func(ctx->cipher_ctx, key,
350 ctx->key_bitlen));
Paul Bakker343a8702011-06-09 14:27:58 +0000351 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000352
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200353 if (MBEDTLS_DECRYPT == operation)
354 return (ctx->cipher_info->base->setkey_dec_func(ctx->cipher_ctx, key,
355 ctx->key_bitlen));
Paul Bakker8123e9d2011-01-06 15:37:30 +0000356
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200357 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000358}
359
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200360int mbedtls_cipher_set_iv(mbedtls_cipher_context_t *ctx,
361 const unsigned char *iv,
362 size_t iv_len)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000363{
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200364 size_t actual_iv_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000365
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200366 CIPHER_VALIDATE_RET(ctx != NULL);
367 CIPHER_VALIDATE_RET(iv_len == 0 || iv != NULL);
368 if (ctx->cipher_info == NULL)
369 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
370# if defined(MBEDTLS_USE_PSA_CRYPTO)
371 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000372 /* While PSA Crypto has an API for multipart
373 * operations, we currently don't make it
374 * accessible through the cipher layer. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200375 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000376 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200377# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000378
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200379 /* avoid buffer overflow in ctx->iv */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200380 if (iv_len > MBEDTLS_MAX_IV_LENGTH)
381 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200382
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200383 if ((ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_IV_LEN) != 0)
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200384 actual_iv_size = iv_len;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200385 else {
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200386 actual_iv_size = ctx->cipher_info->iv_size;
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200387
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200388 /* avoid reading past the end of input buffer */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200389 if (actual_iv_size > iv_len)
390 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200391 }
392
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200393# if defined(MBEDTLS_CHACHA20_C)
394 if (ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20) {
395 if (0 !=
396 mbedtls_chacha20_starts((mbedtls_chacha20_context *)ctx->cipher_ctx,
397 iv, 0U)) /* Initial
398 counter
399 value
400 */
Daniel Kingbd920622016-05-15 19:56:20 -0300401 {
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200402 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel Kingbd920622016-05-15 19:56:20 -0300403 }
404 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200405# endif
Daniel Kingbd920622016-05-15 19:56:20 -0300406
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200407# if defined(MBEDTLS_GCM_C)
408 if (MBEDTLS_MODE_GCM == ctx->cipher_info->mode) {
409 return (mbedtls_gcm_starts((mbedtls_gcm_context *)ctx->cipher_ctx,
410 ctx->operation, iv, iv_len));
Gilles Peskine295fc132021-04-15 18:32:23 +0200411 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200412# endif
Gilles Peskine295fc132021-04-15 18:32:23 +0200413
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200414 if (actual_iv_size != 0) {
415 memcpy(ctx->iv, iv, actual_iv_size);
Ron Eldor4e64e0b2017-09-25 18:22:32 +0300416 ctx->iv_size = actual_iv_size;
417 }
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200418
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200419 return 0;
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200420}
421
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200422int mbedtls_cipher_reset(mbedtls_cipher_context_t *ctx)
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200423{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200424 CIPHER_VALIDATE_RET(ctx != NULL);
425 if (ctx->cipher_info == NULL)
426 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200427
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200428# if defined(MBEDTLS_USE_PSA_CRYPTO)
429 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000430 /* We don't support resetting PSA-based
431 * cipher contexts, yet. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200432 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000433 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200434# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000435
Paul Bakker8123e9d2011-01-06 15:37:30 +0000436 ctx->unprocessed_len = 0;
437
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200438 return 0;
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200439}
440
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200441# if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
442int mbedtls_cipher_update_ad(mbedtls_cipher_context_t *ctx,
443 const unsigned char *ad,
444 size_t ad_len)
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200445{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200446 CIPHER_VALIDATE_RET(ctx != NULL);
447 CIPHER_VALIDATE_RET(ad_len == 0 || ad != NULL);
448 if (ctx->cipher_info == NULL)
449 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200450
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200451# if defined(MBEDTLS_USE_PSA_CRYPTO)
452 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000453 /* While PSA Crypto has an API for multipart
454 * operations, we currently don't make it
455 * accessible through the cipher layer. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200456 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000457 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200458# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000459
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200460# if defined(MBEDTLS_GCM_C)
461 if (MBEDTLS_MODE_GCM == ctx->cipher_info->mode) {
462 return (mbedtls_gcm_update_ad((mbedtls_gcm_context *)ctx->cipher_ctx,
463 ad, ad_len));
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200464 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200465# endif
Daniel King8fe47012016-05-17 20:33:28 -0300466
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200467# if defined(MBEDTLS_CHACHAPOLY_C)
468 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type) {
Daniel King8fe47012016-05-17 20:33:28 -0300469 int result;
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200470 mbedtls_chachapoly_mode_t mode;
Daniel King8fe47012016-05-17 20:33:28 -0300471
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200472 mode = (ctx->operation == MBEDTLS_ENCRYPT) ?
473 MBEDTLS_CHACHAPOLY_ENCRYPT :
474 MBEDTLS_CHACHAPOLY_DECRYPT;
Daniel King8fe47012016-05-17 20:33:28 -0300475
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200476 result = mbedtls_chachapoly_starts(
477 (mbedtls_chachapoly_context *)ctx->cipher_ctx, ctx->iv, mode);
478 if (result != 0)
479 return result;
Daniel King8fe47012016-05-17 20:33:28 -0300480
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200481 return (mbedtls_chachapoly_update_aad(
482 (mbedtls_chachapoly_context *)ctx->cipher_ctx, ad, ad_len));
Daniel King8fe47012016-05-17 20:33:28 -0300483 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200484# endif
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200485
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200486 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000487}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200488# endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000489
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200490int mbedtls_cipher_update(mbedtls_cipher_context_t *ctx,
491 const unsigned char *input,
492 size_t ilen,
493 unsigned char *output,
494 size_t *olen)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000495{
Janos Follath24eed8d2019-11-22 13:21:35 +0000496 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500497 size_t block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000498
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200499 CIPHER_VALIDATE_RET(ctx != NULL);
500 CIPHER_VALIDATE_RET(ilen == 0 || input != NULL);
501 CIPHER_VALIDATE_RET(output != NULL);
502 CIPHER_VALIDATE_RET(olen != NULL);
503 if (ctx->cipher_info == NULL)
504 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000505
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200506# if defined(MBEDTLS_USE_PSA_CRYPTO)
507 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000508 /* While PSA Crypto has an API for multipart
509 * operations, we currently don't make it
510 * accessible through the cipher layer. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200511 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000512 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200513# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000514
Paul Bakker6c212762013-12-16 15:24:50 +0100515 *olen = 0;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200516 block_size = mbedtls_cipher_get_block_size(ctx);
517 if (0 == block_size) {
518 return MBEDTLS_ERR_CIPHER_INVALID_CONTEXT;
Gilles Peskinea2bdcb92020-01-21 15:02:14 +0100519 }
Paul Bakker6c212762013-12-16 15:24:50 +0100520
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200521 if (ctx->cipher_info->mode == MBEDTLS_MODE_ECB) {
522 if (ilen != block_size)
523 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200524
525 *olen = ilen;
526
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200527 if (0 != (ret = ctx->cipher_info->base->ecb_func(
528 ctx->cipher_ctx, ctx->operation, input, output))) {
529 return ret;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200530 }
531
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200532 return 0;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200533 }
534
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200535# if defined(MBEDTLS_GCM_C)
536 if (ctx->cipher_info->mode == MBEDTLS_MODE_GCM) {
537 return (mbedtls_gcm_update((mbedtls_gcm_context *)ctx->cipher_ctx,
538 input, ilen, output, ilen, olen));
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200539 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200540# endif
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200541
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200542# if defined(MBEDTLS_CHACHAPOLY_C)
543 if (ctx->cipher_info->type == MBEDTLS_CIPHER_CHACHA20_POLY1305) {
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200544 *olen = ilen;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200545 return (mbedtls_chachapoly_update(
546 (mbedtls_chachapoly_context *)ctx->cipher_ctx, ilen, input,
547 output));
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200548 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200549# endif
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200550
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200551 if (input == output && (ctx->unprocessed_len != 0 || ilen % block_size)) {
552 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker68884e32013-01-07 18:20:04 +0100553 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000554
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200555# if defined(MBEDTLS_CIPHER_MODE_CBC)
556 if (ctx->cipher_info->mode == MBEDTLS_MODE_CBC) {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200557 size_t copy_len = 0;
558
Paul Bakker8123e9d2011-01-06 15:37:30 +0000559 /*
560 * If there is not enough data for a full block, cache it.
561 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200562 if ((ctx->operation == MBEDTLS_DECRYPT && NULL != ctx->add_padding &&
563 ilen <= block_size - ctx->unprocessed_len) ||
564 (ctx->operation == MBEDTLS_DECRYPT && NULL == ctx->add_padding &&
565 ilen < block_size - ctx->unprocessed_len) ||
566 (ctx->operation == MBEDTLS_ENCRYPT &&
567 ilen < block_size - ctx->unprocessed_len)) {
568 memcpy(&(ctx->unprocessed_data[ctx->unprocessed_len]), input, ilen);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000569
570 ctx->unprocessed_len += ilen;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200571 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000572 }
573
574 /*
575 * Process cached data first
576 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200577 if (0 != ctx->unprocessed_len) {
Janos Follath98e28a72016-05-31 14:03:54 +0100578 copy_len = block_size - ctx->unprocessed_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000579
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200580 memcpy(&(ctx->unprocessed_data[ctx->unprocessed_len]), input,
581 copy_len);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000582
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200583 if (0 != (ret = ctx->cipher_info->base->cbc_func(
584 ctx->cipher_ctx, ctx->operation, block_size, ctx->iv,
585 ctx->unprocessed_data, output))) {
586 return ret;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000587 }
588
Janos Follath98e28a72016-05-31 14:03:54 +0100589 *olen += block_size;
590 output += block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000591 ctx->unprocessed_len = 0;
592
593 input += copy_len;
594 ilen -= copy_len;
595 }
596
597 /*
598 * Cache final, incomplete block
599 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200600 if (0 != ilen) {
Andy Leiserson79e77892017-04-28 20:01:49 -0700601 /* Encryption: only cache partial blocks
602 * Decryption w/ padding: always keep at least one whole block
603 * Decryption w/o padding: only cache partial blocks
604 */
Janos Follath98e28a72016-05-31 14:03:54 +0100605 copy_len = ilen % block_size;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200606 if (copy_len == 0 && ctx->operation == MBEDTLS_DECRYPT &&
607 NULL != ctx->add_padding) {
Janos Follath98e28a72016-05-31 14:03:54 +0100608 copy_len = block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700609 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000610
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200611 memcpy(ctx->unprocessed_data, &(input[ilen - copy_len]), copy_len);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000612
613 ctx->unprocessed_len += copy_len;
614 ilen -= copy_len;
615 }
616
617 /*
618 * Process remaining full blocks
619 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200620 if (ilen) {
621 if (0 != (ret = ctx->cipher_info->base->cbc_func(
622 ctx->cipher_ctx, ctx->operation, ilen, ctx->iv, input,
623 output))) {
624 return ret;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000625 }
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200626
Paul Bakker8123e9d2011-01-06 15:37:30 +0000627 *olen += ilen;
628 }
629
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200630 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000631 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200632# endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000633
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200634# if defined(MBEDTLS_CIPHER_MODE_CFB)
635 if (ctx->cipher_info->mode == MBEDTLS_MODE_CFB) {
636 if (0 != (ret = ctx->cipher_info->base->cfb_func(
637 ctx->cipher_ctx, ctx->operation, ilen,
638 &ctx->unprocessed_len, ctx->iv, input, output))) {
639 return ret;
Paul Bakker343a8702011-06-09 14:27:58 +0000640 }
641
642 *olen = ilen;
643
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200644 return 0;
Paul Bakker343a8702011-06-09 14:27:58 +0000645 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200646# endif /* MBEDTLS_CIPHER_MODE_CFB */
Paul Bakker343a8702011-06-09 14:27:58 +0000647
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200648# if defined(MBEDTLS_CIPHER_MODE_OFB)
649 if (ctx->cipher_info->mode == MBEDTLS_MODE_OFB) {
650 if (0 != (ret = ctx->cipher_info->base->ofb_func(
651 ctx->cipher_ctx, ilen, &ctx->unprocessed_len, ctx->iv,
652 input, output))) {
653 return ret;
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100654 }
655
656 *olen = ilen;
657
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200658 return 0;
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100659 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200660# endif /* MBEDTLS_CIPHER_MODE_OFB */
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100661
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200662# if defined(MBEDTLS_CIPHER_MODE_CTR)
663 if (ctx->cipher_info->mode == MBEDTLS_MODE_CTR) {
664 if (0 != (ret = ctx->cipher_info->base->ctr_func(
665 ctx->cipher_ctx, ilen, &ctx->unprocessed_len, ctx->iv,
666 ctx->unprocessed_data, input, output))) {
667 return ret;
Paul Bakker343a8702011-06-09 14:27:58 +0000668 }
669
670 *olen = ilen;
671
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200672 return 0;
Paul Bakker343a8702011-06-09 14:27:58 +0000673 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200674# endif /* MBEDTLS_CIPHER_MODE_CTR */
Paul Bakker343a8702011-06-09 14:27:58 +0000675
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200676# if defined(MBEDTLS_CIPHER_MODE_XTS)
677 if (ctx->cipher_info->mode == MBEDTLS_MODE_XTS) {
678 if (ctx->unprocessed_len > 0) {
Jaeden Ameroc6539902018-04-30 17:17:41 +0100679 /* We can only process an entire data unit at a time. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200680 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Jaeden Ameroc6539902018-04-30 17:17:41 +0100681 }
682
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200683 ret = ctx->cipher_info->base->xts_func(ctx->cipher_ctx, ctx->operation,
684 ilen, ctx->iv, input, output);
685 if (ret != 0) {
686 return ret;
Jaeden Ameroc6539902018-04-30 17:17:41 +0100687 }
688
689 *olen = ilen;
690
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200691 return 0;
Jaeden Ameroc6539902018-04-30 17:17:41 +0100692 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200693# endif /* MBEDTLS_CIPHER_MODE_XTS */
Jaeden Ameroc6539902018-04-30 17:17:41 +0100694
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200695# if defined(MBEDTLS_CIPHER_MODE_STREAM)
696 if (ctx->cipher_info->mode == MBEDTLS_MODE_STREAM) {
697 if (0 != (ret = ctx->cipher_info->base->stream_func(
698 ctx->cipher_ctx, ilen, input, output))) {
699 return ret;
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200700 }
701
702 *olen = ilen;
703
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200704 return 0;
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200705 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200706# endif /* MBEDTLS_CIPHER_MODE_STREAM */
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200707
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200708 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000709}
710
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200711# if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
712# if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200713/*
714 * PKCS7 (and PKCS5) padding: fill with ll bytes, with ll = padding_len
715 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200716static void
717add_pkcs_padding(unsigned char *output, size_t output_len, size_t data_len)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000718{
Paul Bakker23986e52011-04-24 08:57:21 +0000719 size_t padding_len = output_len - data_len;
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100720 unsigned char i;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000721
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200722 for (i = 0; i < padding_len; i++)
723 output[data_len + i] = (unsigned char)padding_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000724}
725
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200726static int
727get_pkcs_padding(unsigned char *input, size_t input_len, size_t *data_len)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000728{
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100729 size_t i, pad_idx;
730 unsigned char padding_len, bad = 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000731
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200732 if (NULL == input || NULL == data_len)
733 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000734
735 padding_len = input[input_len - 1];
Paul Bakker8123e9d2011-01-06 15:37:30 +0000736 *data_len = input_len - padding_len;
737
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100738 /* Avoid logical || since it results in a branch */
739 bad |= padding_len > input_len;
740 bad |= padding_len == 0;
741
742 /* The number of bytes checked must be independent of padding_len,
743 * so pick input_len, which is usually 8 or 16 (one block) */
744 pad_idx = input_len - padding_len;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200745 for (i = 0; i < input_len; i++)
746 bad |= (input[i] ^ padding_len) * (i >= pad_idx);
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100747
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200748 return MBEDTLS_ERR_CIPHER_INVALID_PADDING * (bad != 0);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000749}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200750# endif /* MBEDTLS_CIPHER_PADDING_PKCS7 */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000751
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200752# if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200753/*
754 * One and zeros padding: fill with 80 00 ... 00
755 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200756static void add_one_and_zeros_padding(unsigned char *output,
757 size_t output_len,
758 size_t data_len)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200759{
760 size_t padding_len = output_len - data_len;
761 unsigned char i = 0;
762
763 output[data_len] = 0x80;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200764 for (i = 1; i < padding_len; i++)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200765 output[data_len + i] = 0x00;
766}
767
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200768static int get_one_and_zeros_padding(unsigned char *input,
769 size_t input_len,
770 size_t *data_len)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200771{
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100772 size_t i;
773 unsigned char done = 0, prev_done, bad;
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200774
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200775 if (NULL == input || NULL == data_len)
776 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200777
Micha Krausba8316f2017-12-23 23:40:08 +0100778 bad = 0x80;
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100779 *data_len = 0;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200780 for (i = input_len; i > 0; i--) {
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100781 prev_done = done;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200782 done |= (input[i - 1] != 0);
783 *data_len |= (i - 1) * (done != prev_done);
784 bad ^= input[i - 1] * (done != prev_done);
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100785 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200786
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200787 return MBEDTLS_ERR_CIPHER_INVALID_PADDING * (bad != 0);
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200788}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200789# endif /* MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS */
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200790
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200791# if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200792/*
793 * Zeros and len padding: fill with 00 ... 00 ll, where ll is padding length
794 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200795static void add_zeros_and_len_padding(unsigned char *output,
796 size_t output_len,
797 size_t data_len)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200798{
799 size_t padding_len = output_len - data_len;
800 unsigned char i = 0;
801
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200802 for (i = 1; i < padding_len; i++)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200803 output[data_len + i - 1] = 0x00;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200804 output[output_len - 1] = (unsigned char)padding_len;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200805}
806
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200807static int get_zeros_and_len_padding(unsigned char *input,
808 size_t input_len,
809 size_t *data_len)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200810{
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100811 size_t i, pad_idx;
812 unsigned char padding_len, bad = 0;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200813
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200814 if (NULL == input || NULL == data_len)
815 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200816
817 padding_len = input[input_len - 1];
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200818 *data_len = input_len - padding_len;
819
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100820 /* Avoid logical || since it results in a branch */
821 bad |= padding_len > input_len;
822 bad |= padding_len == 0;
823
824 /* The number of bytes checked must be independent of padding_len */
825 pad_idx = input_len - padding_len;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200826 for (i = 0; i < input_len - 1; i++)
827 bad |= input[i] * (i >= pad_idx);
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100828
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200829 return MBEDTLS_ERR_CIPHER_INVALID_PADDING * (bad != 0);
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200830}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200831# endif /* MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN */
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200832
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200833# if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200834/*
835 * Zero padding: fill with 00 ... 00
836 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200837static void
838add_zeros_padding(unsigned char *output, size_t output_len, size_t data_len)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200839{
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200840 size_t i;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200841
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200842 for (i = data_len; i < output_len; i++)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200843 output[i] = 0x00;
844}
845
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200846static int
847get_zeros_padding(unsigned char *input, size_t input_len, size_t *data_len)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200848{
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100849 size_t i;
850 unsigned char done = 0, prev_done;
851
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200852 if (NULL == input || NULL == data_len)
853 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200854
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100855 *data_len = 0;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200856 for (i = input_len; i > 0; i--) {
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100857 prev_done = done;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200858 done |= (input[i - 1] != 0);
859 *data_len |= i * (done != prev_done);
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100860 }
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200861
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200862 return 0;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200863}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200864# endif /* MBEDTLS_CIPHER_PADDING_ZEROS */
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200865
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200866/*
867 * No padding: don't pad :)
868 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200869 * There is no add_padding function (check for NULL in mbedtls_cipher_finish)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200870 * but a trivial get_padding function
871 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200872static int
873get_no_padding(unsigned char *input, size_t input_len, size_t *data_len)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200874{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200875 if (NULL == input || NULL == data_len)
876 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200877
878 *data_len = input_len;
879
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200880 return 0;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200881}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200882# endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200883
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200884int mbedtls_cipher_finish(mbedtls_cipher_context_t *ctx,
885 unsigned char *output,
886 size_t *olen)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000887{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200888 CIPHER_VALIDATE_RET(ctx != NULL);
889 CIPHER_VALIDATE_RET(output != NULL);
890 CIPHER_VALIDATE_RET(olen != NULL);
891 if (ctx->cipher_info == NULL)
892 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000893
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200894# if defined(MBEDTLS_USE_PSA_CRYPTO)
895 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000896 /* While PSA Crypto has an API for multipart
897 * operations, we currently don't make it
898 * accessible through the cipher layer. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200899 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000900 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200901# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000902
Paul Bakker8123e9d2011-01-06 15:37:30 +0000903 *olen = 0;
904
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200905 if (MBEDTLS_MODE_CFB == ctx->cipher_info->mode ||
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100906 MBEDTLS_MODE_OFB == ctx->cipher_info->mode ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200907 MBEDTLS_MODE_CTR == ctx->cipher_info->mode ||
908 MBEDTLS_MODE_GCM == ctx->cipher_info->mode ||
Jaeden Ameroc6539902018-04-30 17:17:41 +0100909 MBEDTLS_MODE_XTS == ctx->cipher_info->mode ||
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200910 MBEDTLS_MODE_STREAM == ctx->cipher_info->mode) {
911 return 0;
Paul Bakker343a8702011-06-09 14:27:58 +0000912 }
913
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200914 if ((MBEDTLS_CIPHER_CHACHA20 == ctx->cipher_info->type) ||
915 (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type)) {
916 return 0;
Daniel Kingbd920622016-05-15 19:56:20 -0300917 }
918
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200919 if (MBEDTLS_MODE_ECB == ctx->cipher_info->mode) {
920 if (ctx->unprocessed_len != 0)
921 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200922
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200923 return 0;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200924 }
925
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200926# if defined(MBEDTLS_CIPHER_MODE_CBC)
927 if (MBEDTLS_MODE_CBC == ctx->cipher_info->mode) {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200928 int ret = 0;
929
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200930 if (MBEDTLS_ENCRYPT == ctx->operation) {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200931 /* check for 'no padding' mode */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200932 if (NULL == ctx->add_padding) {
933 if (0 != ctx->unprocessed_len)
934 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200935
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200936 return 0;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200937 }
938
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200939 ctx->add_padding(ctx->unprocessed_data,
940 mbedtls_cipher_get_iv_size(ctx),
941 ctx->unprocessed_len);
942 } else if (mbedtls_cipher_get_block_size(ctx) != ctx->unprocessed_len) {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200943 /*
944 * For decrypt operations, expect a full block,
945 * or an empty block if no padding
946 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200947 if (NULL == ctx->add_padding && 0 == ctx->unprocessed_len)
948 return 0;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200949
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200950 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000951 }
952
953 /* cipher block */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200954 if (0 != (ret = ctx->cipher_info->base->cbc_func(
955 ctx->cipher_ctx, ctx->operation,
956 mbedtls_cipher_get_block_size(ctx), ctx->iv,
957 ctx->unprocessed_data, output))) {
958 return ret;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000959 }
960
961 /* Set output size for decryption */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200962 if (MBEDTLS_DECRYPT == ctx->operation)
963 return (ctx->get_padding(output, mbedtls_cipher_get_block_size(ctx),
964 olen));
Paul Bakker8123e9d2011-01-06 15:37:30 +0000965
966 /* Set output size for encryption */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200967 *olen = mbedtls_cipher_get_block_size(ctx);
968 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000969 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200970# else
971 ((void)output);
972# endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000973
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200974 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000975}
976
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200977# if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
978int mbedtls_cipher_set_padding_mode(mbedtls_cipher_context_t *ctx,
979 mbedtls_cipher_padding_t mode)
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200980{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200981 CIPHER_VALIDATE_RET(ctx != NULL);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500982
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200983 if (NULL == ctx->cipher_info ||
984 MBEDTLS_MODE_CBC != ctx->cipher_info->mode) {
985 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +0200986 }
987
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200988# if defined(MBEDTLS_USE_PSA_CRYPTO)
989 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000990 /* While PSA Crypto knows about CBC padding
991 * schemes, we currently don't make them
992 * accessible through the cipher layer. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200993 if (mode != MBEDTLS_PADDING_NONE)
994 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000995
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200996 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000997 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +0200998# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000999
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001000 switch (mode) {
1001# if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
1002 case MBEDTLS_PADDING_PKCS7:
1003 ctx->add_padding = add_pkcs_padding;
1004 ctx->get_padding = get_pkcs_padding;
1005 break;
1006# endif
1007# if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
1008 case MBEDTLS_PADDING_ONE_AND_ZEROS:
1009 ctx->add_padding = add_one_and_zeros_padding;
1010 ctx->get_padding = get_one_and_zeros_padding;
1011 break;
1012# endif
1013# if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
1014 case MBEDTLS_PADDING_ZEROS_AND_LEN:
1015 ctx->add_padding = add_zeros_and_len_padding;
1016 ctx->get_padding = get_zeros_and_len_padding;
1017 break;
1018# endif
1019# if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
1020 case MBEDTLS_PADDING_ZEROS:
1021 ctx->add_padding = add_zeros_padding;
1022 ctx->get_padding = get_zeros_padding;
1023 break;
1024# endif
1025 case MBEDTLS_PADDING_NONE:
1026 ctx->add_padding = NULL;
1027 ctx->get_padding = get_no_padding;
1028 break;
Paul Bakker1a45d912013-08-14 12:04:26 +02001029
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001030 default:
1031 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001032 }
1033
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001034 return 0;
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001035}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001036# endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001037
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001038# if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
1039int mbedtls_cipher_write_tag(mbedtls_cipher_context_t *ctx,
1040 unsigned char *tag,
1041 size_t tag_len)
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001042{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001043 CIPHER_VALIDATE_RET(ctx != NULL);
1044 CIPHER_VALIDATE_RET(tag_len == 0 || tag != NULL);
1045 if (ctx->cipher_info == NULL)
1046 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001047
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001048 if (MBEDTLS_ENCRYPT != ctx->operation)
1049 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001050
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001051# if defined(MBEDTLS_USE_PSA_CRYPTO)
1052 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001053 /* While PSA Crypto has an API for multipart
1054 * operations, we currently don't make it
1055 * accessible through the cipher layer. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001056 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001057 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001058# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001059
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001060# if defined(MBEDTLS_GCM_C)
1061 if (MBEDTLS_MODE_GCM == ctx->cipher_info->mode) {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001062 size_t output_length;
1063 /* The code here doesn't yet support alternative implementations
1064 * that can delay up to a block of output. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001065 return (mbedtls_gcm_finish((mbedtls_gcm_context *)ctx->cipher_ctx, NULL,
1066 0, &output_length, tag, tag_len));
Gilles Peskine5a7be102021-06-23 21:51:32 +02001067 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001068# endif
Daniel King8fe47012016-05-17 20:33:28 -03001069
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001070# if defined(MBEDTLS_CHACHAPOLY_C)
1071 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type) {
Daniel King8fe47012016-05-17 20:33:28 -03001072 /* Don't allow truncated MAC for Poly1305 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001073 if (tag_len != 16U)
1074 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel King8fe47012016-05-17 20:33:28 -03001075
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001076 return (mbedtls_chachapoly_finish(
1077 (mbedtls_chachapoly_context *)ctx->cipher_ctx, tag));
Daniel King8fe47012016-05-17 20:33:28 -03001078 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001079# endif
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001080
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001081 return 0;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001082}
Paul Bakker9af723c2014-05-01 13:03:14 +02001083
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001084int mbedtls_cipher_check_tag(mbedtls_cipher_context_t *ctx,
1085 const unsigned char *tag,
1086 size_t tag_len)
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001087{
Daniel King8fe47012016-05-17 20:33:28 -03001088 unsigned char check_tag[16];
Janos Follath24eed8d2019-11-22 13:21:35 +00001089 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001090
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001091 CIPHER_VALIDATE_RET(ctx != NULL);
1092 CIPHER_VALIDATE_RET(tag_len == 0 || tag != NULL);
1093 if (ctx->cipher_info == NULL)
1094 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001095
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001096 if (MBEDTLS_DECRYPT != ctx->operation) {
1097 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001098 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001099
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001100# if defined(MBEDTLS_USE_PSA_CRYPTO)
1101 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001102 /* While PSA Crypto has an API for multipart
1103 * operations, we currently don't make it
1104 * accessible through the cipher layer. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001105 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001106 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001107# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001108
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001109# if defined(MBEDTLS_GCM_C)
1110 if (MBEDTLS_MODE_GCM == ctx->cipher_info->mode) {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001111 size_t output_length;
1112 /* The code here doesn't yet support alternative implementations
1113 * that can delay up to a block of output. */
1114
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001115 if (tag_len > sizeof(check_tag))
1116 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001117
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001118 if (0 != (ret = mbedtls_gcm_finish(
1119 (mbedtls_gcm_context *)ctx->cipher_ctx, NULL, 0,
1120 &output_length, check_tag, tag_len))) {
1121 return ret;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001122 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001123
1124 /* Check the tag in "constant-time" */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001125 if (mbedtls_constant_time_memcmp(tag, check_tag, tag_len) != 0)
1126 return MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001127
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001128 return 0;
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001129 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001130# endif /* MBEDTLS_GCM_C */
Daniel King8fe47012016-05-17 20:33:28 -03001131
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001132# if defined(MBEDTLS_CHACHAPOLY_C)
1133 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type) {
Daniel King8fe47012016-05-17 20:33:28 -03001134 /* Don't allow truncated MAC for Poly1305 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001135 if (tag_len != sizeof(check_tag))
1136 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel King8fe47012016-05-17 20:33:28 -03001137
Hanno Becker18597cd2018-11-09 16:36:33 +00001138 ret = mbedtls_chachapoly_finish(
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001139 (mbedtls_chachapoly_context *)ctx->cipher_ctx, check_tag);
1140 if (ret != 0) {
1141 return ret;
Daniel King8fe47012016-05-17 20:33:28 -03001142 }
1143
1144 /* Check the tag in "constant-time" */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001145 if (mbedtls_constant_time_memcmp(tag, check_tag, tag_len) != 0)
1146 return MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Daniel King8fe47012016-05-17 20:33:28 -03001147
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001148 return 0;
Daniel King8fe47012016-05-17 20:33:28 -03001149 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001150# endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001151
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001152 return 0;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001153}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001154# endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001155
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001156/*
1157 * Packet-oriented wrapper for non-AEAD modes
1158 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001159int mbedtls_cipher_crypt(mbedtls_cipher_context_t *ctx,
1160 const unsigned char *iv,
1161 size_t iv_len,
1162 const unsigned char *input,
1163 size_t ilen,
1164 unsigned char *output,
1165 size_t *olen)
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001166{
Janos Follath24eed8d2019-11-22 13:21:35 +00001167 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001168 size_t finish_olen;
1169
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001170 CIPHER_VALIDATE_RET(ctx != NULL);
1171 CIPHER_VALIDATE_RET(iv_len == 0 || iv != NULL);
1172 CIPHER_VALIDATE_RET(ilen == 0 || input != NULL);
1173 CIPHER_VALIDATE_RET(output != NULL);
1174 CIPHER_VALIDATE_RET(olen != NULL);
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001175
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001176# if defined(MBEDTLS_USE_PSA_CRYPTO)
1177 if (ctx->psa_enabled == 1) {
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001178 /* As in the non-PSA case, we don't check that
1179 * a key has been set. If not, the key slot will
1180 * still be in its default state of 0, which is
1181 * guaranteed to be invalid, hence the PSA-call
1182 * below will gracefully fail. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001183 mbedtls_cipher_context_psa *const cipher_psa =
1184 (mbedtls_cipher_context_psa *)ctx->cipher_ctx;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001185
1186 psa_status_t status;
Jaeden Amerofe96fbe2019-02-20 10:32:28 +00001187 psa_cipher_operation_t cipher_op = PSA_CIPHER_OPERATION_INIT;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001188 size_t part_len;
1189
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001190 if (ctx->operation == MBEDTLS_DECRYPT) {
1191 status = psa_cipher_decrypt_setup(&cipher_op, cipher_psa->slot,
1192 cipher_psa->alg);
1193 } else if (ctx->operation == MBEDTLS_ENCRYPT) {
1194 status = psa_cipher_encrypt_setup(&cipher_op, cipher_psa->slot,
1195 cipher_psa->alg);
1196 } else
1197 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001198
1199 /* In the following, we can immediately return on an error,
1200 * because the PSA Crypto API guarantees that cipher operations
1201 * are terminated by unsuccessful calls to psa_cipher_update(),
1202 * and by any call to psa_cipher_finish(). */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001203 if (status != PSA_SUCCESS)
1204 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001205
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001206 status = psa_cipher_set_iv(&cipher_op, iv, iv_len);
1207 if (status != PSA_SUCCESS)
1208 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001209
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001210 status = psa_cipher_update(&cipher_op, input, ilen, output, ilen, olen);
1211 if (status != PSA_SUCCESS)
1212 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001213
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001214 status = psa_cipher_finish(&cipher_op, output + *olen, ilen - *olen,
1215 &part_len);
1216 if (status != PSA_SUCCESS)
1217 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001218
1219 *olen += part_len;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001220 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001221 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001222# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001223
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001224 if ((ret = mbedtls_cipher_set_iv(ctx, iv, iv_len)) != 0)
1225 return ret;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001226
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001227 if ((ret = mbedtls_cipher_reset(ctx)) != 0)
1228 return ret;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001229
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001230 if ((ret = mbedtls_cipher_update(ctx, input, ilen, output, olen)) != 0)
1231 return ret;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001232
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001233 if ((ret = mbedtls_cipher_finish(ctx, output + *olen, &finish_olen)) != 0)
1234 return ret;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001235
1236 *olen += finish_olen;
1237
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001238 return 0;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001239}
1240
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001241# if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001242/*
TRodziewicz18efb732021-04-29 23:12:19 +02001243 * Packet-oriented encryption for AEAD modes: internal function used by
1244 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001245 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001246static int mbedtls_cipher_aead_encrypt(mbedtls_cipher_context_t *ctx,
1247 const unsigned char *iv,
1248 size_t iv_len,
1249 const unsigned char *ad,
1250 size_t ad_len,
1251 const unsigned char *input,
1252 size_t ilen,
1253 unsigned char *output,
1254 size_t *olen,
1255 unsigned char *tag,
1256 size_t tag_len)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001257{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001258# if defined(MBEDTLS_USE_PSA_CRYPTO)
1259 if (ctx->psa_enabled == 1) {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001260 /* As in the non-PSA case, we don't check that
1261 * a key has been set. If not, the key slot will
1262 * still be in its default state of 0, which is
1263 * guaranteed to be invalid, hence the PSA-call
1264 * below will gracefully fail. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001265 mbedtls_cipher_context_psa *const cipher_psa =
1266 (mbedtls_cipher_context_psa *)ctx->cipher_ctx;
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001267
1268 psa_status_t status;
1269
1270 /* PSA Crypto API always writes the authentication tag
1271 * at the end of the encrypted message. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001272 if (output == NULL || tag != output + ilen)
1273 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001274
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001275 status = psa_aead_encrypt(cipher_psa->slot, cipher_psa->alg, iv, iv_len,
1276 ad, ad_len, input, ilen, output,
1277 ilen + tag_len, olen);
1278 if (status != PSA_SUCCESS)
1279 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001280
1281 *olen -= tag_len;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001282 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001283 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001284# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001285
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001286# if defined(MBEDTLS_GCM_C)
1287 if (MBEDTLS_MODE_GCM == ctx->cipher_info->mode) {
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001288 *olen = ilen;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001289 return (mbedtls_gcm_crypt_and_tag(ctx->cipher_ctx, MBEDTLS_GCM_ENCRYPT,
1290 ilen, iv, iv_len, ad, ad_len, input,
1291 output, tag_len, tag));
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001292 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001293# endif /* MBEDTLS_GCM_C */
1294# if defined(MBEDTLS_CCM_C)
1295 if (MBEDTLS_MODE_CCM == ctx->cipher_info->mode) {
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001296 *olen = ilen;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001297 return (mbedtls_ccm_encrypt_and_tag(ctx->cipher_ctx, ilen, iv, iv_len,
1298 ad, ad_len, input, output, tag,
1299 tag_len));
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001300 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001301# endif /* MBEDTLS_CCM_C */
1302# if defined(MBEDTLS_CHACHAPOLY_C)
1303 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type) {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001304 /* ChachaPoly has fixed length nonce and MAC (tag) */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001305 if ((iv_len != ctx->cipher_info->iv_size) || (tag_len != 16U)) {
1306 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel King8fe47012016-05-17 20:33:28 -03001307 }
1308
1309 *olen = ilen;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001310 return (mbedtls_chachapoly_encrypt_and_tag(
1311 ctx->cipher_ctx, ilen, iv, ad, ad_len, input, output, tag));
Daniel King8fe47012016-05-17 20:33:28 -03001312 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001313# endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001314
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001315 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001316}
1317
1318/*
TRodziewicz18efb732021-04-29 23:12:19 +02001319 * Packet-oriented encryption for AEAD modes: internal function used by
1320 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001321 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001322static int mbedtls_cipher_aead_decrypt(mbedtls_cipher_context_t *ctx,
1323 const unsigned char *iv,
1324 size_t iv_len,
1325 const unsigned char *ad,
1326 size_t ad_len,
1327 const unsigned char *input,
1328 size_t ilen,
1329 unsigned char *output,
1330 size_t *olen,
1331 const unsigned char *tag,
1332 size_t tag_len)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001333{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001334# if defined(MBEDTLS_USE_PSA_CRYPTO)
1335 if (ctx->psa_enabled == 1) {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001336 /* As in the non-PSA case, we don't check that
1337 * a key has been set. If not, the key slot will
1338 * still be in its default state of 0, which is
1339 * guaranteed to be invalid, hence the PSA-call
1340 * below will gracefully fail. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001341 mbedtls_cipher_context_psa *const cipher_psa =
1342 (mbedtls_cipher_context_psa *)ctx->cipher_ctx;
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001343
1344 psa_status_t status;
1345
1346 /* PSA Crypto API always writes the authentication tag
1347 * at the end of the encrypted message. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001348 if (input == NULL || tag != input + ilen)
1349 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001350
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001351 status = psa_aead_decrypt(cipher_psa->slot, cipher_psa->alg, iv, iv_len,
1352 ad, ad_len, input, ilen + tag_len, output,
1353 ilen, olen);
1354 if (status == PSA_ERROR_INVALID_SIGNATURE)
1355 return MBEDTLS_ERR_CIPHER_AUTH_FAILED;
1356 else if (status != PSA_SUCCESS)
1357 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001358
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001359 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001360 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001361# endif /* MBEDTLS_USE_PSA_CRYPTO */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001362
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001363# if defined(MBEDTLS_GCM_C)
1364 if (MBEDTLS_MODE_GCM == ctx->cipher_info->mode) {
Janos Follath24eed8d2019-11-22 13:21:35 +00001365 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001366
1367 *olen = ilen;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001368 ret = mbedtls_gcm_auth_decrypt(ctx->cipher_ctx, ilen, iv, iv_len, ad,
1369 ad_len, tag, tag_len, input, output);
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001370
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001371 if (ret == MBEDTLS_ERR_GCM_AUTH_FAILED)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001372 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001373
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001374 return ret;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001375 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001376# endif /* MBEDTLS_GCM_C */
1377# if defined(MBEDTLS_CCM_C)
1378 if (MBEDTLS_MODE_CCM == ctx->cipher_info->mode) {
Janos Follath24eed8d2019-11-22 13:21:35 +00001379 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001380
1381 *olen = ilen;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001382 ret = mbedtls_ccm_auth_decrypt(ctx->cipher_ctx, ilen, iv, iv_len, ad,
1383 ad_len, input, output, tag, tag_len);
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001384
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001385 if (ret == MBEDTLS_ERR_CCM_AUTH_FAILED)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001386 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001387
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001388 return ret;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001389 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001390# endif /* MBEDTLS_CCM_C */
1391# if defined(MBEDTLS_CHACHAPOLY_C)
1392 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ctx->cipher_info->type) {
Janos Follath24eed8d2019-11-22 13:21:35 +00001393 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel King8fe47012016-05-17 20:33:28 -03001394
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001395 /* ChachaPoly has fixed length nonce and MAC (tag) */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001396 if ((iv_len != ctx->cipher_info->iv_size) || (tag_len != 16U)) {
1397 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel King8fe47012016-05-17 20:33:28 -03001398 }
1399
1400 *olen = ilen;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001401 ret = mbedtls_chachapoly_auth_decrypt(ctx->cipher_ctx, ilen, iv, ad,
1402 ad_len, tag, input, output);
Daniel King8fe47012016-05-17 20:33:28 -03001403
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001404 if (ret == MBEDTLS_ERR_CHACHAPOLY_AUTH_FAILED)
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001405 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Daniel King8fe47012016-05-17 20:33:28 -03001406
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001407 return ret;
Daniel King8fe47012016-05-17 20:33:28 -03001408 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001409# endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001410
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001411 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001412}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001413# endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001414
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001415# if defined(MBEDTLS_CIPHER_MODE_AEAD) || defined(MBEDTLS_NIST_KW_C)
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001416/*
1417 * Packet-oriented encryption for AEAD/NIST_KW: public function.
1418 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001419int mbedtls_cipher_auth_encrypt_ext(mbedtls_cipher_context_t *ctx,
1420 const unsigned char *iv,
1421 size_t iv_len,
1422 const unsigned char *ad,
1423 size_t ad_len,
1424 const unsigned char *input,
1425 size_t ilen,
1426 unsigned char *output,
1427 size_t output_len,
1428 size_t *olen,
1429 size_t tag_len)
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001430{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001431 CIPHER_VALIDATE_RET(ctx != NULL);
1432 CIPHER_VALIDATE_RET(iv_len == 0 || iv != NULL);
1433 CIPHER_VALIDATE_RET(ad_len == 0 || ad != NULL);
1434 CIPHER_VALIDATE_RET(ilen == 0 || input != NULL);
1435 CIPHER_VALIDATE_RET(output != NULL);
1436 CIPHER_VALIDATE_RET(olen != NULL);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001437
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001438# if defined(MBEDTLS_NIST_KW_C)
1439 if (
1440# if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001441 ctx->psa_enabled == 0 &&
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001442# endif
1443 (MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1444 MBEDTLS_MODE_KWP == ctx->cipher_info->mode)) {
1445 mbedtls_nist_kw_mode_t mode =
1446 (MBEDTLS_MODE_KW == ctx->cipher_info->mode) ? MBEDTLS_KW_MODE_KW :
1447 MBEDTLS_KW_MODE_KWP;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001448
1449 /* There is no iv, tag or ad associated with KW and KWP,
1450 * so these length should be 0 as documented. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001451 if (iv_len != 0 || tag_len != 0 || ad_len != 0)
1452 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001453
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001454 (void)iv;
1455 (void)ad;
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001456
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001457 return (mbedtls_nist_kw_wrap(ctx->cipher_ctx, mode, input, ilen, output,
1458 olen, output_len));
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001459 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001460# endif /* MBEDTLS_NIST_KW_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001461
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001462# if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001463 /* AEAD case: check length before passing on to shared function */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001464 if (output_len < ilen + tag_len)
1465 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001466
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001467 int ret = mbedtls_cipher_aead_encrypt(ctx, iv, iv_len, ad, ad_len, input,
1468 ilen, output, olen, output + ilen,
1469 tag_len);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001470 *olen += tag_len;
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001471 return ret;
1472# else
1473 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
1474# endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001475}
1476
1477/*
1478 * Packet-oriented decryption for AEAD/NIST_KW: public function.
1479 */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001480int mbedtls_cipher_auth_decrypt_ext(mbedtls_cipher_context_t *ctx,
1481 const unsigned char *iv,
1482 size_t iv_len,
1483 const unsigned char *ad,
1484 size_t ad_len,
1485 const unsigned char *input,
1486 size_t ilen,
1487 unsigned char *output,
1488 size_t output_len,
1489 size_t *olen,
1490 size_t tag_len)
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001491{
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001492 CIPHER_VALIDATE_RET(ctx != NULL);
1493 CIPHER_VALIDATE_RET(iv_len == 0 || iv != NULL);
1494 CIPHER_VALIDATE_RET(ad_len == 0 || ad != NULL);
1495 CIPHER_VALIDATE_RET(ilen == 0 || input != NULL);
1496 CIPHER_VALIDATE_RET(output_len == 0 || output != NULL);
1497 CIPHER_VALIDATE_RET(olen != NULL);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001498
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001499# if defined(MBEDTLS_NIST_KW_C)
1500 if (
1501# if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001502 ctx->psa_enabled == 0 &&
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001503# endif
1504 (MBEDTLS_MODE_KW == ctx->cipher_info->mode ||
1505 MBEDTLS_MODE_KWP == ctx->cipher_info->mode)) {
1506 mbedtls_nist_kw_mode_t mode =
1507 (MBEDTLS_MODE_KW == ctx->cipher_info->mode) ? MBEDTLS_KW_MODE_KW :
1508 MBEDTLS_KW_MODE_KWP;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001509
1510 /* There is no iv, tag or ad associated with KW and KWP,
1511 * so these length should be 0 as documented. */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001512 if (iv_len != 0 || tag_len != 0 || ad_len != 0)
1513 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001514
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001515 (void)iv;
1516 (void)ad;
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001517
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001518 return (mbedtls_nist_kw_unwrap(ctx->cipher_ctx, mode, input, ilen,
1519 output, olen, output_len));
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001520 }
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001521# endif /* MBEDTLS_NIST_KW_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001522
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001523# if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001524 /* AEAD case: check length before passing on to shared function */
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001525 if (ilen < tag_len || output_len < ilen - tag_len)
1526 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001527
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001528 return (mbedtls_cipher_aead_decrypt(ctx, iv, iv_len, ad, ad_len, input,
1529 ilen - tag_len, output, olen,
1530 input + ilen - tag_len, tag_len));
1531# else
1532 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
1533# endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001534}
Mateusz Starzykc0eabdc2021-08-03 14:09:02 +02001535# endif /* MBEDTLS_CIPHER_MODE_AEAD || MBEDTLS_NIST_KW_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001536
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001537#endif /* MBEDTLS_CIPHER_C */