9e65852f9d4899776e6103df0bddcce656370566
[openssl.git] / ssl / record / ssl3_record_tls13.c
1 /*
2  * Copyright 2016 The OpenSSL Project Authors. All Rights Reserved.
3  *
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
8  */
9
10 #include <assert.h>
11 #include "../ssl_locl.h"
12 #include "record_locl.h"
13
14 /*-
15  * tls13_enc encrypts/decrypts |n_recs| in |recs|.
16  *
17  * Returns:
18  *    0: (in non-constant time) if the record is publically invalid (i.e. too
19  *        short etc).
20  *    1: if the record encryption was successful.
21  *   -1: if the record's AEAD-authenticator is invalid or, if sending,
22  *       an internal error occurred.
23  */
24 int tls13_enc(SSL *s, SSL3_RECORD *recs, size_t n_recs, int sending)
25 {
26     EVP_CIPHER_CTX *ctx;
27     unsigned char iv[EVP_MAX_IV_LENGTH];
28     size_t ivlen, taglen, offset, loop;
29     unsigned char *staticiv;
30     unsigned char *seq;
31     int lenu, lenf;
32     SSL3_RECORD *rec = &recs[0];
33     uint32_t alg_enc;
34
35     if (n_recs != 1) {
36         /* Should not happen */
37         /* TODO(TLS1.3): Support pipelining */
38         return -1;
39     }
40
41     if (sending) {
42         ctx = s->enc_write_ctx;
43         staticiv = s->write_iv;
44         seq = RECORD_LAYER_get_write_sequence(&s->rlayer);
45     } else {
46         ctx = s->enc_read_ctx;
47         staticiv = s->read_iv;
48         seq = RECORD_LAYER_get_read_sequence(&s->rlayer);
49     }
50
51     if (ctx == NULL) {
52         memmove(rec->data, rec->input, rec->length);
53         rec->input = rec->data;
54         return 1;
55     }
56
57     ivlen = EVP_CIPHER_CTX_iv_length(ctx);
58
59     if (s->early_data_state == SSL_EARLY_DATA_WRITING
60             || s->early_data_state == SSL_EARLY_DATA_WRITE_RETRY) {
61         alg_enc = s->session->cipher->algorithm_enc;
62     } else {
63         /*
64          * To get here we must have selected a ciphersuite - otherwise ctx would
65          * be NULL
66          */
67         assert(s->s3->tmp.new_cipher != NULL);
68         if (s->s3->tmp.new_cipher == NULL)
69             return -1;
70         alg_enc = s->s3->tmp.new_cipher->algorithm_enc;
71     }
72
73     if (alg_enc & SSL_AESCCM) {
74         if (alg_enc & (SSL_AES128CCM8 | SSL_AES256CCM8))
75             taglen = EVP_CCM8_TLS_TAG_LEN;
76          else
77             taglen = EVP_CCM_TLS_TAG_LEN;
78          if (sending && EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_SET_TAG, taglen,
79                                          NULL) <= 0)
80             return -1;
81     } else if (alg_enc & SSL_AESGCM) {
82         taglen = EVP_GCM_TLS_TAG_LEN;
83     } else if (alg_enc & SSL_CHACHA20) {
84         taglen = EVP_CHACHAPOLY_TLS_TAG_LEN;
85     } else {
86         return -1;
87     }
88
89     if (!sending) {
90         /*
91          * Take off tag. There must be at least one byte of content type as
92          * well as the tag
93          */
94         if (rec->length < taglen + 1)
95             return 0;
96         rec->length -= taglen;
97     }
98
99     /* Set up IV */
100     if (ivlen < SEQ_NUM_SIZE) {
101         /* Should not happen */
102         return -1;
103     }
104     offset = ivlen - SEQ_NUM_SIZE;
105     memcpy(iv, staticiv, offset);
106     for (loop = 0; loop < SEQ_NUM_SIZE; loop++)
107         iv[offset + loop] = staticiv[offset + loop] ^ seq[loop];
108
109     /* Increment the sequence counter */
110     for (loop = SEQ_NUM_SIZE; loop > 0; loop--) {
111         ++seq[loop - 1];
112         if (seq[loop - 1] != 0)
113             break;
114     }
115     if (loop == 0) {
116         /* Sequence has wrapped */
117         return -1;
118     }
119
120     /* TODO(size_t): lenu/lenf should be a size_t but EVP doesn't support it */
121     if (EVP_CipherInit_ex(ctx, NULL, NULL, NULL, iv, sending) <= 0
122             || (!sending && EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_SET_TAG,
123                                              taglen,
124                                              rec->data + rec->length) <= 0)
125             || EVP_CipherUpdate(ctx, rec->data, &lenu, rec->input,
126                                 (unsigned int)rec->length) <= 0
127             || EVP_CipherFinal_ex(ctx, rec->data + lenu, &lenf) <= 0
128             || (size_t)(lenu + lenf) != rec->length) {
129         return -1;
130     }
131     if (sending) {
132         /* Add the tag */
133         if (EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_AEAD_GET_TAG, taglen,
134                                 rec->data + rec->length) <= 0)
135             return -1;
136         rec->length += taglen;
137     }
138
139     return 1;
140 }