blob: bd258aae54b4afa538d782b7f4eb799f8ea3f6c2 [file] [log] [blame]
Paul Bakker89e80c92012-03-20 13:50:09 +00001/**
2 * \file gcm.h
3 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +00004 * \brief Galois/Counter Mode (GCM) for 128-bit block ciphers, as defined
5 * in <em>D. McGrew, J. Viega, The Galois/Counter Mode of Operation
6 * (GCM), Natl. Inst. Stand. Technol.</em>
7 *
8 * For more information on GCM, see <em>NIST SP 800-38D: Recommendation for
9 * Block Cipher Modes of Operation: Galois/Counter Mode (GCM) and GMAC</em>.
10 *
Darryl Greena40a1012018-01-05 15:33:17 +000011 */
12/*
Rose Zadik17b4f7f2018-01-26 10:56:42 +000013 * Copyright (C) 2006-2018, Arm Limited (or its affiliates), All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020014 * SPDX-License-Identifier: Apache-2.0
15 *
16 * Licensed under the Apache License, Version 2.0 (the "License"); you may
17 * not use this file except in compliance with the License.
18 * You may obtain a copy of the License at
19 *
20 * http://www.apache.org/licenses/LICENSE-2.0
21 *
22 * Unless required by applicable law or agreed to in writing, software
23 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
24 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
25 * See the License for the specific language governing permissions and
26 * limitations under the License.
Paul Bakker89e80c92012-03-20 13:50:09 +000027 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000028 * This file is part of Mbed TLS (https://tls.mbed.org)
Paul Bakker89e80c92012-03-20 13:50:09 +000029 */
Rose Zadik17b4f7f2018-01-26 10:56:42 +000030
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020031#ifndef MBEDTLS_GCM_H
32#define MBEDTLS_GCM_H
Paul Bakker89e80c92012-03-20 13:50:09 +000033
Ron Eldor0559c662018-02-14 16:02:41 +020034#if !defined(MBEDTLS_CONFIG_FILE)
35#include "config.h"
36#else
37#include MBEDTLS_CONFIG_FILE
38#endif
39
Paul Bakker43aff2a2013-09-09 00:10:27 +020040#include "cipher.h"
Paul Bakker89e80c92012-03-20 13:50:09 +000041
42#include <stdint.h>
43
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020044#define MBEDTLS_GCM_ENCRYPT 1
45#define MBEDTLS_GCM_DECRYPT 0
Paul Bakker89e80c92012-03-20 13:50:09 +000046
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020047#define MBEDTLS_ERR_GCM_AUTH_FAILED -0x0012 /**< Authenticated decryption failed. */
Gilles Peskine7ecab3d2018-01-26 17:56:38 +010048#define MBEDTLS_ERR_GCM_HW_ACCEL_FAILED -0x0013 /**< GCM hardware accelerator failed. */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020049#define MBEDTLS_ERR_GCM_BAD_INPUT -0x0014 /**< Bad input parameters to function. */
Paul Bakker89e80c92012-03-20 13:50:09 +000050
Jaeden Amero15263302017-09-21 12:53:48 +010051#if !defined(MBEDTLS_GCM_ALT)
52
Paul Bakker407a0da2013-06-27 14:29:21 +020053#ifdef __cplusplus
54extern "C" {
55#endif
56
Paul Bakker89e80c92012-03-20 13:50:09 +000057/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000058 * \brief The GCM context structure.
Paul Bakker89e80c92012-03-20 13:50:09 +000059 */
60typedef struct {
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
Paul Bakker89e80c92012-03-20 13:50:09 +000075/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000076 * \brief This function initializes the specified GCM context,
77 * to make references valid, and prepares the context
78 * for mbedtls_gcm_setkey() or mbedtls_gcm_free().
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020079 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000080 * The function does not bind the GCM context to a particular
81 * cipher, nor set the key. For this purpose, use
82 * mbedtls_gcm_setkey().
83 *
84 * \param ctx The GCM context to initialize.
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020085 */
86void mbedtls_gcm_init( mbedtls_gcm_context *ctx );
87
88/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000089 * \brief This function associates a GCM context with a
90 * cipher algorithm and a key.
Paul Bakker89e80c92012-03-20 13:50:09 +000091 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000092 * \param ctx The GCM context to initialize.
93 * \param cipher The 128-bit block cipher to use.
94 * \param key The encryption key.
95 * \param keybits The key size in bits. Valid options are:
96 * <ul><li>128 bits</li>
97 * <li>192 bits</li>
98 * <li>256 bits</li></ul>
Paul Bakker89e80c92012-03-20 13:50:09 +000099 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000100 * \return \c 0 on success, or a cipher specific error code.
Paul Bakker89e80c92012-03-20 13:50:09 +0000101 */
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +0200102int mbedtls_gcm_setkey( mbedtls_gcm_context *ctx,
103 mbedtls_cipher_id_t cipher,
104 const unsigned char *key,
Manuel Pégourié-Gonnardb8186a52015-06-18 14:58:58 +0200105 unsigned int keybits );
Paul Bakker89e80c92012-03-20 13:50:09 +0000106
107/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000108 * \brief This function performs GCM encryption or decryption of a buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000109 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000110 * \note For encryption, the output buffer can be the same as the input buffer.
111 * For decryption, the output buffer cannot be the same as input buffer.
112 * If the buffers overlap, the output buffer must trail at least 8 Bytes
Paul Bakkerca4ab492012-04-18 14:23:57 +0000113 * behind the input buffer.
114 *
Gilles Peskine282bd242018-06-01 17:55:41 +0200115 * \warning When this function performs a decryption, it outputs the
116 * authentication tag and does not verify that the data is
117 * authentic. You should use this function to perform encryption
118 * only. For decryption, use mbedtls_gcm_auth_decrypt() instead.
119 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000120 * \param ctx The GCM context to use for encryption or decryption.
Gilles Peskinedb37cb42018-06-07 14:46:02 +0200121 * \param mode The operation to perform:
122 * - #MBEDTLS_GCM_ENCRYPT to perform authenticated encryption.
123 * The ciphertext is written to \p output and the
124 * authentication tag is written to \p tag.
125 * - #MBEDTLS_GCM_DECRYPT to perform decryption.
126 * The plaintext is written to \p output and the
127 * authentication tag is written to \p tag.
128 * Note that this mode is not recommended, because it does
129 * not verify the authenticity of the data. For this reason,
130 * you should use mbedtls_gcm_auth_decrypt() instead of
131 * calling this function in decryption mode.
Gilles Peskine282bd242018-06-01 17:55:41 +0200132 * \param length The length of the input data, which is equal to the length
133 * of the output data.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000134 * \param iv The initialization vector.
135 * \param iv_len The length of the IV.
136 * \param add The buffer holding the additional data.
137 * \param add_len The length of the additional data.
Gilles Peskine282bd242018-06-01 17:55:41 +0200138 * \param input The buffer holding the input data. Its size is \b length.
139 * \param output The buffer for holding the output data. It must have room
140 * for \b length bytes.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000141 * \param tag_len The length of the tag to generate.
142 * \param tag The buffer for holding the tag.
Paul Bakker89e80c92012-03-20 13:50:09 +0000143 *
Gilles Peskine282bd242018-06-01 17:55:41 +0200144 * \return \c 0 if the encryption or decryption was performed
145 * successfully. Note that in #MBEDTLS_GCM_DECRYPT mode,
146 * this does not indicate that the data is authentic.
147 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths are not valid.
148 * \return #MBEDTLS_ERR_GCM_HW_ACCEL_FAILED or a cipher-specific
149 * error code if the encryption or decryption failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000150 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200151int mbedtls_gcm_crypt_and_tag( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000152 int mode,
153 size_t length,
154 const unsigned char *iv,
155 size_t iv_len,
156 const unsigned char *add,
157 size_t add_len,
158 const unsigned char *input,
159 unsigned char *output,
160 size_t tag_len,
161 unsigned char *tag );
162
163/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000164 * \brief This function performs a GCM authenticated decryption of a
165 * buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000166 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000167 * \note For decryption, the output buffer cannot be the same as input buffer.
168 * If the buffers overlap, the output buffer must trail at least 8 Bytes
Paul Bakkerca4ab492012-04-18 14:23:57 +0000169 * behind the input buffer.
170 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000171 * \param ctx The GCM context.
Gilles Peskine282bd242018-06-01 17:55:41 +0200172 * \param length The length of the ciphertext to decrypt, which is also
173 * the length of the decrypted plaintext.
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000174 * \param iv The initialization vector.
175 * \param iv_len The length of the IV.
176 * \param add The buffer holding the additional data.
177 * \param add_len The length of the additional data.
Gilles Peskine282bd242018-06-01 17:55:41 +0200178 * \param tag The buffer holding the tag to verify.
179 * \param tag_len The length of the tag to verify.
180 * \param input The buffer holding the ciphertext. Its size is \b length.
181 * \param output The buffer for holding the decrypted plaintext. It must
182 * have room for \b length bytes.
Paul Bakker89e80c92012-03-20 13:50:09 +0000183 *
Gilles Peskine282bd242018-06-01 17:55:41 +0200184 * \return \c 0 if successful and authenticated.
185 * \return #MBEDTLS_ERR_GCM_AUTH_FAILED if the tag does not match.
186 * \return #MBEDTLS_ERR_GCM_BAD_INPUT if the lengths are not valid.
187 * \return #MBEDTLS_ERR_GCM_HW_ACCEL_FAILED or a cipher-specific
188 * error code if the decryption failed.
Paul Bakker89e80c92012-03-20 13:50:09 +0000189 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200190int mbedtls_gcm_auth_decrypt( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000191 size_t length,
192 const unsigned char *iv,
193 size_t iv_len,
194 const unsigned char *add,
195 size_t add_len,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200196 const unsigned char *tag,
Paul Bakker89e80c92012-03-20 13:50:09 +0000197 size_t tag_len,
198 const unsigned char *input,
199 unsigned char *output );
200
201/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000202 * \brief This function starts a GCM encryption or decryption
203 * operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200204 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000205 * \param ctx The GCM context.
206 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
207 * #MBEDTLS_GCM_DECRYPT.
208 * \param iv The initialization vector.
209 * \param iv_len The length of the IV.
210 * \param add The buffer holding the additional data, or NULL if \p add_len is 0.
211 * \param add_len The length of the additional data. If 0, \p add is NULL.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200212 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000213 * \return \c 0 on success.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200214 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200215int mbedtls_gcm_starts( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200216 int mode,
217 const unsigned char *iv,
218 size_t iv_len,
219 const unsigned char *add,
220 size_t add_len );
221
222/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000223 * \brief This function feeds an input buffer into an ongoing GCM
224 * encryption or decryption operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200225 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000226 * ` The function expects input to be a multiple of 16
227 * Bytes. Only the last call before calling
228 * mbedtls_gcm_finish() can be less than 16 Bytes.
229 *
230 * \note For decryption, the output buffer cannot be the same as input buffer.
231 * If the buffers overlap, the output buffer must trail at least 8 Bytes
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200232 * behind the input buffer.
233 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000234 * \param ctx The GCM context.
235 * \param length The length of the input data. This must be a multiple of 16 except in the last call before mbedtls_gcm_finish().
236 * \param input The buffer holding the input data.
237 * \param output The buffer for holding the output data.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200238 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000239 * \return \c 0 on success, or #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200240 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200241int mbedtls_gcm_update( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200242 size_t length,
243 const unsigned char *input,
244 unsigned char *output );
245
246/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000247 * \brief This function finishes the GCM operation and generates
248 * the authentication tag.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200249 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000250 * It wraps up the GCM stream, and generates the
251 * tag. The tag can have a maximum length of 16 Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200252 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000253 * \param ctx The GCM context.
254 * \param tag The buffer for holding the tag.
255 * \param tag_len The length of the tag to generate. Must be at least four.
256 *
257 * \return \c 0 on success, or #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200258 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200259int mbedtls_gcm_finish( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200260 unsigned char *tag,
261 size_t tag_len );
262
263/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000264 * \brief This function clears a GCM context and the underlying
265 * cipher sub-context.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200266 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000267 * \param ctx The GCM context to clear.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200268 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200269void mbedtls_gcm_free( mbedtls_gcm_context *ctx );
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200270
Jaeden Amero15263302017-09-21 12:53:48 +0100271#ifdef __cplusplus
272}
273#endif
274
275#else /* !MBEDTLS_GCM_ALT */
276#include "gcm_alt.h"
277#endif /* !MBEDTLS_GCM_ALT */
278
279#ifdef __cplusplus
280extern "C" {
281#endif
282
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200283/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000284 * \brief The GCM checkup routine.
Paul Bakker89e80c92012-03-20 13:50:09 +0000285 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000286 * \return \c 0 on success, or \c 1 on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000287 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200288int mbedtls_gcm_self_test( int verbose );
Paul Bakker89e80c92012-03-20 13:50:09 +0000289
290#ifdef __cplusplus
291}
292#endif
293
Jaeden Amero15263302017-09-21 12:53:48 +0100294
Paul Bakker89e80c92012-03-20 13:50:09 +0000295#endif /* gcm.h */