blob: 1e5a507a26517b3c232f83a7a4815d71f677b2fb [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
Paul Bakker43aff2a2013-09-09 00:10:27 +020034#include "cipher.h"
Paul Bakker89e80c92012-03-20 13:50:09 +000035
36#include <stdint.h>
37
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020038#define MBEDTLS_GCM_ENCRYPT 1
39#define MBEDTLS_GCM_DECRYPT 0
Paul Bakker89e80c92012-03-20 13:50:09 +000040
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020041#define MBEDTLS_ERR_GCM_AUTH_FAILED -0x0012 /**< Authenticated decryption failed. */
Gilles Peskine7ecab3d2018-01-26 17:56:38 +010042#define MBEDTLS_ERR_GCM_HW_ACCEL_FAILED -0x0013 /**< GCM hardware accelerator failed. */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020043#define MBEDTLS_ERR_GCM_BAD_INPUT -0x0014 /**< Bad input parameters to function. */
Paul Bakker89e80c92012-03-20 13:50:09 +000044
Jaeden Amero15263302017-09-21 12:53:48 +010045#if !defined(MBEDTLS_GCM_ALT)
46
Paul Bakker407a0da2013-06-27 14:29:21 +020047#ifdef __cplusplus
48extern "C" {
49#endif
50
Paul Bakker89e80c92012-03-20 13:50:09 +000051/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000052 * \brief The GCM context structure.
Paul Bakker89e80c92012-03-20 13:50:09 +000053 */
54typedef struct {
Rose Zadik17b4f7f2018-01-26 10:56:42 +000055 mbedtls_cipher_context_t cipher_ctx; /*!< The cipher context used. */
56 uint64_t HL[16]; /*!< Precalculated HTable low. */
57 uint64_t HH[16]; /*!< Precalculated HTable high. */
58 uint64_t len; /*!< The total length of the encrypted data. */
59 uint64_t add_len; /*!< The total length of the additional data. */
60 unsigned char base_ectr[16]; /*!< The first ECTR for tag. */
61 unsigned char y[16]; /*!< The Y working value. */
62 unsigned char buf[16]; /*!< The buf working value. */
63 int mode; /*!< The operation to perform:
64 #MBEDTLS_GCM_ENCRYPT or
65 #MBEDTLS_GCM_DECRYPT. */
Paul Bakker89e80c92012-03-20 13:50:09 +000066}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020067mbedtls_gcm_context;
Paul Bakker89e80c92012-03-20 13:50:09 +000068
Paul Bakker89e80c92012-03-20 13:50:09 +000069/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000070 * \brief This function initializes the specified GCM context,
71 * to make references valid, and prepares the context
72 * for mbedtls_gcm_setkey() or mbedtls_gcm_free().
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020073 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000074 * The function does not bind the GCM context to a particular
75 * cipher, nor set the key. For this purpose, use
76 * mbedtls_gcm_setkey().
77 *
78 * \param ctx The GCM context to initialize.
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020079 */
80void mbedtls_gcm_init( mbedtls_gcm_context *ctx );
81
82/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +000083 * \brief This function associates a GCM context with a
84 * cipher algorithm and a key.
Paul Bakker89e80c92012-03-20 13:50:09 +000085 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000086 * \param ctx The GCM context to initialize.
87 * \param cipher The 128-bit block cipher to use.
88 * \param key The encryption key.
89 * \param keybits The key size in bits. Valid options are:
90 * <ul><li>128 bits</li>
91 * <li>192 bits</li>
92 * <li>256 bits</li></ul>
Paul Bakker89e80c92012-03-20 13:50:09 +000093 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +000094 * \return \c 0 on success, or a cipher specific error code.
Paul Bakker89e80c92012-03-20 13:50:09 +000095 */
Manuel Pégourié-Gonnardc34e8dd2015-04-28 21:42:17 +020096int mbedtls_gcm_setkey( mbedtls_gcm_context *ctx,
97 mbedtls_cipher_id_t cipher,
98 const unsigned char *key,
Manuel Pégourié-Gonnardb8186a52015-06-18 14:58:58 +020099 unsigned int keybits );
Paul Bakker89e80c92012-03-20 13:50:09 +0000100
101/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000102 * \brief This function performs GCM encryption or decryption of a buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000103 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000104 * \note For encryption, the output buffer can be the same as the input buffer.
105 * For decryption, the output buffer cannot be the same as input buffer.
106 * If the buffers overlap, the output buffer must trail at least 8 Bytes
Paul Bakkerca4ab492012-04-18 14:23:57 +0000107 * behind the input buffer.
108 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000109 * \param ctx The GCM context to use for encryption or decryption.
110 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
111 * #MBEDTLS_GCM_DECRYPT.
112 * \param length The length of the input data. This must be a multiple of 16 except in the last call before mbedtls_gcm_finish().
113 * \param iv The initialization vector.
114 * \param iv_len The length of the IV.
115 * \param add The buffer holding the additional data.
116 * \param add_len The length of the additional data.
117 * \param input The buffer holding the input data.
118 * \param output The buffer for holding the output data.
119 * \param tag_len The length of the tag to generate.
120 * \param tag The buffer for holding the tag.
Paul Bakker89e80c92012-03-20 13:50:09 +0000121 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000122 * \return \c 0 on success.
Paul Bakker89e80c92012-03-20 13:50:09 +0000123 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200124int mbedtls_gcm_crypt_and_tag( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000125 int mode,
126 size_t length,
127 const unsigned char *iv,
128 size_t iv_len,
129 const unsigned char *add,
130 size_t add_len,
131 const unsigned char *input,
132 unsigned char *output,
133 size_t tag_len,
134 unsigned char *tag );
135
136/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000137 * \brief This function performs a GCM authenticated decryption of a
138 * buffer.
Paul Bakker89e80c92012-03-20 13:50:09 +0000139 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000140 * \note For decryption, the output buffer cannot be the same as input buffer.
141 * If the buffers overlap, the output buffer must trail at least 8 Bytes
Paul Bakkerca4ab492012-04-18 14:23:57 +0000142 * behind the input buffer.
143 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000144 * \param ctx The GCM context.
145 * \param length The length of the input data. This must be a multiple of 16 except in the last call before mbedtls_gcm_finish().
146 * \param iv The initialization vector.
147 * \param iv_len The length of the IV.
148 * \param add The buffer holding the additional data.
149 * \param add_len The length of the additional data.
150 * \param tag The buffer holding the tag.
151 * \param tag_len The length of the tag.
152 * \param input The buffer holding the input data.
153 * \param output The buffer for holding the output data.
Paul Bakker89e80c92012-03-20 13:50:09 +0000154 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000155 * \return 0 if successful and authenticated, or
156 * #MBEDTLS_ERR_GCM_AUTH_FAILED if tag does not match.
Paul Bakker89e80c92012-03-20 13:50:09 +0000157 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200158int mbedtls_gcm_auth_decrypt( mbedtls_gcm_context *ctx,
Paul Bakker89e80c92012-03-20 13:50:09 +0000159 size_t length,
160 const unsigned char *iv,
161 size_t iv_len,
162 const unsigned char *add,
163 size_t add_len,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200164 const unsigned char *tag,
Paul Bakker89e80c92012-03-20 13:50:09 +0000165 size_t tag_len,
166 const unsigned char *input,
167 unsigned char *output );
168
169/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000170 * \brief This function starts a GCM encryption or decryption
171 * operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200172 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000173 * \param ctx The GCM context.
174 * \param mode The operation to perform: #MBEDTLS_GCM_ENCRYPT or
175 * #MBEDTLS_GCM_DECRYPT.
176 * \param iv The initialization vector.
177 * \param iv_len The length of the IV.
178 * \param add The buffer holding the additional data, or NULL if \p add_len is 0.
179 * \param add_len The length of the additional data. If 0, \p add is NULL.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200180 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000181 * \return \c 0 on success.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200182 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200183int mbedtls_gcm_starts( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200184 int mode,
185 const unsigned char *iv,
186 size_t iv_len,
187 const unsigned char *add,
188 size_t add_len );
189
190/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000191 * \brief This function feeds an input buffer into an ongoing GCM
192 * encryption or decryption operation.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200193 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000194 * ` The function expects input to be a multiple of 16
195 * Bytes. Only the last call before calling
196 * mbedtls_gcm_finish() can be less than 16 Bytes.
197 *
198 * \note For decryption, the output buffer cannot be the same as input buffer.
199 * If the buffers overlap, the output buffer must trail at least 8 Bytes
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200200 * behind the input buffer.
201 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000202 * \param ctx The GCM context.
203 * \param length The length of the input data. This must be a multiple of 16 except in the last call before mbedtls_gcm_finish().
204 * \param input The buffer holding the input data.
205 * \param output The buffer for holding the output data.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200206 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000207 * \return \c 0 on success, or #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200208 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200209int mbedtls_gcm_update( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200210 size_t length,
211 const unsigned char *input,
212 unsigned char *output );
213
214/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000215 * \brief This function finishes the GCM operation and generates
216 * the authentication tag.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200217 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000218 * It wraps up the GCM stream, and generates the
219 * tag. The tag can have a maximum length of 16 Bytes.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200220 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000221 * \param ctx The GCM context.
222 * \param tag The buffer for holding the tag.
223 * \param tag_len The length of the tag to generate. Must be at least four.
224 *
225 * \return \c 0 on success, or #MBEDTLS_ERR_GCM_BAD_INPUT on failure.
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200226 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200227int mbedtls_gcm_finish( mbedtls_gcm_context *ctx,
Paul Bakkerb9d3cfa2013-06-26 15:07:16 +0200228 unsigned char *tag,
229 size_t tag_len );
230
231/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000232 * \brief This function clears a GCM context and the underlying
233 * cipher sub-context.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200234 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000235 * \param ctx The GCM context to clear.
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200236 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200237void mbedtls_gcm_free( mbedtls_gcm_context *ctx );
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200238
Jaeden Amero15263302017-09-21 12:53:48 +0100239#ifdef __cplusplus
240}
241#endif
242
243#else /* !MBEDTLS_GCM_ALT */
244#include "gcm_alt.h"
245#endif /* !MBEDTLS_GCM_ALT */
246
247#ifdef __cplusplus
248extern "C" {
249#endif
250
Manuel Pégourié-Gonnard4fe92002013-09-13 13:45:58 +0200251/**
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000252 * \brief The GCM checkup routine.
Paul Bakker89e80c92012-03-20 13:50:09 +0000253 *
Rose Zadik17b4f7f2018-01-26 10:56:42 +0000254 * \return \c 0 on success, or \c 1 on failure.
Paul Bakker89e80c92012-03-20 13:50:09 +0000255 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200256int mbedtls_gcm_self_test( int verbose );
Paul Bakker89e80c92012-03-20 13:50:09 +0000257
258#ifdef __cplusplus
259}
260#endif
261
Jaeden Amero15263302017-09-21 12:53:48 +0100262
Paul Bakker89e80c92012-03-20 13:50:09 +0000263#endif /* gcm.h */