blob: fccabb0d9734329fd1b934798a9e61eb026d3981 [file] [log] [blame]
Paul Bakker89e80c92012-03-20 13:50:09 +00001/**
2 * \file gcm.h
3 *
Rose Zadikd8c4f612018-03-27 11:43:04 +01004 * \brief This file contains GCM definitions and functions.
5 *
6 * The Galois/Counter Mode (GCM) for 128-bit block ciphers is defined
7 * in <em>D. McGrew, J. Viega, The Galois/Counter Mode of Operation
8 * (GCM), Natl. Inst. Stand. Technol.</em>
Rose Zadik17b4f7f2018-01-26 10:56:42 +00009 *
10 * For more information on GCM, see <em>NIST SP 800-38D: Recommendation for
11 * Block Cipher Modes of Operation: Galois/Counter Mode (GCM) and GMAC</em>.
12 *
Darryl Greena40a1012018-01-05 15:33:17 +000013 */
14/*
Rose Zadik17b4f7f2018-01-26 10:56:42 +000015 * Copyright (C) 2006-2018, Arm Limited (or its affiliates), All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020016 * SPDX-License-Identifier: Apache-2.0
17 *
18 * Licensed under the Apache License, Version 2.0 (the "License"); you may
19 * not use this file except in compliance with the License.
20 * You may obtain a copy of the License at
21 *
22 * http://www.apache.org/licenses/LICENSE-2.0
23 *
24 * Unless required by applicable law or agreed to in writing, software
25 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
26 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
27 * See the License for the specific language governing permissions and
28 * limitations under the License.
Paul Bakker89e80c92012-03-20 13:50:09 +000029 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000030 * This file is part of Mbed TLS (https://tls.mbed.org)
Paul Bakker89e80c92012-03-20 13:50:09 +000031 */
Rose Zadik17b4f7f2018-01-26 10:56:42 +000032
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020033#ifndef MBEDTLS_GCM_H
34#define MBEDTLS_GCM_H
Paul Bakker89e80c92012-03-20 13:50:09 +000035
Paul Bakker43aff2a2013-09-09 00:10:27 +020036#include "cipher.h"
Paul Bakker89e80c92012-03-20 13:50:09 +000037
38#include <stdint.h>
39
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040#define MBEDTLS_GCM_ENCRYPT 1
41#define MBEDTLS_GCM_DECRYPT 0
Paul Bakker89e80c92012-03-20 13:50:09 +000042
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020043#define MBEDTLS_ERR_GCM_AUTH_FAILED -0x0012 /**< Authenticated decryption failed. */
Ron Eldor9924bdc2018-10-04 10:59:13 +030044
45/* MBEDTLS_ERR_GCM_HW_ACCEL_FAILED is deprecated and should not be used. */
Gilles Peskine7ecab3d2018-01-26 17:56:38 +010046#define MBEDTLS_ERR_GCM_HW_ACCEL_FAILED -0x0013 /**< GCM hardware accelerator failed. */
Ron Eldor9924bdc2018-10-04 10:59:13 +030047
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020048#define MBEDTLS_ERR_GCM_BAD_INPUT -0x0014 /**< Bad input parameters to function. */
Paul Bakker89e80c92012-03-20 13:50:09 +000049
Paul Bakker407a0da2013-06-27 14:29:21 +020050#ifdef __cplusplus
51extern "C" {
52#endif
53
Ron Eldor4e6d55d2018-02-07 16:36:15 +020054#if !defined(MBEDTLS_GCM_ALT)
55
Paul Bakker89e80c92012-03-20 13:50:09 +000056/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000057 * \brief The GCM context structure.
Paul Bakker89e80c92012-03-20 13:50:09 +000058 */
Dawid Drozd428cc522018-07-24 10:02:47 +020059typedef struct mbedtls_gcm_context
60{
Rose Zadik17b4f7f2018-01-26 10:56:42 +000061 mbedtls_cipher_context_t cipher_ctx; /*!< The cipher context used. */
62 uint64_t HL[16]; /*!< Precalculated HTable low. */
63 uint64_t HH[16]; /*!< Precalculated HTable high. */
64 uint64_t len; /*!< The total length of the encrypted data. */
65 uint64_t add_len; /*!< The total length of the additional data. */
66 unsigned char base_ectr[16]; /*!< The first ECTR for tag. */
67 unsigned char y[16]; /*!< The Y working value. */
68 unsigned char buf[16]; /*!< The buf working value. */
69 int mode; /*!< The operation to perform:
70 #MBEDTLS_GCM_ENCRYPT or
71 #MBEDTLS_GCM_DECRYPT. */
Paul Bakker89e80c92012-03-20 13:50:09 +000072}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073mbedtls_gcm_context;
Paul Bakker89e80c92012-03-20 13:50:09 +000074
Ron Eldor4e6d55d2018-02-07 16:36:15 +020075#else /* !MBEDTLS_GCM_ALT */
76#include "gcm_alt.h"
77#endif /* !MBEDTLS_GCM_ALT */
78
Paul Bakker89e80c92012-03-20 13:50:09 +000079/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000080 * \brief This function initializes the specified GCM context,
81 * to make references valid, and prepares the context
82 * for mbedtls_gcm_setkey() or mbedtls_gcm_free().
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020083 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000084 * The function does not bind the GCM context to a particular
85 * cipher, nor set the key. For this purpose, use
86 * mbedtls_gcm_setkey().
87 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +010088 * \param ctx The GCM context to initialize. This must not be \c NULL.
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020089 */
90void mbedtls_gcm_init( mbedtls_gcm_context *ctx );
91
92/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000093 * \brief This function associates a GCM context with a
94 * cipher algorithm and a key.
Paul Bakker89e80c92012-03-20 13:50:09 +000095 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +010096 * \param ctx The GCM context. This must be initialized.
Rose Zadik17b4f7f2018-01-26 10:56:42 +000097 * \param cipher The 128-bit block cipher to use.
k-stachowiak8ffc92a2018-12-12 14:21:59 +010098 * \param key The encryption key. This must be a readable buffer of at
99 * least \p keybits bits.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000100 * \param keybits The key size in bits. Valid options are:
101 * <ul><li>128 bits</li>
102 * <li>192 bits</li>
103 * <li>256 bits</li></ul>
Paul Bakker89e80c92012-03-20 13:50:09 +0000104 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100105 * \return \c 0 on success.
106 * \return A cipher-specific error code on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000107 */
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200108int mbedtls_gcm_setkey( mbedtls_gcm_context *ctx,
109 mbedtls_cipher_id_t cipher,
110 const unsigned char *key,
Manuel Pégourié-Gonnardb8186a52015-06-18 14:58:58 +0200111 unsigned int keybits );
Paul Bakker89e80c92012-03-20 13:50:09 +0000112
113/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000114 * \brief This function performs GCM encryption or decryption of a buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000115 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100116 * \note For encryption, the output buffer can be the same as the
117 * input buffer. For decryption, the output buffer cannot be
118 * the same as input buffer. If the buffers overlap, the output
119 * buffer must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000120 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200121 * \warning When this function performs a decryption, it outputs the
122 * authentication tag and does not verify that the data is
123 * authentic. You should use this function to perform encryption
124 * only. For decryption, use mbedtls_gcm_auth_decrypt() instead.
125 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100126 * \param ctx The GCM context to use for encryption or decryption. This
127 * must be initialized.
Gilles Peskine0a0e08a2018-06-07 14:46:02 +0200128 * \param mode The operation to perform:
129 * - #MBEDTLS_GCM_ENCRYPT to perform authenticated encryption.
130 * The ciphertext is written to \p output and the
131 * authentication tag is written to \p tag.
132 * - #MBEDTLS_GCM_DECRYPT to perform decryption.
133 * The plaintext is written to \p output and the
134 * authentication tag is written to \p tag.
135 * Note that this mode is not recommended, because it does
136 * not verify the authenticity of the data. For this reason,
137 * you should use mbedtls_gcm_auth_decrypt() instead of
138 * calling this function in decryption mode.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200139 * \param length The length of the input data, which is equal to the length
140 * of the output data.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100141 * \param iv The initialization vector. This must be a readable buffer of
142 * at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000143 * \param iv_len The length of the IV.
k-stachowiak6009ece2018-12-19 13:24:29 +0100144 * \param add The buffer holding the additional data. This must be of at
145 * least that size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000146 * \param add_len The length of the additional data.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100147 * \param input The buffer holding the input data. If \p length is greater
148 * than zero, this must be a readable buffer of at least that
149 * size in Bytes.
150 * \param output The buffer for holding the output data. If \p length is greater
151 * than zero, this must be a writable buffer of at least that
152 * size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000153 * \param tag_len The length of the tag to generate.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100154 * \param tag The buffer for holding the tag. This must be a readable
155 * buffer of at least \p tag_len Bytes.
Paul Bakker89e80c92012-03-20 13:50:09 +0000156 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200157 * \return \c 0 if the encryption or decryption was performed
158 * successfully. Note that in #MBEDTLS_GCM_DECRYPT mode,
159 * this does not indicate that the data is authentic.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100160 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths or pointers are
161 * not valid or a cipher-specific error code if the encryption
Ron Eldor9924bdc2018-10-04 10:59:13 +0300162 * or decryption failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000163 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200164int mbedtls_gcm_crypt_and_tag( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000165 int mode,
166 size_t length,
167 const unsigned char *iv,
168 size_t iv_len,
169 const unsigned char *add,
170 size_t add_len,
171 const unsigned char *input,
172 unsigned char *output,
173 size_t tag_len,
174 unsigned char *tag );
175
176/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000177 * \brief This function performs a GCM authenticated decryption of a
178 * buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000179 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100180 * \note For decryption, the output buffer cannot be the same as
181 * input buffer. If the buffers overlap, the output buffer
182 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000183 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100184 * \param ctx The GCM context. This must be initialized.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200185 * \param length The length of the ciphertext to decrypt, which is also
186 * the length of the decrypted plaintext.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100187 * \param iv The initialization vector. This must be a readable buffer
188 * of at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000189 * \param iv_len The length of the IV.
k-stachowiak6009ece2018-12-19 13:24:29 +0100190 * \param add The buffer holding the additional data. This must be of at
191 * least that size in Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000192 * \param add_len The length of the additional data.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100193 * \param tag The buffer holding the tag to verify. This must be a
194 * readable buffer of at least \p tag_len Bytes.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200195 * \param tag_len The length of the tag to verify.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100196 * \param input The buffer holding the ciphertext. If \p length is greater
197 * than zero, this must be a readable buffer of at least that
198 * size.
199 * \param output The buffer for holding the decrypted plaintext. If \p length
200 * is greater than zero, this must be a writable buffer of at
201 * least that size.
Paul Bakker89e80c92012-03-20 13:50:09 +0000202 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200203 * \return \c 0 if successful and authenticated.
204 * \return #MBEDTLS_ERR_GCM_AUTH_FAILED if the tag does not match.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100205 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths or pointers are
206 * not valid or a cipher-specific error code if the decryption
207 * failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000208 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200209int mbedtls_gcm_auth_decrypt( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000210 size_t length,
211 const unsigned char *iv,
212 size_t iv_len,
213 const unsigned char *add,
214 size_t add_len,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200215 const unsigned char *tag,
Paul Bakker89e80c92012-03-20 13:50:09 +0000216 size_t tag_len,
217 const unsigned char *input,
218 unsigned char *output );
219
220/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000221 * \brief This function starts a GCM encryption or decryption
222 * operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200223 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100224 * \param ctx The GCM context. This must be initialized.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000225 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
226 * #MBEDTLS_GCM_DECRYPT.
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100227 * \param iv The initialization vector. This must be a readable buffer of
228 * at least \p iv_len Bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000229 * \param iv_len The length of the IV.
k-stachowiak2ae7ae52018-12-13 14:48:30 +0100230 * \param add The buffer holding the additional data, or \c NULL
231 * if \p add_len is \c 0.
232 * \param add_len The length of the additional data. If \c 0,
233 * \p add may be \c NULL.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200234 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100235 * \return \c 0 on success.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200236 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200237int mbedtls_gcm_starts( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200238 int mode,
239 const unsigned char *iv,
240 size_t iv_len,
241 const unsigned char *add,
242 size_t add_len );
243
244/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000245 * \brief This function feeds an input buffer into an ongoing GCM
246 * encryption or decryption operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200247 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000248 * ` The function expects input to be a multiple of 16
249 * Bytes. Only the last call before calling
250 * mbedtls_gcm_finish() can be less than 16 Bytes.
251 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100252 * \note For decryption, the output buffer cannot be the same as
253 * input buffer. If the buffers overlap, the output buffer
254 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200255 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100256 * \param ctx The GCM context. This must be initialized.
Rose Zadikd8c4f612018-03-27 11:43:04 +0100257 * \param length The length of the input data. This must be a multiple of
258 * 16 except in the last call before mbedtls_gcm_finish().
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100259 * \param input The buffer holding the input data. If \p length is greater
260 * than zero, this must be a readable buffer of at least that
261 * size in Bytes.
262 * \param output The buffer for holding the output data. If \p length is
263 * greater than zero, this must be a writable buffer of at
264 * least that size in Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200265 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100266 * \return \c 0 on success.
267 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200268 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200269int mbedtls_gcm_update( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200270 size_t length,
271 const unsigned char *input,
272 unsigned char *output );
273
274/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000275 * \brief This function finishes the GCM operation and generates
276 * the authentication tag.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200277 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000278 * It wraps up the GCM stream, and generates the
279 * tag. The tag can have a maximum length of 16 Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200280 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100281 * \param ctx The GCM context. This must be initialized.
282 * \param tag The buffer for holding the tag. This must be a readable
283 * buffer of at least \p tag_len Bytes.
284 * \param tag_len The length of the tag to generate. This must be at least
285 * four.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000286 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100287 * \return \c 0 on success.
288 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200289 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200290int mbedtls_gcm_finish( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200291 unsigned char *tag,
292 size_t tag_len );
293
294/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000295 * \brief This function clears a GCM context and the underlying
296 * cipher sub-context.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200297 *
k-stachowiak8ffc92a2018-12-12 14:21:59 +0100298 * \param ctx The GCM context to clear. If this is \c NULL, the call has
k-stachowiak21298a22018-12-13 17:11:58 +0100299 * no effect. Otherwise, this must be initialized.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200300 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200301void mbedtls_gcm_free( mbedtls_gcm_context *ctx );
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200302
303/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000304 * \brief The GCM checkup routine.
Paul Bakker89e80c92012-03-20 13:50:09 +0000305 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100306 * \return \c 0 on success.
307 * \return \c 1 on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000308 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200309int mbedtls_gcm_self_test( int verbose );
Paul Bakker89e80c92012-03-20 13:50:09 +0000310
311#ifdef __cplusplus
312}
313#endif
314
Jaeden Amero15263302017-09-21 12:53:48 +0100315
Paul Bakker89e80c92012-03-20 13:50:09 +0000316#endif /* gcm.h */