blob: a98111b4ebb09e69c61f12c2c9576331fcd2eaf8 [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
Dave Rodgman16799db2023-11-02 19:47:20 +000032 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020033 */
Rose Zadikeecdbea2018-01-24 12:56:53 +000034
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020035#ifndef MBEDTLS_CCM_H
36#define MBEDTLS_CCM_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020037#include "mbedtls/private_access.h"
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020038
Bence Szépkútic662b362021-05-27 11:25:03 +020039#include "mbedtls/build_info.h"
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050040
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010041#include "mbedtls/cipher.h"
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020042
Ronald Cron266694e2021-05-20 09:02:37 +020043#define MBEDTLS_CCM_DECRYPT 0
44#define MBEDTLS_CCM_ENCRYPT 1
45#define MBEDTLS_CCM_STAR_DECRYPT 2
46#define MBEDTLS_CCM_STAR_ENCRYPT 3
47
Gilles Peskined2971572021-07-26 18:48:10 +020048/** Bad input parameters to the function. */
49#define MBEDTLS_ERR_CCM_BAD_INPUT -0x000D
50/** Authenticated decryption failed. */
51#define MBEDTLS_ERR_CCM_AUTH_FAILED -0x000F
Ron Eldor9924bdc2018-10-04 10:59:13 +030052
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +020053#ifdef __cplusplus
54extern "C" {
55#endif
56
Ron Eldor4e6d55d2018-02-07 16:36:15 +020057#if !defined(MBEDTLS_CCM_ALT)
58// Regular implementation
59//
60
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020061/**
Rose Zadikeecdbea2018-01-24 12:56:53 +000062 * \brief The CCM context-type definition. The CCM context is passed
63 * to the APIs called.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020064 */
Gilles Peskine449bd832023-01-11 14:50:10 +010065typedef struct mbedtls_ccm_context {
Mateusz Starzyk89d469c2021-06-22 16:24:28 +020066 unsigned char MBEDTLS_PRIVATE(y)[16]; /*!< The Y working buffer */
67 unsigned char MBEDTLS_PRIVATE(ctr)[16]; /*!< The counter buffer */
Mateusz Starzykeb2ca962021-07-06 12:45:11 +020068 size_t MBEDTLS_PRIVATE(plaintext_len); /*!< Total plaintext length */
69 size_t MBEDTLS_PRIVATE(add_len); /*!< Total authentication data length */
70 size_t MBEDTLS_PRIVATE(tag_len); /*!< Total tag length */
Mateusz Starzyka42f9532021-08-09 16:00:24 +020071 size_t MBEDTLS_PRIVATE(processed); /*!< Track how many bytes of input data
72 were processed (chunked input).
Mateusz Starzyke40ae6b2021-09-01 12:47:49 +020073 Used independently for both auth data
Mateusz Starzyka42f9532021-08-09 16:00:24 +020074 and plaintext/ciphertext.
75 This variable is set to zero after
76 auth data input is finished. */
Dave Rodgmanf4efd192023-08-16 19:54:41 +010077 unsigned int MBEDTLS_PRIVATE(q); /*!< The Q working value */
78 unsigned int MBEDTLS_PRIVATE(mode); /*!< The operation to perform:
Gilles Peskine449bd832023-01-11 14:50:10 +010079 #MBEDTLS_CCM_ENCRYPT or
80 #MBEDTLS_CCM_DECRYPT or
81 #MBEDTLS_CCM_STAR_ENCRYPT or
82 #MBEDTLS_CCM_STAR_DECRYPT. */
Dave Rodgmanf4efd192023-08-16 19:54:41 +010083 mbedtls_cipher_context_t MBEDTLS_PRIVATE(cipher_ctx); /*!< The cipher context used. */
Dave Rodgmand3450da2023-09-11 18:24:40 +010084 int MBEDTLS_PRIVATE(state); /*!< Working value holding context's
85 state. Used for chunked data input */
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020086}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020087mbedtls_ccm_context;
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020088
Ron Eldor4e6d55d2018-02-07 16:36:15 +020089#else /* MBEDTLS_CCM_ALT */
90#include "ccm_alt.h"
91#endif /* MBEDTLS_CCM_ALT */
92
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +020093/**
Rose Zadikeecdbea2018-01-24 12:56:53 +000094 * \brief This function initializes the specified CCM context,
95 * to make references valid, and prepare the context
96 * for mbedtls_ccm_setkey() or mbedtls_ccm_free().
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020097 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050098 * \param ctx The CCM context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +020099 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100100void mbedtls_ccm_init(mbedtls_ccm_context *ctx);
Manuel Pégourié-Gonnard6963ff02015-04-28 18:02:54 +0200101
102/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000103 * \brief This function initializes the CCM context set in the
104 * \p ctx parameter and sets the encryption key.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200105 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500106 * \param ctx The CCM context to initialize. This must be an initialized
107 * context.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000108 * \param cipher The 128-bit block cipher to use.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500109 * \param key The encryption key. This must not be \c NULL.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000110 * \param keybits The key size in bits. This must be acceptable by the cipher.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200111 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100112 * \return \c 0 on success.
Rose Zadikef871792018-04-17 10:41:48 +0100113 * \return A CCM or cipher-specific error code on failure.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200114 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100115int mbedtls_ccm_setkey(mbedtls_ccm_context *ctx,
116 mbedtls_cipher_id_t cipher,
117 const unsigned char *key,
118 unsigned int keybits);
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200119
120/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000121 * \brief This function releases and clears the specified CCM context
122 * and underlying cipher sub-context.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200123 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500124 * \param ctx The CCM context to clear. If this is \c NULL, the function
125 * has no effect. Otherwise, this must be initialized.
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200126 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100127void mbedtls_ccm_free(mbedtls_ccm_context *ctx);
Manuel Pégourié-Gonnard9fe0d132014-05-06 12:12:45 +0200128
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200129/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000130 * \brief This function encrypts a buffer using CCM.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200131 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100132 * \note The tag is written to a separate buffer. To concatenate
133 * the \p tag with the \p output, as done in <em>RFC-3610:
134 * Counter with CBC-MAC (CCM)</em>, use
135 * \p tag = \p output + \p length, and make sure that the
136 * output buffer is at least \p length + \p tag_len wide.
137 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500138 * \param ctx The CCM context to use for encryption. This must be
139 * initialized and bound to a key.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000140 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500141 * \param iv The initialization vector (nonce). This must be a readable
142 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100143 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
144 * or 13. The length L of the message length field is
145 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200146 * \param ad The additional data field. If \p ad_len is greater than
147 * zero, \p ad must be a readable buffer of at least that
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500148 * length.
Ronald Cron51584c62021-05-27 09:47:15 +0200149 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500150 * This must be less than `2^16 - 2^8`.
151 * \param input The buffer holding the input data. If \p length is greater
152 * than zero, \p input must be a readable buffer of at least
153 * that length.
154 * \param output The buffer holding the output data. If \p length is greater
155 * than zero, \p output must be a writable buffer of at least
156 * that length.
157 * \param tag The buffer holding the authentication field. This must be a
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300158 * writable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100159 * \param tag_len The length of the authentication field to generate in Bytes:
Mathieu Briandffb6efd2018-02-07 10:29:27 +0100160 * 4, 6, 8, 10, 12, 14 or 16.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200161 *
Rose Zadikeecdbea2018-01-24 12:56:53 +0000162 * \return \c 0 on success.
Rose Zadikef871792018-04-17 10:41:48 +0100163 * \return A CCM or cipher-specific error code on failure.
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200164 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100165int mbedtls_ccm_encrypt_and_tag(mbedtls_ccm_context *ctx, size_t length,
166 const unsigned char *iv, size_t iv_len,
167 const unsigned char *ad, size_t ad_len,
168 const unsigned char *input, unsigned char *output,
169 unsigned char *tag, size_t tag_len);
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200170
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200171/**
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100172 * \brief This function encrypts a buffer using CCM*.
173 *
174 * \note The tag is written to a separate buffer. To concatenate
175 * the \p tag with the \p output, as done in <em>RFC-3610:
176 * Counter with CBC-MAC (CCM)</em>, use
177 * \p tag = \p output + \p length, and make sure that the
178 * output buffer is at least \p length + \p tag_len wide.
179 *
180 * \note When using this function in a variable tag length context,
181 * the tag length has to be encoded into the \p iv passed to
182 * this function.
183 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500184 * \param ctx The CCM context to use for encryption. This must be
185 * initialized and bound to a key.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100186 * \param length The length of the input data in Bytes.
Mateusz Starzykbb2ced32021-10-13 13:37:30 +0200187 * For tag length = 0, input length is ignored.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500188 * \param iv The initialization vector (nonce). This must be a readable
189 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100190 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
191 * or 13. The length L of the message length field is
192 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200193 * \param ad The additional data field. This must be a readable buffer of
194 * at least \p ad_len Bytes.
195 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500196 * This must be less than 2^16 - 2^8.
197 * \param input The buffer holding the input data. If \p length is greater
198 * than zero, \p input must be a readable buffer of at least
199 * that length.
200 * \param output The buffer holding the output data. If \p length is greater
201 * than zero, \p output must be a writable buffer of at least
202 * that length.
203 * \param tag The buffer holding the authentication field. This must be a
Yonatan Goldschmidt6e2af092020-09-12 00:19:52 +0300204 * writable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100205 * \param tag_len The length of the authentication field to generate in Bytes:
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100206 * 0, 4, 6, 8, 10, 12, 14 or 16.
207 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500208 * \warning Passing \c 0 as \p tag_len means that the message is no
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100209 * longer authenticated.
210 *
211 * \return \c 0 on success.
212 * \return A CCM or cipher-specific error code on failure.
213 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100214int mbedtls_ccm_star_encrypt_and_tag(mbedtls_ccm_context *ctx, size_t length,
215 const unsigned char *iv, size_t iv_len,
216 const unsigned char *ad, size_t ad_len,
217 const unsigned char *input, unsigned char *output,
218 unsigned char *tag, size_t tag_len);
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100219
220/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000221 * \brief This function performs a CCM authenticated decryption of a
222 * buffer.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200223 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500224 * \param ctx The CCM context to use for decryption. This must be
225 * initialized and bound to a key.
Rose Zadikeecdbea2018-01-24 12:56:53 +0000226 * \param length The length of the input data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500227 * \param iv The initialization vector (nonce). This must be a readable
228 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100229 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
230 * or 13. The length L of the message length field is
231 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200232 * \param ad The additional data field. This must be a readable buffer
233 * of at least that \p ad_len Bytes..
234 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500235 * This must be less than 2^16 - 2^8.
236 * \param input The buffer holding the input data. If \p length is greater
237 * than zero, \p input must be a readable buffer of at least
238 * that length.
239 * \param output The buffer holding the output data. If \p length is greater
240 * than zero, \p output must be a writable buffer of at least
241 * that length.
242 * \param tag The buffer holding the authentication field. This must be a
243 * readable buffer of at least \p tag_len Bytes.
244 * \param tag_len The length of the authentication field to generate in Bytes:
Mathieu Briandffb6efd2018-02-07 10:29:27 +0100245 * 4, 6, 8, 10, 12, 14 or 16.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200246 *
Rose Zadik379b95c2018-04-17 16:43:00 +0100247 * \return \c 0 on success. This indicates that the message is authentic.
248 * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match.
249 * \return A cipher-specific error code on calculation failure.
Manuel Pégourié-Gonnard00232332014-05-06 15:56:07 +0200250 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100251int mbedtls_ccm_auth_decrypt(mbedtls_ccm_context *ctx, size_t length,
252 const unsigned char *iv, size_t iv_len,
253 const unsigned char *ad, size_t ad_len,
254 const unsigned char *input, unsigned char *output,
255 const unsigned char *tag, size_t tag_len);
Manuel Pégourié-Gonnard637eb3d2014-05-06 12:13:09 +0200256
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100257/**
258 * \brief This function performs a CCM* authenticated decryption of a
259 * buffer.
260 *
261 * \note When using this function in a variable tag length context,
262 * the tag length has to be decoded from \p iv and passed to
263 * this function as \p tag_len. (\p tag needs to be adjusted
264 * accordingly.)
265 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500266 * \param ctx The CCM context to use for decryption. This must be
267 * initialized and bound to a key.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100268 * \param length The length of the input data in Bytes.
Mateusz Starzykbb2ced32021-10-13 13:37:30 +0200269 * For tag length = 0, input length is ignored.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500270 * \param iv The initialization vector (nonce). This must be a readable
271 * buffer of at least \p iv_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100272 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
273 * or 13. The length L of the message length field is
274 * 15 - \p iv_len.
Ronald Cron51584c62021-05-27 09:47:15 +0200275 * \param ad The additional data field. This must be a readable buffer of
276 * at least that \p ad_len Bytes.
277 * \param ad_len The length of additional data in Bytes.
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500278 * This must be less than 2^16 - 2^8.
279 * \param input The buffer holding the input data. If \p length is greater
280 * than zero, \p input must be a readable buffer of at least
281 * that length.
282 * \param output The buffer holding the output data. If \p length is greater
283 * than zero, \p output must be a writable buffer of at least
284 * that length.
285 * \param tag The buffer holding the authentication field. This must be a
286 * readable buffer of at least \p tag_len Bytes.
Janos Follath6b4bd3d2018-05-29 11:30:26 +0100287 * \param tag_len The length of the authentication field in Bytes.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100288 * 0, 4, 6, 8, 10, 12, 14 or 16.
289 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500290 * \warning Passing \c 0 as \p tag_len means that the message is nos
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100291 * longer authenticated.
292 *
Janos Follath143b3192018-05-30 13:57:29 +0100293 * \return \c 0 on success.
Janos Follath5dc8cfa2018-04-27 14:45:49 +0100294 * \return #MBEDTLS_ERR_CCM_AUTH_FAILED if the tag does not match.
295 * \return A cipher-specific error code on calculation failure.
296 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100297int mbedtls_ccm_star_auth_decrypt(mbedtls_ccm_context *ctx, size_t length,
298 const unsigned char *iv, size_t iv_len,
299 const unsigned char *ad, size_t ad_len,
300 const unsigned char *input, unsigned char *output,
301 const unsigned char *tag, size_t tag_len);
Steven Cooreman222e2ff2017-04-04 11:37:15 +0200302
Ronald Cron266694e2021-05-20 09:02:37 +0200303/**
304 * \brief This function starts a CCM encryption or decryption
305 * operation.
306 *
Ronald Cron542957d2021-06-01 09:22:05 +0200307 * This function and mbedtls_ccm_set_lengths() must be called
308 * before calling mbedtls_ccm_update_ad() or
309 * mbedtls_ccm_update(). This function can be called before
310 * or after mbedtls_ccm_set_lengths().
311 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200312 * \note This function is not implemented in Mbed TLS yet.
313 *
Ronald Cron266694e2021-05-20 09:02:37 +0200314 * \param ctx The CCM context. This must be initialized.
315 * \param mode The operation to perform: #MBEDTLS_CCM_ENCRYPT or
316 * #MBEDTLS_CCM_DECRYPT or #MBEDTLS_CCM_STAR_ENCRYPT or
317 * #MBEDTLS_CCM_STAR_DECRYPT.
Ronald Cron5905f912021-05-26 09:46:09 +0200318 * \param iv The initialization vector. This must be a readable buffer
319 * of at least \p iv_len Bytes.
Ronald Cron0cc60f92021-05-27 09:01:25 +0200320 * \param iv_len The length of the nonce in Bytes: 7, 8, 9, 10, 11, 12,
321 * or 13. The length L of the message length field is
322 * 15 - \p iv_len.
Ronald Cron7c41cd22021-05-29 17:22:10 +0200323 *
324 * \return \c 0 on success.
Ronald Crone13d3082021-06-01 13:35:40 +0200325 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
326 * \p ctx is in an invalid state,
Ronald Cron7c41cd22021-05-29 17:22:10 +0200327 * \p mode is invalid,
328 * \p iv_len is invalid (lower than \c 7 or greater than
329 * \c 13).
330 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100331int mbedtls_ccm_starts(mbedtls_ccm_context *ctx,
332 int mode,
333 const unsigned char *iv,
334 size_t iv_len);
Ronald Cron7c41cd22021-05-29 17:22:10 +0200335
336/**
337 * \brief This function declares the lengths of the message
338 * and additional data for a CCM encryption or decryption
339 * operation.
340 *
Ronald Cron542957d2021-06-01 09:22:05 +0200341 * This function and mbedtls_ccm_starts() must be called
342 * before calling mbedtls_ccm_update_ad() or
343 * mbedtls_ccm_update(). This function can be called before
344 * or after mbedtls_ccm_starts().
345 *
Ronald Cron7c41cd22021-05-29 17:22:10 +0200346 * \note This function is not implemented in Mbed TLS yet.
347 *
348 * \param ctx The CCM context. This must be initialized.
Ronald Cron51584c62021-05-27 09:47:15 +0200349 * \param total_ad_len The total length of additional data in bytes.
Ronald Cron0cc60f92021-05-27 09:01:25 +0200350 * This must be less than `2^16 - 2^8`.
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200351 * \param plaintext_len The length in bytes of the plaintext to encrypt or
352 * result of the decryption (thus not encompassing the
353 * additional data that are not encrypted).
Mateusz Starzyk98d45b92021-06-23 10:45:14 +0200354 * \param tag_len The length of the tag to generate in Bytes:
355 * 4, 6, 8, 10, 12, 14 or 16.
356 * For CCM*, zero is also valid.
Ronald Cron266694e2021-05-20 09:02:37 +0200357 *
358 * \return \c 0 on success.
Ronald Crone13d3082021-06-01 13:35:40 +0200359 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
360 * \p ctx is in an invalid state,
Ronald Cron51584c62021-05-27 09:47:15 +0200361 * \p total_ad_len is greater than \c 0xFF00.
Ronald Cron266694e2021-05-20 09:02:37 +0200362 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100363int mbedtls_ccm_set_lengths(mbedtls_ccm_context *ctx,
364 size_t total_ad_len,
365 size_t plaintext_len,
366 size_t tag_len);
Ronald Cron266694e2021-05-20 09:02:37 +0200367
368/**
369 * \brief This function feeds an input buffer as associated data
370 * (authenticated but not encrypted data) in a CCM
371 * encryption or decryption operation.
372 *
Ronald Crond1a29a92021-05-26 09:49:11 +0200373 * You may call this function zero, one or more times
374 * to pass successive parts of the additional data. The
Ronald Cron51584c62021-05-27 09:47:15 +0200375 * lengths \p ad_len of the data parts should eventually add
Ronald Crond1a29a92021-05-26 09:49:11 +0200376 * up exactly to the total length of additional data
Ronald Cron7c41cd22021-05-29 17:22:10 +0200377 * \c total_ad_len passed to mbedtls_ccm_set_lengths(). You
378 * may not call this function after calling
379 * mbedtls_ccm_update().
Ronald Cron266694e2021-05-20 09:02:37 +0200380 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200381 * \note This function is not implemented in Mbed TLS yet.
382 *
Ronald Cron266694e2021-05-20 09:02:37 +0200383 * \param ctx The CCM context. This must have been started with
Ronald Cron7c41cd22021-05-29 17:22:10 +0200384 * mbedtls_ccm_starts(), the lengths of the message and
385 * additional data must have been declared with
386 * mbedtls_ccm_set_lengths() and this must not have yet
387 * received any input with mbedtls_ccm_update().
Ronald Cron51584c62021-05-27 09:47:15 +0200388 * \param ad The buffer holding the additional data, or \c NULL
389 * if \p ad_len is \c 0.
390 * \param ad_len The length of the additional data. If \c 0,
391 * \p ad may be \c NULL.
Ronald Cron266694e2021-05-20 09:02:37 +0200392 *
393 * \return \c 0 on success.
Ronald Crone13d3082021-06-01 13:35:40 +0200394 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
395 * \p ctx is in an invalid state,
Ronald Cron266694e2021-05-20 09:02:37 +0200396 * total input length too long.
397 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100398int mbedtls_ccm_update_ad(mbedtls_ccm_context *ctx,
399 const unsigned char *ad,
400 size_t ad_len);
Ronald Cron266694e2021-05-20 09:02:37 +0200401
402/**
403 * \brief This function feeds an input buffer into an ongoing CCM
404 * encryption or decryption operation.
405 *
406 * You may call this function zero, one or more times
407 * to pass successive parts of the input: the plaintext to
408 * encrypt, or the ciphertext (not including the tag) to
409 * decrypt. After the last part of the input, call
Ronald Croneabc3af2021-05-26 10:45:30 +0200410 * mbedtls_ccm_finish(). The lengths \p input_len of the
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200411 * data parts should eventually add up exactly to the
412 * plaintext length \c plaintext_len passed to
Ronald Cron7c41cd22021-05-29 17:22:10 +0200413 * mbedtls_ccm_set_lengths().
Ronald Cron266694e2021-05-20 09:02:37 +0200414 *
415 * This function may produce output in one of the following
416 * ways:
417 * - Immediate output: the output length is always equal
418 * to the input length.
Ronald Cronff924792021-05-27 09:51:30 +0200419 * - Buffered output: except for the last part of input data,
Ronald Cron266694e2021-05-20 09:02:37 +0200420 * the output consists of a whole number of 16-byte blocks.
421 * If the total input length so far (not including
422 * associated data) is 16 \* *B* + *A* with *A* < 16 then
423 * the total output length is 16 \* *B*.
Ronald Cron2d40b102021-05-26 10:11:06 +0200424 * For the last part of input data, the output length is
425 * equal to the input length plus the number of bytes (*A*)
426 * buffered in the previous call to the function (if any).
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200427 * The function uses the plaintext length
Ronald Cron7c41cd22021-05-29 17:22:10 +0200428 * \c plaintext_len passed to mbedtls_ccm_set_lengths()
Ronald Cron2d40b102021-05-26 10:11:06 +0200429 * to detect the last part of input data.
Ronald Cron266694e2021-05-20 09:02:37 +0200430 *
431 * In particular:
432 * - It is always correct to call this function with
Ronald Croneabc3af2021-05-26 10:45:30 +0200433 * \p output_size >= \p input_len + 15.
434 * - If \p input_len is a multiple of 16 for all the calls
Ronald Cron266694e2021-05-20 09:02:37 +0200435 * to this function during an operation (not necessary for
436 * the last one) then it is correct to use \p output_size
Ronald Croneabc3af2021-05-26 10:45:30 +0200437 * =\p input_len.
Ronald Cron266694e2021-05-20 09:02:37 +0200438 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200439 * \note This function is not implemented in Mbed TLS yet.
440 *
Ronald Cron86e6c9f2021-05-27 09:30:59 +0200441 * \param ctx The CCM context. This must have been started with
Ronald Cron7c41cd22021-05-29 17:22:10 +0200442 * mbedtls_ccm_starts() and the lengths of the message and
443 * additional data must have been declared with
444 * mbedtls_ccm_set_lengths().
Ronald Croneabc3af2021-05-26 10:45:30 +0200445 * \param input The buffer holding the input data. If \p input_len
Ronald Cron266694e2021-05-20 09:02:37 +0200446 * is greater than zero, this must be a readable buffer
Ronald Croneabc3af2021-05-26 10:45:30 +0200447 * of at least \p input_len bytes.
448 * \param input_len The length of the input data in bytes.
Ronald Cron266694e2021-05-20 09:02:37 +0200449 * \param output The buffer for the output data. If \p output_size
450 * is greater than zero, this must be a writable buffer of
451 * at least \p output_size bytes.
452 * \param output_size The size of the output buffer in bytes.
453 * See the function description regarding the output size.
Ronald Croneabc3af2021-05-26 10:45:30 +0200454 * \param output_len On success, \p *output_len contains the actual
Ronald Cron266694e2021-05-20 09:02:37 +0200455 * length of the output written in \p output.
Ronald Croneabc3af2021-05-26 10:45:30 +0200456 * On failure, the content of \p *output_len is
Ronald Cron266694e2021-05-20 09:02:37 +0200457 * unspecified.
458 *
459 * \return \c 0 on success.
460 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
Ronald Crone13d3082021-06-01 13:35:40 +0200461 * \p ctx is in an invalid state,
Ronald Cron266694e2021-05-20 09:02:37 +0200462 * total input length too long,
Ronald Cron266694e2021-05-20 09:02:37 +0200463 * or \p output_size too small.
464 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100465int mbedtls_ccm_update(mbedtls_ccm_context *ctx,
466 const unsigned char *input, size_t input_len,
467 unsigned char *output, size_t output_size,
468 size_t *output_len);
Ronald Cron266694e2021-05-20 09:02:37 +0200469
470/**
471 * \brief This function finishes the CCM operation and generates
472 * the authentication tag.
473 *
474 * It wraps up the CCM stream, and generates the
475 * tag. The tag can have a maximum length of 16 Bytes.
476 *
Ronald Cron4c2a3792021-05-26 10:37:45 +0200477 * \note This function is not implemented in Mbed TLS yet.
478 *
Ronald Cron86e6c9f2021-05-27 09:30:59 +0200479 * \param ctx The CCM context. This must have been started with
Ronald Cron7c41cd22021-05-29 17:22:10 +0200480 * mbedtls_ccm_starts() and the lengths of the message and
481 * additional data must have been declared with
482 * mbedtls_ccm_set_lengths().
Ronald Cron266694e2021-05-20 09:02:37 +0200483 * \param tag The buffer for holding the tag. If \p tag_len is greater
484 * than zero, this must be a writable buffer of at least \p
485 * tag_len Bytes.
Mateusz Starzyk82c48c92021-06-23 12:39:40 +0200486 * \param tag_len The length of the tag. Must match the tag length passed to
487 * mbedtls_ccm_set_lengths() function.
Ronald Cron266694e2021-05-20 09:02:37 +0200488 *
489 * \return \c 0 on success.
490 * \return #MBEDTLS_ERR_CCM_BAD_INPUT on failure:
Ronald Crone13d3082021-06-01 13:35:40 +0200491 * \p ctx is in an invalid state,
Ronald Cron9ca25502021-05-26 10:22:06 +0200492 * invalid value of \p tag_len,
493 * the total amount of additional data passed to
494 * mbedtls_ccm_update_ad() was lower than the total length of
Ronald Cron51584c62021-05-27 09:47:15 +0200495 * additional data \c total_ad_len passed to
Ronald Cron7c41cd22021-05-29 17:22:10 +0200496 * mbedtls_ccm_set_lengths(),
Ronald Cron9ca25502021-05-26 10:22:06 +0200497 * the total amount of input data passed to
Ronald Cronc0cc7ba2021-05-27 08:47:09 +0200498 * mbedtls_ccm_update() was lower than the plaintext length
Ronald Cron7c41cd22021-05-29 17:22:10 +0200499 * \c plaintext_len passed to mbedtls_ccm_set_lengths().
Ronald Cron266694e2021-05-20 09:02:37 +0200500 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100501int mbedtls_ccm_finish(mbedtls_ccm_context *ctx,
502 unsigned char *tag, size_t tag_len);
Ronald Cron266694e2021-05-20 09:02:37 +0200503
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200504#if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_AES_C)
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200505/**
Rose Zadikeecdbea2018-01-24 12:56:53 +0000506 * \brief The CCM checkup routine.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200507 *
Rose Zadik4ee9d242018-03-26 17:18:44 +0100508 * \return \c 0 on success.
509 * \return \c 1 on failure.
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200510 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100511int mbedtls_ccm_self_test(int verbose);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200512#endif /* MBEDTLS_SELF_TEST && MBEDTLS_AES_C */
Manuel Pégourié-Gonnarda6916fa2014-05-02 15:17:29 +0200513
514#ifdef __cplusplus
515}
516#endif
517
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200518#endif /* MBEDTLS_CCM_H */