blob: 88408c2cf4cc968a61ceeda5f9b6431c5c063cc4 [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. */
Gilles Peskine7ecab3d2018-01-26 17:56:38 +010044#define MBEDTLS_ERR_GCM_HW_ACCEL_FAILED -0x0013 /**< GCM hardware accelerator failed. */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020045#define MBEDTLS_ERR_GCM_BAD_INPUT -0x0014 /**< Bad input parameters to function. */
Paul Bakker89e80c92012-03-20 13:50:09 +000046
Jaeden Amero15263302017-09-21 12:53:48 +010047#if !defined(MBEDTLS_GCM_ALT)
48
Paul Bakker407a0da2013-06-27 14:29:21 +020049#ifdef __cplusplus
50extern "C" {
51#endif
52
Paul Bakker89e80c92012-03-20 13:50:09 +000053/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000054 * \brief The GCM context structure.
Paul Bakker89e80c92012-03-20 13:50:09 +000055 */
56typedef struct {
Rose Zadik17b4f7f2018-01-26 10:56:42 +000057 mbedtls_cipher_context_t cipher_ctx; /*!< The cipher context used. */
58 uint64_t HL[16]; /*!< Precalculated HTable low. */
59 uint64_t HH[16]; /*!< Precalculated HTable high. */
60 uint64_t len; /*!< The total length of the encrypted data. */
61 uint64_t add_len; /*!< The total length of the additional data. */
62 unsigned char base_ectr[16]; /*!< The first ECTR for tag. */
63 unsigned char y[16]; /*!< The Y working value. */
64 unsigned char buf[16]; /*!< The buf working value. */
65 int mode; /*!< The operation to perform:
66 #MBEDTLS_GCM_ENCRYPT or
67 #MBEDTLS_GCM_DECRYPT. */
Paul Bakker89e80c92012-03-20 13:50:09 +000068}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020069mbedtls_gcm_context;
Paul Bakker89e80c92012-03-20 13:50:09 +000070
Paul Bakker89e80c92012-03-20 13:50:09 +000071/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000072 * \brief This function initializes the specified GCM context,
73 * to make references valid, and prepares the context
74 * for mbedtls_gcm_setkey() or mbedtls_gcm_free().
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020075 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000076 * The function does not bind the GCM context to a particular
77 * cipher, nor set the key. For this purpose, use
78 * mbedtls_gcm_setkey().
79 *
80 * \param ctx The GCM context to initialize.
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020081 */
82void mbedtls_gcm_init( mbedtls_gcm_context *ctx );
83
84/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000085 * \brief This function associates a GCM context with a
86 * cipher algorithm and a key.
Paul Bakker89e80c92012-03-20 13:50:09 +000087 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000088 * \param ctx The GCM context to initialize.
89 * \param cipher The 128-bit block cipher to use.
90 * \param key The encryption key.
91 * \param keybits The key size in bits. Valid options are:
92 * <ul><li>128 bits</li>
93 * <li>192 bits</li>
94 * <li>256 bits</li></ul>
Paul Bakker89e80c92012-03-20 13:50:09 +000095 *
Rose Zadikd8c4f612018-03-27 11:43:04 +010096 * \return \c 0 on success.
97 * \return A cipher-specific error code on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +000098 */
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020099int mbedtls_gcm_setkey( mbedtls_gcm_context *ctx,
100 mbedtls_cipher_id_t cipher,
101 const unsigned char *key,
Manuel Pégourié-Gonnardb8186a52015-06-18 14:58:58 +0200102 unsigned int keybits );
Paul Bakker89e80c92012-03-20 13:50:09 +0000103
104/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000105 * \brief This function performs GCM encryption or decryption of a buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000106 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100107 * \note For encryption, the output buffer can be the same as the
108 * input buffer. For decryption, the output buffer cannot be
109 * the same as input buffer. If the buffers overlap, the output
110 * buffer must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000111 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000112 * \param ctx The GCM context to use for encryption or decryption.
113 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
114 * #MBEDTLS_GCM_DECRYPT.
Rose Zadikd8c4f612018-03-27 11:43:04 +0100115 * \param length The length of the input data. This must be a multiple of
116 * 16 except in the last call before mbedtls_gcm_finish().
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000117 * \param iv The initialization vector.
118 * \param iv_len The length of the IV.
119 * \param add The buffer holding the additional data.
120 * \param add_len The length of the additional data.
121 * \param input The buffer holding the input data.
122 * \param output The buffer for holding the output data.
123 * \param tag_len The length of the tag to generate.
124 * \param tag The buffer for holding the tag.
Paul Bakker89e80c92012-03-20 13:50:09 +0000125 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000126 * \return \c 0 on success.
Paul Bakker89e80c92012-03-20 13:50:09 +0000127 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200128int mbedtls_gcm_crypt_and_tag( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000129 int mode,
130 size_t length,
131 const unsigned char *iv,
132 size_t iv_len,
133 const unsigned char *add,
134 size_t add_len,
135 const unsigned char *input,
136 unsigned char *output,
137 size_t tag_len,
138 unsigned char *tag );
139
140/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000141 * \brief This function performs a GCM authenticated decryption of a
142 * buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000143 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100144 * \note For decryption, the output buffer cannot be the same as
145 * input buffer. If the buffers overlap, the output buffer
146 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerca4ab492012-04-18 14:23:57 +0000147 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000148 * \param ctx The GCM context.
Rose Zadikd8c4f612018-03-27 11:43:04 +0100149 * \param length The length of the input data. This must be a multiple
150 * of 16 except in the last call before mbedtls_gcm_finish().
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000151 * \param iv The initialization vector.
152 * \param iv_len The length of the IV.
153 * \param add The buffer holding the additional data.
154 * \param add_len The length of the additional data.
155 * \param tag The buffer holding the tag.
156 * \param tag_len The length of the tag.
157 * \param input The buffer holding the input data.
158 * \param output The buffer for holding the output data.
Paul Bakker89e80c92012-03-20 13:50:09 +0000159 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100160 * \return 0 if successful and authenticated.
161 * \return #MBEDTLS_ERR_GCM_AUTH_FAILED if tag does not match.
Paul Bakker89e80c92012-03-20 13:50:09 +0000162 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200163int mbedtls_gcm_auth_decrypt( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000164 size_t length,
165 const unsigned char *iv,
166 size_t iv_len,
167 const unsigned char *add,
168 size_t add_len,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200169 const unsigned char *tag,
Paul Bakker89e80c92012-03-20 13:50:09 +0000170 size_t tag_len,
171 const unsigned char *input,
172 unsigned char *output );
173
174/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000175 * \brief This function starts a GCM encryption or decryption
176 * operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200177 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000178 * \param ctx The GCM context.
179 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
180 * #MBEDTLS_GCM_DECRYPT.
181 * \param iv The initialization vector.
182 * \param iv_len The length of the IV.
Rose Zadikd8c4f612018-03-27 11:43:04 +0100183 * \param add The buffer holding the additional data, or NULL
184 * if \p add_len is 0.
185 * \param add_len The length of the additional data. If 0,
186 * \p add is NULL.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200187 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100188 * \return \c 0 on success.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200189 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200190int mbedtls_gcm_starts( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200191 int mode,
192 const unsigned char *iv,
193 size_t iv_len,
194 const unsigned char *add,
195 size_t add_len );
196
197/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000198 * \brief This function feeds an input buffer into an ongoing GCM
199 * encryption or decryption operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200200 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000201 * ` The function expects input to be a multiple of 16
202 * Bytes. Only the last call before calling
203 * mbedtls_gcm_finish() can be less than 16 Bytes.
204 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100205 * \note For decryption, the output buffer cannot be the same as
206 * input buffer. If the buffers overlap, the output buffer
207 * must trail at least 8 Bytes behind the input buffer.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200208 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000209 * \param ctx The GCM context.
Rose Zadikd8c4f612018-03-27 11:43:04 +0100210 * \param length The length of the input data. This must be a multiple of
211 * 16 except in the last call before mbedtls_gcm_finish().
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000212 * \param input The buffer holding the input data.
213 * \param output The buffer for holding the output data.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200214 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100215 * \return \c 0 on success.
216 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200217 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200218int mbedtls_gcm_update( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200219 size_t length,
220 const unsigned char *input,
221 unsigned char *output );
222
223/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000224 * \brief This function finishes the GCM operation and generates
225 * the authentication tag.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200226 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000227 * It wraps up the GCM stream, and generates the
228 * tag. The tag can have a maximum length of 16 Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200229 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000230 * \param ctx The GCM context.
231 * \param tag The buffer for holding the tag.
232 * \param tag_len The length of the tag to generate. Must be at least four.
233 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100234 * \return \c 0 on success.
235 * \return #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200236 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200237int mbedtls_gcm_finish( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200238 unsigned char *tag,
239 size_t tag_len );
240
241/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000242 * \brief This function clears a GCM context and the underlying
243 * cipher sub-context.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200244 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000245 * \param ctx The GCM context to clear.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200246 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200247void mbedtls_gcm_free( mbedtls_gcm_context *ctx );
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200248
Jaeden Amero15263302017-09-21 12:53:48 +0100249#ifdef __cplusplus
250}
251#endif
252
253#else /* !MBEDTLS_GCM_ALT */
254#include "gcm_alt.h"
255#endif /* !MBEDTLS_GCM_ALT */
256
257#ifdef __cplusplus
258extern "C" {
259#endif
260
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200261/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000262 * \brief The GCM checkup routine.
Paul Bakker89e80c92012-03-20 13:50:09 +0000263 *
Rose Zadikd8c4f612018-03-27 11:43:04 +0100264 * \return \c 0 on success.
265 * \return \c 1 on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000266 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200267int mbedtls_gcm_self_test( int verbose );
Paul Bakker89e80c92012-03-20 13:50:09 +0000268
269#ifdef __cplusplus
270}
271#endif
272
Jaeden Amero15263302017-09-21 12:53:48 +0100273
Paul Bakker89e80c92012-03-20 13:50:09 +0000274#endif /* gcm.h */