blob: 16092fa25e0ed8a5a981521d79258e30e8905cc9 [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
Ron Eldor8b0cf2e2018-02-14 16:02:41 +020036#if !defined(MBEDTLS_CONFIG_FILE)
37#include "config.h"
38#else
39#include MBEDTLS_CONFIG_FILE
40#endif
41
Paul Bakker43aff2a2013-09-09 00:10:27 +020042#include "cipher.h"
Paul Bakker89e80c92012-03-20 13:50:09 +000043
44#include <stdint.h>
45
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020046#define MBEDTLS_GCM_ENCRYPT 1
47#define MBEDTLS_GCM_DECRYPT 0
Paul Bakker89e80c92012-03-20 13:50:09 +000048
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020049#define MBEDTLS_ERR_GCM_AUTH_FAILED -0x0012 /**< Authenticated decryption failed. */
Ron Eldor9924bdc2018-10-04 10:59:13 +030050
51/* MBEDTLS_ERR_GCM_HW_ACCEL_FAILED is deprecated and should not be used. */
Gilles Peskine7ecab3d2018-01-26 17:56:38 +010052#define MBEDTLS_ERR_GCM_HW_ACCEL_FAILED -0x0013 /**< GCM hardware accelerator failed. */
Ron Eldor9924bdc2018-10-04 10:59:13 +030053
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054#define MBEDTLS_ERR_GCM_BAD_INPUT -0x0014 /**< Bad input parameters to function. */
Paul Bakker89e80c92012-03-20 13:50:09 +000055
Paul Bakker407a0da2013-06-27 14:29:21 +020056#ifdef __cplusplus
57extern "C" {
58#endif
59
Ron Eldor4e6d55d2018-02-07 16:36:15 +020060#if !defined(MBEDTLS_GCM_ALT)
61
Paul Bakker89e80c92012-03-20 13:50:09 +000062/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000063 * \brief The GCM context structure.
Paul Bakker89e80c92012-03-20 13:50:09 +000064 */
Dawid Drozd428cc522018-07-24 10:02:47 +020065typedef struct mbedtls_gcm_context
66{
Rose Zadik17b4f7f2018-01-26 10:56:42 +000067 mbedtls_cipher_context_t cipher_ctx; /*!< The cipher context used. */
68 uint64_t HL[16]; /*!< Precalculated HTable low. */
69 uint64_t HH[16]; /*!< Precalculated HTable high. */
70 uint64_t len; /*!< The total length of the encrypted data. */
71 uint64_t add_len; /*!< The total length of the additional data. */
72 unsigned char base_ectr[16]; /*!< The first ECTR for tag. */
73 unsigned char y[16]; /*!< The Y working value. */
74 unsigned char buf[16]; /*!< The buf working value. */
75 int mode; /*!< The operation to perform:
76 #MBEDTLS_GCM_ENCRYPT or
77 #MBEDTLS_GCM_DECRYPT. */
Paul Bakker89e80c92012-03-20 13:50:09 +000078}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020079mbedtls_gcm_context;
Paul Bakker89e80c92012-03-20 13:50:09 +000080
Ron Eldor4e6d55d2018-02-07 16:36:15 +020081#else /* !MBEDTLS_GCM_ALT */
82#include "gcm_alt.h"
83#endif /* !MBEDTLS_GCM_ALT */
84
Paul Bakker89e80c92012-03-20 13:50:09 +000085/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000086 * \brief This function initializes the specified GCM context,
87 * to make references valid, and prepares the context
88 * for mbedtls_gcm_setkey() or mbedtls_gcm_free().
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020089 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000090 * The function does not bind the GCM context to a particular
91 * cipher, nor set the key. For this purpose, use
92 * mbedtls_gcm_setkey().
93 *
94 * \param ctx The GCM context to initialize.
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020095 */
96void mbedtls_gcm_init( mbedtls_gcm_context *ctx );
97
98/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000099 * \brief This function associates a GCM context with a
100 * cipher algorithm and a key.
Paul Bakker89e80c92012-03-20 13:50:09 +0000101 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000102 * \param ctx The GCM context to initialize.
103 * \param cipher The 128-bit block cipher to use.
104 * \param key The encryption key.
105 * \param keybits The key size in bits. Valid options are:
106 * <ul><li>128 bits</li>
107 * <li>192 bits</li>
108 * <li>256 bits</li></ul>
Paul Bakker89e80c92012-03-20 13:50:09 +0000109 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100110 * \return \c 0 on success.
111 * \return A cipher-specific error code on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000112 */
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200113int mbedtls_gcm_setkey( mbedtls_gcm_context *ctx,
114 mbedtls_cipher_id_t cipher,
115 const unsigned char *key,
Manuel Pégourié-Gonnardb8186a52015-06-18 14:58:58 +0200116 unsigned int keybits );
Paul Bakker89e80c92012-03-20 13:50:09 +0000117
118/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000119 * \brief This function performs GCM encryption or decryption of a buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000120 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100121 * \note For encryption, the output buffer can be the same as the
122 * input buffer. For decryption, the output buffer cannot be
123 * the same as input buffer. If the buffers overlap, the output
124 * buffer must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000125 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200126 * \warning When this function performs a decryption, it outputs the
127 * authentication tag and does not verify that the data is
128 * authentic. You should use this function to perform encryption
129 * only. For decryption, use mbedtls_gcm_auth_decrypt() instead.
130 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000131 * \param ctx The GCM context to use for encryption or decryption.
Gilles Peskine0a0e08a2018-06-07 14:46:02 +0200132 * \param mode The operation to perform:
133 * - #MBEDTLS_GCM_ENCRYPT to perform authenticated encryption.
134 * The ciphertext is written to \p output and the
135 * authentication tag is written to \p tag.
136 * - #MBEDTLS_GCM_DECRYPT to perform decryption.
137 * The plaintext is written to \p output and the
138 * authentication tag is written to \p tag.
139 * Note that this mode is not recommended, because it does
140 * not verify the authenticity of the data. For this reason,
141 * you should use mbedtls_gcm_auth_decrypt() instead of
142 * calling this function in decryption mode.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200143 * \param length The length of the input data, which is equal to the length
144 * of the output data.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000145 * \param iv The initialization vector.
146 * \param iv_len The length of the IV.
147 * \param add The buffer holding the additional data.
148 * \param add_len The length of the additional data.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200149 * \param input The buffer holding the input data. Its size is \b length.
150 * \param output The buffer for holding the output data. It must have room
151 * for \b length bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000152 * \param tag_len The length of the tag to generate.
153 * \param tag The buffer for holding the tag.
Paul Bakker89e80c92012-03-20 13:50:09 +0000154 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200155 * \return \c 0 if the encryption or decryption was performed
156 * successfully. Note that in #MBEDTLS_GCM_DECRYPT mode,
157 * this does not indicate that the data is authentic.
Ron Eldor9924bdc2018-10-04 10:59:13 +0300158 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths are not valid or
159 * a cipher-specific error code if the encryption
160 * or decryption failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000161 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200162int mbedtls_gcm_crypt_and_tag( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000163 int mode,
164 size_t length,
165 const unsigned char *iv,
166 size_t iv_len,
167 const unsigned char *add,
168 size_t add_len,
169 const unsigned char *input,
170 unsigned char *output,
171 size_t tag_len,
172 unsigned char *tag );
173
174/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000175 * \brief This function performs a GCM authenticated decryption of a
176 * buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000177 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100178 * \note For decryption, the output buffer cannot be the same as
179 * input buffer. If the buffers overlap, the output buffer
180 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000181 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000182 * \param ctx The GCM context.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200183 * \param length The length of the ciphertext to decrypt, which is also
184 * the length of the decrypted plaintext.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000185 * \param iv The initialization vector.
186 * \param iv_len The length of the IV.
187 * \param add The buffer holding the additional data.
188 * \param add_len The length of the additional data.
Gilles Peskine80f679b2018-06-01 17:55:41 +0200189 * \param tag The buffer holding the tag to verify.
190 * \param tag_len The length of the tag to verify.
191 * \param input The buffer holding the ciphertext. Its size is \b length.
192 * \param output The buffer for holding the decrypted plaintext. It must
193 * have room for \b length bytes.
Paul Bakker89e80c92012-03-20 13:50:09 +0000194 *
Gilles Peskine80f679b2018-06-01 17:55:41 +0200195 * \return \c 0 if successful and authenticated.
196 * \return #MBEDTLS_ERR_GCM_AUTH_FAILED if the tag does not match.
Ron Eldor9924bdc2018-10-04 10:59:13 +0300197 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths are not valid or
198 * a cipher-specific error code if the decryption failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000199 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200200int mbedtls_gcm_auth_decrypt( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000201 size_t length,
202 const unsigned char *iv,
203 size_t iv_len,
204 const unsigned char *add,
205 size_t add_len,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200206 const unsigned char *tag,
Paul Bakker89e80c92012-03-20 13:50:09 +0000207 size_t tag_len,
208 const unsigned char *input,
209 unsigned char *output );
210
211/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000212 * \brief This function starts a GCM encryption or decryption
213 * operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200214 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000215 * \param ctx The GCM context.
216 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
217 * #MBEDTLS_GCM_DECRYPT.
218 * \param iv The initialization vector.
219 * \param iv_len The length of the IV.
Rose Zadikd8c4f612018-03-27 11:43:04 +0100220 * \param add The buffer holding the additional data, or NULL
221 * if \p add_len is 0.
222 * \param add_len The length of the additional data. If 0,
223 * \p add is NULL.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200224 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100225 * \return \c 0 on success.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200226 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200227int mbedtls_gcm_starts( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200228 int mode,
229 const unsigned char *iv,
230 size_t iv_len,
231 const unsigned char *add,
232 size_t add_len );
233
234/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000235 * \brief This function feeds an input buffer into an ongoing GCM
236 * encryption or decryption operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200237 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000238 * ` The function expects input to be a multiple of 16
239 * Bytes. Only the last call before calling
240 * mbedtls_gcm_finish() can be less than 16 Bytes.
241 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100242 * \note For decryption, the output buffer cannot be the same as
243 * input buffer. If the buffers overlap, the output buffer
244 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200245 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000246 * \param ctx The GCM context.
Rose Zadikd8c4f612018-03-27 11:43:04 +0100247 * \param length The length of the input data. This must be a multiple of
248 * 16 except in the last call before mbedtls_gcm_finish().
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000249 * \param input The buffer holding the input data.
250 * \param output The buffer for holding the output data.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200251 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100252 * \return \c 0 on success.
253 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200254 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200255int mbedtls_gcm_update( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200256 size_t length,
257 const unsigned char *input,
258 unsigned char *output );
259
260/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000261 * \brief This function finishes the GCM operation and generates
262 * the authentication tag.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200263 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000264 * It wraps up the GCM stream, and generates the
265 * tag. The tag can have a maximum length of 16 Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200266 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000267 * \param ctx The GCM context.
268 * \param tag The buffer for holding the tag.
269 * \param tag_len The length of the tag to generate. Must be at least four.
270 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100271 * \return \c 0 on success.
272 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200273 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200274int mbedtls_gcm_finish( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200275 unsigned char *tag,
276 size_t tag_len );
277
278/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000279 * \brief This function clears a GCM context and the underlying
280 * cipher sub-context.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200281 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000282 * \param ctx The GCM context to clear.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200283 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200284void mbedtls_gcm_free( mbedtls_gcm_context *ctx );
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200285
286/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000287 * \brief The GCM checkup routine.
Paul Bakker89e80c92012-03-20 13:50:09 +0000288 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100289 * \return \c 0 on success.
290 * \return \c 1 on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000291 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200292int mbedtls_gcm_self_test( int verbose );
Paul Bakker89e80c92012-03-20 13:50:09 +0000293
294#ifdef __cplusplus
295}
296#endif
297
Jaeden Amero15263302017-09-21 12:53:48 +0100298
Paul Bakker89e80c92012-03-20 13:50:09 +0000299#endif /* gcm.h */