blob: 6c2255281c254a03ae067b0f6cd51933a6262da8 [file] [log] [blame]
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +02001/**
2 * \file ccm.h
3 *
Rose Zadik477dce12018-04-17 16:31:22 +01004 * \brief This file provides an API for the CCM authenticated encryption
5 * mode for block ciphers.
Rose Zadik4ee9d242018-03-26 17:18:44 +01006 *
7 * CCM combines Counter mode encryption with CBC-MAC authentication
8 * for 128-bit block ciphers.
Rose Zadikeecdbea2018-01-24 12:56:53 +00009 *
10 * Input to CCM includes the following elements:
11 * <ul><li>Payload - data that is both authenticated and encrypted.</li>
12 * <li>Associated data (Adata) - data that is authenticated but not
13 * encrypted, For example, a header.</li>
14 * <li>Nonce - A unique value that is assigned to the payload and the
15 * associated data.</li></ul>
16 *
Janos Follath6b4bd3d2018-05-29 11:30:26 +010017 * Definition of CCM:
18 * http://csrc.nist.gov/publications/nistpubs/800-38C/SP800-38C_updated-July20_2007.pdf
19 * RFC 3610 "Counter with CBC-MAC (CCM)"
20 *
21 * Related:
22 * RFC 5116 "An Interface and Algorithms for Authenticated Encryption"
23 *
24 * Definition of CCM*:
25 * IEEE 802.15.4 - IEEE Standard for Local and metropolitan area networks
26 * Integer representation is fixed most-significant-octet-first order and
27 * the representation of octets is most-significant-bit-first order. This is
28 * consistent with RFC 3610.
Darryl Greena40a1012018-01-05 15:33:17 +000029 */
30/*
Bence Szépkúti1e148272020-08-07 13:07:28 +020031 * Copyright The Mbed TLS Contributors
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020032 * SPDX-License-Identifier: Apache-2.0
33 *
34 * Licensed under the Apache License, Version 2.0 (the "License"); you may
35 * not use this file except in compliance with the License.
36 * You may obtain a copy of the License at
37 *
38 * http://www.apache.org/licenses/LICENSE-2.0
39 *
40 * Unless required by applicable law or agreed to in writing, software
41 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
42 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
43 * See the License for the specific language governing permissions and
44 * limitations under the License.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020045 */
Rose Zadikeecdbea2018-01-24 12:56:53 +000046
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020047#ifndef MBEDTLS_CCM_H
48#define MBEDTLS_CCM_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020049#include "mbedtls/private_access.h"
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020050
Bence Szépkútic662b362021-05-27 11:25:03 +020051#include "mbedtls/build_info.h"
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050052
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010053#include "mbedtls/cipher.h"
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020054
Ronald Cron266694e2021-05-20 09:02:37 +020055#define MBEDTLS_CCM_DECRYPT 0
56#define MBEDTLS_CCM_ENCRYPT 1
57#define MBEDTLS_CCM_STAR_DECRYPT 2
58#define MBEDTLS_CCM_STAR_ENCRYPT 3
59
Gilles Peskined2971572021-07-26 18:48:10 +020060/** Bad input parameters to the function. */
61#define MBEDTLS_ERR_CCM_BAD_INPUT -0x000D
62/** Authenticated decryption failed. */
63#define MBEDTLS_ERR_CCM_AUTH_FAILED -0x000F
Ron Eldor9924bdc2018-10-04 10:59:13 +030064
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020065#ifdef __cplusplus
66extern "C" {
67#endif
68
Ron Eldor4e6d55d2018-02-07 16:36:15 +020069#if !defined(MBEDTLS_CCM_ALT)
70// Regular implementation
71//
72
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020073/**
Rose Zadikeecdbea2018-01-24 12:56:53 +000074 * \brief The CCM context-type definition. The CCM context is passed
75 * to the APIs called.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020076 */
Gilles Peskine449bd832023-01-11 14:50:10 +010077typedef struct mbedtls_ccm_context {
Mateusz Starzyk89d469c2021-06-22 16:24:28 +020078 unsigned char MBEDTLS_PRIVATE(y)[16]; /*!< The Y working buffer */
79 unsigned char MBEDTLS_PRIVATE(ctr)[16]; /*!< The counter buffer */
Mateusz Starzyk4df9ac42021-07-27 13:47:23 +020080 mbedtls_cipher_context_t MBEDTLS_PRIVATE(cipher_ctx); /*!< The cipher context used. */
Mateusz Starzykeb2ca962021-07-06 12:45:11 +020081 size_t MBEDTLS_PRIVATE(plaintext_len); /*!< Total plaintext length */
82 size_t MBEDTLS_PRIVATE(add_len); /*!< Total authentication data length */
83 size_t MBEDTLS_PRIVATE(tag_len); /*!< Total tag length */
Mateusz Starzyka42f9532021-08-09 16:00:24 +020084 size_t MBEDTLS_PRIVATE(processed); /*!< Track how many bytes of input data
85 were processed (chunked input).
Mateusz Starzyke40ae6b2021-09-01 12:47:49 +020086 Used independently for both auth data
Mateusz Starzyka42f9532021-08-09 16:00:24 +020087 and plaintext/ciphertext.
88 This variable is set to zero after
89 auth data input is finished. */
Mateusz Starzyk4df9ac42021-07-27 13:47:23 +020090 unsigned char MBEDTLS_PRIVATE(q); /*!< The Q working value */
91 unsigned char MBEDTLS_PRIVATE(mode); /*!< The operation to perform:
Gilles Peskine449bd832023-01-11 14:50:10 +010092 #MBEDTLS_CCM_ENCRYPT or
93 #MBEDTLS_CCM_DECRYPT or
94 #MBEDTLS_CCM_STAR_ENCRYPT or
95 #MBEDTLS_CCM_STAR_DECRYPT. */
Mateusz Starzyk793692c2021-06-22 20:34:20 +020096 int MBEDTLS_PRIVATE(state); /*!< Working value holding context's
97 state. Used for chunked data
98 input */
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020099}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200100mbedtls_ccm_context;
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200101
Ron Eldor4e6d55d2018-02-07 16:36:15 +0200102#else /* MBEDTLS_CCM_ALT */
103#include "ccm_alt.h"
104#endif /* MBEDTLS_CCM_ALT */
105
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200106/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000107 * \brief This function initializes the specified CCM context,
108 * to make references valid, and prepare the context
109 * for mbedtls_ccm_setkey() or mbedtls_ccm_free().
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200110 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500111 * \param ctx The CCM context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200112 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100113void mbedtls_ccm_init(mbedtls_ccm_context *ctx);
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200114
115/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000116 * \brief This function initializes the CCM context set in the
117 * \p ctx parameter and sets the encryption key.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200118 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500119 * \param ctx The CCM context to initialize. This must be an initialized
120 * context.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000121 * \param cipher The 128-bit block cipher to use.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500122 * \param key The encryption key. This must not be \c NULL.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000123 * \param keybits The key size in bits. This must be acceptable by the cipher.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200124 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100125 * \return \c 0 on success.
Rose Zadikef871792018-04-17 10:41:48 +0100126 * \return A CCM or cipher-specific error code on failure.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200127 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100128int mbedtls_ccm_setkey(mbedtls_ccm_context *ctx,
129 mbedtls_cipher_id_t cipher,
130 const unsigned char *key,
131 unsigned int keybits);
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200132
133/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000134 * \brief This function releases and clears the specified CCM context
135 * and underlying cipher sub-context.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200136 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500137 * \param ctx The CCM context to clear. If this is \c NULL, the function
138 * has no effect. Otherwise, this must be initialized.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200139 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100140void mbedtls_ccm_free(mbedtls_ccm_context *ctx);
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200141
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200142/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000143 * \brief This function encrypts a buffer using CCM.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200144 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100145 * \note The tag is written to a separate buffer. To concatenate
146 * the \p tag with the \p output, as done in <em>RFC-3610:
147 * Counter with CBC-MAC (CCM)</em>, use
148 * \p tag = \p output + \p length, and make sure that the
149 * output buffer is at least \p length + \p tag_len wide.
150 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500151 * \param ctx The CCM context to use for encryption. This must be
152 * initialized and bound to a key.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000153 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500154 * \param iv The initialization vector (nonce). This must be a readable
155 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100156 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
157 * or 13. The length L of the message length field is
158 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200159 * \param ad The additional data field. If \p ad_len is greater than
160 * zero, \p ad must be a readable buffer of at least that
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500161 * length.
Ronald Cron51584c62021-05-27 09:47:15 +0200162 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500163 * This must be less than `2^16 - 2^8`.
164 * \param input The buffer holding the input data. If \p length is greater
165 * than zero, \p input must be a readable buffer of at least
166 * that length.
167 * \param output The buffer holding the output data. If \p length is greater
168 * than zero, \p output must be a writable buffer of at least
169 * that length.
170 * \param tag The buffer holding the authentication field. This must be a
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300171 * writable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100172 * \param tag_len The length of the authentication field to generate in Bytes:
Mathieu Briandffb6efd2018-02-07 10:29:27 +0100173 * 4, 6, 8, 10, 12, 14 or 16.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200174 *
Rose Zadikeecdbea2018-01-24 12:56:53 +0000175 * \return \c 0 on success.
Rose Zadikef871792018-04-17 10:41:48 +0100176 * \return A CCM or cipher-specific error code on failure.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200177 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100178int mbedtls_ccm_encrypt_and_tag(mbedtls_ccm_context *ctx, size_t length,
179 const unsigned char *iv, size_t iv_len,
180 const unsigned char *ad, size_t ad_len,
181 const unsigned char *input, unsigned char *output,
182 unsigned char *tag, size_t tag_len);
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200183
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200184/**
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100185 * \brief This function encrypts a buffer using CCM*.
186 *
187 * \note The tag is written to a separate buffer. To concatenate
188 * the \p tag with the \p output, as done in <em>RFC-3610:
189 * Counter with CBC-MAC (CCM)</em>, use
190 * \p tag = \p output + \p length, and make sure that the
191 * output buffer is at least \p length + \p tag_len wide.
192 *
193 * \note When using this function in a variable tag length context,
194 * the tag length has to be encoded into the \p iv passed to
195 * this function.
196 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500197 * \param ctx The CCM context to use for encryption. This must be
198 * initialized and bound to a key.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100199 * \param length The length of the input data in Bytes.
Mateusz Starzykbb2ced32021-10-13 13:37:30 +0200200 * For tag length = 0, input length is ignored.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500201 * \param iv The initialization vector (nonce). This must be a readable
202 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100203 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
204 * or 13. The length L of the message length field is
205 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200206 * \param ad The additional data field. This must be a readable buffer of
207 * at least \p ad_len Bytes.
208 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500209 * This must be less than 2^16 - 2^8.
210 * \param input The buffer holding the input data. If \p length is greater
211 * than zero, \p input must be a readable buffer of at least
212 * that length.
213 * \param output The buffer holding the output data. If \p length is greater
214 * than zero, \p output must be a writable buffer of at least
215 * that length.
216 * \param tag The buffer holding the authentication field. This must be a
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300217 * writable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100218 * \param tag_len The length of the authentication field to generate in Bytes:
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100219 * 0, 4, 6, 8, 10, 12, 14 or 16.
220 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500221 * \warning Passing \c 0 as \p tag_len means that the message is no
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100222 * longer authenticated.
223 *
224 * \return \c 0 on success.
225 * \return A CCM or cipher-specific error code on failure.
226 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100227int mbedtls_ccm_star_encrypt_and_tag(mbedtls_ccm_context *ctx, size_t length,
228 const unsigned char *iv, size_t iv_len,
229 const unsigned char *ad, size_t ad_len,
230 const unsigned char *input, unsigned char *output,
231 unsigned char *tag, size_t tag_len);
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100232
233/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000234 * \brief This function performs a CCM authenticated decryption of a
235 * buffer.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200236 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500237 * \param ctx The CCM context to use for decryption. This must be
238 * initialized and bound to a key.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000239 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500240 * \param iv The initialization vector (nonce). This must be a readable
241 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100242 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
243 * or 13. The length L of the message length field is
244 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200245 * \param ad The additional data field. This must be a readable buffer
246 * of at least that \p ad_len Bytes..
247 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500248 * This must be less than 2^16 - 2^8.
249 * \param input The buffer holding the input data. If \p length is greater
250 * than zero, \p input must be a readable buffer of at least
251 * that length.
252 * \param output The buffer holding the output data. If \p length is greater
253 * than zero, \p output must be a writable buffer of at least
254 * that length.
255 * \param tag The buffer holding the authentication field. This must be a
256 * readable buffer of at least \p tag_len Bytes.
257 * \param tag_len The length of the authentication field to generate in Bytes:
Mathieu Briandffb6efd2018-02-07 10:29:27 +0100258 * 4, 6, 8, 10, 12, 14 or 16.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200259 *
Rose Zadik379b95c2018-04-17 16:43:00 +0100260 * \return \c 0 on success. This indicates that the message is authentic.
261 * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match.
262 * \return A cipher-specific error code on calculation failure.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200263 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100264int mbedtls_ccm_auth_decrypt(mbedtls_ccm_context *ctx, size_t length,
265 const unsigned char *iv, size_t iv_len,
266 const unsigned char *ad, size_t ad_len,
267 const unsigned char *input, unsigned char *output,
268 const unsigned char *tag, size_t tag_len);
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200269
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100270/**
271 * \brief This function performs a CCM* authenticated decryption of a
272 * buffer.
273 *
274 * \note When using this function in a variable tag length context,
275 * the tag length has to be decoded from \p iv and passed to
276 * this function as \p tag_len. (\p tag needs to be adjusted
277 * accordingly.)
278 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500279 * \param ctx The CCM context to use for decryption. This must be
280 * initialized and bound to a key.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100281 * \param length The length of the input data in Bytes.
Mateusz Starzykbb2ced32021-10-13 13:37:30 +0200282 * For tag length = 0, input length is ignored.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500283 * \param iv The initialization vector (nonce). This must be a readable
284 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100285 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
286 * or 13. The length L of the message length field is
287 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200288 * \param ad The additional data field. This must be a readable buffer of
289 * at least that \p ad_len Bytes.
290 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500291 * This must be less than 2^16 - 2^8.
292 * \param input The buffer holding the input data. If \p length is greater
293 * than zero, \p input must be a readable buffer of at least
294 * that length.
295 * \param output The buffer holding the output data. If \p length is greater
296 * than zero, \p output must be a writable buffer of at least
297 * that length.
298 * \param tag The buffer holding the authentication field. This must be a
299 * readable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100300 * \param tag_len The length of the authentication field in Bytes.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100301 * 0, 4, 6, 8, 10, 12, 14 or 16.
302 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500303 * \warning Passing \c 0 as \p tag_len means that the message is nos
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100304 * longer authenticated.
305 *
Janos Follath143b3192018-05-30 13:57:29 +0100306 * \return \c 0 on success.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100307 * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match.
308 * \return A cipher-specific error code on calculation failure.
309 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100310int mbedtls_ccm_star_auth_decrypt(mbedtls_ccm_context *ctx, size_t length,
311 const unsigned char *iv, size_t iv_len,
312 const unsigned char *ad, size_t ad_len,
313 const unsigned char *input, unsigned char *output,
314 const unsigned char *tag, size_t tag_len);
Steven Cooreman222e2ff2017-04-04 11:37:15 +0200315
Ronald Cron266694e2021-05-20 09:02:37 +0200316/**
317 * \brief This function starts a CCM encryption or decryption
318 * operation.
319 *
Ronald Cron542957d2021-06-01 09:22:05 +0200320 * This function and mbedtls_ccm_set_lengths() must be called
321 * before calling mbedtls_ccm_update_ad() or
322 * mbedtls_ccm_update(). This function can be called before
323 * or after mbedtls_ccm_set_lengths().
324 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200325 * \note This function is not implemented in Mbed TLS yet.
326 *
Ronald Cron266694e2021-05-20 09:02:37 +0200327 * \param ctx The CCM context. This must be initialized.
328 * \param mode The operation to perform: #MBEDTLS_CCM_ENCRYPT or
329 * #MBEDTLS_CCM_DECRYPT or #MBEDTLS_CCM_STAR_ENCRYPT or
330 * #MBEDTLS_CCM_STAR_DECRYPT.
Ronald Cron5905f912021-05-26 09:46:09 +0200331 * \param iv The initialization vector. This must be a readable buffer
332 * of at least \p iv_len Bytes.
Ronald Cron0cc60f92021-05-27 09:01:25 +0200333 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
334 * or 13. The length L of the message length field is
335 * 15 - \p iv_len.
Ronald Cron7c41cd22021-05-29 17:22:10 +0200336 *
337 * \return \c 0 on success.
Ronald Crone13d3082021-06-01 13:35:40 +0200338 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
339 * \p ctx is in an invalid state,
Ronald Cron7c41cd22021-05-29 17:22:10 +0200340 * \p mode is invalid,
341 * \p iv_len is invalid (lower than \c 7 or greater than
342 * \c 13).
343 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100344int mbedtls_ccm_starts(mbedtls_ccm_context *ctx,
345 int mode,
346 const unsigned char *iv,
347 size_t iv_len);
Ronald Cron7c41cd22021-05-29 17:22:10 +0200348
349/**
350 * \brief This function declares the lengths of the message
351 * and additional data for a CCM encryption or decryption
352 * operation.
353 *
Ronald Cron542957d2021-06-01 09:22:05 +0200354 * This function and mbedtls_ccm_starts() must be called
355 * before calling mbedtls_ccm_update_ad() or
356 * mbedtls_ccm_update(). This function can be called before
357 * or after mbedtls_ccm_starts().
358 *
Ronald Cron7c41cd22021-05-29 17:22:10 +0200359 * \note This function is not implemented in Mbed TLS yet.
360 *
361 * \param ctx The CCM context. This must be initialized.
Ronald Cron51584c62021-05-27 09:47:15 +0200362 * \param total_ad_len The total length of additional data in bytes.
Ronald Cron0cc60f92021-05-27 09:01:25 +0200363 * This must be less than `2^16 - 2^8`.
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200364 * \param plaintext_len The length in bytes of the plaintext to encrypt or
365 * result of the decryption (thus not encompassing the
366 * additional data that are not encrypted).
Mateusz Starzyk98d45b92021-06-23 10:45:14 +0200367 * \param tag_len The length of the tag to generate in Bytes:
368 * 4, 6, 8, 10, 12, 14 or 16.
369 * For CCM*, zero is also valid.
Ronald Cron266694e2021-05-20 09:02:37 +0200370 *
371 * \return \c 0 on success.
Ronald Crone13d3082021-06-01 13:35:40 +0200372 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
373 * \p ctx is in an invalid state,
Ronald Cron51584c62021-05-27 09:47:15 +0200374 * \p total_ad_len is greater than \c 0xFF00.
Ronald Cron266694e2021-05-20 09:02:37 +0200375 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100376int mbedtls_ccm_set_lengths(mbedtls_ccm_context *ctx,
377 size_t total_ad_len,
378 size_t plaintext_len,
379 size_t tag_len);
Ronald Cron266694e2021-05-20 09:02:37 +0200380
381/**
382 * \brief This function feeds an input buffer as associated data
383 * (authenticated but not encrypted data) in a CCM
384 * encryption or decryption operation.
385 *
Ronald Crond1a29a92021-05-26 09:49:11 +0200386 * You may call this function zero, one or more times
387 * to pass successive parts of the additional data. The
Ronald Cron51584c62021-05-27 09:47:15 +0200388 * lengths \p ad_len of the data parts should eventually add
Ronald Crond1a29a92021-05-26 09:49:11 +0200389 * up exactly to the total length of additional data
Ronald Cron7c41cd22021-05-29 17:22:10 +0200390 * \c total_ad_len passed to mbedtls_ccm_set_lengths(). You
391 * may not call this function after calling
392 * mbedtls_ccm_update().
Ronald Cron266694e2021-05-20 09:02:37 +0200393 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200394 * \note This function is not implemented in Mbed TLS yet.
395 *
Ronald Cron266694e2021-05-20 09:02:37 +0200396 * \param ctx The CCM context. This must have been started with
Ronald Cron7c41cd22021-05-29 17:22:10 +0200397 * mbedtls_ccm_starts(), the lengths of the message and
398 * additional data must have been declared with
399 * mbedtls_ccm_set_lengths() and this must not have yet
400 * received any input with mbedtls_ccm_update().
Ronald Cron51584c62021-05-27 09:47:15 +0200401 * \param ad The buffer holding the additional data, or \c NULL
402 * if \p ad_len is \c 0.
403 * \param ad_len The length of the additional data. If \c 0,
404 * \p ad may be \c NULL.
Ronald Cron266694e2021-05-20 09:02:37 +0200405 *
406 * \return \c 0 on success.
Ronald Crone13d3082021-06-01 13:35:40 +0200407 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
408 * \p ctx is in an invalid state,
Ronald Cron266694e2021-05-20 09:02:37 +0200409 * total input length too long.
410 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100411int mbedtls_ccm_update_ad(mbedtls_ccm_context *ctx,
412 const unsigned char *ad,
413 size_t ad_len);
Ronald Cron266694e2021-05-20 09:02:37 +0200414
415/**
416 * \brief This function feeds an input buffer into an ongoing CCM
417 * encryption or decryption operation.
418 *
419 * You may call this function zero, one or more times
420 * to pass successive parts of the input: the plaintext to
421 * encrypt, or the ciphertext (not including the tag) to
422 * decrypt. After the last part of the input, call
Ronald Croneabc3af2021-05-26 10:45:30 +0200423 * mbedtls_ccm_finish(). The lengths \p input_len of the
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200424 * data parts should eventually add up exactly to the
425 * plaintext length \c plaintext_len passed to
Ronald Cron7c41cd22021-05-29 17:22:10 +0200426 * mbedtls_ccm_set_lengths().
Ronald Cron266694e2021-05-20 09:02:37 +0200427 *
428 * This function may produce output in one of the following
429 * ways:
430 * - Immediate output: the output length is always equal
431 * to the input length.
Ronald Cronff924792021-05-27 09:51:30 +0200432 * - Buffered output: except for the last part of input data,
Ronald Cron266694e2021-05-20 09:02:37 +0200433 * the output consists of a whole number of 16-byte blocks.
434 * If the total input length so far (not including
435 * associated data) is 16 \* *B* + *A* with *A* < 16 then
436 * the total output length is 16 \* *B*.
Ronald Cron2d40b102021-05-26 10:11:06 +0200437 * For the last part of input data, the output length is
438 * equal to the input length plus the number of bytes (*A*)
439 * buffered in the previous call to the function (if any).
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200440 * The function uses the plaintext length
Ronald Cron7c41cd22021-05-29 17:22:10 +0200441 * \c plaintext_len passed to mbedtls_ccm_set_lengths()
Ronald Cron2d40b102021-05-26 10:11:06 +0200442 * to detect the last part of input data.
Ronald Cron266694e2021-05-20 09:02:37 +0200443 *
444 * In particular:
445 * - It is always correct to call this function with
Ronald Croneabc3af2021-05-26 10:45:30 +0200446 * \p output_size >= \p input_len + 15.
447 * - If \p input_len is a multiple of 16 for all the calls
Ronald Cron266694e2021-05-20 09:02:37 +0200448 * to this function during an operation (not necessary for
449 * the last one) then it is correct to use \p output_size
Ronald Croneabc3af2021-05-26 10:45:30 +0200450 * =\p input_len.
Ronald Cron266694e2021-05-20 09:02:37 +0200451 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200452 * \note This function is not implemented in Mbed TLS yet.
453 *
Ronald Cron86e6c9f2021-05-27 09:30:59 +0200454 * \param ctx The CCM context. This must have been started with
Ronald Cron7c41cd22021-05-29 17:22:10 +0200455 * mbedtls_ccm_starts() and the lengths of the message and
456 * additional data must have been declared with
457 * mbedtls_ccm_set_lengths().
Ronald Croneabc3af2021-05-26 10:45:30 +0200458 * \param input The buffer holding the input data. If \p input_len
Ronald Cron266694e2021-05-20 09:02:37 +0200459 * is greater than zero, this must be a readable buffer
Ronald Croneabc3af2021-05-26 10:45:30 +0200460 * of at least \p input_len bytes.
461 * \param input_len The length of the input data in bytes.
Ronald Cron266694e2021-05-20 09:02:37 +0200462 * \param output The buffer for the output data. If \p output_size
463 * is greater than zero, this must be a writable buffer of
464 * at least \p output_size bytes.
465 * \param output_size The size of the output buffer in bytes.
466 * See the function description regarding the output size.
Ronald Croneabc3af2021-05-26 10:45:30 +0200467 * \param output_len On success, \p *output_len contains the actual
Ronald Cron266694e2021-05-20 09:02:37 +0200468 * length of the output written in \p output.
Ronald Croneabc3af2021-05-26 10:45:30 +0200469 * On failure, the content of \p *output_len is
Ronald Cron266694e2021-05-20 09:02:37 +0200470 * unspecified.
471 *
472 * \return \c 0 on success.
473 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
Ronald Crone13d3082021-06-01 13:35:40 +0200474 * \p ctx is in an invalid state,
Ronald Cron266694e2021-05-20 09:02:37 +0200475 * total input length too long,
Ronald Cron266694e2021-05-20 09:02:37 +0200476 * or \p output_size too small.
477 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100478int mbedtls_ccm_update(mbedtls_ccm_context *ctx,
479 const unsigned char *input, size_t input_len,
480 unsigned char *output, size_t output_size,
481 size_t *output_len);
Ronald Cron266694e2021-05-20 09:02:37 +0200482
483/**
484 * \brief This function finishes the CCM operation and generates
485 * the authentication tag.
486 *
487 * It wraps up the CCM stream, and generates the
488 * tag. The tag can have a maximum length of 16 Bytes.
489 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200490 * \note This function is not implemented in Mbed TLS yet.
491 *
Ronald Cron86e6c9f2021-05-27 09:30:59 +0200492 * \param ctx The CCM context. This must have been started with
Ronald Cron7c41cd22021-05-29 17:22:10 +0200493 * mbedtls_ccm_starts() and the lengths of the message and
494 * additional data must have been declared with
495 * mbedtls_ccm_set_lengths().
Ronald Cron266694e2021-05-20 09:02:37 +0200496 * \param tag The buffer for holding the tag. If \p tag_len is greater
497 * than zero, this must be a writable buffer of at least \p
498 * tag_len Bytes.
Mateusz Starzyk82c48c92021-06-23 12:39:40 +0200499 * \param tag_len The length of the tag. Must match the tag length passed to
500 * mbedtls_ccm_set_lengths() function.
Ronald Cron266694e2021-05-20 09:02:37 +0200501 *
502 * \return \c 0 on success.
503 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
Ronald Crone13d3082021-06-01 13:35:40 +0200504 * \p ctx is in an invalid state,
Ronald Cron9ca25502021-05-26 10:22:06 +0200505 * invalid value of \p tag_len,
506 * the total amount of additional data passed to
507 * mbedtls_ccm_update_ad() was lower than the total length of
Ronald Cron51584c62021-05-27 09:47:15 +0200508 * additional data \c total_ad_len passed to
Ronald Cron7c41cd22021-05-29 17:22:10 +0200509 * mbedtls_ccm_set_lengths(),
Ronald Cron9ca25502021-05-26 10:22:06 +0200510 * the total amount of input data passed to
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200511 * mbedtls_ccm_update() was lower than the plaintext length
Ronald Cron7c41cd22021-05-29 17:22:10 +0200512 * \c plaintext_len passed to mbedtls_ccm_set_lengths().
Ronald Cron266694e2021-05-20 09:02:37 +0200513 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100514int mbedtls_ccm_finish(mbedtls_ccm_context *ctx,
515 unsigned char *tag, size_t tag_len);
Ronald Cron266694e2021-05-20 09:02:37 +0200516
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200517#if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_AES_C)
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200518/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000519 * \brief The CCM checkup routine.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200520 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100521 * \return \c 0 on success.
522 * \return \c 1 on failure.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200523 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100524int mbedtls_ccm_self_test(int verbose);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200525#endif /* MBEDTLS_SELF_TEST && MBEDTLS_AES_C */
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200526
527#ifdef __cplusplus
528}
529#endif
530
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200531#endif /* MBEDTLS_CCM_H */