2 * Copyright 2016-2018 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
], recheader
[SSL3_RT_HEADER_LENGTH
];
29 size_t ivlen
, taglen
, offset
, loop
, hdrlen
;
30 unsigned char *staticiv
;
33 SSL3_RECORD
*rec
= &recs
[0];
38 /* Should not happen */
39 /* TODO(TLS1.3): Support pipelining */
40 SSLfatal(s
, SSL_AD_INTERNAL_ERROR
, SSL_F_TLS13_ENC
,
41 ERR_R_INTERNAL_ERROR
);
46 ctx
= s
->enc_write_ctx
;
47 staticiv
= s
->write_iv
;
48 seq
= RECORD_LAYER_get_write_sequence(&s
->rlayer
);
50 ctx
= s
->enc_read_ctx
;
51 staticiv
= s
->read_iv
;
52 seq
= RECORD_LAYER_get_read_sequence(&s
->rlayer
);
56 memmove(rec
->data
, rec
->input
, rec
->length
);
57 rec
->input
= rec
->data
;
61 ivlen
= EVP_CIPHER_CTX_iv_length(ctx
);
63 if (s
->early_data_state
== SSL_EARLY_DATA_WRITING
64 || s
->early_data_state
== SSL_EARLY_DATA_WRITE_RETRY
) {
65 if (s
->session
!= NULL
&& s
->session
->ext
.max_early_data
> 0) {
66 alg_enc
= s
->session
->cipher
->algorithm_enc
;
68 if (!ossl_assert(s
->psksession
!= NULL
69 && s
->psksession
->ext
.max_early_data
> 0)) {
70 SSLfatal(s
, SSL_AD_INTERNAL_ERROR
, SSL_F_TLS13_ENC
,
71 ERR_R_INTERNAL_ERROR
);
74 alg_enc
= s
->psksession
->cipher
->algorithm_enc
;
78 * To get here we must have selected a ciphersuite - otherwise ctx would
81 if (!ossl_assert(s
->s3
->tmp
.new_cipher
!= NULL
)) {
82 SSLfatal(s
, SSL_AD_INTERNAL_ERROR
, SSL_F_TLS13_ENC
,
83 ERR_R_INTERNAL_ERROR
);
86 alg_enc
= s
->s3
->tmp
.new_cipher
->algorithm_enc
;
89 if (alg_enc
& SSL_AESCCM
) {
90 if (alg_enc
& (SSL_AES128CCM8
| SSL_AES256CCM8
))
91 taglen
= EVP_CCM8_TLS_TAG_LEN
;
93 taglen
= EVP_CCM_TLS_TAG_LEN
;
94 if (sending
&& EVP_CIPHER_CTX_ctrl(ctx
, EVP_CTRL_AEAD_SET_TAG
, taglen
,
96 SSLfatal(s
, SSL_AD_INTERNAL_ERROR
, SSL_F_TLS13_ENC
,
97 ERR_R_INTERNAL_ERROR
);
100 } else if (alg_enc
& SSL_AESGCM
) {
101 taglen
= EVP_GCM_TLS_TAG_LEN
;
102 } else if (alg_enc
& SSL_CHACHA20
) {
103 taglen
= EVP_CHACHAPOLY_TLS_TAG_LEN
;
105 SSLfatal(s
, SSL_AD_INTERNAL_ERROR
, SSL_F_TLS13_ENC
,
106 ERR_R_INTERNAL_ERROR
);
112 * Take off tag. There must be at least one byte of content type as
115 if (rec
->length
< taglen
+ 1)
117 rec
->length
-= taglen
;
121 if (ivlen
< SEQ_NUM_SIZE
) {
122 /* Should not happen */
123 SSLfatal(s
, SSL_AD_INTERNAL_ERROR
, SSL_F_TLS13_ENC
,
124 ERR_R_INTERNAL_ERROR
);
127 offset
= ivlen
- SEQ_NUM_SIZE
;
128 memcpy(iv
, staticiv
, offset
);
129 for (loop
= 0; loop
< SEQ_NUM_SIZE
; loop
++)
130 iv
[offset
+ loop
] = staticiv
[offset
+ loop
] ^ seq
[loop
];
132 /* Increment the sequence counter */
133 for (loop
= SEQ_NUM_SIZE
; loop
> 0; loop
--) {
135 if (seq
[loop
- 1] != 0)
139 /* Sequence has wrapped */
143 /* TODO(size_t): lenu/lenf should be a size_t but EVP doesn't support it */
144 if (EVP_CipherInit_ex(ctx
, NULL
, NULL
, NULL
, iv
, sending
) <= 0
145 || (!sending
&& EVP_CIPHER_CTX_ctrl(ctx
, EVP_CTRL_AEAD_SET_TAG
,
147 rec
->data
+ rec
->length
) <= 0)) {
152 if (!WPACKET_init_static_len(&wpkt
, recheader
, sizeof(recheader
), 0)
153 || !WPACKET_put_bytes_u8(&wpkt
, rec
->type
)
154 || !WPACKET_put_bytes_u16(&wpkt
, rec
->rec_version
)
155 || !WPACKET_put_bytes_u16(&wpkt
, rec
->length
+ taglen
)
156 || !WPACKET_get_total_written(&wpkt
, &hdrlen
)
157 || hdrlen
!= SSL3_RT_HEADER_LENGTH
158 || !WPACKET_finish(&wpkt
)) {
159 WPACKET_cleanup(&wpkt
);
164 * For CCM we must explicitly set the total plaintext length before we add
167 if (((alg_enc
& SSL_AESCCM
) != 0
168 && EVP_CipherUpdate(ctx
, NULL
, &lenu
, NULL
,
169 (unsigned int)rec
->length
) <= 0)
170 || EVP_CipherUpdate(ctx
, NULL
, &lenu
, recheader
,
171 sizeof(recheader
)) <= 0
172 || EVP_CipherUpdate(ctx
, rec
->data
, &lenu
, rec
->input
,
173 (unsigned int)rec
->length
) <= 0
174 || EVP_CipherFinal_ex(ctx
, rec
->data
+ lenu
, &lenf
) <= 0
175 || (size_t)(lenu
+ lenf
) != rec
->length
) {
180 if (EVP_CIPHER_CTX_ctrl(ctx
, EVP_CTRL_AEAD_GET_TAG
, taglen
,
181 rec
->data
+ rec
->length
) <= 0) {
182 SSLfatal(s
, SSL_AD_INTERNAL_ERROR
, SSL_F_TLS13_ENC
,
183 ERR_R_INTERNAL_ERROR
);
186 rec
->length
+= taglen
;