diff --color -ruNp a/doc/Makefile.am b/doc/Makefile.am --- a/doc/Makefile.am 2022-11-15 14:14:10.632725399 +0100 +++ b/doc/Makefile.am 2022-11-15 14:14:40.252300863 +0100 @@ -575,6 +575,7 @@ ENUMS += enums/gnutls_certificate_verifi ENUMS += enums/gnutls_certificate_verify_flags ENUMS += enums/gnutls_channel_binding_t ENUMS += enums/gnutls_cipher_algorithm_t +ENUMS += enums/gnutls_cipher_flags_t ENUMS += enums/gnutls_close_request_t ENUMS += enums/gnutls_compression_method_t ENUMS += enums/gnutls_credentials_type_t @@ -882,12 +883,16 @@ FUNCS += functions/gnutls_cipher_decrypt FUNCS += functions/gnutls_cipher_decrypt.short FUNCS += functions/gnutls_cipher_decrypt2 FUNCS += functions/gnutls_cipher_decrypt2.short +FUNCS += functions/gnutls_cipher_decrypt3 +FUNCS += functions/gnutls_cipher_decrypt3.short FUNCS += functions/gnutls_cipher_deinit FUNCS += functions/gnutls_cipher_deinit.short FUNCS += functions/gnutls_cipher_encrypt FUNCS += functions/gnutls_cipher_encrypt.short FUNCS += functions/gnutls_cipher_encrypt2 FUNCS += functions/gnutls_cipher_encrypt2.short +FUNCS += functions/gnutls_cipher_encrypt3 +FUNCS += functions/gnutls_cipher_encrypt3.short FUNCS += functions/gnutls_cipher_get FUNCS += functions/gnutls_cipher_get.short FUNCS += functions/gnutls_cipher_get_block_size diff --color -ruNp a/doc/manpages/Makefile.am b/doc/manpages/Makefile.am --- a/doc/manpages/Makefile.am 2022-11-15 14:14:10.634725438 +0100 +++ b/doc/manpages/Makefile.am 2022-11-15 14:14:40.254300902 +0100 @@ -273,9 +273,11 @@ APIMANS += gnutls_check_version.3 APIMANS += gnutls_cipher_add_auth.3 APIMANS += gnutls_cipher_decrypt.3 APIMANS += gnutls_cipher_decrypt2.3 +APIMANS += gnutls_cipher_decrypt3.3 APIMANS += gnutls_cipher_deinit.3 APIMANS += gnutls_cipher_encrypt.3 APIMANS += gnutls_cipher_encrypt2.3 +APIMANS += gnutls_cipher_encrypt3.3 APIMANS += gnutls_cipher_get.3 APIMANS += gnutls_cipher_get_block_size.3 APIMANS += gnutls_cipher_get_id.3 diff --color -ruNp a/lib/crypto-api.c b/lib/crypto-api.c --- a/lib/crypto-api.c 2022-11-15 14:14:11.036733248 +0100 +++ b/lib/crypto-api.c 2022-11-15 14:14:40.255300921 +0100 @@ -413,6 +413,166 @@ gnutls_cipher_decrypt2(gnutls_cipher_hd_ } /** + * gnutls_cipher_encrypt3: + * @handle: is a #gnutls_cipher_hd_t type + * @ptext: the data to encrypt + * @ptext_len: the length of data to encrypt + * @ctext: the encrypted data + * @ctext_len: the length of encrypted data (initially must hold the maximum available size) + * @flags: flags for padding + * + * This function will encrypt the given data using the algorithm + * specified by the context. For block ciphers, @ptext_len is + * typically a multiple of the block size. If not, the caller can + * instruct the function to pad the last block according to @flags. + * Currently, the only available padding scheme is + * %GNUTLS_CIPHER_PADDING_PKCS7. + * + * If @ctext is not %NULL, it must hold enough space to store + * resulting cipher text. To check the required size, this function + * can be called with @ctext set to %NULL. Then @ctext_len will be + * updated without performing actual encryption. + * + * Returns: Zero or a negative error code on error. + * + * Since: 3.7.7 + **/ +int +gnutls_cipher_encrypt3(gnutls_cipher_hd_t handle, + const void *ptext, size_t ptext_len, + void *ctext, size_t *ctext_len, + unsigned flags) +{ + api_cipher_hd_st *h = handle; + const cipher_entry_st *e = h->ctx_enc.e; + int block_size = _gnutls_cipher_get_block_size(e); + int ret = 0; + + if (unlikely(ctext_len == NULL)) { + return gnutls_assert_val(GNUTLS_E_INVALID_REQUEST); + } + + if (_gnutls_cipher_type(e) == CIPHER_BLOCK && + (flags & GNUTLS_CIPHER_PADDING_PKCS7)) { + size_t n, r; + uint8_t last_block[MAX_CIPHER_BLOCK_SIZE]; + const uint8_t *p = ptext; + uint8_t *c = ctext; + + if (!INT_ADD_OK(ptext_len, block_size, &n)) { + return gnutls_assert_val(GNUTLS_E_INVALID_REQUEST); + } + + n = (n / block_size) * block_size; + + if (!ctext) { + *ctext_len = n; + return 0; + } + + if (*ctext_len < n) { + return gnutls_assert_val(GNUTLS_E_SHORT_MEMORY_BUFFER); + } + + /* Encrypt up to the last complete block */ + r = ptext_len % block_size; + + ret = _gnutls_cipher_encrypt2(&h->ctx_enc, + ptext, ptext_len - r, + ctext, ptext_len - r); + if (ret < 0) { + goto error; + } + + /* Encrypt the last block with padding */ + gnutls_memset(last_block, block_size - r, sizeof(last_block)); + if (r > 0) { + memcpy(last_block, &p[ptext_len - r], r); + } + ret = _gnutls_cipher_encrypt2(&h->ctx_enc, + last_block, block_size, + &c[ptext_len - r], block_size); + if (ret < 0) { + goto error; + } + *ctext_len = n; + } else { + if (!ctext) { + *ctext_len = ptext_len; + return 0; + } + + ret = _gnutls_cipher_encrypt2(&h->ctx_enc, ptext, ptext_len, + ctext, *ctext_len); + if (ret < 0) { + goto error; + } + *ctext_len = ptext_len; + } + + error: + if (ret < 0) { + _gnutls_switch_fips_state(GNUTLS_FIPS140_OP_ERROR); + } else { + _gnutls_switch_fips_state(GNUTLS_FIPS140_OP_APPROVED); + } + return ret; +} + +/** + * gnutls_cipher_decrypt3: + * @handle: is a #gnutls_cipher_hd_t type + * @ctext: the data to decrypt + * @ctext_len: the length of data to decrypt + * @ptext: the decrypted data + * @ptext_len: the available length for decrypted data + * @flags: flags for padding + * + * This function will decrypt the given data using the algorithm + * specified by the context. If @flags is specified, padding for the + * decrypted data will be removed accordingly and @ptext_len will be + * updated. + * + * Returns: Zero or a negative error code on error. + * + * Since: 3.7.7 + **/ +int +gnutls_cipher_decrypt3(gnutls_cipher_hd_t handle, + const void *ctext, size_t ctext_len, + void *ptext, size_t *ptext_len, + unsigned flags) +{ + api_cipher_hd_st *h = handle; + int ret; + + ret = gnutls_cipher_decrypt2(handle, + ctext, ctext_len, + ptext, *ptext_len); + if (ret < 0) { + return ret; + } + + if (_gnutls_cipher_type(h->ctx_enc.e) == CIPHER_BLOCK && + (flags & GNUTLS_CIPHER_PADDING_PKCS7)) { + uint8_t *p = ptext; + uint8_t padding = p[*ptext_len - 1]; + if (!padding || padding > _gnutls_cipher_get_block_size(h->ctx_enc.e)) { + return gnutls_assert_val(GNUTLS_E_DECRYPTION_FAILED); + } + /* Check that the prior bytes are all PADDING */ + for (size_t i = *ptext_len - padding; i < *ptext_len; i++) { + if (padding != p[*ptext_len - 1]) { + return gnutls_assert_val(GNUTLS_E_DECRYPTION_FAILED); + } + } + *ptext_len -= padding; + } + + return 0; +} + +/** * gnutls_cipher_deinit: * @handle: is a #gnutls_cipher_hd_t type * diff --color -ruNp a/lib/includes/gnutls/crypto.h b/lib/includes/gnutls/crypto.h --- a/lib/includes/gnutls/crypto.h 2022-05-10 13:57:43.000000000 +0200 +++ b/lib/includes/gnutls/crypto.h 2022-11-15 14:14:40.256300941 +0100 @@ -49,6 +49,28 @@ int gnutls_cipher_encrypt2(gnutls_cipher const void *text, size_t textlen, void *ciphertext, size_t ciphertextlen); +/** + * gnutls_cipher_flags_t: + * @GNUTLS_CIPHER_PADDING_PKCS7: Flag to indicate PKCS#7 padding + * + * Enumeration of flags to control block cipher padding, used by + * gnutls_cipher_encrypt3() and gnutls_cipher_decrypt3(). + * + * Since: 3.7.7 + */ +typedef enum gnutls_cipher_flags_t { + GNUTLS_CIPHER_PADDING_PKCS7 = 1 +} gnutls_cipher_flags_t; + +int gnutls_cipher_encrypt3(gnutls_cipher_hd_t handle, + const void *ptext, size_t ptext_len, + void *ctext, size_t *ctext_len, + unsigned flags); +int gnutls_cipher_decrypt3(gnutls_cipher_hd_t handle, + const void *ctext, size_t ctext_len, + void *ptext, size_t *ptext_len, + unsigned flags); + void gnutls_cipher_set_iv(gnutls_cipher_hd_t handle, void *iv, size_t ivlen); diff --color -ruNp a/lib/libgnutls.map b/lib/libgnutls.map --- a/lib/libgnutls.map 2022-11-15 14:14:11.142735308 +0100 +++ b/lib/libgnutls.map 2022-11-15 14:14:40.256300941 +0100 @@ -1403,6 +1403,8 @@ GNUTLS_3_7_7 { global: gnutls_fips140_run_self_tests; + gnutls_cipher_encrypt3; + gnutls_cipher_decrypt3; local: *; } GNUTLS_3_7_5; diff --color -ruNp a/tests/cipher-padding.c b/tests/cipher-padding.c --- a/tests/cipher-padding.c 1970-01-01 01:00:00.000000000 +0100 +++ b/tests/cipher-padding.c 2022-11-15 14:14:40.258300980 +0100 @@ -0,0 +1,160 @@ +/* + * Copyright (C) 2022 Red Hat, Inc. + * + * Author: Daiki Ueno + * + * This file is part of GnuTLS. + * + * The GnuTLS is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public License + * as published by the Free Software Foundation; either version 2.1 of + * the License, or (at your option) any later version. + * + * This library is distributed in the hope that it will be useful, but + * WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with this program. If not, see + * + */ + +#include + +#include +#include +#include +#include +#include "utils.h" + +static void tls_log_func(int level, const char *str) +{ + fprintf(stderr, "<%d>| %s", level, str); +} + +#define CLAMP(x, b) (((x) + (b)) / (b)) * (b) + +static void +start(gnutls_cipher_algorithm_t algo, size_t plaintext_size, unsigned int flags) +{ + int ret; + gnutls_cipher_hd_t ch; + uint8_t key16[64]; + uint8_t iv16[32]; + uint8_t plaintext[128]; + uint8_t ciphertext[128]; + size_t block_size; + size_t size; + gnutls_datum_t key, iv; + + success("%s %zu %u\n", + gnutls_cipher_get_name(algo), plaintext_size, flags); + + block_size = gnutls_cipher_get_block_size(algo); + + key.data = key16; + key.size = gnutls_cipher_get_key_size(algo); + assert(key.size <= sizeof(key16)); + + iv.data = iv16; + iv.size = gnutls_cipher_get_iv_size(algo); + assert(iv.size <= sizeof(iv16)); + + memset(iv.data, 0xff, iv.size); + memset(key.data, 0xfe, key.size); + memset(plaintext, 0xfa, sizeof(plaintext)); + + ret = gnutls_cipher_init(&ch, algo, &key, &iv); + if (ret < 0) { + fail("gnutls_cipher_init failed\n"); + } + + /* Check overflow if PKCS#7 is requested */ + if (flags & GNUTLS_CIPHER_PADDING_PKCS7) { + ret = gnutls_cipher_encrypt3(ch, + plaintext, SIZE_MAX, + NULL, &size, + flags); + if (ret != GNUTLS_E_INVALID_REQUEST) { + fail("gnutls_cipher_encrypt3 succeeded\n"); + } + } + + /* Get the ciphertext size */ + ret = gnutls_cipher_encrypt3(ch, + plaintext, plaintext_size, + NULL, &size, + flags); + if (ret < 0) { + fail("gnutls_cipher_encrypt3 failed\n"); + } + + if (flags & GNUTLS_CIPHER_PADDING_PKCS7) { + if (size <= plaintext_size) { + fail("no padding appended\n"); + } + if (size != CLAMP(plaintext_size, block_size)) { + fail("size does not match: %zu (expected %zu)\n", + size, CLAMP(plaintext_size, block_size)); + } + } else { + if (size != plaintext_size) { + fail("size does not match: %zu (expected %zu)\n", + size, plaintext_size); + } + } + + /* Encrypt with padding */ + ret = gnutls_cipher_encrypt3(ch, + plaintext, plaintext_size, + ciphertext, &size, + flags); + if (ret < 0) { + fail("gnutls_cipher_encrypt3 failed\n"); + } + + /* Decrypt with padding */ + ret = gnutls_cipher_decrypt3(ch, + ciphertext, size, + ciphertext, &size, + flags); + if (ret < 0) { + fail("gnutls_cipher_encrypt3 failed\n"); + } + + if (size != plaintext_size) { + fail("size does not match: %zu (expected %zu)\n", + size, plaintext_size); + } + + if (memcmp(ciphertext, plaintext, size) != 0) { + fail("plaintext does not match\n"); + } + + gnutls_cipher_deinit(ch); +} + +void doit(void) { + int ret; + + gnutls_global_set_log_function(tls_log_func); + if (debug) { + gnutls_global_set_log_level(4711); + } + + ret = global_init(); + if (ret < 0) { + fail("Cannot initialize library\n"); + } + + start(GNUTLS_CIPHER_AES_128_CBC, 0, GNUTLS_CIPHER_PADDING_PKCS7); + start(GNUTLS_CIPHER_AES_128_CBC, 11, GNUTLS_CIPHER_PADDING_PKCS7); + start(GNUTLS_CIPHER_AES_128_CBC, 77, GNUTLS_CIPHER_PADDING_PKCS7); + start(GNUTLS_CIPHER_AES_128_CBC, 80, GNUTLS_CIPHER_PADDING_PKCS7); + + start(GNUTLS_CIPHER_AES_128_CBC, 0, 0); + start(GNUTLS_CIPHER_AES_128_CBC, 80, 0); + + gnutls_global_deinit(); +} diff --color -ruNp a/tests/Makefile.am b/tests/Makefile.am --- a/tests/Makefile.am 2022-11-15 14:14:11.144735347 +0100 +++ b/tests/Makefile.am 2022-11-15 14:14:40.257300960 +0100 @@ -233,7 +233,7 @@ ctests += mini-record-2 simple gnutls_hm tls13-without-timeout-func buffer status-request-revoked \ set_x509_ocsp_multi_cli kdf-api keylog-func handshake-write \ x509cert-dntypes id-on-xmppAddr tls13-compat-mode ciphersuite-name \ - x509-upnconstraint xts-key-check pkcs7-verify-double-free \ + x509-upnconstraint cipher-padding xts-key-check pkcs7-verify-double-free \ fips-rsa-sizes tls12-rehandshake-ticket ctests += tls-channel-binding