blob: 909324aaef0e175dd299931a0eb302cac752ddfc [file] [log] [blame]
Paul Bakker8123e9d2011-01-06 15:37:30 +00001/**
2 * \file cipher.c
Paul Bakker7dc4c442014-02-01 22:50:26 +01003 *
Gilles Peskinee820c0a2023-08-03 17:45:20 +02004 * \brief Generic cipher wrapper for Mbed TLS
Paul Bakker8123e9d2011-01-06 15:37:30 +00005 *
6 * \author Adriaan de Jong <dejong@fox-it.com>
7 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02008 * Copyright The Mbed TLS Contributors
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02009 * SPDX-License-Identifier: Apache-2.0
10 *
11 * Licensed under the Apache License, Version 2.0 (the "License"); you may
12 * not use this file except in compliance with the License.
13 * You may obtain a copy of the License at
14 *
15 * http://www.apache.org/licenses/LICENSE-2.0
16 *
17 * Unless required by applicable law or agreed to in writing, software
18 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
19 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
20 * See the License for the specific language governing permissions and
21 * limitations under the License.
Paul Bakker8123e9d2011-01-06 15:37:30 +000022 */
23
Gilles Peskinedb09ef62020-06-03 01:43:33 +020024#include "common.h"
Paul Bakker8123e9d2011-01-06 15:37:30 +000025
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020026#if defined(MBEDTLS_CIPHER_C)
Paul Bakker8123e9d2011-01-06 15:37:30 +000027
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000028#include "mbedtls/cipher.h"
Chris Jonesdaacb592021-03-09 17:03:29 +000029#include "cipher_wrap.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050030#include "mbedtls/platform_util.h"
Janos Follath24eed8d2019-11-22 13:21:35 +000031#include "mbedtls/error.h"
Gabor Mezei765862c2021-10-19 12:22:25 +020032#include "mbedtls/constant_time.h"
Dave Rodgman6b7e2a52023-09-18 19:00:44 +010033#include "constant_time_internal.h"
Paul Bakker8123e9d2011-01-06 15:37:30 +000034
Rich Evans00ab4702015-02-06 13:43:58 +000035#include <stdlib.h>
36#include <string.h>
37
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020038#if defined(MBEDTLS_CHACHAPOLY_C)
39#include "mbedtls/chachapoly.h"
Daniel King8fe47012016-05-17 20:33:28 -030040#endif
41
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020042#if defined(MBEDTLS_GCM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000043#include "mbedtls/gcm.h"
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +020044#endif
45
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020046#if defined(MBEDTLS_CCM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000047#include "mbedtls/ccm.h"
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +020048#endif
49
Daniel Kingbd920622016-05-15 19:56:20 -030050#if defined(MBEDTLS_CHACHA20_C)
51#include "mbedtls/chacha20.h"
52#endif
53
Simon Butcher327398a2016-10-05 14:09:11 +010054#if defined(MBEDTLS_CMAC_C)
55#include "mbedtls/cmac.h"
56#endif
57
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +020058#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Hanno Becker4ccfc402018-11-09 16:10:57 +000059#include "psa/crypto.h"
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +020060#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Becker4ccfc402018-11-09 16:10:57 +000061
Jack Lloydffdf2882019-03-07 17:00:32 -050062#if defined(MBEDTLS_NIST_KW_C)
63#include "mbedtls/nist_kw.h"
64#endif
65
Simon Butcher327398a2016-10-05 14:09:11 +010066#include "mbedtls/platform.h"
Simon Butcher327398a2016-10-05 14:09:11 +010067
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020068static int supported_init = 0;
Paul Bakker72f62662011-01-16 21:27:44 +000069
Dave Rodgman3b46b772023-06-24 13:25:06 +010070static inline const mbedtls_cipher_base_t *mbedtls_cipher_get_base(
71 const mbedtls_cipher_info_t *info)
72{
Dave Rodgmande3de772023-06-24 12:51:06 +010073 return mbedtls_cipher_base_lookup_table[info->base_idx];
74}
75
Gilles Peskine449bd832023-01-11 14:50:10 +010076const int *mbedtls_cipher_list(void)
Paul Bakker72f62662011-01-16 21:27:44 +000077{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020078 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020079 int *type;
80
Gilles Peskine449bd832023-01-11 14:50:10 +010081 if (!supported_init) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082 def = mbedtls_cipher_definitions;
83 type = mbedtls_cipher_supported;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020084
Gilles Peskine449bd832023-01-11 14:50:10 +010085 while (def->type != 0) {
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020086 *type++ = (*def++).type;
Gilles Peskine449bd832023-01-11 14:50:10 +010087 }
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +020088
89 *type = 0;
90
91 supported_init = 1;
92 }
93
Gilles Peskine449bd832023-01-11 14:50:10 +010094 return mbedtls_cipher_supported;
Paul Bakker72f62662011-01-16 21:27:44 +000095}
96
Hanno Becker18597cd2018-11-09 16:36:33 +000097const mbedtls_cipher_info_t *mbedtls_cipher_info_from_type(
Gilles Peskine449bd832023-01-11 14:50:10 +010098 const mbedtls_cipher_type_t cipher_type)
Paul Bakker8123e9d2011-01-06 15:37:30 +000099{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200100 const mbedtls_cipher_definition_t *def;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200101
Gilles Peskine449bd832023-01-11 14:50:10 +0100102 for (def = mbedtls_cipher_definitions; def->info != NULL; def++) {
103 if (def->type == cipher_type) {
104 return def->info;
105 }
106 }
Paul Bakker343a8702011-06-09 14:27:58 +0000107
Gilles Peskine449bd832023-01-11 14:50:10 +0100108 return NULL;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000109}
110
Hanno Becker18597cd2018-11-09 16:36:33 +0000111const mbedtls_cipher_info_t *mbedtls_cipher_info_from_string(
Gilles Peskine449bd832023-01-11 14:50:10 +0100112 const char *cipher_name)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000113{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200114 const mbedtls_cipher_definition_t *def;
Manuel Pégourié-Gonnarddace82f2013-09-18 15:12:07 +0200115
Gilles Peskine449bd832023-01-11 14:50:10 +0100116 if (NULL == cipher_name) {
117 return NULL;
118 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000119
Gilles Peskine449bd832023-01-11 14:50:10 +0100120 for (def = mbedtls_cipher_definitions; def->info != NULL; def++) {
121 if (!strcmp(def->info->name, cipher_name)) {
122 return def->info;
123 }
124 }
Paul Bakkerfab5c822012-02-06 16:45:10 +0000125
Gilles Peskine449bd832023-01-11 14:50:10 +0100126 return NULL;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000127}
128
Hanno Becker18597cd2018-11-09 16:36:33 +0000129const mbedtls_cipher_info_t *mbedtls_cipher_info_from_values(
130 const mbedtls_cipher_id_t cipher_id,
131 int key_bitlen,
Gilles Peskine449bd832023-01-11 14:50:10 +0100132 const mbedtls_cipher_mode_t mode)
Paul Bakkerf46b6952013-09-09 00:08:26 +0200133{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200134 const mbedtls_cipher_definition_t *def;
Paul Bakkerf46b6952013-09-09 00:08:26 +0200135
Gilles Peskine449bd832023-01-11 14:50:10 +0100136 for (def = mbedtls_cipher_definitions; def->info != NULL; def++) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100137 if (mbedtls_cipher_get_base(def->info)->cipher == cipher_id &&
Dave Rodgman9282d4f2023-06-24 11:03:04 +0100138 mbedtls_cipher_info_get_key_bitlen(def->info) == (unsigned) key_bitlen &&
Gilles Peskine449bd832023-01-11 14:50:10 +0100139 def->info->mode == mode) {
140 return def->info;
141 }
142 }
Paul Bakkerf46b6952013-09-09 00:08:26 +0200143
Gilles Peskine449bd832023-01-11 14:50:10 +0100144 return NULL;
Paul Bakkerf46b6952013-09-09 00:08:26 +0200145}
146
Manuel Pégourié-Gonnardefcc1f22023-06-07 13:20:24 +0200147#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
148static inline psa_key_type_t mbedtls_psa_translate_cipher_type(
149 mbedtls_cipher_type_t cipher)
150{
151 switch (cipher) {
152 case MBEDTLS_CIPHER_AES_128_CCM:
153 case MBEDTLS_CIPHER_AES_192_CCM:
154 case MBEDTLS_CIPHER_AES_256_CCM:
155 case MBEDTLS_CIPHER_AES_128_CCM_STAR_NO_TAG:
156 case MBEDTLS_CIPHER_AES_192_CCM_STAR_NO_TAG:
157 case MBEDTLS_CIPHER_AES_256_CCM_STAR_NO_TAG:
158 case MBEDTLS_CIPHER_AES_128_GCM:
159 case MBEDTLS_CIPHER_AES_192_GCM:
160 case MBEDTLS_CIPHER_AES_256_GCM:
161 case MBEDTLS_CIPHER_AES_128_CBC:
162 case MBEDTLS_CIPHER_AES_192_CBC:
163 case MBEDTLS_CIPHER_AES_256_CBC:
164 case MBEDTLS_CIPHER_AES_128_ECB:
165 case MBEDTLS_CIPHER_AES_192_ECB:
166 case MBEDTLS_CIPHER_AES_256_ECB:
167 return PSA_KEY_TYPE_AES;
168
169 /* ARIA not yet supported in PSA. */
170 /* case MBEDTLS_CIPHER_ARIA_128_CCM:
171 case MBEDTLS_CIPHER_ARIA_192_CCM:
172 case MBEDTLS_CIPHER_ARIA_256_CCM:
173 case MBEDTLS_CIPHER_ARIA_128_CCM_STAR_NO_TAG:
174 case MBEDTLS_CIPHER_ARIA_192_CCM_STAR_NO_TAG:
175 case MBEDTLS_CIPHER_ARIA_256_CCM_STAR_NO_TAG:
176 case MBEDTLS_CIPHER_ARIA_128_GCM:
177 case MBEDTLS_CIPHER_ARIA_192_GCM:
178 case MBEDTLS_CIPHER_ARIA_256_GCM:
179 case MBEDTLS_CIPHER_ARIA_128_CBC:
180 case MBEDTLS_CIPHER_ARIA_192_CBC:
181 case MBEDTLS_CIPHER_ARIA_256_CBC:
182 return( PSA_KEY_TYPE_ARIA ); */
183
184 default:
185 return 0;
186 }
187}
188
189static inline psa_algorithm_t mbedtls_psa_translate_cipher_mode(
190 mbedtls_cipher_mode_t mode, size_t taglen)
191{
192 switch (mode) {
193 case MBEDTLS_MODE_ECB:
194 return PSA_ALG_ECB_NO_PADDING;
195 case MBEDTLS_MODE_GCM:
196 return PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_GCM, taglen);
197 case MBEDTLS_MODE_CCM:
198 return PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_CCM, taglen);
199 case MBEDTLS_MODE_CCM_STAR_NO_TAG:
200 return PSA_ALG_CCM_STAR_NO_TAG;
201 case MBEDTLS_MODE_CBC:
202 if (taglen == 0) {
203 return PSA_ALG_CBC_NO_PADDING;
204 } else {
205 return 0;
206 }
207 default:
208 return 0;
209 }
210}
Manuel Pégourié-Gonnardefcc1f22023-06-07 13:20:24 +0200211#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
212
Gilles Peskine449bd832023-01-11 14:50:10 +0100213void mbedtls_cipher_init(mbedtls_cipher_context_t *ctx)
Paul Bakker84bbeb52014-07-01 14:53:22 +0200214{
Gilles Peskine449bd832023-01-11 14:50:10 +0100215 memset(ctx, 0, sizeof(mbedtls_cipher_context_t));
Paul Bakker84bbeb52014-07-01 14:53:22 +0200216}
217
Gilles Peskine449bd832023-01-11 14:50:10 +0100218void mbedtls_cipher_free(mbedtls_cipher_context_t *ctx)
Paul Bakker84bbeb52014-07-01 14:53:22 +0200219{
Gilles Peskine449bd832023-01-11 14:50:10 +0100220 if (ctx == NULL) {
Paul Bakker84bbeb52014-07-01 14:53:22 +0200221 return;
Gilles Peskine449bd832023-01-11 14:50:10 +0100222 }
Paul Bakker84bbeb52014-07-01 14:53:22 +0200223
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200224#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100225 if (ctx->psa_enabled == 1) {
226 if (ctx->cipher_ctx != NULL) {
Hanno Becker6118e432018-11-09 16:47:20 +0000227 mbedtls_cipher_context_psa * const cipher_psa =
228 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
229
Gilles Peskine449bd832023-01-11 14:50:10 +0100230 if (cipher_psa->slot_state == MBEDTLS_CIPHER_PSA_KEY_OWNED) {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000231 /* xxx_free() doesn't allow to return failures. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100232 (void) psa_destroy_key(cipher_psa->slot);
Hanno Becker6118e432018-11-09 16:47:20 +0000233 }
234
Tom Cosgroveca8c61b2023-07-17 15:17:40 +0100235 mbedtls_zeroize_and_free(cipher_psa, sizeof(*cipher_psa));
Hanno Becker6118e432018-11-09 16:47:20 +0000236 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000237
Gilles Peskine449bd832023-01-11 14:50:10 +0100238 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_cipher_context_t));
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000239 return;
240 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200241#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000242
Simon Butcher327398a2016-10-05 14:09:11 +0100243#if defined(MBEDTLS_CMAC_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100244 if (ctx->cmac_ctx) {
Tom Cosgroveca8c61b2023-07-17 15:17:40 +0100245 mbedtls_zeroize_and_free(ctx->cmac_ctx,
Gilles Peskine449bd832023-01-11 14:50:10 +0100246 sizeof(mbedtls_cmac_context_t));
Simon Butcher327398a2016-10-05 14:09:11 +0100247 }
248#endif
249
Gilles Peskine449bd832023-01-11 14:50:10 +0100250 if (ctx->cipher_ctx) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100251 mbedtls_cipher_get_base(ctx->cipher_info)->ctx_free_func(ctx->cipher_ctx);
Gilles Peskine449bd832023-01-11 14:50:10 +0100252 }
Paul Bakker84bbeb52014-07-01 14:53:22 +0200253
Gilles Peskine449bd832023-01-11 14:50:10 +0100254 mbedtls_platform_zeroize(ctx, sizeof(mbedtls_cipher_context_t));
Paul Bakker84bbeb52014-07-01 14:53:22 +0200255}
256
Gilles Peskine449bd832023-01-11 14:50:10 +0100257int mbedtls_cipher_setup(mbedtls_cipher_context_t *ctx,
258 const mbedtls_cipher_info_t *cipher_info)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000259{
Gilles Peskine449bd832023-01-11 14:50:10 +0100260 if (cipher_info == NULL) {
261 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
262 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000263
Gilles Peskine449bd832023-01-11 14:50:10 +0100264 memset(ctx, 0, sizeof(mbedtls_cipher_context_t));
Paul Bakker8123e9d2011-01-06 15:37:30 +0000265
Dave Rodgmande3de772023-06-24 12:51:06 +0100266 if (NULL == (ctx->cipher_ctx = mbedtls_cipher_get_base(cipher_info)->ctx_alloc_func())) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100267 return MBEDTLS_ERR_CIPHER_ALLOC_FAILED;
268 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000269
270 ctx->cipher_info = cipher_info;
271
Gilles Peskine449bd832023-01-11 14:50:10 +0100272 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000273}
274
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200275#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100276int mbedtls_cipher_setup_psa(mbedtls_cipher_context_t *ctx,
277 const mbedtls_cipher_info_t *cipher_info,
278 size_t taglen)
Hanno Becker4ccfc402018-11-09 16:10:57 +0000279{
Hanno Beckeredda8b82018-11-12 11:59:30 +0000280 psa_algorithm_t alg;
281 mbedtls_cipher_context_psa *cipher_psa;
282
Gilles Peskine449bd832023-01-11 14:50:10 +0100283 if (NULL == cipher_info || NULL == ctx) {
284 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
285 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000286
Hanno Becker4ee7e762018-11-17 22:00:38 +0000287 /* Check that the underlying cipher mode and cipher type are
288 * supported by the underlying PSA Crypto implementation. */
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100289 alg = mbedtls_psa_translate_cipher_mode(((mbedtls_cipher_mode_t) cipher_info->mode), taglen);
Gilles Peskine449bd832023-01-11 14:50:10 +0100290 if (alg == 0) {
291 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
292 }
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100293 if (mbedtls_psa_translate_cipher_type(((mbedtls_cipher_type_t) cipher_info->type)) == 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100294 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
295 }
Hanno Becker6118e432018-11-09 16:47:20 +0000296
Gilles Peskine449bd832023-01-11 14:50:10 +0100297 memset(ctx, 0, sizeof(mbedtls_cipher_context_t));
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000298
Gilles Peskine449bd832023-01-11 14:50:10 +0100299 cipher_psa = mbedtls_calloc(1, sizeof(mbedtls_cipher_context_psa));
300 if (cipher_psa == NULL) {
301 return MBEDTLS_ERR_CIPHER_ALLOC_FAILED;
302 }
Hanno Beckeredda8b82018-11-12 11:59:30 +0000303 cipher_psa->alg = alg;
304 ctx->cipher_ctx = cipher_psa;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000305 ctx->cipher_info = cipher_info;
306 ctx->psa_enabled = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100307 return 0;
Hanno Becker4ccfc402018-11-09 16:10:57 +0000308}
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200309#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Becker4ccfc402018-11-09 16:10:57 +0000310
Gilles Peskine449bd832023-01-11 14:50:10 +0100311int mbedtls_cipher_setkey(mbedtls_cipher_context_t *ctx,
312 const unsigned char *key,
313 int key_bitlen,
314 const mbedtls_operation_t operation)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000315{
Gilles Peskine449bd832023-01-11 14:50:10 +0100316 if (operation != MBEDTLS_ENCRYPT && operation != MBEDTLS_DECRYPT) {
Tuvshinzaya Erdenekhuu80a6af62022-08-05 15:31:57 +0100317 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100318 }
319 if (ctx->cipher_info == NULL) {
320 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
321 }
Yanray Wang0d76b6e2023-11-02 11:54:39 +0800322#if defined(MBEDTLS_BLOCK_CIPHER_NO_DECRYPT)
323 /* CBC, XTS, KW and KWP mode always need decryption, return an error to
324 * indicate those modes are not available under
325 * MBEDTLS_BLOCK_CIPHER_NO_DECRYPT. */
326 if (MBEDTLS_MODE_CBC == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
327 MBEDTLS_MODE_XTS == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
328 MBEDTLS_MODE_KW == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
329 MBEDTLS_MODE_KWP == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
330 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
331 }
Yanray Wang4995e0c2023-11-07 17:50:52 +0800332 if (MBEDTLS_MODE_ECB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) &&
333 MBEDTLS_DECRYPT == operation) {
334 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
335 }
Yanray Wang0d76b6e2023-11-02 11:54:39 +0800336#endif
Paul Bakker8123e9d2011-01-06 15:37:30 +0000337
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200338#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100339 if (ctx->psa_enabled == 1) {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000340 mbedtls_cipher_context_psa * const cipher_psa =
341 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
342
Gilles Peskine449bd832023-01-11 14:50:10 +0100343 size_t const key_bytelen = ((size_t) key_bitlen + 7) / 8;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000344
345 psa_status_t status;
346 psa_key_type_t key_type;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200347 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000348
349 /* PSA Crypto API only accepts byte-aligned keys. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100350 if (key_bitlen % 8 != 0) {
351 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
352 }
Hanno Beckeredda8b82018-11-12 11:59:30 +0000353
354 /* Don't allow keys to be set multiple times. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100355 if (cipher_psa->slot_state != MBEDTLS_CIPHER_PSA_KEY_UNSET) {
356 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
357 }
Hanno Beckeredda8b82018-11-12 11:59:30 +0000358
Andrzej Kurekc7509322019-01-08 09:36:01 -0500359 key_type = mbedtls_psa_translate_cipher_type(
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100360 ((mbedtls_cipher_type_t) ctx->cipher_info->type));
Gilles Peskine449bd832023-01-11 14:50:10 +0100361 if (key_type == 0) {
362 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
363 }
364 psa_set_key_type(&attributes, key_type);
Hanno Beckera395d8f2018-11-12 13:33:16 +0000365
366 /* Mbed TLS' cipher layer doesn't enforce the mode of operation
Andrzej Kurekf410a5c2019-01-15 03:33:35 -0500367 * (encrypt vs. decrypt): it is possible to setup a key for encryption
368 * and use it for AEAD decryption. Until tests relying on this
369 * are changed, allow any usage in PSA. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100370 psa_set_key_usage_flags(&attributes,
Gilles Peskine449bd832023-01-11 14:50:10 +0100371 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT);
372 psa_set_key_algorithm(&attributes, cipher_psa->alg);
Hanno Beckeredda8b82018-11-12 11:59:30 +0000373
Gilles Peskine449bd832023-01-11 14:50:10 +0100374 status = psa_import_key(&attributes, key, key_bytelen,
375 &cipher_psa->slot);
376 switch (status) {
Gilles Peskined2d45c12019-05-27 14:53:13 +0200377 case PSA_SUCCESS:
378 break;
379 case PSA_ERROR_INSUFFICIENT_MEMORY:
Gilles Peskine449bd832023-01-11 14:50:10 +0100380 return MBEDTLS_ERR_CIPHER_ALLOC_FAILED;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200381 case PSA_ERROR_NOT_SUPPORTED:
Gilles Peskine449bd832023-01-11 14:50:10 +0100382 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200383 default:
Gilles Peskine449bd832023-01-11 14:50:10 +0100384 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200385 }
386 /* Indicate that we own the key slot and need to
387 * destroy it in mbedtls_cipher_free(). */
388 cipher_psa->slot_state = MBEDTLS_CIPHER_PSA_KEY_OWNED;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000389
390 ctx->key_bitlen = key_bitlen;
391 ctx->operation = operation;
Gilles Peskine449bd832023-01-11 14:50:10 +0100392 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000393 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200394#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000395
Gilles Peskine449bd832023-01-11 14:50:10 +0100396 if ((ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_KEY_LEN) == 0 &&
Dave Rodgman9282d4f2023-06-24 11:03:04 +0100397 (int) mbedtls_cipher_info_get_key_bitlen(ctx->cipher_info) != key_bitlen) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100398 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200399 }
Manuel Pégourié-Gonnarddd0f57f2013-09-16 11:47:43 +0200400
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200401 ctx->key_bitlen = key_bitlen;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000402 ctx->operation = operation;
403
Yanray Wangb67b4742023-10-31 17:10:32 +0800404#if !defined(MBEDTLS_BLOCK_CIPHER_NO_DECRYPT)
Paul Bakker343a8702011-06-09 14:27:58 +0000405 /*
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100406 * For OFB, CFB and CTR mode always use the encryption key schedule
Paul Bakker343a8702011-06-09 14:27:58 +0000407 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100408 if (MBEDTLS_ENCRYPT == operation ||
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100409 MBEDTLS_MODE_CFB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
410 MBEDTLS_MODE_OFB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
411 MBEDTLS_MODE_CTR == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100412 return mbedtls_cipher_get_base(ctx->cipher_info)->setkey_enc_func(ctx->cipher_ctx, key,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100413 ctx->key_bitlen);
Paul Bakker343a8702011-06-09 14:27:58 +0000414 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000415
Gilles Peskine449bd832023-01-11 14:50:10 +0100416 if (MBEDTLS_DECRYPT == operation) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100417 return mbedtls_cipher_get_base(ctx->cipher_info)->setkey_dec_func(ctx->cipher_ctx, key,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100418 ctx->key_bitlen);
Gilles Peskine449bd832023-01-11 14:50:10 +0100419 }
Yanray Wang0d76b6e2023-11-02 11:54:39 +0800420#else
421 if (operation == MBEDTLS_ENCRYPT || operation == MBEDTLS_DECRYPT) {
422 return mbedtls_cipher_get_base(ctx->cipher_info)->setkey_enc_func(ctx->cipher_ctx, key,
423 ctx->key_bitlen);
424 }
425#endif
Paul Bakker8123e9d2011-01-06 15:37:30 +0000426
Gilles Peskine449bd832023-01-11 14:50:10 +0100427 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000428}
429
Gilles Peskine449bd832023-01-11 14:50:10 +0100430int mbedtls_cipher_set_iv(mbedtls_cipher_context_t *ctx,
431 const unsigned char *iv,
432 size_t iv_len)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000433{
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200434 size_t actual_iv_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000435
Gilles Peskine449bd832023-01-11 14:50:10 +0100436 if (ctx->cipher_info == NULL) {
437 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
438 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200439#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100440 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000441 /* While PSA Crypto has an API for multipart
442 * operations, we currently don't make it
443 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100444 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000445 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200446#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000447
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200448 /* avoid buffer overflow in ctx->iv */
Gilles Peskine449bd832023-01-11 14:50:10 +0100449 if (iv_len > MBEDTLS_MAX_IV_LENGTH) {
450 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
451 }
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200452
Gilles Peskine449bd832023-01-11 14:50:10 +0100453 if ((ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_IV_LEN) != 0) {
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200454 actual_iv_size = iv_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100455 } else {
Dave Rodgmanbb521fd2023-06-24 11:21:25 +0100456 actual_iv_size = mbedtls_cipher_info_get_iv_size(ctx->cipher_info);
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200457
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200458 /* avoid reading past the end of input buffer */
Gilles Peskine449bd832023-01-11 14:50:10 +0100459 if (actual_iv_size > iv_len) {
460 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
461 }
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200462 }
463
Daniel Kingbd920622016-05-15 19:56:20 -0300464#if defined(MBEDTLS_CHACHA20_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100465 if (((mbedtls_cipher_type_t) ctx->cipher_info->type) == MBEDTLS_CIPHER_CHACHA20) {
Andrzej Kurek33ca6af2021-12-01 21:58:05 +0100466 /* Even though the actual_iv_size is overwritten with a correct value
467 * of 12 from the cipher info, return an error to indicate that
468 * the input iv_len is wrong. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100469 if (iv_len != 12) {
470 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
471 }
Andrzej Kurek33ca6af2021-12-01 21:58:05 +0100472
Gilles Peskine449bd832023-01-11 14:50:10 +0100473 if (0 != mbedtls_chacha20_starts((mbedtls_chacha20_context *) ctx->cipher_ctx,
474 iv,
475 0U)) { /* Initial counter value */
476 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel Kingbd920622016-05-15 19:56:20 -0300477 }
478 }
Andrzej Kurek63439ed2021-12-01 22:19:33 +0100479#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100480 if (((mbedtls_cipher_type_t) ctx->cipher_info->type) == MBEDTLS_CIPHER_CHACHA20_POLY1305 &&
Gilles Peskine449bd832023-01-11 14:50:10 +0100481 iv_len != 12) {
482 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
483 }
Andrzej Kurek63439ed2021-12-01 22:19:33 +0100484#endif
Daniel Kingbd920622016-05-15 19:56:20 -0300485#endif
486
Gilles Peskine295fc132021-04-15 18:32:23 +0200487#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100488 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100489 return mbedtls_gcm_starts((mbedtls_gcm_context *) ctx->cipher_ctx,
490 ctx->operation,
491 iv, iv_len);
Gilles Peskine295fc132021-04-15 18:32:23 +0200492 }
493#endif
494
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200495#if defined(MBEDTLS_CCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100496 if (MBEDTLS_MODE_CCM_STAR_NO_TAG == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200497 int set_lengths_result;
498 int ccm_star_mode;
499
500 set_lengths_result = mbedtls_ccm_set_lengths(
Gilles Peskine449bd832023-01-11 14:50:10 +0100501 (mbedtls_ccm_context *) ctx->cipher_ctx,
502 0, 0, 0);
503 if (set_lengths_result != 0) {
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200504 return set_lengths_result;
Gilles Peskine449bd832023-01-11 14:50:10 +0100505 }
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200506
Gilles Peskine449bd832023-01-11 14:50:10 +0100507 if (ctx->operation == MBEDTLS_DECRYPT) {
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200508 ccm_star_mode = MBEDTLS_CCM_STAR_DECRYPT;
Gilles Peskine449bd832023-01-11 14:50:10 +0100509 } else if (ctx->operation == MBEDTLS_ENCRYPT) {
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200510 ccm_star_mode = MBEDTLS_CCM_STAR_ENCRYPT;
Gilles Peskine449bd832023-01-11 14:50:10 +0100511 } else {
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200512 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100513 }
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200514
Gilles Peskine449bd832023-01-11 14:50:10 +0100515 return mbedtls_ccm_starts((mbedtls_ccm_context *) ctx->cipher_ctx,
516 ccm_star_mode,
517 iv, iv_len);
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200518 }
519#endif
520
Gilles Peskine449bd832023-01-11 14:50:10 +0100521 if (actual_iv_size != 0) {
522 memcpy(ctx->iv, iv, actual_iv_size);
Ron Eldor4e64e0b2017-09-25 18:22:32 +0300523 ctx->iv_size = actual_iv_size;
524 }
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200525
Gilles Peskine449bd832023-01-11 14:50:10 +0100526 return 0;
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200527}
528
Gilles Peskine449bd832023-01-11 14:50:10 +0100529int mbedtls_cipher_reset(mbedtls_cipher_context_t *ctx)
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200530{
Gilles Peskine449bd832023-01-11 14:50:10 +0100531 if (ctx->cipher_info == NULL) {
532 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
533 }
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200534
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200535#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100536 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000537 /* We don't support resetting PSA-based
538 * cipher contexts, yet. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100539 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000540 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200541#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000542
Paul Bakker8123e9d2011-01-06 15:37:30 +0000543 ctx->unprocessed_len = 0;
544
Gilles Peskine449bd832023-01-11 14:50:10 +0100545 return 0;
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200546}
547
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200548#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100549int mbedtls_cipher_update_ad(mbedtls_cipher_context_t *ctx,
550 const unsigned char *ad, size_t ad_len)
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200551{
Gilles Peskine449bd832023-01-11 14:50:10 +0100552 if (ctx->cipher_info == NULL) {
553 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
554 }
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200555
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200556#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100557 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000558 /* While PSA Crypto has an API for multipart
559 * operations, we currently don't make it
560 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100561 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000562 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200563#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000564
Daniel King8fe47012016-05-17 20:33:28 -0300565#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100566 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100567 return mbedtls_gcm_update_ad((mbedtls_gcm_context *) ctx->cipher_ctx,
568 ad, ad_len);
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200569 }
Daniel King8fe47012016-05-17 20:33:28 -0300570#endif
571
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200572#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100573 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) {
Daniel King8fe47012016-05-17 20:33:28 -0300574 int result;
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200575 mbedtls_chachapoly_mode_t mode;
Daniel King8fe47012016-05-17 20:33:28 -0300576
Gilles Peskine449bd832023-01-11 14:50:10 +0100577 mode = (ctx->operation == MBEDTLS_ENCRYPT)
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200578 ? MBEDTLS_CHACHAPOLY_ENCRYPT
579 : MBEDTLS_CHACHAPOLY_DECRYPT;
Daniel King8fe47012016-05-17 20:33:28 -0300580
Gilles Peskine449bd832023-01-11 14:50:10 +0100581 result = mbedtls_chachapoly_starts((mbedtls_chachapoly_context *) ctx->cipher_ctx,
582 ctx->iv,
583 mode);
584 if (result != 0) {
585 return result;
586 }
Daniel King8fe47012016-05-17 20:33:28 -0300587
Gilles Peskine449bd832023-01-11 14:50:10 +0100588 return mbedtls_chachapoly_update_aad((mbedtls_chachapoly_context *) ctx->cipher_ctx,
589 ad, ad_len);
Daniel King8fe47012016-05-17 20:33:28 -0300590 }
591#endif
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200592
Gilles Peskine449bd832023-01-11 14:50:10 +0100593 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000594}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200595#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000596
Gilles Peskine449bd832023-01-11 14:50:10 +0100597int mbedtls_cipher_update(mbedtls_cipher_context_t *ctx, const unsigned char *input,
598 size_t ilen, unsigned char *output, size_t *olen)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000599{
Janos Follath24eed8d2019-11-22 13:21:35 +0000600 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500601 size_t block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000602
Gilles Peskine449bd832023-01-11 14:50:10 +0100603 if (ctx->cipher_info == NULL) {
604 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
605 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000606
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200607#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100608 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000609 /* While PSA Crypto has an API for multipart
610 * operations, we currently don't make it
611 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100612 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000613 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200614#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000615
Paul Bakker6c212762013-12-16 15:24:50 +0100616 *olen = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100617 block_size = mbedtls_cipher_get_block_size(ctx);
618 if (0 == block_size) {
619 return MBEDTLS_ERR_CIPHER_INVALID_CONTEXT;
Gilles Peskinea2bdcb92020-01-21 15:02:14 +0100620 }
Paul Bakker6c212762013-12-16 15:24:50 +0100621
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100622 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_ECB) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100623 if (ilen != block_size) {
624 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
625 }
Paul Bakker5e0efa72013-09-08 23:04:04 +0200626
627 *olen = ilen;
628
Dave Rodgmande3de772023-06-24 12:51:06 +0100629 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->ecb_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100630 ctx->operation, input,
631 output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100632 return ret;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200633 }
634
Gilles Peskine449bd832023-01-11 14:50:10 +0100635 return 0;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200636 }
637
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200638#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100639 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_GCM) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100640 return mbedtls_gcm_update((mbedtls_gcm_context *) ctx->cipher_ctx,
641 input, ilen,
642 output, ilen, olen);
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200643 }
644#endif
645
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200646#if defined(MBEDTLS_CCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100647 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_CCM_STAR_NO_TAG) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100648 return mbedtls_ccm_update((mbedtls_ccm_context *) ctx->cipher_ctx,
649 input, ilen,
650 output, ilen, olen);
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200651 }
652#endif
653
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200654#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100655 if (((mbedtls_cipher_type_t) ctx->cipher_info->type) == MBEDTLS_CIPHER_CHACHA20_POLY1305) {
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200656 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +0100657 return mbedtls_chachapoly_update((mbedtls_chachapoly_context *) ctx->cipher_ctx,
658 ilen, input, output);
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200659 }
660#endif
661
Gilles Peskine449bd832023-01-11 14:50:10 +0100662 if (input == output &&
663 (ctx->unprocessed_len != 0 || ilen % block_size)) {
664 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker68884e32013-01-07 18:20:04 +0100665 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000666
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200667#if defined(MBEDTLS_CIPHER_MODE_CBC)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100668 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_CBC) {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200669 size_t copy_len = 0;
670
Paul Bakker8123e9d2011-01-06 15:37:30 +0000671 /*
672 * If there is not enough data for a full block, cache it.
673 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100674 if ((ctx->operation == MBEDTLS_DECRYPT && NULL != ctx->add_padding &&
675 ilen <= block_size - ctx->unprocessed_len) ||
676 (ctx->operation == MBEDTLS_DECRYPT && NULL == ctx->add_padding &&
677 ilen < block_size - ctx->unprocessed_len) ||
678 (ctx->operation == MBEDTLS_ENCRYPT &&
679 ilen < block_size - ctx->unprocessed_len)) {
680 memcpy(&(ctx->unprocessed_data[ctx->unprocessed_len]), input,
681 ilen);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000682
683 ctx->unprocessed_len += ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +0100684 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000685 }
686
687 /*
688 * Process cached data first
689 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100690 if (0 != ctx->unprocessed_len) {
Janos Follath98e28a72016-05-31 14:03:54 +0100691 copy_len = block_size - ctx->unprocessed_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000692
Gilles Peskine449bd832023-01-11 14:50:10 +0100693 memcpy(&(ctx->unprocessed_data[ctx->unprocessed_len]), input,
694 copy_len);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000695
Dave Rodgmande3de772023-06-24 12:51:06 +0100696 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->cbc_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100697 ctx->operation,
698 block_size, ctx->iv,
699 ctx->
700 unprocessed_data,
701 output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100702 return ret;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000703 }
704
Janos Follath98e28a72016-05-31 14:03:54 +0100705 *olen += block_size;
706 output += block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000707 ctx->unprocessed_len = 0;
708
709 input += copy_len;
710 ilen -= copy_len;
711 }
712
713 /*
714 * Cache final, incomplete block
715 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100716 if (0 != ilen) {
Andy Leiserson79e77892017-04-28 20:01:49 -0700717 /* Encryption: only cache partial blocks
718 * Decryption w/ padding: always keep at least one whole block
719 * Decryption w/o padding: only cache partial blocks
720 */
Janos Follath98e28a72016-05-31 14:03:54 +0100721 copy_len = ilen % block_size;
Gilles Peskine449bd832023-01-11 14:50:10 +0100722 if (copy_len == 0 &&
Andy Leiserson79e77892017-04-28 20:01:49 -0700723 ctx->operation == MBEDTLS_DECRYPT &&
Gilles Peskine449bd832023-01-11 14:50:10 +0100724 NULL != ctx->add_padding) {
Janos Follath98e28a72016-05-31 14:03:54 +0100725 copy_len = block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700726 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000727
Gilles Peskine449bd832023-01-11 14:50:10 +0100728 memcpy(ctx->unprocessed_data, &(input[ilen - copy_len]),
729 copy_len);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000730
731 ctx->unprocessed_len += copy_len;
732 ilen -= copy_len;
733 }
734
735 /*
736 * Process remaining full blocks
737 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100738 if (ilen) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100739 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->cbc_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100740 ctx->operation,
741 ilen, ctx->iv,
742 input,
743 output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100744 return ret;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000745 }
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200746
Paul Bakker8123e9d2011-01-06 15:37:30 +0000747 *olen += ilen;
748 }
749
Gilles Peskine449bd832023-01-11 14:50:10 +0100750 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000751 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200752#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000753
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200754#if defined(MBEDTLS_CIPHER_MODE_CFB)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100755 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_CFB) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100756 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->cfb_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100757 ctx->operation, ilen,
758 &ctx->unprocessed_len,
759 ctx->iv,
760 input, output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100761 return ret;
Paul Bakker343a8702011-06-09 14:27:58 +0000762 }
763
764 *olen = ilen;
765
Gilles Peskine449bd832023-01-11 14:50:10 +0100766 return 0;
Paul Bakker343a8702011-06-09 14:27:58 +0000767 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200768#endif /* MBEDTLS_CIPHER_MODE_CFB */
Paul Bakker343a8702011-06-09 14:27:58 +0000769
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100770#if defined(MBEDTLS_CIPHER_MODE_OFB)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100771 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_OFB) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100772 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->ofb_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100773 ilen,
774 &ctx->unprocessed_len,
775 ctx->iv,
776 input, output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100777 return ret;
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100778 }
779
780 *olen = ilen;
781
Gilles Peskine449bd832023-01-11 14:50:10 +0100782 return 0;
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100783 }
784#endif /* MBEDTLS_CIPHER_MODE_OFB */
785
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200786#if defined(MBEDTLS_CIPHER_MODE_CTR)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100787 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_CTR) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100788 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->ctr_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100789 ilen,
790 &ctx->unprocessed_len,
791 ctx->iv,
792 ctx->unprocessed_data,
793 input, output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100794 return ret;
Paul Bakker343a8702011-06-09 14:27:58 +0000795 }
796
797 *olen = ilen;
798
Gilles Peskine449bd832023-01-11 14:50:10 +0100799 return 0;
Paul Bakker343a8702011-06-09 14:27:58 +0000800 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200801#endif /* MBEDTLS_CIPHER_MODE_CTR */
Paul Bakker343a8702011-06-09 14:27:58 +0000802
Jaeden Ameroc6539902018-04-30 17:17:41 +0100803#if defined(MBEDTLS_CIPHER_MODE_XTS)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100804 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_XTS) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100805 if (ctx->unprocessed_len > 0) {
Jaeden Ameroc6539902018-04-30 17:17:41 +0100806 /* We can only process an entire data unit at a time. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100807 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Jaeden Ameroc6539902018-04-30 17:17:41 +0100808 }
809
Dave Rodgmande3de772023-06-24 12:51:06 +0100810 ret = mbedtls_cipher_get_base(ctx->cipher_info)->xts_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100811 ctx->operation,
812 ilen,
813 ctx->iv,
814 input,
815 output);
Gilles Peskine449bd832023-01-11 14:50:10 +0100816 if (ret != 0) {
817 return ret;
Jaeden Ameroc6539902018-04-30 17:17:41 +0100818 }
819
820 *olen = ilen;
821
Gilles Peskine449bd832023-01-11 14:50:10 +0100822 return 0;
Jaeden Ameroc6539902018-04-30 17:17:41 +0100823 }
824#endif /* MBEDTLS_CIPHER_MODE_XTS */
825
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200826#if defined(MBEDTLS_CIPHER_MODE_STREAM)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100827 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_STREAM) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100828 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->stream_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100829 ilen, input,
830 output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100831 return ret;
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200832 }
833
834 *olen = ilen;
835
Gilles Peskine449bd832023-01-11 14:50:10 +0100836 return 0;
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200837 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200838#endif /* MBEDTLS_CIPHER_MODE_STREAM */
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200839
Gilles Peskine449bd832023-01-11 14:50:10 +0100840 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000841}
842
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200843#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
844#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200845/*
846 * PKCS7 (and PKCS5) padding: fill with ll bytes, with ll = padding_len
847 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100848static void add_pkcs_padding(unsigned char *output, size_t output_len,
849 size_t data_len)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000850{
Paul Bakker23986e52011-04-24 08:57:21 +0000851 size_t padding_len = output_len - data_len;
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100852 unsigned char i;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000853
Gilles Peskine449bd832023-01-11 14:50:10 +0100854 for (i = 0; i < padding_len; i++) {
Paul Bakker23986e52011-04-24 08:57:21 +0000855 output[data_len + i] = (unsigned char) padding_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100856 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000857}
858
Gilles Peskine449bd832023-01-11 14:50:10 +0100859static int get_pkcs_padding(unsigned char *input, size_t input_len,
860 size_t *data_len)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000861{
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100862 size_t i, pad_idx;
Dave Rodgman6b7e2a52023-09-18 19:00:44 +0100863 unsigned char padding_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000864
Gilles Peskine449bd832023-01-11 14:50:10 +0100865 if (NULL == input || NULL == data_len) {
866 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
867 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000868
869 padding_len = input[input_len - 1];
Paul Bakker8123e9d2011-01-06 15:37:30 +0000870 *data_len = input_len - padding_len;
871
Dave Rodgmane834d6c2023-09-20 19:06:53 +0100872 mbedtls_ct_condition_t bad = mbedtls_ct_uint_gt(padding_len, input_len);
Dave Rodgman6b7e2a52023-09-18 19:00:44 +0100873 bad = mbedtls_ct_bool_or(bad, mbedtls_ct_uint_eq(padding_len, 0));
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100874
875 /* The number of bytes checked must be independent of padding_len,
876 * so pick input_len, which is usually 8 or 16 (one block) */
877 pad_idx = input_len - padding_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100878 for (i = 0; i < input_len; i++) {
Dave Rodgmanc43a0a42023-09-20 19:07:22 +0100879 mbedtls_ct_condition_t in_padding = mbedtls_ct_uint_ge(i, pad_idx);
880 mbedtls_ct_condition_t different = mbedtls_ct_uint_ne(input[i], padding_len);
881 bad = mbedtls_ct_bool_or(bad, mbedtls_ct_bool_and(in_padding, different));
Gilles Peskine449bd832023-01-11 14:50:10 +0100882 }
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100883
Dave Rodgmand03f4832023-09-22 09:52:15 +0100884 return mbedtls_ct_error_if_else_0(bad, MBEDTLS_ERR_CIPHER_INVALID_PADDING);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000885}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200886#endif /* MBEDTLS_CIPHER_PADDING_PKCS7 */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000887
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200888#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200889/*
890 * One and zeros padding: fill with 80 00 ... 00
891 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100892static void add_one_and_zeros_padding(unsigned char *output,
893 size_t output_len, size_t data_len)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200894{
895 size_t padding_len = output_len - data_len;
896 unsigned char i = 0;
897
898 output[data_len] = 0x80;
Gilles Peskine449bd832023-01-11 14:50:10 +0100899 for (i = 1; i < padding_len; i++) {
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200900 output[data_len + i] = 0x00;
Gilles Peskine449bd832023-01-11 14:50:10 +0100901 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200902}
903
Gilles Peskine449bd832023-01-11 14:50:10 +0100904static int get_one_and_zeros_padding(unsigned char *input, size_t input_len,
905 size_t *data_len)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200906{
Gilles Peskine449bd832023-01-11 14:50:10 +0100907 if (NULL == input || NULL == data_len) {
908 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
909 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200910
Dave Rodgman89a9bd52023-09-19 14:37:50 +0100911 mbedtls_ct_condition_t in_padding = MBEDTLS_CT_TRUE;
912 mbedtls_ct_condition_t bad = MBEDTLS_CT_TRUE;
913
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100914 *data_len = 0;
Dave Rodgman89a9bd52023-09-19 14:37:50 +0100915
Dave Rodgman437500c2023-09-19 21:36:43 +0100916 for (ptrdiff_t i = (ptrdiff_t) (input_len) - 1; i >= 0; i--) {
Dave Rodgman89a9bd52023-09-19 14:37:50 +0100917 mbedtls_ct_condition_t is_nonzero = mbedtls_ct_bool(input[i]);
918
919 mbedtls_ct_condition_t hit_first_nonzero = mbedtls_ct_bool_and(is_nonzero, in_padding);
920
921 *data_len = mbedtls_ct_size_if(hit_first_nonzero, i, *data_len);
922
Dave Rodgmanfd965792023-09-19 21:51:50 +0100923 bad = mbedtls_ct_bool_if(hit_first_nonzero, mbedtls_ct_uint_ne(input[i], 0x80), bad);
Dave Rodgman89a9bd52023-09-19 14:37:50 +0100924
925 in_padding = mbedtls_ct_bool_and(in_padding, mbedtls_ct_bool_not(is_nonzero));
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100926 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200927
Dave Rodgmand03f4832023-09-22 09:52:15 +0100928 return mbedtls_ct_error_if_else_0(bad, MBEDTLS_ERR_CIPHER_INVALID_PADDING);
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200929}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200930#endif /* MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS */
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200931
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200932#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200933/*
934 * Zeros and len padding: fill with 00 ... 00 ll, where ll is padding length
935 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100936static void add_zeros_and_len_padding(unsigned char *output,
937 size_t output_len, size_t data_len)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200938{
939 size_t padding_len = output_len - data_len;
940 unsigned char i = 0;
941
Gilles Peskine449bd832023-01-11 14:50:10 +0100942 for (i = 1; i < padding_len; i++) {
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200943 output[data_len + i - 1] = 0x00;
Gilles Peskine449bd832023-01-11 14:50:10 +0100944 }
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200945 output[output_len - 1] = (unsigned char) padding_len;
946}
947
Gilles Peskine449bd832023-01-11 14:50:10 +0100948static int get_zeros_and_len_padding(unsigned char *input, size_t input_len,
949 size_t *data_len)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200950{
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100951 size_t i, pad_idx;
Dave Rodgman6cec41c2023-09-18 21:51:55 +0100952 unsigned char padding_len;
953 mbedtls_ct_condition_t bad;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200954
Gilles Peskine449bd832023-01-11 14:50:10 +0100955 if (NULL == input || NULL == data_len) {
956 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
957 }
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200958
959 padding_len = input[input_len - 1];
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200960 *data_len = input_len - padding_len;
961
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100962 /* Avoid logical || since it results in a branch */
Dave Rodgman6cec41c2023-09-18 21:51:55 +0100963 bad = mbedtls_ct_uint_gt(padding_len, input_len);
964 bad = mbedtls_ct_bool_or(bad, mbedtls_ct_uint_eq(padding_len, 0));
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100965
966 /* The number of bytes checked must be independent of padding_len */
967 pad_idx = input_len - padding_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100968 for (i = 0; i < input_len - 1; i++) {
Dave Rodgman6cec41c2023-09-18 21:51:55 +0100969 mbedtls_ct_condition_t is_padding = mbedtls_ct_uint_ge(i, pad_idx);
Dave Rodgman6be4bcf2023-09-19 19:47:51 +0100970 mbedtls_ct_condition_t nonzero_pad_byte;
Dave Rodgmanfd965792023-09-19 21:51:50 +0100971 nonzero_pad_byte = mbedtls_ct_bool_if_else_0(is_padding, mbedtls_ct_bool(input[i]));
Dave Rodgman6cec41c2023-09-18 21:51:55 +0100972 bad = mbedtls_ct_bool_or(bad, nonzero_pad_byte);
Gilles Peskine449bd832023-01-11 14:50:10 +0100973 }
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100974
Dave Rodgmand03f4832023-09-22 09:52:15 +0100975 return mbedtls_ct_error_if_else_0(bad, MBEDTLS_ERR_CIPHER_INVALID_PADDING);
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200976}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200977#endif /* MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN */
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200978
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200979#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200980/*
981 * Zero padding: fill with 00 ... 00
982 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100983static void add_zeros_padding(unsigned char *output,
984 size_t output_len, size_t data_len)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200985{
Dave Rodgmanf8182d92023-09-19 16:25:17 +0100986 memset(output + data_len, 0, output_len - data_len);
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200987}
988
Gilles Peskine449bd832023-01-11 14:50:10 +0100989static int get_zeros_padding(unsigned char *input, size_t input_len,
990 size_t *data_len)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200991{
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100992 size_t i;
Dave Rodgmand8c68a92023-09-19 16:19:38 +0100993 mbedtls_ct_condition_t done = MBEDTLS_CT_FALSE, prev_done;
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100994
Gilles Peskine449bd832023-01-11 14:50:10 +0100995 if (NULL == input || NULL == data_len) {
996 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100997 }
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200998
Gilles Peskine449bd832023-01-11 14:50:10 +0100999 *data_len = 0;
1000 for (i = input_len; i > 0; i--) {
1001 prev_done = done;
Dave Rodgmand8c68a92023-09-19 16:19:38 +01001002 done = mbedtls_ct_bool_or(done, mbedtls_ct_uint_ne(input[i-1], 0));
1003 *data_len = mbedtls_ct_size_if(mbedtls_ct_bool_ne(done, prev_done), i, *data_len);
Gilles Peskine449bd832023-01-11 14:50:10 +01001004 }
1005
1006 return 0;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +02001007}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001008#endif /* MBEDTLS_CIPHER_PADDING_ZEROS */
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +02001009
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001010/*
1011 * No padding: don't pad :)
1012 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001013 * There is no add_padding function (check for NULL in mbedtls_cipher_finish)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001014 * but a trivial get_padding function
1015 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001016static int get_no_padding(unsigned char *input, size_t input_len,
1017 size_t *data_len)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001018{
Gilles Peskine449bd832023-01-11 14:50:10 +01001019 if (NULL == input || NULL == data_len) {
1020 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1021 }
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001022
1023 *data_len = input_len;
1024
Gilles Peskine449bd832023-01-11 14:50:10 +01001025 return 0;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001026}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001027#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001028
Gilles Peskine449bd832023-01-11 14:50:10 +01001029int mbedtls_cipher_finish(mbedtls_cipher_context_t *ctx,
1030 unsigned char *output, size_t *olen)
Paul Bakker8123e9d2011-01-06 15:37:30 +00001031{
Gilles Peskine449bd832023-01-11 14:50:10 +01001032 if (ctx->cipher_info == NULL) {
1033 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1034 }
Paul Bakker8123e9d2011-01-06 15:37:30 +00001035
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001036#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001037 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001038 /* While PSA Crypto has an API for multipart
1039 * operations, we currently don't make it
1040 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001041 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001042 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001043#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001044
Paul Bakker8123e9d2011-01-06 15:37:30 +00001045 *olen = 0;
1046
Waleed Elmelegya7d206f2023-09-07 17:54:46 +01001047#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
1048 /* CBC mode requires padding so we make sure a call to
1049 * mbedtls_cipher_set_padding_mode has been done successfully. */
1050 if (MBEDTLS_MODE_CBC == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
1051 if (ctx->get_padding == NULL) {
1052 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1053 }
1054 }
1055#endif
1056
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001057 if (MBEDTLS_MODE_CFB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1058 MBEDTLS_MODE_OFB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1059 MBEDTLS_MODE_CTR == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1060 MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1061 MBEDTLS_MODE_CCM_STAR_NO_TAG == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1062 MBEDTLS_MODE_XTS == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1063 MBEDTLS_MODE_STREAM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001064 return 0;
Paul Bakker343a8702011-06-09 14:27:58 +00001065 }
1066
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001067 if ((MBEDTLS_CIPHER_CHACHA20 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) ||
1068 (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type))) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001069 return 0;
Daniel Kingbd920622016-05-15 19:56:20 -03001070 }
1071
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001072 if (MBEDTLS_MODE_ECB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001073 if (ctx->unprocessed_len != 0) {
1074 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
1075 }
Paul Bakker5e0efa72013-09-08 23:04:04 +02001076
Gilles Peskine449bd832023-01-11 14:50:10 +01001077 return 0;
Paul Bakker5e0efa72013-09-08 23:04:04 +02001078 }
1079
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001080#if defined(MBEDTLS_CIPHER_MODE_CBC)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001081 if (MBEDTLS_MODE_CBC == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001082 int ret = 0;
1083
Gilles Peskine449bd832023-01-11 14:50:10 +01001084 if (MBEDTLS_ENCRYPT == ctx->operation) {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001085 /* check for 'no padding' mode */
Gilles Peskine449bd832023-01-11 14:50:10 +01001086 if (NULL == ctx->add_padding) {
1087 if (0 != ctx->unprocessed_len) {
1088 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
1089 }
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001090
Gilles Peskine449bd832023-01-11 14:50:10 +01001091 return 0;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001092 }
1093
Gilles Peskine449bd832023-01-11 14:50:10 +01001094 ctx->add_padding(ctx->unprocessed_data, mbedtls_cipher_get_iv_size(ctx),
1095 ctx->unprocessed_len);
1096 } else if (mbedtls_cipher_get_block_size(ctx) != ctx->unprocessed_len) {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001097 /*
1098 * For decrypt operations, expect a full block,
1099 * or an empty block if no padding
1100 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001101 if (NULL == ctx->add_padding && 0 == ctx->unprocessed_len) {
1102 return 0;
1103 }
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001104
Gilles Peskine449bd832023-01-11 14:50:10 +01001105 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
Paul Bakker8123e9d2011-01-06 15:37:30 +00001106 }
1107
1108 /* cipher block */
Dave Rodgmande3de772023-06-24 12:51:06 +01001109 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->cbc_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +01001110 ctx->operation,
1111 mbedtls_cipher_get_block_size(
1112 ctx),
1113 ctx->iv,
1114 ctx->unprocessed_data,
1115 output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001116 return ret;
Paul Bakker8123e9d2011-01-06 15:37:30 +00001117 }
1118
1119 /* Set output size for decryption */
Gilles Peskine449bd832023-01-11 14:50:10 +01001120 if (MBEDTLS_DECRYPT == ctx->operation) {
1121 return ctx->get_padding(output, mbedtls_cipher_get_block_size(ctx),
1122 olen);
1123 }
Paul Bakker8123e9d2011-01-06 15:37:30 +00001124
1125 /* Set output size for encryption */
Gilles Peskine449bd832023-01-11 14:50:10 +01001126 *olen = mbedtls_cipher_get_block_size(ctx);
1127 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +00001128 }
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001129#else
1130 ((void) output);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001131#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +00001132
Gilles Peskine449bd832023-01-11 14:50:10 +01001133 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Paul Bakker8123e9d2011-01-06 15:37:30 +00001134}
1135
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001136#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Gilles Peskine449bd832023-01-11 14:50:10 +01001137int mbedtls_cipher_set_padding_mode(mbedtls_cipher_context_t *ctx,
1138 mbedtls_cipher_padding_t mode)
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001139{
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001140 if (NULL == ctx->cipher_info ||
1141 MBEDTLS_MODE_CBC != ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001142 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001143 }
1144
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001145#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001146 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001147 /* While PSA Crypto knows about CBC padding
1148 * schemes, we currently don't make them
1149 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001150 if (mode != MBEDTLS_PADDING_NONE) {
1151 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
1152 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001153
Gilles Peskine449bd832023-01-11 14:50:10 +01001154 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001155 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001156#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001157
Gilles Peskine449bd832023-01-11 14:50:10 +01001158 switch (mode) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001159#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Gilles Peskine449bd832023-01-11 14:50:10 +01001160 case MBEDTLS_PADDING_PKCS7:
1161 ctx->add_padding = add_pkcs_padding;
1162 ctx->get_padding = get_pkcs_padding;
1163 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001164#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001165#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Gilles Peskine449bd832023-01-11 14:50:10 +01001166 case MBEDTLS_PADDING_ONE_AND_ZEROS:
1167 ctx->add_padding = add_one_and_zeros_padding;
1168 ctx->get_padding = get_one_and_zeros_padding;
1169 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001170#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001171#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Gilles Peskine449bd832023-01-11 14:50:10 +01001172 case MBEDTLS_PADDING_ZEROS_AND_LEN:
1173 ctx->add_padding = add_zeros_and_len_padding;
1174 ctx->get_padding = get_zeros_and_len_padding;
1175 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001176#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001177#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Gilles Peskine449bd832023-01-11 14:50:10 +01001178 case MBEDTLS_PADDING_ZEROS:
1179 ctx->add_padding = add_zeros_padding;
1180 ctx->get_padding = get_zeros_padding;
1181 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001182#endif
Gilles Peskine449bd832023-01-11 14:50:10 +01001183 case MBEDTLS_PADDING_NONE:
1184 ctx->add_padding = NULL;
1185 ctx->get_padding = get_no_padding;
1186 break;
Paul Bakker1a45d912013-08-14 12:04:26 +02001187
Gilles Peskine449bd832023-01-11 14:50:10 +01001188 default:
1189 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001190 }
1191
Gilles Peskine449bd832023-01-11 14:50:10 +01001192 return 0;
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001193}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001194#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001195
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001196#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Gilles Peskine449bd832023-01-11 14:50:10 +01001197int mbedtls_cipher_write_tag(mbedtls_cipher_context_t *ctx,
1198 unsigned char *tag, size_t tag_len)
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001199{
Gilles Peskine449bd832023-01-11 14:50:10 +01001200 if (ctx->cipher_info == NULL) {
1201 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1202 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001203
Gilles Peskine449bd832023-01-11 14:50:10 +01001204 if (MBEDTLS_ENCRYPT != ctx->operation) {
1205 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1206 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001207
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001208#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001209 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001210 /* While PSA Crypto has an API for multipart
1211 * operations, we currently don't make it
1212 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001213 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001214 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001215#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001216
Daniel King8fe47012016-05-17 20:33:28 -03001217#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001218 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001219 size_t output_length;
1220 /* The code here doesn't yet support alternative implementations
1221 * that can delay up to a block of output. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001222 return mbedtls_gcm_finish((mbedtls_gcm_context *) ctx->cipher_ctx,
1223 NULL, 0, &output_length,
1224 tag, tag_len);
Gilles Peskine5a7be102021-06-23 21:51:32 +02001225 }
Daniel King8fe47012016-05-17 20:33:28 -03001226#endif
1227
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001228#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001229 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) {
Daniel King8fe47012016-05-17 20:33:28 -03001230 /* Don't allow truncated MAC for Poly1305 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001231 if (tag_len != 16U) {
1232 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1233 }
Daniel King8fe47012016-05-17 20:33:28 -03001234
Gilles Peskine449bd832023-01-11 14:50:10 +01001235 return mbedtls_chachapoly_finish(
1236 (mbedtls_chachapoly_context *) ctx->cipher_ctx, tag);
Daniel King8fe47012016-05-17 20:33:28 -03001237 }
1238#endif
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001239
Gilles Peskine449bd832023-01-11 14:50:10 +01001240 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001241}
Paul Bakker9af723c2014-05-01 13:03:14 +02001242
Gilles Peskine449bd832023-01-11 14:50:10 +01001243int mbedtls_cipher_check_tag(mbedtls_cipher_context_t *ctx,
1244 const unsigned char *tag, size_t tag_len)
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001245{
Daniel King8fe47012016-05-17 20:33:28 -03001246 unsigned char check_tag[16];
Janos Follath24eed8d2019-11-22 13:21:35 +00001247 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001248
Gilles Peskine449bd832023-01-11 14:50:10 +01001249 if (ctx->cipher_info == NULL) {
1250 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1251 }
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001252
Gilles Peskine449bd832023-01-11 14:50:10 +01001253 if (MBEDTLS_DECRYPT != ctx->operation) {
1254 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001255 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001256
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001257#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001258 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001259 /* While PSA Crypto has an API for multipart
1260 * operations, we currently don't make it
1261 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001262 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001263 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001264#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001265
Denis V. Lunev2df73ae2018-11-01 12:22:27 +03001266 /* Status to return on a non-authenticated algorithm. */
1267 ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Gilles Peskinee7835d92021-12-13 12:32:43 +01001268
Daniel King8fe47012016-05-17 20:33:28 -03001269#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001270 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001271 size_t output_length;
1272 /* The code here doesn't yet support alternative implementations
1273 * that can delay up to a block of output. */
1274
Gilles Peskine449bd832023-01-11 14:50:10 +01001275 if (tag_len > sizeof(check_tag)) {
1276 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1277 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001278
Gilles Peskine449bd832023-01-11 14:50:10 +01001279 if (0 != (ret = mbedtls_gcm_finish(
1280 (mbedtls_gcm_context *) ctx->cipher_ctx,
1281 NULL, 0, &output_length,
1282 check_tag, tag_len))) {
1283 return ret;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001284 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001285
1286 /* Check the tag in "constant-time" */
Gilles Peskine449bd832023-01-11 14:50:10 +01001287 if (mbedtls_ct_memcmp(tag, check_tag, tag_len) != 0) {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001288 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001289 goto exit;
1290 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001291 }
Daniel King8fe47012016-05-17 20:33:28 -03001292#endif /* MBEDTLS_GCM_C */
1293
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001294#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001295 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) {
Daniel King8fe47012016-05-17 20:33:28 -03001296 /* Don't allow truncated MAC for Poly1305 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001297 if (tag_len != sizeof(check_tag)) {
1298 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1299 }
Daniel King8fe47012016-05-17 20:33:28 -03001300
Hanno Becker18597cd2018-11-09 16:36:33 +00001301 ret = mbedtls_chachapoly_finish(
Gilles Peskine449bd832023-01-11 14:50:10 +01001302 (mbedtls_chachapoly_context *) ctx->cipher_ctx, check_tag);
1303 if (ret != 0) {
1304 return ret;
Daniel King8fe47012016-05-17 20:33:28 -03001305 }
1306
1307 /* Check the tag in "constant-time" */
Gilles Peskine449bd832023-01-11 14:50:10 +01001308 if (mbedtls_ct_memcmp(tag, check_tag, tag_len) != 0) {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001309 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001310 goto exit;
1311 }
Daniel King8fe47012016-05-17 20:33:28 -03001312 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001313#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001314
Gilles Peskinecd742982021-12-13 16:57:47 +01001315exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001316 mbedtls_platform_zeroize(check_tag, tag_len);
1317 return ret;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001318}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001319#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001320
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001321/*
1322 * Packet-oriented wrapper for non-AEAD modes
1323 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001324int mbedtls_cipher_crypt(mbedtls_cipher_context_t *ctx,
1325 const unsigned char *iv, size_t iv_len,
1326 const unsigned char *input, size_t ilen,
1327 unsigned char *output, size_t *olen)
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001328{
Janos Follath24eed8d2019-11-22 13:21:35 +00001329 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001330 size_t finish_olen;
1331
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001332#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001333 if (ctx->psa_enabled == 1) {
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001334 /* As in the non-PSA case, we don't check that
1335 * a key has been set. If not, the key slot will
1336 * still be in its default state of 0, which is
1337 * guaranteed to be invalid, hence the PSA-call
1338 * below will gracefully fail. */
1339 mbedtls_cipher_context_psa * const cipher_psa =
1340 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1341
1342 psa_status_t status;
Jaeden Amerofe96fbe2019-02-20 10:32:28 +00001343 psa_cipher_operation_t cipher_op = PSA_CIPHER_OPERATION_INIT;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001344 size_t part_len;
1345
Gilles Peskine449bd832023-01-11 14:50:10 +01001346 if (ctx->operation == MBEDTLS_DECRYPT) {
1347 status = psa_cipher_decrypt_setup(&cipher_op,
1348 cipher_psa->slot,
1349 cipher_psa->alg);
1350 } else if (ctx->operation == MBEDTLS_ENCRYPT) {
1351 status = psa_cipher_encrypt_setup(&cipher_op,
1352 cipher_psa->slot,
1353 cipher_psa->alg);
1354 } else {
1355 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001356 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001357
1358 /* In the following, we can immediately return on an error,
1359 * because the PSA Crypto API guarantees that cipher operations
1360 * are terminated by unsuccessful calls to psa_cipher_update(),
1361 * and by any call to psa_cipher_finish(). */
Gilles Peskine449bd832023-01-11 14:50:10 +01001362 if (status != PSA_SUCCESS) {
1363 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Przemyslaw Stekiel80c6a8e2021-09-29 12:13:11 +02001364 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001365
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001366 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) != MBEDTLS_MODE_ECB) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001367 status = psa_cipher_set_iv(&cipher_op, iv, iv_len);
1368 if (status != PSA_SUCCESS) {
1369 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
1370 }
1371 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001372
Gilles Peskine449bd832023-01-11 14:50:10 +01001373 status = psa_cipher_update(&cipher_op,
1374 input, ilen,
1375 output, ilen, olen);
1376 if (status != PSA_SUCCESS) {
1377 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
1378 }
1379
1380 status = psa_cipher_finish(&cipher_op,
1381 output + *olen, ilen - *olen,
1382 &part_len);
1383 if (status != PSA_SUCCESS) {
1384 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
1385 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001386
1387 *olen += part_len;
Gilles Peskine449bd832023-01-11 14:50:10 +01001388 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001389 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001390#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001391
Gilles Peskine449bd832023-01-11 14:50:10 +01001392 if ((ret = mbedtls_cipher_set_iv(ctx, iv, iv_len)) != 0) {
1393 return ret;
1394 }
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001395
Gilles Peskine449bd832023-01-11 14:50:10 +01001396 if ((ret = mbedtls_cipher_reset(ctx)) != 0) {
1397 return ret;
1398 }
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001399
Gilles Peskine449bd832023-01-11 14:50:10 +01001400 if ((ret = mbedtls_cipher_update(ctx, input, ilen,
1401 output, olen)) != 0) {
1402 return ret;
1403 }
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001404
Gilles Peskine449bd832023-01-11 14:50:10 +01001405 if ((ret = mbedtls_cipher_finish(ctx, output + *olen,
1406 &finish_olen)) != 0) {
1407 return ret;
1408 }
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001409
1410 *olen += finish_olen;
1411
Gilles Peskine449bd832023-01-11 14:50:10 +01001412 return 0;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001413}
1414
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001415#if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001416/*
TRodziewicz18efb732021-04-29 23:12:19 +02001417 * Packet-oriented encryption for AEAD modes: internal function used by
1418 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001419 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001420static int mbedtls_cipher_aead_encrypt(mbedtls_cipher_context_t *ctx,
1421 const unsigned char *iv, size_t iv_len,
1422 const unsigned char *ad, size_t ad_len,
1423 const unsigned char *input, size_t ilen,
1424 unsigned char *output, size_t *olen,
1425 unsigned char *tag, size_t tag_len)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001426{
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001427#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001428 if (ctx->psa_enabled == 1) {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001429 /* As in the non-PSA case, we don't check that
1430 * a key has been set. If not, the key slot will
1431 * still be in its default state of 0, which is
1432 * guaranteed to be invalid, hence the PSA-call
1433 * below will gracefully fail. */
1434 mbedtls_cipher_context_psa * const cipher_psa =
1435 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1436
1437 psa_status_t status;
1438
1439 /* PSA Crypto API always writes the authentication tag
1440 * at the end of the encrypted message. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001441 if (output == NULL || tag != output + ilen) {
1442 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
1443 }
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001444
Gilles Peskine449bd832023-01-11 14:50:10 +01001445 status = psa_aead_encrypt(cipher_psa->slot,
1446 cipher_psa->alg,
1447 iv, iv_len,
1448 ad, ad_len,
1449 input, ilen,
1450 output, ilen + tag_len, olen);
1451 if (status != PSA_SUCCESS) {
1452 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
1453 }
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001454
1455 *olen -= tag_len;
Gilles Peskine449bd832023-01-11 14:50:10 +01001456 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001457 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001458#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001459
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001460#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001461 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001462 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001463 return mbedtls_gcm_crypt_and_tag(ctx->cipher_ctx, MBEDTLS_GCM_ENCRYPT,
1464 ilen, iv, iv_len, ad, ad_len,
1465 input, output, tag_len, tag);
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001466 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001467#endif /* MBEDTLS_GCM_C */
1468#if defined(MBEDTLS_CCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001469 if (MBEDTLS_MODE_CCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001470 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001471 return mbedtls_ccm_encrypt_and_tag(ctx->cipher_ctx, ilen,
1472 iv, iv_len, ad, ad_len, input, output,
1473 tag, tag_len);
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001474 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001475#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001476#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001477 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001478 /* ChachaPoly has fixed length nonce and MAC (tag) */
Dave Rodgmanbb521fd2023-06-24 11:21:25 +01001479 if ((iv_len != mbedtls_cipher_info_get_iv_size(ctx->cipher_info)) ||
Gilles Peskine449bd832023-01-11 14:50:10 +01001480 (tag_len != 16U)) {
1481 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel King8fe47012016-05-17 20:33:28 -03001482 }
1483
1484 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001485 return mbedtls_chachapoly_encrypt_and_tag(ctx->cipher_ctx,
1486 ilen, iv, ad, ad_len, input, output, tag);
Daniel King8fe47012016-05-17 20:33:28 -03001487 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001488#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001489
Gilles Peskine449bd832023-01-11 14:50:10 +01001490 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001491}
1492
1493/*
TRodziewicz18efb732021-04-29 23:12:19 +02001494 * Packet-oriented encryption for AEAD modes: internal function used by
1495 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001496 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001497static int mbedtls_cipher_aead_decrypt(mbedtls_cipher_context_t *ctx,
1498 const unsigned char *iv, size_t iv_len,
1499 const unsigned char *ad, size_t ad_len,
1500 const unsigned char *input, size_t ilen,
1501 unsigned char *output, size_t *olen,
1502 const unsigned char *tag, size_t tag_len)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001503{
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001504#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001505 if (ctx->psa_enabled == 1) {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001506 /* As in the non-PSA case, we don't check that
1507 * a key has been set. If not, the key slot will
1508 * still be in its default state of 0, which is
1509 * guaranteed to be invalid, hence the PSA-call
1510 * below will gracefully fail. */
1511 mbedtls_cipher_context_psa * const cipher_psa =
1512 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1513
1514 psa_status_t status;
1515
1516 /* PSA Crypto API always writes the authentication tag
1517 * at the end of the encrypted message. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001518 if (input == NULL || tag != input + ilen) {
1519 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
1520 }
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001521
Gilles Peskine449bd832023-01-11 14:50:10 +01001522 status = psa_aead_decrypt(cipher_psa->slot,
1523 cipher_psa->alg,
1524 iv, iv_len,
1525 ad, ad_len,
1526 input, ilen + tag_len,
1527 output, ilen, olen);
1528 if (status == PSA_ERROR_INVALID_SIGNATURE) {
1529 return MBEDTLS_ERR_CIPHER_AUTH_FAILED;
1530 } else if (status != PSA_SUCCESS) {
1531 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
1532 }
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001533
Gilles Peskine449bd832023-01-11 14:50:10 +01001534 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001535 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001536#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001537
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001538#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001539 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Janos Follath24eed8d2019-11-22 13:21:35 +00001540 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001541
1542 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001543 ret = mbedtls_gcm_auth_decrypt(ctx->cipher_ctx, ilen,
1544 iv, iv_len, ad, ad_len,
1545 tag, tag_len, input, output);
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001546
Gilles Peskine449bd832023-01-11 14:50:10 +01001547 if (ret == MBEDTLS_ERR_GCM_AUTH_FAILED) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001548 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskine449bd832023-01-11 14:50:10 +01001549 }
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001550
Gilles Peskine449bd832023-01-11 14:50:10 +01001551 return ret;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001552 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001553#endif /* MBEDTLS_GCM_C */
1554#if defined(MBEDTLS_CCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001555 if (MBEDTLS_MODE_CCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Janos Follath24eed8d2019-11-22 13:21:35 +00001556 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001557
1558 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001559 ret = mbedtls_ccm_auth_decrypt(ctx->cipher_ctx, ilen,
1560 iv, iv_len, ad, ad_len,
1561 input, output, tag, tag_len);
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001562
Gilles Peskine449bd832023-01-11 14:50:10 +01001563 if (ret == MBEDTLS_ERR_CCM_AUTH_FAILED) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001564 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskine449bd832023-01-11 14:50:10 +01001565 }
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001566
Gilles Peskine449bd832023-01-11 14:50:10 +01001567 return ret;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001568 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001569#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001570#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001571 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) {
Janos Follath24eed8d2019-11-22 13:21:35 +00001572 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel King8fe47012016-05-17 20:33:28 -03001573
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001574 /* ChachaPoly has fixed length nonce and MAC (tag) */
Dave Rodgmanbb521fd2023-06-24 11:21:25 +01001575 if ((iv_len != mbedtls_cipher_info_get_iv_size(ctx->cipher_info)) ||
Gilles Peskine449bd832023-01-11 14:50:10 +01001576 (tag_len != 16U)) {
1577 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel King8fe47012016-05-17 20:33:28 -03001578 }
1579
1580 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001581 ret = mbedtls_chachapoly_auth_decrypt(ctx->cipher_ctx, ilen,
1582 iv, ad, ad_len, tag, input, output);
Daniel King8fe47012016-05-17 20:33:28 -03001583
Gilles Peskine449bd832023-01-11 14:50:10 +01001584 if (ret == MBEDTLS_ERR_CHACHAPOLY_AUTH_FAILED) {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001585 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskine449bd832023-01-11 14:50:10 +01001586 }
Daniel King8fe47012016-05-17 20:33:28 -03001587
Gilles Peskine449bd832023-01-11 14:50:10 +01001588 return ret;
Daniel King8fe47012016-05-17 20:33:28 -03001589 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001590#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001591
Gilles Peskine449bd832023-01-11 14:50:10 +01001592 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001593}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001594#endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001595
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001596#if defined(MBEDTLS_CIPHER_MODE_AEAD) || defined(MBEDTLS_NIST_KW_C)
1597/*
1598 * Packet-oriented encryption for AEAD/NIST_KW: public function.
1599 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001600int mbedtls_cipher_auth_encrypt_ext(mbedtls_cipher_context_t *ctx,
1601 const unsigned char *iv, size_t iv_len,
1602 const unsigned char *ad, size_t ad_len,
1603 const unsigned char *input, size_t ilen,
1604 unsigned char *output, size_t output_len,
1605 size_t *olen, size_t tag_len)
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001606{
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001607#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskine449bd832023-01-11 14:50:10 +01001608 if (
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001609#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001610 ctx->psa_enabled == 0 &&
1611#endif
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001612 (MBEDTLS_MODE_KW == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1613 MBEDTLS_MODE_KWP == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode))) {
1614 mbedtls_nist_kw_mode_t mode =
1615 (MBEDTLS_MODE_KW == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) ?
1616 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001617
1618 /* There is no iv, tag or ad associated with KW and KWP,
1619 * so these length should be 0 as documented. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001620 if (iv_len != 0 || tag_len != 0 || ad_len != 0) {
1621 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1622 }
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001623
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001624 (void) iv;
1625 (void) ad;
1626
Gilles Peskine449bd832023-01-11 14:50:10 +01001627 return mbedtls_nist_kw_wrap(ctx->cipher_ctx, mode, input, ilen,
1628 output, olen, output_len);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001629 }
1630#endif /* MBEDTLS_NIST_KW_C */
1631
1632#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1633 /* AEAD case: check length before passing on to shared function */
Gilles Peskine449bd832023-01-11 14:50:10 +01001634 if (output_len < ilen + tag_len) {
1635 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1636 }
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001637
Gilles Peskine449bd832023-01-11 14:50:10 +01001638 int ret = mbedtls_cipher_aead_encrypt(ctx, iv, iv_len, ad, ad_len,
1639 input, ilen, output, olen,
1640 output + ilen, tag_len);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001641 *olen += tag_len;
Gilles Peskine449bd832023-01-11 14:50:10 +01001642 return ret;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001643#else
Gilles Peskine449bd832023-01-11 14:50:10 +01001644 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001645#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1646}
1647
1648/*
1649 * Packet-oriented decryption for AEAD/NIST_KW: public function.
1650 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001651int mbedtls_cipher_auth_decrypt_ext(mbedtls_cipher_context_t *ctx,
1652 const unsigned char *iv, size_t iv_len,
1653 const unsigned char *ad, size_t ad_len,
1654 const unsigned char *input, size_t ilen,
1655 unsigned char *output, size_t output_len,
1656 size_t *olen, size_t tag_len)
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001657{
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001658#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskine449bd832023-01-11 14:50:10 +01001659 if (
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001660#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001661 ctx->psa_enabled == 0 &&
1662#endif
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001663 (MBEDTLS_MODE_KW == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1664 MBEDTLS_MODE_KWP == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode))) {
1665 mbedtls_nist_kw_mode_t mode =
1666 (MBEDTLS_MODE_KW == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) ?
1667 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001668
1669 /* There is no iv, tag or ad associated with KW and KWP,
1670 * so these length should be 0 as documented. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001671 if (iv_len != 0 || tag_len != 0 || ad_len != 0) {
1672 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1673 }
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001674
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001675 (void) iv;
1676 (void) ad;
1677
Gilles Peskine449bd832023-01-11 14:50:10 +01001678 return mbedtls_nist_kw_unwrap(ctx->cipher_ctx, mode, input, ilen,
1679 output, olen, output_len);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001680 }
1681#endif /* MBEDTLS_NIST_KW_C */
1682
1683#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1684 /* AEAD case: check length before passing on to shared function */
Gilles Peskine449bd832023-01-11 14:50:10 +01001685 if (ilen < tag_len || output_len < ilen - tag_len) {
1686 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1687 }
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001688
Gilles Peskine449bd832023-01-11 14:50:10 +01001689 return mbedtls_cipher_aead_decrypt(ctx, iv, iv_len, ad, ad_len,
1690 input, ilen - tag_len, output, olen,
1691 input + ilen - tag_len, tag_len);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001692#else
Gilles Peskine449bd832023-01-11 14:50:10 +01001693 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001694#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1695}
1696#endif /* MBEDTLS_CIPHER_MODE_AEAD || MBEDTLS_NIST_KW_C */
1697
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001698#endif /* MBEDTLS_CIPHER_C */