blob: 67ed0e3207074137c7e36cc3163b728cb689d94f [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
Valerio Settibbc46b42023-10-26 09:00:21 +0200266 if (mbedtls_cipher_get_base(cipher_info)->ctx_alloc_func != NULL) {
267 ctx->cipher_ctx = mbedtls_cipher_get_base(cipher_info)->ctx_alloc_func();
268 if (ctx->cipher_ctx == NULL) {
269 return MBEDTLS_ERR_CIPHER_ALLOC_FAILED;
270 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100271 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000272
273 ctx->cipher_info = cipher_info;
274
Gilles Peskine449bd832023-01-11 14:50:10 +0100275 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000276}
277
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200278#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100279int mbedtls_cipher_setup_psa(mbedtls_cipher_context_t *ctx,
280 const mbedtls_cipher_info_t *cipher_info,
281 size_t taglen)
Hanno Becker4ccfc402018-11-09 16:10:57 +0000282{
Hanno Beckeredda8b82018-11-12 11:59:30 +0000283 psa_algorithm_t alg;
284 mbedtls_cipher_context_psa *cipher_psa;
285
Gilles Peskine449bd832023-01-11 14:50:10 +0100286 if (NULL == cipher_info || NULL == ctx) {
287 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
288 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000289
Hanno Becker4ee7e762018-11-17 22:00:38 +0000290 /* Check that the underlying cipher mode and cipher type are
291 * supported by the underlying PSA Crypto implementation. */
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100292 alg = mbedtls_psa_translate_cipher_mode(((mbedtls_cipher_mode_t) cipher_info->mode), taglen);
Gilles Peskine449bd832023-01-11 14:50:10 +0100293 if (alg == 0) {
294 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
295 }
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100296 if (mbedtls_psa_translate_cipher_type(((mbedtls_cipher_type_t) cipher_info->type)) == 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100297 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
298 }
Hanno Becker6118e432018-11-09 16:47:20 +0000299
Gilles Peskine449bd832023-01-11 14:50:10 +0100300 memset(ctx, 0, sizeof(mbedtls_cipher_context_t));
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000301
Gilles Peskine449bd832023-01-11 14:50:10 +0100302 cipher_psa = mbedtls_calloc(1, sizeof(mbedtls_cipher_context_psa));
303 if (cipher_psa == NULL) {
304 return MBEDTLS_ERR_CIPHER_ALLOC_FAILED;
305 }
Hanno Beckeredda8b82018-11-12 11:59:30 +0000306 cipher_psa->alg = alg;
307 ctx->cipher_ctx = cipher_psa;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000308 ctx->cipher_info = cipher_info;
309 ctx->psa_enabled = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100310 return 0;
Hanno Becker4ccfc402018-11-09 16:10:57 +0000311}
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200312#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Becker4ccfc402018-11-09 16:10:57 +0000313
Gilles Peskine449bd832023-01-11 14:50:10 +0100314int mbedtls_cipher_setkey(mbedtls_cipher_context_t *ctx,
315 const unsigned char *key,
316 int key_bitlen,
317 const mbedtls_operation_t operation)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000318{
Gilles Peskine449bd832023-01-11 14:50:10 +0100319 if (operation != MBEDTLS_ENCRYPT && operation != MBEDTLS_DECRYPT) {
Tuvshinzaya Erdenekhuu80a6af62022-08-05 15:31:57 +0100320 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100321 }
322 if (ctx->cipher_info == NULL) {
323 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
324 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000325
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200326#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100327 if (ctx->psa_enabled == 1) {
Hanno Beckeredda8b82018-11-12 11:59:30 +0000328 mbedtls_cipher_context_psa * const cipher_psa =
329 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
330
Gilles Peskine449bd832023-01-11 14:50:10 +0100331 size_t const key_bytelen = ((size_t) key_bitlen + 7) / 8;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000332
333 psa_status_t status;
334 psa_key_type_t key_type;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200335 psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000336
337 /* PSA Crypto API only accepts byte-aligned keys. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100338 if (key_bitlen % 8 != 0) {
339 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
340 }
Hanno Beckeredda8b82018-11-12 11:59:30 +0000341
342 /* Don't allow keys to be set multiple times. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100343 if (cipher_psa->slot_state != MBEDTLS_CIPHER_PSA_KEY_UNSET) {
344 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
345 }
Hanno Beckeredda8b82018-11-12 11:59:30 +0000346
Andrzej Kurekc7509322019-01-08 09:36:01 -0500347 key_type = mbedtls_psa_translate_cipher_type(
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100348 ((mbedtls_cipher_type_t) ctx->cipher_info->type));
Gilles Peskine449bd832023-01-11 14:50:10 +0100349 if (key_type == 0) {
350 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
351 }
352 psa_set_key_type(&attributes, key_type);
Hanno Beckera395d8f2018-11-12 13:33:16 +0000353
354 /* Mbed TLS' cipher layer doesn't enforce the mode of operation
Andrzej Kurekf410a5c2019-01-15 03:33:35 -0500355 * (encrypt vs. decrypt): it is possible to setup a key for encryption
356 * and use it for AEAD decryption. Until tests relying on this
357 * are changed, allow any usage in PSA. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100358 psa_set_key_usage_flags(&attributes,
Gilles Peskine449bd832023-01-11 14:50:10 +0100359 PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT);
360 psa_set_key_algorithm(&attributes, cipher_psa->alg);
Hanno Beckeredda8b82018-11-12 11:59:30 +0000361
Gilles Peskine449bd832023-01-11 14:50:10 +0100362 status = psa_import_key(&attributes, key, key_bytelen,
363 &cipher_psa->slot);
364 switch (status) {
Gilles Peskined2d45c12019-05-27 14:53:13 +0200365 case PSA_SUCCESS:
366 break;
367 case PSA_ERROR_INSUFFICIENT_MEMORY:
Gilles Peskine449bd832023-01-11 14:50:10 +0100368 return MBEDTLS_ERR_CIPHER_ALLOC_FAILED;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200369 case PSA_ERROR_NOT_SUPPORTED:
Gilles Peskine449bd832023-01-11 14:50:10 +0100370 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200371 default:
Gilles Peskine449bd832023-01-11 14:50:10 +0100372 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Gilles Peskined2d45c12019-05-27 14:53:13 +0200373 }
374 /* Indicate that we own the key slot and need to
375 * destroy it in mbedtls_cipher_free(). */
376 cipher_psa->slot_state = MBEDTLS_CIPHER_PSA_KEY_OWNED;
Hanno Beckeredda8b82018-11-12 11:59:30 +0000377
378 ctx->key_bitlen = key_bitlen;
379 ctx->operation = operation;
Gilles Peskine449bd832023-01-11 14:50:10 +0100380 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000381 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200382#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000383
Gilles Peskine449bd832023-01-11 14:50:10 +0100384 if ((ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_KEY_LEN) == 0 &&
Dave Rodgman9282d4f2023-06-24 11:03:04 +0100385 (int) mbedtls_cipher_info_get_key_bitlen(ctx->cipher_info) != key_bitlen) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100386 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard398c57b2014-06-23 12:10:59 +0200387 }
Manuel Pégourié-Gonnarddd0f57f2013-09-16 11:47:43 +0200388
Manuel Pégourié-Gonnard898e0aa2015-06-18 15:28:12 +0200389 ctx->key_bitlen = key_bitlen;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000390 ctx->operation = operation;
391
Paul Bakker343a8702011-06-09 14:27:58 +0000392 /*
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100393 * For OFB, CFB and CTR mode always use the encryption key schedule
Paul Bakker343a8702011-06-09 14:27:58 +0000394 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100395 if (MBEDTLS_ENCRYPT == operation ||
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100396 MBEDTLS_MODE_CFB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
397 MBEDTLS_MODE_OFB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
398 MBEDTLS_MODE_CTR == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100399 return mbedtls_cipher_get_base(ctx->cipher_info)->setkey_enc_func(ctx->cipher_ctx, key,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100400 ctx->key_bitlen);
Paul Bakker343a8702011-06-09 14:27:58 +0000401 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000402
Gilles Peskine449bd832023-01-11 14:50:10 +0100403 if (MBEDTLS_DECRYPT == operation) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100404 return mbedtls_cipher_get_base(ctx->cipher_info)->setkey_dec_func(ctx->cipher_ctx, key,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100405 ctx->key_bitlen);
Gilles Peskine449bd832023-01-11 14:50:10 +0100406 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000407
Gilles Peskine449bd832023-01-11 14:50:10 +0100408 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000409}
410
Gilles Peskine449bd832023-01-11 14:50:10 +0100411int mbedtls_cipher_set_iv(mbedtls_cipher_context_t *ctx,
412 const unsigned char *iv,
413 size_t iv_len)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000414{
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200415 size_t actual_iv_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000416
Gilles Peskine449bd832023-01-11 14:50:10 +0100417 if (ctx->cipher_info == NULL) {
418 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
419 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200420#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100421 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000422 /* While PSA Crypto has an API for multipart
423 * operations, we currently don't make it
424 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100425 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000426 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200427#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000428
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200429 /* avoid buffer overflow in ctx->iv */
Gilles Peskine449bd832023-01-11 14:50:10 +0100430 if (iv_len > MBEDTLS_MAX_IV_LENGTH) {
431 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
432 }
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200433
Gilles Peskine449bd832023-01-11 14:50:10 +0100434 if ((ctx->cipher_info->flags & MBEDTLS_CIPHER_VARIABLE_IV_LEN) != 0) {
Manuel Pégourié-Gonnarda235b5b2013-09-03 13:25:52 +0200435 actual_iv_size = iv_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100436 } else {
Dave Rodgmanbb521fd2023-06-24 11:21:25 +0100437 actual_iv_size = mbedtls_cipher_info_get_iv_size(ctx->cipher_info);
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200438
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200439 /* avoid reading past the end of input buffer */
Gilles Peskine449bd832023-01-11 14:50:10 +0100440 if (actual_iv_size > iv_len) {
441 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
442 }
Manuel Pégourié-Gonnarde0dca4a2013-10-24 16:54:25 +0200443 }
444
Daniel Kingbd920622016-05-15 19:56:20 -0300445#if defined(MBEDTLS_CHACHA20_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100446 if (((mbedtls_cipher_type_t) ctx->cipher_info->type) == MBEDTLS_CIPHER_CHACHA20) {
Andrzej Kurek33ca6af2021-12-01 21:58:05 +0100447 /* Even though the actual_iv_size is overwritten with a correct value
448 * of 12 from the cipher info, return an error to indicate that
449 * the input iv_len is wrong. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100450 if (iv_len != 12) {
451 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
452 }
Andrzej Kurek33ca6af2021-12-01 21:58:05 +0100453
Gilles Peskine449bd832023-01-11 14:50:10 +0100454 if (0 != mbedtls_chacha20_starts((mbedtls_chacha20_context *) ctx->cipher_ctx,
455 iv,
456 0U)) { /* Initial counter value */
457 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel Kingbd920622016-05-15 19:56:20 -0300458 }
459 }
Andrzej Kurek63439ed2021-12-01 22:19:33 +0100460#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100461 if (((mbedtls_cipher_type_t) ctx->cipher_info->type) == MBEDTLS_CIPHER_CHACHA20_POLY1305 &&
Gilles Peskine449bd832023-01-11 14:50:10 +0100462 iv_len != 12) {
463 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
464 }
Andrzej Kurek63439ed2021-12-01 22:19:33 +0100465#endif
Daniel Kingbd920622016-05-15 19:56:20 -0300466#endif
467
Gilles Peskine295fc132021-04-15 18:32:23 +0200468#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100469 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100470 return mbedtls_gcm_starts((mbedtls_gcm_context *) ctx->cipher_ctx,
471 ctx->operation,
472 iv, iv_len);
Gilles Peskine295fc132021-04-15 18:32:23 +0200473 }
474#endif
475
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200476#if defined(MBEDTLS_CCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100477 if (MBEDTLS_MODE_CCM_STAR_NO_TAG == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200478 int set_lengths_result;
479 int ccm_star_mode;
480
481 set_lengths_result = mbedtls_ccm_set_lengths(
Gilles Peskine449bd832023-01-11 14:50:10 +0100482 (mbedtls_ccm_context *) ctx->cipher_ctx,
483 0, 0, 0);
484 if (set_lengths_result != 0) {
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200485 return set_lengths_result;
Gilles Peskine449bd832023-01-11 14:50:10 +0100486 }
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200487
Gilles Peskine449bd832023-01-11 14:50:10 +0100488 if (ctx->operation == MBEDTLS_DECRYPT) {
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200489 ccm_star_mode = MBEDTLS_CCM_STAR_DECRYPT;
Gilles Peskine449bd832023-01-11 14:50:10 +0100490 } else if (ctx->operation == MBEDTLS_ENCRYPT) {
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200491 ccm_star_mode = MBEDTLS_CCM_STAR_ENCRYPT;
Gilles Peskine449bd832023-01-11 14:50:10 +0100492 } else {
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200493 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Gilles Peskine449bd832023-01-11 14:50:10 +0100494 }
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200495
Gilles Peskine449bd832023-01-11 14:50:10 +0100496 return mbedtls_ccm_starts((mbedtls_ccm_context *) ctx->cipher_ctx,
497 ccm_star_mode,
498 iv, iv_len);
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200499 }
500#endif
501
Gilles Peskine449bd832023-01-11 14:50:10 +0100502 if (actual_iv_size != 0) {
503 memcpy(ctx->iv, iv, actual_iv_size);
Ron Eldor4e64e0b2017-09-25 18:22:32 +0300504 ctx->iv_size = actual_iv_size;
505 }
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200506
Gilles Peskine449bd832023-01-11 14:50:10 +0100507 return 0;
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200508}
509
Gilles Peskine449bd832023-01-11 14:50:10 +0100510int mbedtls_cipher_reset(mbedtls_cipher_context_t *ctx)
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200511{
Gilles Peskine449bd832023-01-11 14:50:10 +0100512 if (ctx->cipher_info == NULL) {
513 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
514 }
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200515
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200516#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100517 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000518 /* We don't support resetting PSA-based
519 * cipher contexts, yet. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100520 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000521 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200522#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000523
Paul Bakker8123e9d2011-01-06 15:37:30 +0000524 ctx->unprocessed_len = 0;
525
Gilles Peskine449bd832023-01-11 14:50:10 +0100526 return 0;
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200527}
528
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200529#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100530int mbedtls_cipher_update_ad(mbedtls_cipher_context_t *ctx,
531 const unsigned char *ad, size_t ad_len)
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200532{
Gilles Peskine449bd832023-01-11 14:50:10 +0100533 if (ctx->cipher_info == NULL) {
534 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
535 }
Manuel Pégourié-Gonnard2adc40c2013-09-03 13:54:12 +0200536
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200537#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100538 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000539 /* While PSA Crypto has an API for multipart
540 * operations, we currently don't make it
541 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100542 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000543 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200544#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000545
Daniel King8fe47012016-05-17 20:33:28 -0300546#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100547 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100548 return mbedtls_gcm_update_ad((mbedtls_gcm_context *) ctx->cipher_ctx,
549 ad, ad_len);
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200550 }
Daniel King8fe47012016-05-17 20:33:28 -0300551#endif
552
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200553#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100554 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) {
Daniel King8fe47012016-05-17 20:33:28 -0300555 int result;
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200556 mbedtls_chachapoly_mode_t mode;
Daniel King8fe47012016-05-17 20:33:28 -0300557
Gilles Peskine449bd832023-01-11 14:50:10 +0100558 mode = (ctx->operation == MBEDTLS_ENCRYPT)
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200559 ? MBEDTLS_CHACHAPOLY_ENCRYPT
560 : MBEDTLS_CHACHAPOLY_DECRYPT;
Daniel King8fe47012016-05-17 20:33:28 -0300561
Gilles Peskine449bd832023-01-11 14:50:10 +0100562 result = mbedtls_chachapoly_starts((mbedtls_chachapoly_context *) ctx->cipher_ctx,
563 ctx->iv,
564 mode);
565 if (result != 0) {
566 return result;
567 }
Daniel King8fe47012016-05-17 20:33:28 -0300568
Gilles Peskine449bd832023-01-11 14:50:10 +0100569 return mbedtls_chachapoly_update_aad((mbedtls_chachapoly_context *) ctx->cipher_ctx,
570 ad, ad_len);
Daniel King8fe47012016-05-17 20:33:28 -0300571 }
572#endif
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200573
Gilles Peskine449bd832023-01-11 14:50:10 +0100574 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000575}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200576#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000577
Gilles Peskine449bd832023-01-11 14:50:10 +0100578int mbedtls_cipher_update(mbedtls_cipher_context_t *ctx, const unsigned char *input,
579 size_t ilen, unsigned char *output, size_t *olen)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000580{
Janos Follath24eed8d2019-11-22 13:21:35 +0000581 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500582 size_t block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000583
Gilles Peskine449bd832023-01-11 14:50:10 +0100584 if (ctx->cipher_info == NULL) {
585 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
586 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000587
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200588#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100589 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000590 /* While PSA Crypto has an API for multipart
591 * operations, we currently don't make it
592 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100593 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000594 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +0200595#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +0000596
Paul Bakker6c212762013-12-16 15:24:50 +0100597 *olen = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100598 block_size = mbedtls_cipher_get_block_size(ctx);
599 if (0 == block_size) {
600 return MBEDTLS_ERR_CIPHER_INVALID_CONTEXT;
Gilles Peskinea2bdcb92020-01-21 15:02:14 +0100601 }
Paul Bakker6c212762013-12-16 15:24:50 +0100602
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100603 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_ECB) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100604 if (ilen != block_size) {
605 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
606 }
Paul Bakker5e0efa72013-09-08 23:04:04 +0200607
608 *olen = ilen;
609
Dave Rodgmande3de772023-06-24 12:51:06 +0100610 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->ecb_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100611 ctx->operation, input,
612 output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100613 return ret;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200614 }
615
Gilles Peskine449bd832023-01-11 14:50:10 +0100616 return 0;
Paul Bakker5e0efa72013-09-08 23:04:04 +0200617 }
618
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200619#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100620 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_GCM) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100621 return mbedtls_gcm_update((mbedtls_gcm_context *) ctx->cipher_ctx,
622 input, ilen,
623 output, ilen, olen);
Manuel Pégourié-Gonnardb8bd5932013-09-05 13:38:15 +0200624 }
625#endif
626
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200627#if defined(MBEDTLS_CCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100628 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_CCM_STAR_NO_TAG) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100629 return mbedtls_ccm_update((mbedtls_ccm_context *) ctx->cipher_ctx,
630 input, ilen,
631 output, ilen, olen);
Mateusz Starzyk594215b2021-10-14 12:23:06 +0200632 }
633#endif
634
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200635#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100636 if (((mbedtls_cipher_type_t) ctx->cipher_info->type) == MBEDTLS_CIPHER_CHACHA20_POLY1305) {
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200637 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +0100638 return mbedtls_chachapoly_update((mbedtls_chachapoly_context *) ctx->cipher_ctx,
639 ilen, input, output);
Manuel Pégourié-Gonnard32902e62018-05-10 12:30:19 +0200640 }
641#endif
642
Gilles Peskine449bd832023-01-11 14:50:10 +0100643 if (input == output &&
644 (ctx->unprocessed_len != 0 || ilen % block_size)) {
645 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Paul Bakker68884e32013-01-07 18:20:04 +0100646 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000647
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200648#if defined(MBEDTLS_CIPHER_MODE_CBC)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100649 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_CBC) {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +0200650 size_t copy_len = 0;
651
Paul Bakker8123e9d2011-01-06 15:37:30 +0000652 /*
653 * If there is not enough data for a full block, cache it.
654 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100655 if ((ctx->operation == MBEDTLS_DECRYPT && NULL != ctx->add_padding &&
656 ilen <= block_size - ctx->unprocessed_len) ||
657 (ctx->operation == MBEDTLS_DECRYPT && NULL == ctx->add_padding &&
658 ilen < block_size - ctx->unprocessed_len) ||
659 (ctx->operation == MBEDTLS_ENCRYPT &&
660 ilen < block_size - ctx->unprocessed_len)) {
661 memcpy(&(ctx->unprocessed_data[ctx->unprocessed_len]), input,
662 ilen);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000663
664 ctx->unprocessed_len += ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +0100665 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000666 }
667
668 /*
669 * Process cached data first
670 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100671 if (0 != ctx->unprocessed_len) {
Janos Follath98e28a72016-05-31 14:03:54 +0100672 copy_len = block_size - ctx->unprocessed_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000673
Gilles Peskine449bd832023-01-11 14:50:10 +0100674 memcpy(&(ctx->unprocessed_data[ctx->unprocessed_len]), input,
675 copy_len);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000676
Dave Rodgmande3de772023-06-24 12:51:06 +0100677 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->cbc_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100678 ctx->operation,
679 block_size, ctx->iv,
680 ctx->
681 unprocessed_data,
682 output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100683 return ret;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000684 }
685
Janos Follath98e28a72016-05-31 14:03:54 +0100686 *olen += block_size;
687 output += block_size;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000688 ctx->unprocessed_len = 0;
689
690 input += copy_len;
691 ilen -= copy_len;
692 }
693
694 /*
695 * Cache final, incomplete block
696 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100697 if (0 != ilen) {
Andy Leiserson79e77892017-04-28 20:01:49 -0700698 /* Encryption: only cache partial blocks
699 * Decryption w/ padding: always keep at least one whole block
700 * Decryption w/o padding: only cache partial blocks
701 */
Janos Follath98e28a72016-05-31 14:03:54 +0100702 copy_len = ilen % block_size;
Gilles Peskine449bd832023-01-11 14:50:10 +0100703 if (copy_len == 0 &&
Andy Leiserson79e77892017-04-28 20:01:49 -0700704 ctx->operation == MBEDTLS_DECRYPT &&
Gilles Peskine449bd832023-01-11 14:50:10 +0100705 NULL != ctx->add_padding) {
Janos Follath98e28a72016-05-31 14:03:54 +0100706 copy_len = block_size;
Andy Leiserson79e77892017-04-28 20:01:49 -0700707 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000708
Gilles Peskine449bd832023-01-11 14:50:10 +0100709 memcpy(ctx->unprocessed_data, &(input[ilen - copy_len]),
710 copy_len);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000711
712 ctx->unprocessed_len += copy_len;
713 ilen -= copy_len;
714 }
715
716 /*
717 * Process remaining full blocks
718 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100719 if (ilen) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100720 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->cbc_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100721 ctx->operation,
722 ilen, ctx->iv,
723 input,
724 output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100725 return ret;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000726 }
Manuel Pégourié-Gonnard07f8fa52013-08-30 18:34:08 +0200727
Paul Bakker8123e9d2011-01-06 15:37:30 +0000728 *olen += ilen;
729 }
730
Gilles Peskine449bd832023-01-11 14:50:10 +0100731 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000732 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200733#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000734
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200735#if defined(MBEDTLS_CIPHER_MODE_CFB)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100736 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_CFB) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100737 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->cfb_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100738 ctx->operation, ilen,
739 &ctx->unprocessed_len,
740 ctx->iv,
741 input, output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100742 return ret;
Paul Bakker343a8702011-06-09 14:27:58 +0000743 }
744
745 *olen = ilen;
746
Gilles Peskine449bd832023-01-11 14:50:10 +0100747 return 0;
Paul Bakker343a8702011-06-09 14:27:58 +0000748 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200749#endif /* MBEDTLS_CIPHER_MODE_CFB */
Paul Bakker343a8702011-06-09 14:27:58 +0000750
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100751#if defined(MBEDTLS_CIPHER_MODE_OFB)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100752 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_OFB) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100753 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->ofb_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100754 ilen,
755 &ctx->unprocessed_len,
756 ctx->iv,
757 input, output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100758 return ret;
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100759 }
760
761 *olen = ilen;
762
Gilles Peskine449bd832023-01-11 14:50:10 +0100763 return 0;
Simon Butcher8c0fd1e2018-04-22 22:58:07 +0100764 }
765#endif /* MBEDTLS_CIPHER_MODE_OFB */
766
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200767#if defined(MBEDTLS_CIPHER_MODE_CTR)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100768 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_CTR) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100769 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->ctr_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100770 ilen,
771 &ctx->unprocessed_len,
772 ctx->iv,
773 ctx->unprocessed_data,
774 input, output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100775 return ret;
Paul Bakker343a8702011-06-09 14:27:58 +0000776 }
777
778 *olen = ilen;
779
Gilles Peskine449bd832023-01-11 14:50:10 +0100780 return 0;
Paul Bakker343a8702011-06-09 14:27:58 +0000781 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200782#endif /* MBEDTLS_CIPHER_MODE_CTR */
Paul Bakker343a8702011-06-09 14:27:58 +0000783
Jaeden Ameroc6539902018-04-30 17:17:41 +0100784#if defined(MBEDTLS_CIPHER_MODE_XTS)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100785 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_XTS) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100786 if (ctx->unprocessed_len > 0) {
Jaeden Ameroc6539902018-04-30 17:17:41 +0100787 /* We can only process an entire data unit at a time. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100788 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Jaeden Ameroc6539902018-04-30 17:17:41 +0100789 }
790
Dave Rodgmande3de772023-06-24 12:51:06 +0100791 ret = mbedtls_cipher_get_base(ctx->cipher_info)->xts_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100792 ctx->operation,
793 ilen,
794 ctx->iv,
795 input,
796 output);
Gilles Peskine449bd832023-01-11 14:50:10 +0100797 if (ret != 0) {
798 return ret;
Jaeden Ameroc6539902018-04-30 17:17:41 +0100799 }
800
801 *olen = ilen;
802
Gilles Peskine449bd832023-01-11 14:50:10 +0100803 return 0;
Jaeden Ameroc6539902018-04-30 17:17:41 +0100804 }
805#endif /* MBEDTLS_CIPHER_MODE_XTS */
806
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200807#if defined(MBEDTLS_CIPHER_MODE_STREAM)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +0100808 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) == MBEDTLS_MODE_STREAM) {
Dave Rodgmande3de772023-06-24 12:51:06 +0100809 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->stream_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +0100810 ilen, input,
811 output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100812 return ret;
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200813 }
814
815 *olen = ilen;
816
Gilles Peskine449bd832023-01-11 14:50:10 +0100817 return 0;
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200818 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200819#endif /* MBEDTLS_CIPHER_MODE_STREAM */
Manuel Pégourié-Gonnard37e230c2013-08-28 13:50:42 +0200820
Gilles Peskine449bd832023-01-11 14:50:10 +0100821 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000822}
823
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200824#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
825#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200826/*
827 * PKCS7 (and PKCS5) padding: fill with ll bytes, with ll = padding_len
828 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100829static void add_pkcs_padding(unsigned char *output, size_t output_len,
830 size_t data_len)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000831{
Paul Bakker23986e52011-04-24 08:57:21 +0000832 size_t padding_len = output_len - data_len;
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100833 unsigned char i;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000834
Gilles Peskine449bd832023-01-11 14:50:10 +0100835 for (i = 0; i < padding_len; i++) {
Paul Bakker23986e52011-04-24 08:57:21 +0000836 output[data_len + i] = (unsigned char) padding_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100837 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000838}
839
Gilles Peskine449bd832023-01-11 14:50:10 +0100840static int get_pkcs_padding(unsigned char *input, size_t input_len,
841 size_t *data_len)
Paul Bakker8123e9d2011-01-06 15:37:30 +0000842{
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100843 size_t i, pad_idx;
Dave Rodgman6b7e2a52023-09-18 19:00:44 +0100844 unsigned char padding_len;
Paul Bakker8123e9d2011-01-06 15:37:30 +0000845
Gilles Peskine449bd832023-01-11 14:50:10 +0100846 if (NULL == input || NULL == data_len) {
847 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
848 }
Paul Bakker8123e9d2011-01-06 15:37:30 +0000849
850 padding_len = input[input_len - 1];
Paul Bakker8123e9d2011-01-06 15:37:30 +0000851 *data_len = input_len - padding_len;
852
Dave Rodgmane834d6c2023-09-20 19:06:53 +0100853 mbedtls_ct_condition_t bad = mbedtls_ct_uint_gt(padding_len, input_len);
Dave Rodgman6b7e2a52023-09-18 19:00:44 +0100854 bad = mbedtls_ct_bool_or(bad, mbedtls_ct_uint_eq(padding_len, 0));
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100855
856 /* The number of bytes checked must be independent of padding_len,
857 * so pick input_len, which is usually 8 or 16 (one block) */
858 pad_idx = input_len - padding_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100859 for (i = 0; i < input_len; i++) {
Dave Rodgmanc43a0a42023-09-20 19:07:22 +0100860 mbedtls_ct_condition_t in_padding = mbedtls_ct_uint_ge(i, pad_idx);
861 mbedtls_ct_condition_t different = mbedtls_ct_uint_ne(input[i], padding_len);
862 bad = mbedtls_ct_bool_or(bad, mbedtls_ct_bool_and(in_padding, different));
Gilles Peskine449bd832023-01-11 14:50:10 +0100863 }
Manuel Pégourié-Gonnardf8ab0692013-10-27 17:21:14 +0100864
Dave Rodgmand03f4832023-09-22 09:52:15 +0100865 return mbedtls_ct_error_if_else_0(bad, MBEDTLS_ERR_CIPHER_INVALID_PADDING);
Paul Bakker8123e9d2011-01-06 15:37:30 +0000866}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200867#endif /* MBEDTLS_CIPHER_PADDING_PKCS7 */
Paul Bakker8123e9d2011-01-06 15:37:30 +0000868
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200869#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200870/*
871 * One and zeros padding: fill with 80 00 ... 00
872 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100873static void add_one_and_zeros_padding(unsigned char *output,
874 size_t output_len, size_t data_len)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200875{
876 size_t padding_len = output_len - data_len;
877 unsigned char i = 0;
878
879 output[data_len] = 0x80;
Gilles Peskine449bd832023-01-11 14:50:10 +0100880 for (i = 1; i < padding_len; i++) {
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200881 output[data_len + i] = 0x00;
Gilles Peskine449bd832023-01-11 14:50:10 +0100882 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200883}
884
Gilles Peskine449bd832023-01-11 14:50:10 +0100885static int get_one_and_zeros_padding(unsigned char *input, size_t input_len,
886 size_t *data_len)
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200887{
Gilles Peskine449bd832023-01-11 14:50:10 +0100888 if (NULL == input || NULL == data_len) {
889 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
890 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200891
Dave Rodgman89a9bd52023-09-19 14:37:50 +0100892 mbedtls_ct_condition_t in_padding = MBEDTLS_CT_TRUE;
893 mbedtls_ct_condition_t bad = MBEDTLS_CT_TRUE;
894
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100895 *data_len = 0;
Dave Rodgman89a9bd52023-09-19 14:37:50 +0100896
Dave Rodgman437500c2023-09-19 21:36:43 +0100897 for (ptrdiff_t i = (ptrdiff_t) (input_len) - 1; i >= 0; i--) {
Dave Rodgman89a9bd52023-09-19 14:37:50 +0100898 mbedtls_ct_condition_t is_nonzero = mbedtls_ct_bool(input[i]);
899
900 mbedtls_ct_condition_t hit_first_nonzero = mbedtls_ct_bool_and(is_nonzero, in_padding);
901
902 *data_len = mbedtls_ct_size_if(hit_first_nonzero, i, *data_len);
903
Dave Rodgmanfd965792023-09-19 21:51:50 +0100904 bad = mbedtls_ct_bool_if(hit_first_nonzero, mbedtls_ct_uint_ne(input[i], 0x80), bad);
Dave Rodgman89a9bd52023-09-19 14:37:50 +0100905
906 in_padding = mbedtls_ct_bool_and(in_padding, mbedtls_ct_bool_not(is_nonzero));
Manuel Pégourié-Gonnard6c329902013-10-27 18:25:03 +0100907 }
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200908
Dave Rodgmand03f4832023-09-22 09:52:15 +0100909 return mbedtls_ct_error_if_else_0(bad, MBEDTLS_ERR_CIPHER_INVALID_PADDING);
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200910}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200911#endif /* MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS */
Manuel Pégourié-Gonnard679f9e92013-07-26 12:46:02 +0200912
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200913#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200914/*
915 * Zeros and len padding: fill with 00 ... 00 ll, where ll is padding length
916 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100917static void add_zeros_and_len_padding(unsigned char *output,
918 size_t output_len, size_t data_len)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200919{
920 size_t padding_len = output_len - data_len;
921 unsigned char i = 0;
922
Gilles Peskine449bd832023-01-11 14:50:10 +0100923 for (i = 1; i < padding_len; i++) {
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200924 output[data_len + i - 1] = 0x00;
Gilles Peskine449bd832023-01-11 14:50:10 +0100925 }
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200926 output[output_len - 1] = (unsigned char) padding_len;
927}
928
Gilles Peskine449bd832023-01-11 14:50:10 +0100929static int get_zeros_and_len_padding(unsigned char *input, size_t input_len,
930 size_t *data_len)
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200931{
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100932 size_t i, pad_idx;
Dave Rodgman6cec41c2023-09-18 21:51:55 +0100933 unsigned char padding_len;
934 mbedtls_ct_condition_t bad;
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200935
Gilles Peskine449bd832023-01-11 14:50:10 +0100936 if (NULL == input || NULL == data_len) {
937 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
938 }
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200939
940 padding_len = input[input_len - 1];
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200941 *data_len = input_len - padding_len;
942
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100943 /* Avoid logical || since it results in a branch */
Dave Rodgman6cec41c2023-09-18 21:51:55 +0100944 bad = mbedtls_ct_uint_gt(padding_len, input_len);
945 bad = mbedtls_ct_bool_or(bad, mbedtls_ct_uint_eq(padding_len, 0));
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100946
947 /* The number of bytes checked must be independent of padding_len */
948 pad_idx = input_len - padding_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100949 for (i = 0; i < input_len - 1; i++) {
Dave Rodgman6cec41c2023-09-18 21:51:55 +0100950 mbedtls_ct_condition_t is_padding = mbedtls_ct_uint_ge(i, pad_idx);
Dave Rodgman6be4bcf2023-09-19 19:47:51 +0100951 mbedtls_ct_condition_t nonzero_pad_byte;
Dave Rodgmanfd965792023-09-19 21:51:50 +0100952 nonzero_pad_byte = mbedtls_ct_bool_if_else_0(is_padding, mbedtls_ct_bool(input[i]));
Dave Rodgman6cec41c2023-09-18 21:51:55 +0100953 bad = mbedtls_ct_bool_or(bad, nonzero_pad_byte);
Gilles Peskine449bd832023-01-11 14:50:10 +0100954 }
Manuel Pégourié-Gonnardd17df512013-10-27 17:32:43 +0100955
Dave Rodgmand03f4832023-09-22 09:52:15 +0100956 return mbedtls_ct_error_if_else_0(bad, MBEDTLS_ERR_CIPHER_INVALID_PADDING);
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200957}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200958#endif /* MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN */
Manuel Pégourié-Gonnard8d4291b2013-07-26 14:55:18 +0200959
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200960#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200961/*
962 * Zero padding: fill with 00 ... 00
963 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100964static void add_zeros_padding(unsigned char *output,
965 size_t output_len, size_t data_len)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200966{
Dave Rodgmanf8182d92023-09-19 16:25:17 +0100967 memset(output + data_len, 0, output_len - data_len);
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200968}
969
Gilles Peskine449bd832023-01-11 14:50:10 +0100970static int get_zeros_padding(unsigned char *input, size_t input_len,
971 size_t *data_len)
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200972{
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100973 size_t i;
Dave Rodgmand8c68a92023-09-19 16:19:38 +0100974 mbedtls_ct_condition_t done = MBEDTLS_CT_FALSE, prev_done;
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100975
Gilles Peskine449bd832023-01-11 14:50:10 +0100976 if (NULL == input || NULL == data_len) {
977 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnarde68bf172013-10-27 18:26:39 +0100978 }
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200979
Gilles Peskine449bd832023-01-11 14:50:10 +0100980 *data_len = 0;
981 for (i = input_len; i > 0; i--) {
982 prev_done = done;
Dave Rodgmand8c68a92023-09-19 16:19:38 +0100983 done = mbedtls_ct_bool_or(done, mbedtls_ct_uint_ne(input[i-1], 0));
984 *data_len = mbedtls_ct_size_if(mbedtls_ct_bool_ne(done, prev_done), i, *data_len);
Gilles Peskine449bd832023-01-11 14:50:10 +0100985 }
986
987 return 0;
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200988}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200989#endif /* MBEDTLS_CIPHER_PADDING_ZEROS */
Manuel Pégourié-Gonnard0e7d2c02013-07-26 16:05:14 +0200990
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200991/*
992 * No padding: don't pad :)
993 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200994 * There is no add_padding function (check for NULL in mbedtls_cipher_finish)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200995 * but a trivial get_padding function
996 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100997static int get_no_padding(unsigned char *input, size_t input_len,
998 size_t *data_len)
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +0200999{
Gilles Peskine449bd832023-01-11 14:50:10 +01001000 if (NULL == input || NULL == data_len) {
1001 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1002 }
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001003
1004 *data_len = input_len;
1005
Gilles Peskine449bd832023-01-11 14:50:10 +01001006 return 0;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001007}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001008#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001009
Gilles Peskine449bd832023-01-11 14:50:10 +01001010int mbedtls_cipher_finish(mbedtls_cipher_context_t *ctx,
1011 unsigned char *output, size_t *olen)
Paul Bakker8123e9d2011-01-06 15:37:30 +00001012{
Gilles Peskine449bd832023-01-11 14:50:10 +01001013 if (ctx->cipher_info == NULL) {
1014 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1015 }
Paul Bakker8123e9d2011-01-06 15:37:30 +00001016
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001017#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001018 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001019 /* While PSA Crypto has an API for multipart
1020 * operations, we currently don't make it
1021 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001022 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001023 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001024#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001025
Paul Bakker8123e9d2011-01-06 15:37:30 +00001026 *olen = 0;
1027
Waleed Elmelegya7d206f2023-09-07 17:54:46 +01001028#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
1029 /* CBC mode requires padding so we make sure a call to
1030 * mbedtls_cipher_set_padding_mode has been done successfully. */
1031 if (MBEDTLS_MODE_CBC == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
1032 if (ctx->get_padding == NULL) {
1033 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1034 }
1035 }
1036#endif
1037
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001038 if (MBEDTLS_MODE_CFB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1039 MBEDTLS_MODE_OFB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1040 MBEDTLS_MODE_CTR == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1041 MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1042 MBEDTLS_MODE_CCM_STAR_NO_TAG == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1043 MBEDTLS_MODE_XTS == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1044 MBEDTLS_MODE_STREAM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001045 return 0;
Paul Bakker343a8702011-06-09 14:27:58 +00001046 }
1047
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001048 if ((MBEDTLS_CIPHER_CHACHA20 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) ||
1049 (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type))) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001050 return 0;
Daniel Kingbd920622016-05-15 19:56:20 -03001051 }
1052
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001053 if (MBEDTLS_MODE_ECB == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001054 if (ctx->unprocessed_len != 0) {
1055 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
1056 }
Paul Bakker5e0efa72013-09-08 23:04:04 +02001057
Gilles Peskine449bd832023-01-11 14:50:10 +01001058 return 0;
Paul Bakker5e0efa72013-09-08 23:04:04 +02001059 }
1060
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001061#if defined(MBEDTLS_CIPHER_MODE_CBC)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001062 if (MBEDTLS_MODE_CBC == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001063 int ret = 0;
1064
Gilles Peskine449bd832023-01-11 14:50:10 +01001065 if (MBEDTLS_ENCRYPT == ctx->operation) {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001066 /* check for 'no padding' mode */
Gilles Peskine449bd832023-01-11 14:50:10 +01001067 if (NULL == ctx->add_padding) {
1068 if (0 != ctx->unprocessed_len) {
1069 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
1070 }
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001071
Gilles Peskine449bd832023-01-11 14:50:10 +01001072 return 0;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001073 }
1074
Gilles Peskine449bd832023-01-11 14:50:10 +01001075 ctx->add_padding(ctx->unprocessed_data, mbedtls_cipher_get_iv_size(ctx),
1076 ctx->unprocessed_len);
1077 } else if (mbedtls_cipher_get_block_size(ctx) != ctx->unprocessed_len) {
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001078 /*
1079 * For decrypt operations, expect a full block,
1080 * or an empty block if no padding
1081 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001082 if (NULL == ctx->add_padding && 0 == ctx->unprocessed_len) {
1083 return 0;
1084 }
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001085
Gilles Peskine449bd832023-01-11 14:50:10 +01001086 return MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED;
Paul Bakker8123e9d2011-01-06 15:37:30 +00001087 }
1088
1089 /* cipher block */
Dave Rodgmande3de772023-06-24 12:51:06 +01001090 if (0 != (ret = mbedtls_cipher_get_base(ctx->cipher_info)->cbc_func(ctx->cipher_ctx,
Dave Rodgman3b46b772023-06-24 13:25:06 +01001091 ctx->operation,
1092 mbedtls_cipher_get_block_size(
1093 ctx),
1094 ctx->iv,
1095 ctx->unprocessed_data,
1096 output))) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001097 return ret;
Paul Bakker8123e9d2011-01-06 15:37:30 +00001098 }
1099
1100 /* Set output size for decryption */
Gilles Peskine449bd832023-01-11 14:50:10 +01001101 if (MBEDTLS_DECRYPT == ctx->operation) {
1102 return ctx->get_padding(output, mbedtls_cipher_get_block_size(ctx),
1103 olen);
1104 }
Paul Bakker8123e9d2011-01-06 15:37:30 +00001105
1106 /* Set output size for encryption */
Gilles Peskine449bd832023-01-11 14:50:10 +01001107 *olen = mbedtls_cipher_get_block_size(ctx);
1108 return 0;
Paul Bakker8123e9d2011-01-06 15:37:30 +00001109 }
Manuel Pégourié-Gonnard989ed382013-09-13 14:41:45 +02001110#else
1111 ((void) output);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001112#endif /* MBEDTLS_CIPHER_MODE_CBC */
Paul Bakker8123e9d2011-01-06 15:37:30 +00001113
Gilles Peskine449bd832023-01-11 14:50:10 +01001114 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Paul Bakker8123e9d2011-01-06 15:37:30 +00001115}
1116
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001117#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Gilles Peskine449bd832023-01-11 14:50:10 +01001118int mbedtls_cipher_set_padding_mode(mbedtls_cipher_context_t *ctx,
1119 mbedtls_cipher_padding_t mode)
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001120{
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001121 if (NULL == ctx->cipher_info ||
1122 MBEDTLS_MODE_CBC != ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001123 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001124 }
1125
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001126#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001127 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001128 /* While PSA Crypto knows about CBC padding
1129 * schemes, we currently don't make them
1130 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001131 if (mode != MBEDTLS_PADDING_NONE) {
1132 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
1133 }
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001134
Gilles Peskine449bd832023-01-11 14:50:10 +01001135 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001136 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001137#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001138
Gilles Peskine449bd832023-01-11 14:50:10 +01001139 switch (mode) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001140#if defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Gilles Peskine449bd832023-01-11 14:50:10 +01001141 case MBEDTLS_PADDING_PKCS7:
1142 ctx->add_padding = add_pkcs_padding;
1143 ctx->get_padding = get_pkcs_padding;
1144 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001145#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001146#if defined(MBEDTLS_CIPHER_PADDING_ONE_AND_ZEROS)
Gilles Peskine449bd832023-01-11 14:50:10 +01001147 case MBEDTLS_PADDING_ONE_AND_ZEROS:
1148 ctx->add_padding = add_one_and_zeros_padding;
1149 ctx->get_padding = get_one_and_zeros_padding;
1150 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001151#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001152#if defined(MBEDTLS_CIPHER_PADDING_ZEROS_AND_LEN)
Gilles Peskine449bd832023-01-11 14:50:10 +01001153 case MBEDTLS_PADDING_ZEROS_AND_LEN:
1154 ctx->add_padding = add_zeros_and_len_padding;
1155 ctx->get_padding = get_zeros_and_len_padding;
1156 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001157#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001158#if defined(MBEDTLS_CIPHER_PADDING_ZEROS)
Gilles Peskine449bd832023-01-11 14:50:10 +01001159 case MBEDTLS_PADDING_ZEROS:
1160 ctx->add_padding = add_zeros_padding;
1161 ctx->get_padding = get_zeros_padding;
1162 break;
Paul Bakker48e93c82013-08-14 12:21:18 +02001163#endif
Gilles Peskine449bd832023-01-11 14:50:10 +01001164 case MBEDTLS_PADDING_NONE:
1165 ctx->add_padding = NULL;
1166 ctx->get_padding = get_no_padding;
1167 break;
Paul Bakker1a45d912013-08-14 12:04:26 +02001168
Gilles Peskine449bd832023-01-11 14:50:10 +01001169 default:
1170 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardebdc4132013-07-26 16:50:44 +02001171 }
1172
Gilles Peskine449bd832023-01-11 14:50:10 +01001173 return 0;
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001174}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001175#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
Manuel Pégourié-Gonnardac56a1a2013-07-25 12:31:10 +02001176
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001177#if defined(MBEDTLS_GCM_C) || defined(MBEDTLS_CHACHAPOLY_C)
Gilles Peskine449bd832023-01-11 14:50:10 +01001178int mbedtls_cipher_write_tag(mbedtls_cipher_context_t *ctx,
1179 unsigned char *tag, size_t tag_len)
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001180{
Gilles Peskine449bd832023-01-11 14:50:10 +01001181 if (ctx->cipher_info == NULL) {
1182 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1183 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001184
Gilles Peskine449bd832023-01-11 14:50:10 +01001185 if (MBEDTLS_ENCRYPT != ctx->operation) {
1186 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1187 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001188
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001189#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001190 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001191 /* While PSA Crypto has an API for multipart
1192 * operations, we currently don't make it
1193 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001194 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001195 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001196#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001197
Daniel King8fe47012016-05-17 20:33:28 -03001198#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001199 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001200 size_t output_length;
1201 /* The code here doesn't yet support alternative implementations
1202 * that can delay up to a block of output. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001203 return mbedtls_gcm_finish((mbedtls_gcm_context *) ctx->cipher_ctx,
1204 NULL, 0, &output_length,
1205 tag, tag_len);
Gilles Peskine5a7be102021-06-23 21:51:32 +02001206 }
Daniel King8fe47012016-05-17 20:33:28 -03001207#endif
1208
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001209#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001210 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) {
Daniel King8fe47012016-05-17 20:33:28 -03001211 /* Don't allow truncated MAC for Poly1305 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001212 if (tag_len != 16U) {
1213 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1214 }
Daniel King8fe47012016-05-17 20:33:28 -03001215
Gilles Peskine449bd832023-01-11 14:50:10 +01001216 return mbedtls_chachapoly_finish(
1217 (mbedtls_chachapoly_context *) ctx->cipher_ctx, tag);
Daniel King8fe47012016-05-17 20:33:28 -03001218 }
1219#endif
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001220
Gilles Peskine449bd832023-01-11 14:50:10 +01001221 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001222}
Paul Bakker9af723c2014-05-01 13:03:14 +02001223
Gilles Peskine449bd832023-01-11 14:50:10 +01001224int mbedtls_cipher_check_tag(mbedtls_cipher_context_t *ctx,
1225 const unsigned char *tag, size_t tag_len)
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001226{
Daniel King8fe47012016-05-17 20:33:28 -03001227 unsigned char check_tag[16];
Janos Follath24eed8d2019-11-22 13:21:35 +00001228 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001229
Gilles Peskine449bd832023-01-11 14:50:10 +01001230 if (ctx->cipher_info == NULL) {
1231 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1232 }
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001233
Gilles Peskine449bd832023-01-11 14:50:10 +01001234 if (MBEDTLS_DECRYPT != ctx->operation) {
1235 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001236 }
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001237
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001238#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001239 if (ctx->psa_enabled == 1) {
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001240 /* While PSA Crypto has an API for multipart
1241 * operations, we currently don't make it
1242 * accessible through the cipher layer. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001243 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001244 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001245#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001246
Denis V. Lunev2df73ae2018-11-01 12:22:27 +03001247 /* Status to return on a non-authenticated algorithm. */
1248 ret = MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Gilles Peskinee7835d92021-12-13 12:32:43 +01001249
Daniel King8fe47012016-05-17 20:33:28 -03001250#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001251 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Gilles Peskine5a7be102021-06-23 21:51:32 +02001252 size_t output_length;
1253 /* The code here doesn't yet support alternative implementations
1254 * that can delay up to a block of output. */
1255
Gilles Peskine449bd832023-01-11 14:50:10 +01001256 if (tag_len > sizeof(check_tag)) {
1257 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1258 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001259
Gilles Peskine449bd832023-01-11 14:50:10 +01001260 if (0 != (ret = mbedtls_gcm_finish(
1261 (mbedtls_gcm_context *) ctx->cipher_ctx,
1262 NULL, 0, &output_length,
1263 check_tag, tag_len))) {
1264 return ret;
Paul Bakkerb9cfaa02013-10-11 18:58:55 +02001265 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001266
1267 /* Check the tag in "constant-time" */
Gilles Peskine449bd832023-01-11 14:50:10 +01001268 if (mbedtls_ct_memcmp(tag, check_tag, tag_len) != 0) {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001269 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001270 goto exit;
1271 }
Manuel Pégourié-Gonnard43a47802013-09-03 16:35:53 +02001272 }
Daniel King8fe47012016-05-17 20:33:28 -03001273#endif /* MBEDTLS_GCM_C */
1274
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001275#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001276 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) {
Daniel King8fe47012016-05-17 20:33:28 -03001277 /* Don't allow truncated MAC for Poly1305 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001278 if (tag_len != sizeof(check_tag)) {
1279 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1280 }
Daniel King8fe47012016-05-17 20:33:28 -03001281
Hanno Becker18597cd2018-11-09 16:36:33 +00001282 ret = mbedtls_chachapoly_finish(
Gilles Peskine449bd832023-01-11 14:50:10 +01001283 (mbedtls_chachapoly_context *) ctx->cipher_ctx, check_tag);
1284 if (ret != 0) {
1285 return ret;
Daniel King8fe47012016-05-17 20:33:28 -03001286 }
1287
1288 /* Check the tag in "constant-time" */
Gilles Peskine449bd832023-01-11 14:50:10 +01001289 if (mbedtls_ct_memcmp(tag, check_tag, tag_len) != 0) {
Gilles Peskinee7835d92021-12-13 12:32:43 +01001290 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskinecd742982021-12-13 16:57:47 +01001291 goto exit;
1292 }
Daniel King8fe47012016-05-17 20:33:28 -03001293 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001294#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001295
Gilles Peskinecd742982021-12-13 16:57:47 +01001296exit:
Gilles Peskine449bd832023-01-11 14:50:10 +01001297 mbedtls_platform_zeroize(check_tag, tag_len);
1298 return ret;
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001299}
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001300#endif /* MBEDTLS_GCM_C || MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardaa9ffc52013-09-03 16:19:22 +02001301
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001302/*
1303 * Packet-oriented wrapper for non-AEAD modes
1304 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001305int mbedtls_cipher_crypt(mbedtls_cipher_context_t *ctx,
1306 const unsigned char *iv, size_t iv_len,
1307 const unsigned char *input, size_t ilen,
1308 unsigned char *output, size_t *olen)
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001309{
Janos Follath24eed8d2019-11-22 13:21:35 +00001310 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001311 size_t finish_olen;
1312
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001313#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001314 if (ctx->psa_enabled == 1) {
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001315 /* As in the non-PSA case, we don't check that
1316 * a key has been set. If not, the key slot will
1317 * still be in its default state of 0, which is
1318 * guaranteed to be invalid, hence the PSA-call
1319 * below will gracefully fail. */
1320 mbedtls_cipher_context_psa * const cipher_psa =
1321 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1322
1323 psa_status_t status;
Jaeden Amerofe96fbe2019-02-20 10:32:28 +00001324 psa_cipher_operation_t cipher_op = PSA_CIPHER_OPERATION_INIT;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001325 size_t part_len;
1326
Gilles Peskine449bd832023-01-11 14:50:10 +01001327 if (ctx->operation == MBEDTLS_DECRYPT) {
1328 status = psa_cipher_decrypt_setup(&cipher_op,
1329 cipher_psa->slot,
1330 cipher_psa->alg);
1331 } else if (ctx->operation == MBEDTLS_ENCRYPT) {
1332 status = psa_cipher_encrypt_setup(&cipher_op,
1333 cipher_psa->slot,
1334 cipher_psa->alg);
1335 } else {
1336 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001337 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001338
1339 /* In the following, we can immediately return on an error,
1340 * because the PSA Crypto API guarantees that cipher operations
1341 * are terminated by unsuccessful calls to psa_cipher_update(),
1342 * and by any call to psa_cipher_finish(). */
Gilles Peskine449bd832023-01-11 14:50:10 +01001343 if (status != PSA_SUCCESS) {
1344 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
Przemyslaw Stekiel80c6a8e2021-09-29 12:13:11 +02001345 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001346
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001347 if (((mbedtls_cipher_mode_t) ctx->cipher_info->mode) != MBEDTLS_MODE_ECB) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001348 status = psa_cipher_set_iv(&cipher_op, iv, iv_len);
1349 if (status != PSA_SUCCESS) {
1350 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
1351 }
1352 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001353
Gilles Peskine449bd832023-01-11 14:50:10 +01001354 status = psa_cipher_update(&cipher_op,
1355 input, ilen,
1356 output, ilen, olen);
1357 if (status != PSA_SUCCESS) {
1358 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
1359 }
1360
1361 status = psa_cipher_finish(&cipher_op,
1362 output + *olen, ilen - *olen,
1363 &part_len);
1364 if (status != PSA_SUCCESS) {
1365 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
1366 }
Hanno Becker55e2e3d2018-11-12 12:36:17 +00001367
1368 *olen += part_len;
Gilles Peskine449bd832023-01-11 14:50:10 +01001369 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001370 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001371#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001372
Gilles Peskine449bd832023-01-11 14:50:10 +01001373 if ((ret = mbedtls_cipher_set_iv(ctx, iv, iv_len)) != 0) {
1374 return ret;
1375 }
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001376
Gilles Peskine449bd832023-01-11 14:50:10 +01001377 if ((ret = mbedtls_cipher_reset(ctx)) != 0) {
1378 return ret;
1379 }
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001380
Gilles Peskine449bd832023-01-11 14:50:10 +01001381 if ((ret = mbedtls_cipher_update(ctx, input, ilen,
1382 output, olen)) != 0) {
1383 return ret;
1384 }
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001385
Gilles Peskine449bd832023-01-11 14:50:10 +01001386 if ((ret = mbedtls_cipher_finish(ctx, output + *olen,
1387 &finish_olen)) != 0) {
1388 return ret;
1389 }
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001390
1391 *olen += finish_olen;
1392
Gilles Peskine449bd832023-01-11 14:50:10 +01001393 return 0;
Manuel Pégourié-Gonnard3c1d1502014-05-12 13:46:08 +02001394}
1395
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001396#if defined(MBEDTLS_CIPHER_MODE_AEAD)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001397/*
TRodziewicz18efb732021-04-29 23:12:19 +02001398 * Packet-oriented encryption for AEAD modes: internal function used by
1399 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001400 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001401static int mbedtls_cipher_aead_encrypt(mbedtls_cipher_context_t *ctx,
1402 const unsigned char *iv, size_t iv_len,
1403 const unsigned char *ad, size_t ad_len,
1404 const unsigned char *input, size_t ilen,
1405 unsigned char *output, size_t *olen,
1406 unsigned char *tag, size_t tag_len)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001407{
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001408#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001409 if (ctx->psa_enabled == 1) {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001410 /* As in the non-PSA case, we don't check that
1411 * a key has been set. If not, the key slot will
1412 * still be in its default state of 0, which is
1413 * guaranteed to be invalid, hence the PSA-call
1414 * below will gracefully fail. */
1415 mbedtls_cipher_context_psa * const cipher_psa =
1416 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1417
1418 psa_status_t status;
1419
1420 /* PSA Crypto API always writes the authentication tag
1421 * at the end of the encrypted message. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001422 if (output == NULL || tag != output + ilen) {
1423 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
1424 }
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001425
Gilles Peskine449bd832023-01-11 14:50:10 +01001426 status = psa_aead_encrypt(cipher_psa->slot,
1427 cipher_psa->alg,
1428 iv, iv_len,
1429 ad, ad_len,
1430 input, ilen,
1431 output, ilen + tag_len, olen);
1432 if (status != PSA_SUCCESS) {
1433 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
1434 }
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001435
1436 *olen -= tag_len;
Gilles Peskine449bd832023-01-11 14:50:10 +01001437 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001438 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001439#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001440
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001441#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001442 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001443 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001444 return mbedtls_gcm_crypt_and_tag(ctx->cipher_ctx, MBEDTLS_GCM_ENCRYPT,
1445 ilen, iv, iv_len, ad, ad_len,
1446 input, output, tag_len, tag);
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001447 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001448#endif /* MBEDTLS_GCM_C */
1449#if defined(MBEDTLS_CCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001450 if (MBEDTLS_MODE_CCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001451 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001452 return mbedtls_ccm_encrypt_and_tag(ctx->cipher_ctx, ilen,
1453 iv, iv_len, ad, ad_len, input, output,
1454 tag, tag_len);
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001455 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001456#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001457#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001458 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001459 /* ChachaPoly has fixed length nonce and MAC (tag) */
Dave Rodgmanbb521fd2023-06-24 11:21:25 +01001460 if ((iv_len != mbedtls_cipher_info_get_iv_size(ctx->cipher_info)) ||
Gilles Peskine449bd832023-01-11 14:50:10 +01001461 (tag_len != 16U)) {
1462 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel King8fe47012016-05-17 20:33:28 -03001463 }
1464
1465 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001466 return mbedtls_chachapoly_encrypt_and_tag(ctx->cipher_ctx,
1467 ilen, iv, ad, ad_len, input, output, tag);
Daniel King8fe47012016-05-17 20:33:28 -03001468 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001469#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001470
Gilles Peskine449bd832023-01-11 14:50:10 +01001471 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001472}
1473
1474/*
TRodziewicz18efb732021-04-29 23:12:19 +02001475 * Packet-oriented encryption for AEAD modes: internal function used by
1476 * mbedtls_cipher_auth_encrypt_ext().
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001477 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001478static int mbedtls_cipher_aead_decrypt(mbedtls_cipher_context_t *ctx,
1479 const unsigned char *iv, size_t iv_len,
1480 const unsigned char *ad, size_t ad_len,
1481 const unsigned char *input, size_t ilen,
1482 unsigned char *output, size_t *olen,
1483 const unsigned char *tag, size_t tag_len)
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001484{
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001485#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001486 if (ctx->psa_enabled == 1) {
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001487 /* As in the non-PSA case, we don't check that
1488 * a key has been set. If not, the key slot will
1489 * still be in its default state of 0, which is
1490 * guaranteed to be invalid, hence the PSA-call
1491 * below will gracefully fail. */
1492 mbedtls_cipher_context_psa * const cipher_psa =
1493 (mbedtls_cipher_context_psa *) ctx->cipher_ctx;
1494
1495 psa_status_t status;
1496
1497 /* PSA Crypto API always writes the authentication tag
1498 * at the end of the encrypted message. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001499 if (input == NULL || tag != input + ilen) {
1500 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
1501 }
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001502
Gilles Peskine449bd832023-01-11 14:50:10 +01001503 status = psa_aead_decrypt(cipher_psa->slot,
1504 cipher_psa->alg,
1505 iv, iv_len,
1506 ad, ad_len,
1507 input, ilen + tag_len,
1508 output, ilen, olen);
1509 if (status == PSA_ERROR_INVALID_SIGNATURE) {
1510 return MBEDTLS_ERR_CIPHER_AUTH_FAILED;
1511 } else if (status != PSA_SUCCESS) {
1512 return MBEDTLS_ERR_PLATFORM_HW_ACCEL_FAILED;
1513 }
Hanno Beckerfe73ade2018-11-12 16:26:46 +00001514
Gilles Peskine449bd832023-01-11 14:50:10 +01001515 return 0;
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001516 }
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001517#endif /* MBEDTLS_USE_PSA_CRYPTO && !MBEDTLS_DEPRECATED_REMOVED */
Hanno Beckerce1ddee2018-11-09 16:20:29 +00001518
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001519#if defined(MBEDTLS_GCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001520 if (MBEDTLS_MODE_GCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Janos Follath24eed8d2019-11-22 13:21:35 +00001521 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001522
1523 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001524 ret = mbedtls_gcm_auth_decrypt(ctx->cipher_ctx, ilen,
1525 iv, iv_len, ad, ad_len,
1526 tag, tag_len, input, output);
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001527
Gilles Peskine449bd832023-01-11 14:50:10 +01001528 if (ret == MBEDTLS_ERR_GCM_AUTH_FAILED) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001529 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskine449bd832023-01-11 14:50:10 +01001530 }
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001531
Gilles Peskine449bd832023-01-11 14:50:10 +01001532 return ret;
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001533 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001534#endif /* MBEDTLS_GCM_C */
1535#if defined(MBEDTLS_CCM_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001536 if (MBEDTLS_MODE_CCM == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) {
Janos Follath24eed8d2019-11-22 13:21:35 +00001537 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001538
1539 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001540 ret = mbedtls_ccm_auth_decrypt(ctx->cipher_ctx, ilen,
1541 iv, iv_len, ad, ad_len,
1542 input, output, tag, tag_len);
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001543
Gilles Peskine449bd832023-01-11 14:50:10 +01001544 if (ret == MBEDTLS_ERR_CCM_AUTH_FAILED) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001545 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskine449bd832023-01-11 14:50:10 +01001546 }
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001547
Gilles Peskine449bd832023-01-11 14:50:10 +01001548 return ret;
Manuel Pégourié-Gonnard41936952014-05-13 13:18:17 +02001549 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001550#endif /* MBEDTLS_CCM_C */
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001551#if defined(MBEDTLS_CHACHAPOLY_C)
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001552 if (MBEDTLS_CIPHER_CHACHA20_POLY1305 == ((mbedtls_cipher_type_t) ctx->cipher_info->type)) {
Janos Follath24eed8d2019-11-22 13:21:35 +00001553 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Daniel King8fe47012016-05-17 20:33:28 -03001554
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001555 /* ChachaPoly has fixed length nonce and MAC (tag) */
Dave Rodgmanbb521fd2023-06-24 11:21:25 +01001556 if ((iv_len != mbedtls_cipher_info_get_iv_size(ctx->cipher_info)) ||
Gilles Peskine449bd832023-01-11 14:50:10 +01001557 (tag_len != 16U)) {
1558 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
Daniel King8fe47012016-05-17 20:33:28 -03001559 }
1560
1561 *olen = ilen;
Gilles Peskine449bd832023-01-11 14:50:10 +01001562 ret = mbedtls_chachapoly_auth_decrypt(ctx->cipher_ctx, ilen,
1563 iv, ad, ad_len, tag, input, output);
Daniel King8fe47012016-05-17 20:33:28 -03001564
Gilles Peskine449bd832023-01-11 14:50:10 +01001565 if (ret == MBEDTLS_ERR_CHACHAPOLY_AUTH_FAILED) {
Manuel Pégourié-Gonnardfe725de2018-05-08 09:38:09 +02001566 ret = MBEDTLS_ERR_CIPHER_AUTH_FAILED;
Gilles Peskine449bd832023-01-11 14:50:10 +01001567 }
Daniel King8fe47012016-05-17 20:33:28 -03001568
Gilles Peskine449bd832023-01-11 14:50:10 +01001569 return ret;
Daniel King8fe47012016-05-17 20:33:28 -03001570 }
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +02001571#endif /* MBEDTLS_CHACHAPOLY_C */
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001572
Gilles Peskine449bd832023-01-11 14:50:10 +01001573 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001574}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001575#endif /* MBEDTLS_CIPHER_MODE_AEAD */
Manuel Pégourié-Gonnard4562ffe2014-05-13 12:19:29 +02001576
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001577#if defined(MBEDTLS_CIPHER_MODE_AEAD) || defined(MBEDTLS_NIST_KW_C)
1578/*
1579 * Packet-oriented encryption for AEAD/NIST_KW: public function.
1580 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001581int mbedtls_cipher_auth_encrypt_ext(mbedtls_cipher_context_t *ctx,
1582 const unsigned char *iv, size_t iv_len,
1583 const unsigned char *ad, size_t ad_len,
1584 const unsigned char *input, size_t ilen,
1585 unsigned char *output, size_t output_len,
1586 size_t *olen, size_t tag_len)
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001587{
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001588#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskine449bd832023-01-11 14:50:10 +01001589 if (
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001590#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001591 ctx->psa_enabled == 0 &&
1592#endif
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001593 (MBEDTLS_MODE_KW == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1594 MBEDTLS_MODE_KWP == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode))) {
1595 mbedtls_nist_kw_mode_t mode =
1596 (MBEDTLS_MODE_KW == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) ?
1597 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001598
1599 /* There is no iv, tag or ad associated with KW and KWP,
1600 * so these length should be 0 as documented. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001601 if (iv_len != 0 || tag_len != 0 || ad_len != 0) {
1602 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1603 }
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001604
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001605 (void) iv;
1606 (void) ad;
1607
Gilles Peskine449bd832023-01-11 14:50:10 +01001608 return mbedtls_nist_kw_wrap(ctx->cipher_ctx, mode, input, ilen,
1609 output, olen, output_len);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001610 }
1611#endif /* MBEDTLS_NIST_KW_C */
1612
1613#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1614 /* AEAD case: check length before passing on to shared function */
Gilles Peskine449bd832023-01-11 14:50:10 +01001615 if (output_len < ilen + tag_len) {
1616 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1617 }
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001618
Gilles Peskine449bd832023-01-11 14:50:10 +01001619 int ret = mbedtls_cipher_aead_encrypt(ctx, iv, iv_len, ad, ad_len,
1620 input, ilen, output, olen,
1621 output + ilen, tag_len);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001622 *olen += tag_len;
Gilles Peskine449bd832023-01-11 14:50:10 +01001623 return ret;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001624#else
Gilles Peskine449bd832023-01-11 14:50:10 +01001625 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001626#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1627}
1628
1629/*
1630 * Packet-oriented decryption for AEAD/NIST_KW: public function.
1631 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001632int mbedtls_cipher_auth_decrypt_ext(mbedtls_cipher_context_t *ctx,
1633 const unsigned char *iv, size_t iv_len,
1634 const unsigned char *ad, size_t ad_len,
1635 const unsigned char *input, size_t ilen,
1636 unsigned char *output, size_t output_len,
1637 size_t *olen, size_t tag_len)
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001638{
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001639#if defined(MBEDTLS_NIST_KW_C)
Gilles Peskine449bd832023-01-11 14:50:10 +01001640 if (
Manuel Pégourié-Gonnard5c731b02023-06-21 10:37:30 +02001641#if defined(MBEDTLS_USE_PSA_CRYPTO) && !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskinea56d3d92020-12-04 00:47:07 +01001642 ctx->psa_enabled == 0 &&
1643#endif
Dave Rodgman1b8a3b12023-06-24 17:32:43 +01001644 (MBEDTLS_MODE_KW == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode) ||
1645 MBEDTLS_MODE_KWP == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode))) {
1646 mbedtls_nist_kw_mode_t mode =
1647 (MBEDTLS_MODE_KW == ((mbedtls_cipher_mode_t) ctx->cipher_info->mode)) ?
1648 MBEDTLS_KW_MODE_KW : MBEDTLS_KW_MODE_KWP;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001649
1650 /* There is no iv, tag or ad associated with KW and KWP,
1651 * so these length should be 0 as documented. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001652 if (iv_len != 0 || tag_len != 0 || ad_len != 0) {
1653 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1654 }
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001655
Manuel Pégourié-Gonnard841b6fa2020-12-07 10:42:21 +01001656 (void) iv;
1657 (void) ad;
1658
Gilles Peskine449bd832023-01-11 14:50:10 +01001659 return mbedtls_nist_kw_unwrap(ctx->cipher_ctx, mode, input, ilen,
1660 output, olen, output_len);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001661 }
1662#endif /* MBEDTLS_NIST_KW_C */
1663
1664#if defined(MBEDTLS_CIPHER_MODE_AEAD)
1665 /* AEAD case: check length before passing on to shared function */
Gilles Peskine449bd832023-01-11 14:50:10 +01001666 if (ilen < tag_len || output_len < ilen - tag_len) {
1667 return MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA;
1668 }
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001669
Gilles Peskine449bd832023-01-11 14:50:10 +01001670 return mbedtls_cipher_aead_decrypt(ctx, iv, iv_len, ad, ad_len,
1671 input, ilen - tag_len, output, olen,
1672 input + ilen - tag_len, tag_len);
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001673#else
Gilles Peskine449bd832023-01-11 14:50:10 +01001674 return MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE;
Manuel Pégourié-Gonnardfaddf982020-11-25 13:39:47 +01001675#endif /* MBEDTLS_CIPHER_MODE_AEAD */
1676}
1677#endif /* MBEDTLS_CIPHER_MODE_AEAD || MBEDTLS_NIST_KW_C */
1678
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001679#endif /* MBEDTLS_CIPHER_C */