2 * Copyright 2016 The OpenSSL Project Authors. All Rights Reserved.
4 * Licensed under the OpenSSL license (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 "../ssl_locl.h"
11 #include "record_locl.h"
12 #include "internal/cryptlib.h"
15 * tls13_enc encrypts/decrypts |n_recs| in |recs|. Will call SSLfatal() for
16 * internal errors, but not otherwise.
19 * 0: (in non-constant time) if the record is publically invalid (i.e. too
21 * 1: if the record encryption was successful.
22 * -1: if the record's AEAD-authenticator is invalid or, if sending,
23 * an internal error occurred.
25 int tls13_enc(SSL *s, SSL3_RECORD *recs, size_t n_recs, int sending)
28 unsigned char iv[EVP_MAX_IV_LENGTH];
29 size_t ivlen, taglen, offset, loop;
30 unsigned char *staticiv;
33 SSL3_RECORD *rec = &recs[0];
37 /* Should not happen */
38 /* TODO(TLS1.3): Support pipelining */
39 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
40 ERR_R_INTERNAL_ERROR);
45 ctx = s->enc_write_ctx;
46 staticiv = s->write_iv;
47 seq = RECORD_LAYER_get_write_sequence(&s->rlayer);
49 ctx = s->enc_read_ctx;
50 staticiv = s->read_iv;
51 seq = RECORD_LAYER_get_read_sequence(&s->rlayer);
55 memmove(rec->data, rec->input, rec->length);
56 rec->input = rec->data;
60 ivlen = EVP_CIPHER_CTX_iv_length(ctx);
62 if (s->early_data_state == SSL_EARLY_DATA_WRITING
63 || s->early_data_state == SSL_EARLY_DATA_WRITE_RETRY) {
64 if (s->session != NULL && s->session->ext.max_early_data > 0) {
65 alg_enc = s->session->cipher->algorithm_enc;
67 if (!ossl_assert(s->psksession != NULL
68 && s->psksession->ext.max_early_data > 0)) {
69 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
70 ERR_R_INTERNAL_ERROR);
73 alg_enc = s->psksession->cipher->algorithm_enc;
77 * To get here we must have selected a ciphersuite - otherwise ctx would
80 if (!ossl_assert(s->s3->tmp.new_cipher != NULL)) {
81 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
82 ERR_R_INTERNAL_ERROR);
85 alg_enc = s->s3->tmp.new_cipher->algorithm_enc;
88 if (alg_enc & SSL_AESCCM) {
89 if (alg_enc & (SSL_AES128CCM8 | SSL_AES256CCM8))
90 taglen = EVP_CCM8_TLS_TAG_LEN;
92 taglen = EVP_CCM_TLS_TAG_LEN;
93 if (sending && EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_SET_TAG, taglen,
95 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
96 ERR_R_INTERNAL_ERROR);
99 } else if (alg_enc & SSL_AESGCM) {
100 taglen = EVP_GCM_TLS_TAG_LEN;
101 } else if (alg_enc & SSL_CHACHA20) {
102 taglen = EVP_CHACHAPOLY_TLS_TAG_LEN;
104 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
105 ERR_R_INTERNAL_ERROR);
111 * Take off tag. There must be at least one byte of content type as
114 if (rec->length < taglen + 1)
116 rec->length -= taglen;
120 if (ivlen < SEQ_NUM_SIZE) {
121 /* Should not happen */
122 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
123 ERR_R_INTERNAL_ERROR);
126 offset = ivlen - SEQ_NUM_SIZE;
127 memcpy(iv, staticiv, offset);
128 for (loop = 0; loop < SEQ_NUM_SIZE; loop++)
129 iv[offset + loop] = staticiv[offset + loop] ^ seq[loop];
131 /* Increment the sequence counter */
132 for (loop = SEQ_NUM_SIZE; loop > 0; loop--) {
134 if (seq[loop - 1] != 0)
138 /* Sequence has wrapped */
142 /* TODO(size_t): lenu/lenf should be a size_t but EVP doesn't support it */
143 if (EVP_CipherInit_ex(ctx, NULL, NULL, NULL, iv, sending) <= 0
144 || (!sending && EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_SET_TAG,
146 rec->data + rec->length) <= 0)
147 || EVP_CipherUpdate(ctx, rec->data, &lenu, rec->input,
148 (unsigned int)rec->length) <= 0
149 || EVP_CipherFinal_ex(ctx, rec->data + lenu, &lenf) <= 0
150 || (size_t)(lenu + lenf) != rec->length) {
155 if (EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_GET_TAG, taglen,
156 rec->data + rec->length) <= 0) {
157 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS13_ENC,
158 ERR_R_INTERNAL_ERROR);
161 rec->length += taglen;