2 * Copyright 2019 The OpenSSL Project Authors. All Rights Reserved.
4 * Licensed under the Apache License 2.0 (the "License"). You may not use
5 * this file except in compliance with the License. You can obtain a copy
6 * in the file LICENSE in the source distribution or at
7 * https://www.openssl.org/source/license.html
10 #include "cipher_aes_xts.h"
11 #include "prov/implementations.h"
12 #include "prov/providercommonerr.h"
14 /* TODO (3.0) Figure out what flags need to be set */
15 #define AES_XTS_FLAGS (EVP_CIPH_CUSTOM_IV \
16 | EVP_CIPH_ALWAYS_CALL_INIT \
17 | EVP_CIPH_CTRL_INIT \
18 | EVP_CIPH_CUSTOM_COPY)
20 #define AES_XTS_IV_BITS 128
21 #define AES_XTS_BLOCK_BITS 8
23 /* forward declarations */
24 static OSSL_OP_cipher_encrypt_init_fn aes_xts_einit;
25 static OSSL_OP_cipher_decrypt_init_fn aes_xts_dinit;
26 static OSSL_OP_cipher_update_fn aes_xts_stream_update;
27 static OSSL_OP_cipher_final_fn aes_xts_stream_final;
28 static OSSL_OP_cipher_cipher_fn aes_xts_cipher;
29 static OSSL_OP_cipher_freectx_fn aes_xts_freectx;
30 static OSSL_OP_cipher_dupctx_fn aes_xts_dupctx;
31 static OSSL_OP_cipher_set_ctx_params_fn aes_xts_set_ctx_params;
32 static OSSL_OP_cipher_settable_ctx_params_fn aes_xts_settable_ctx_params;
35 * Verify that the two keys are different.
37 * This addresses the vulnerability described in Rogaway's
38 * September 2004 paper:
40 * "Efficient Instantiations of Tweakable Blockciphers and
41 * Refinements to Modes OCB and PMAC".
42 * (http://web.cs.ucdavis.edu/~rogaway/papers/offsets.pdf)
44 * FIPS 140-2 IG A.9 XTS-AES Key Generation Requirements states
46 * "The check for Key_1 != Key_2 shall be done at any place
47 * BEFORE using the keys in the XTS-AES algorithm to process
50 static int aes_xts_check_keys_differ(const unsigned char *key, size_t bytes,
53 if ((!allow_insecure_decrypt || enc)
54 && CRYPTO_memcmp(key, key + bytes, bytes) == 0) {
55 ERR_raise(ERR_LIB_PROV, PROV_R_XTS_DUPLICATED_KEYS);
62 * Provider dispatch functions
64 static int aes_xts_init(void *vctx, const unsigned char *key, size_t keylen,
65 const unsigned char *iv, size_t ivlen, int enc)
67 PROV_AES_XTS_CTX *xctx = (PROV_AES_XTS_CTX *)vctx;
68 PROV_CIPHER_CTX *ctx = &xctx->base;
73 if (!cipher_generic_initiv(vctx, iv, ivlen))
77 if (keylen != ctx->keylen) {
78 ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LENGTH);
81 if (!aes_xts_check_keys_differ(key, keylen / 2, enc))
83 return ctx->hw->init(ctx, key, keylen);
88 static int aes_xts_einit(void *vctx, const unsigned char *key, size_t keylen,
89 const unsigned char *iv, size_t ivlen)
91 return aes_xts_init(vctx, key, keylen, iv, ivlen, 1);
94 static int aes_xts_dinit(void *vctx, const unsigned char *key, size_t keylen,
95 const unsigned char *iv, size_t ivlen)
97 return aes_xts_init(vctx, key, keylen, iv, ivlen, 0);
100 static void *aes_xts_newctx(void *provctx, unsigned int mode, uint64_t flags,
101 size_t kbits, size_t blkbits, size_t ivbits)
103 PROV_AES_XTS_CTX *ctx = OPENSSL_zalloc(sizeof(*ctx));
106 cipher_generic_initkey(&ctx->base, kbits, blkbits, ivbits, mode, flags,
107 PROV_CIPHER_HW_aes_xts(kbits), NULL);
112 static void aes_xts_freectx(void *vctx)
114 PROV_AES_XTS_CTX *ctx = (PROV_AES_XTS_CTX *)vctx;
116 OPENSSL_clear_free(ctx, sizeof(*ctx));
119 static void *aes_xts_dupctx(void *vctx)
121 PROV_AES_XTS_CTX *in = (PROV_AES_XTS_CTX *)vctx;
122 PROV_AES_XTS_CTX *ret = NULL;
124 if (in->xts.key1 != NULL) {
125 if (in->xts.key1 != &in->ks1)
128 if (in->xts.key2 != NULL) {
129 if (in->xts.key2 != &in->ks2)
132 ret = OPENSSL_malloc(sizeof(*ret));
134 ERR_raise(ERR_LIB_PROV, ERR_R_MALLOC_FAILURE);
137 in->base.hw->copyctx(&ret->base, &in->base);
141 static int aes_xts_cipher(void *vctx, unsigned char *out, size_t *outl,
142 size_t outsize, const unsigned char *in, size_t inl)
144 PROV_AES_XTS_CTX *ctx = (PROV_AES_XTS_CTX *)vctx;
146 if (ctx->xts.key1 == NULL
147 || ctx->xts.key2 == NULL
151 || inl < AES_BLOCK_SIZE)
155 * Impose a limit of 2^20 blocks per data unit as specifed by
156 * IEEE Std 1619-2018. The earlier and obsolete IEEE Std 1619-2007
157 * indicated that this was a SHOULD NOT rather than a MUST NOT.
158 * NIST SP 800-38E mandates the same limit.
160 if (inl > XTS_MAX_BLOCKS_PER_DATA_UNIT * AES_BLOCK_SIZE) {
161 ERR_raise(ERR_LIB_PROV, PROV_R_XTS_DATA_UNIT_IS_TOO_LARGE);
165 if (ctx->stream != NULL)
166 (*ctx->stream)(in, out, inl, ctx->xts.key1, ctx->xts.key2, ctx->base.iv);
167 else if (CRYPTO_xts128_encrypt(&ctx->xts, ctx->base.iv, in, out, inl,
175 static int aes_xts_stream_update(void *vctx, unsigned char *out, size_t *outl,
176 size_t outsize, const unsigned char *in,
179 PROV_AES_XTS_CTX *ctx = (PROV_AES_XTS_CTX *)vctx;
182 ERR_raise(ERR_LIB_PROV, PROV_R_OUTPUT_BUFFER_TOO_SMALL);
186 if (!aes_xts_cipher(ctx, out, outl, outsize, in, inl)) {
187 ERR_raise(ERR_LIB_PROV, PROV_R_CIPHER_OPERATION_FAILED);
194 static int aes_xts_stream_final(void *vctx, unsigned char *out, size_t *outl,
201 static const OSSL_PARAM aes_xts_known_settable_ctx_params[] = {
202 OSSL_PARAM_size_t(OSSL_CIPHER_PARAM_KEYLEN, NULL),
206 static const OSSL_PARAM *aes_xts_settable_ctx_params(void)
208 return aes_xts_known_settable_ctx_params;
211 static int aes_xts_set_ctx_params(void *vctx, const OSSL_PARAM params[])
213 PROV_CIPHER_CTX *ctx = (PROV_CIPHER_CTX *)vctx;
217 * TODO(3.0) We need a general solution for handling missing parameters
218 * inside set_params and get_params methods.
220 p = OSSL_PARAM_locate_const(params, OSSL_CIPHER_PARAM_KEYLEN);
224 if (!OSSL_PARAM_get_size_t(p, &keylen)) {
225 ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_GET_PARAMETER);
228 /* The key length can not be modified for xts mode */
229 if (keylen != ctx->keylen)
236 #define IMPLEMENT_cipher(lcmode, UCMODE, kbits, flags) \
237 static OSSL_OP_cipher_get_params_fn aes_##kbits##_##lcmode##_get_params; \
238 static int aes_##kbits##_##lcmode##_get_params(OSSL_PARAM params[]) \
240 return cipher_generic_get_params(params, EVP_CIPH_##UCMODE##_MODE, \
241 flags, 2 * kbits, AES_XTS_BLOCK_BITS, \
244 static OSSL_OP_cipher_newctx_fn aes_##kbits##_xts_newctx; \
245 static void *aes_##kbits##_xts_newctx(void *provctx) \
247 return aes_xts_newctx(provctx, EVP_CIPH_##UCMODE##_MODE, flags, 2 * kbits, \
248 AES_XTS_BLOCK_BITS, AES_XTS_IV_BITS); \
250 const OSSL_DISPATCH aes##kbits##xts_functions[] = { \
251 { OSSL_FUNC_CIPHER_NEWCTX, (void (*)(void))aes_##kbits##_xts_newctx }, \
252 { OSSL_FUNC_CIPHER_ENCRYPT_INIT, (void (*)(void))aes_xts_einit }, \
253 { OSSL_FUNC_CIPHER_DECRYPT_INIT, (void (*)(void))aes_xts_dinit }, \
254 { OSSL_FUNC_CIPHER_UPDATE, (void (*)(void))aes_xts_stream_update }, \
255 { OSSL_FUNC_CIPHER_FINAL, (void (*)(void))aes_xts_stream_final }, \
256 { OSSL_FUNC_CIPHER_CIPHER, (void (*)(void))aes_xts_cipher }, \
257 { OSSL_FUNC_CIPHER_FREECTX, (void (*)(void))aes_xts_freectx }, \
258 { OSSL_FUNC_CIPHER_DUPCTX, (void (*)(void))aes_xts_dupctx }, \
259 { OSSL_FUNC_CIPHER_GET_PARAMS, \
260 (void (*)(void))aes_##kbits##_##lcmode##_get_params }, \
261 { OSSL_FUNC_CIPHER_GETTABLE_PARAMS, \
262 (void (*)(void))cipher_generic_gettable_params }, \
263 { OSSL_FUNC_CIPHER_GET_CTX_PARAMS, \
264 (void (*)(void))cipher_generic_get_ctx_params }, \
265 { OSSL_FUNC_CIPHER_GETTABLE_CTX_PARAMS, \
266 (void (*)(void))cipher_generic_gettable_ctx_params }, \
267 { OSSL_FUNC_CIPHER_SET_CTX_PARAMS, \
268 (void (*)(void))aes_xts_set_ctx_params }, \
269 { OSSL_FUNC_CIPHER_SETTABLE_CTX_PARAMS, \
270 (void (*)(void))aes_xts_settable_ctx_params }, \
274 IMPLEMENT_cipher(xts, XTS, 256, AES_XTS_FLAGS);
275 IMPLEMENT_cipher(xts, XTS, 128, AES_XTS_FLAGS);