blob: 3de10f480206572e035223e19b820854b42675e6 [file] [log] [blame]
Steven Valdez143e8b32016-07-11 13:19:03 -04001/* Copyright (c) 2016, Google Inc.
2 *
3 * Permission to use, copy, modify, and/or distribute this software for any
4 * purpose with or without fee is hereby granted, provided that the above
5 * copyright notice and this permission notice appear in all copies.
6 *
7 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10 * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12 * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13 * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14
15#include <openssl/ssl.h>
16
17#include <assert.h>
18#include <string.h>
19
David Benjamine530ea32019-08-16 19:28:00 -040020#include <algorithm>
David Benjamincfc11c22017-07-18 22:45:18 -040021#include <utility>
22
Steven Valdez143e8b32016-07-11 13:19:03 -040023#include <openssl/aead.h>
24#include <openssl/bytestring.h>
25#include <openssl/digest.h>
Steven Valdez143e8b32016-07-11 13:19:03 -040026#include <openssl/hkdf.h>
Steven Valdeza833c352016-11-01 13:39:36 -040027#include <openssl/hmac.h>
Steven Valdez143e8b32016-07-11 13:19:03 -040028#include <openssl/mem.h>
29
Adam Langley480344d2023-04-13 02:09:12 +000030#include "../crypto/fipsmodule/tls/internal.h"
David Benjamin17cf2cb2016-12-13 01:07:13 -050031#include "../crypto/internal.h"
Steven Valdez143e8b32016-07-11 13:19:03 -040032#include "internal.h"
33
34
Joshua Liebow-Feeser8c7c6352018-08-26 18:53:36 -070035BSSL_NAMESPACE_BEGIN
David Benjamin86e95b82017-07-18 16:34:25 -040036
David Benjamin83a49932021-05-20 15:57:09 -040037static bool init_key_schedule(SSL_HANDSHAKE *hs, SSLTranscript *transcript,
38 uint16_t version, const SSL_CIPHER *cipher) {
39 if (!transcript->InitHash(version, cipher)) {
David Benjamin8525ff32018-09-05 18:44:15 -050040 return false;
Steven Valdez908ac192017-01-12 13:17:07 -050041 }
Steven Valdez143e8b32016-07-11 13:19:03 -040042
David Benjaminc11ea9422017-08-29 16:33:21 -040043 // Initialize the secret to the zero key.
David Benjamin83a49932021-05-20 15:57:09 -040044 hs->ResizeSecrets(transcript->DigestLen());
David Benjamine530ea32019-08-16 19:28:00 -040045 OPENSSL_memset(hs->secret().data(), 0, hs->secret().size());
Steven Valdez143e8b32016-07-11 13:19:03 -040046
David Benjamin8525ff32018-09-05 18:44:15 -050047 return true;
Steven Valdez2d850622017-01-11 11:34:52 -050048}
49
David Benjamin83a49932021-05-20 15:57:09 -040050static bool hkdf_extract_to_secret(SSL_HANDSHAKE *hs,
51 const SSLTranscript &transcript,
52 Span<const uint8_t> in) {
David Benjamine530ea32019-08-16 19:28:00 -040053 size_t len;
David Benjamin83a49932021-05-20 15:57:09 -040054 if (!HKDF_extract(hs->secret().data(), &len, transcript.Digest(), in.data(),
55 in.size(), hs->secret().data(), hs->secret().size())) {
David Benjamine530ea32019-08-16 19:28:00 -040056 return false;
57 }
58 assert(len == hs->secret().size());
59 return true;
60}
61
David Benjamin79b8b3a2019-08-16 18:58:13 -040062bool tls13_init_key_schedule(SSL_HANDSHAKE *hs, Span<const uint8_t> psk) {
David Benjamin83a49932021-05-20 15:57:09 -040063 if (!init_key_schedule(hs, &hs->transcript, ssl_protocol_version(hs->ssl),
64 hs->new_cipher)) {
David Benjamin8525ff32018-09-05 18:44:15 -050065 return false;
Steven Valdez2d850622017-01-11 11:34:52 -050066 }
67
Matthew Braithwaitecc0c2862019-11-26 18:00:21 -080068 // Handback includes the whole handshake transcript, so we cannot free the
69 // transcript buffer in the handback case.
70 if (!hs->handback) {
71 hs->transcript.FreeBuffer();
72 }
David Benjamin83a49932021-05-20 15:57:09 -040073 return hkdf_extract_to_secret(hs, hs->transcript, psk);
Steven Valdez143e8b32016-07-11 13:19:03 -040074}
75
David Benjamin83a49932021-05-20 15:57:09 -040076bool tls13_init_early_key_schedule(SSL_HANDSHAKE *hs,
77 const SSL_SESSION *session) {
78 assert(!hs->ssl->server);
79 // When offering ECH, early data is associated with ClientHelloInner, not
80 // ClientHelloOuter.
81 SSLTranscript *transcript =
82 hs->selected_ech_config ? &hs->inner_transcript : &hs->transcript;
83 return init_key_schedule(hs, transcript,
84 ssl_session_protocol_version(session),
85 session->cipher) &&
86 hkdf_extract_to_secret(
87 hs, *transcript,
88 MakeConstSpan(session->secret, session->secret_length));
Steven Valdez2d850622017-01-11 11:34:52 -050089}
90
David Benjamin79b8b3a2019-08-16 18:58:13 -040091static Span<const char> label_to_span(const char *label) {
92 return MakeConstSpan(label, strlen(label));
93}
Steven Valdez143e8b32016-07-11 13:19:03 -040094
David Benjamin79b8b3a2019-08-16 18:58:13 -040095static bool hkdf_expand_label(Span<uint8_t> out, const EVP_MD *digest,
96 Span<const uint8_t> secret,
97 Span<const char> label,
98 Span<const uint8_t> hash) {
Adam Langley480344d2023-04-13 02:09:12 +000099 return CRYPTO_tls13_hkdf_expand_label(
100 out.data(), out.size(), digest, secret.data(), secret.size(),
101 reinterpret_cast<const uint8_t *>(label.data()), label.size(),
102 hash.data(), hash.size()) == 1;
Steven Valdez143e8b32016-07-11 13:19:03 -0400103}
104
Steven Valdezcd8470f2017-10-11 12:29:36 -0400105static const char kTLS13LabelDerived[] = "derived";
106
David Benjamin79b8b3a2019-08-16 18:58:13 -0400107bool tls13_advance_key_schedule(SSL_HANDSHAKE *hs, Span<const uint8_t> in) {
Steven Valdez7e5dd252018-01-22 15:20:31 -0500108 uint8_t derive_context[EVP_MAX_MD_SIZE];
109 unsigned derive_context_len;
David Benjamine530ea32019-08-16 19:28:00 -0400110 return EVP_Digest(nullptr, 0, derive_context, &derive_context_len,
111 hs->transcript.Digest(), nullptr) &&
112 hkdf_expand_label(hs->secret(), hs->transcript.Digest(), hs->secret(),
113 label_to_span(kTLS13LabelDerived),
114 MakeConstSpan(derive_context, derive_context_len)) &&
David Benjamin83a49932021-05-20 15:57:09 -0400115 hkdf_extract_to_secret(hs, hs->transcript, in);
Steven Valdezcd8470f2017-10-11 12:29:36 -0400116}
117
David Benjamin83a49932021-05-20 15:57:09 -0400118// derive_secret_with_transcript derives a secret of length |out.size()| and
119// writes the result in |out| with the given label, the current base secret, and
120// the state of |transcript|. It returns true on success and false on error.
121static bool derive_secret_with_transcript(const SSL_HANDSHAKE *hs,
122 Span<uint8_t> out,
123 const SSLTranscript &transcript,
124 Span<const char> label) {
Steven Valdeza833c352016-11-01 13:39:36 -0400125 uint8_t context_hash[EVP_MAX_MD_SIZE];
126 size_t context_hash_len;
David Benjamin83a49932021-05-20 15:57:09 -0400127 if (!transcript.GetHash(context_hash, &context_hash_len)) {
David Benjamin8525ff32018-09-05 18:44:15 -0500128 return false;
Steven Valdez143e8b32016-07-11 13:19:03 -0400129 }
130
David Benjamin83a49932021-05-20 15:57:09 -0400131 return hkdf_expand_label(out, transcript.Digest(), hs->secret(), label,
David Benjamin79b8b3a2019-08-16 18:58:13 -0400132 MakeConstSpan(context_hash, context_hash_len));
Steven Valdez143e8b32016-07-11 13:19:03 -0400133}
134
David Benjamin83a49932021-05-20 15:57:09 -0400135static bool derive_secret(SSL_HANDSHAKE *hs, Span<uint8_t> out,
136 Span<const char> label) {
137 return derive_secret_with_transcript(hs, out, hs->transcript, label);
138}
139
Steven Valdezc8e0f902018-07-14 11:23:01 -0400140bool tls13_set_traffic_key(SSL *ssl, enum ssl_encryption_level_t level,
141 enum evp_aead_direction_t direction,
David Benjamin754d4c92020-02-11 16:27:21 -0500142 const SSL_SESSION *session,
David Benjamin79b8b3a2019-08-16 18:58:13 -0400143 Span<const uint8_t> traffic_secret) {
David Benjamina4bafd32017-10-03 15:06:29 -0400144 uint16_t version = ssl_session_protocol_version(session);
Steven Valdezc8e0f902018-07-14 11:23:01 -0400145 UniquePtr<SSLAEADContext> traffic_aead;
David Benjamin5298ef92020-03-13 12:17:30 -0400146 Span<const uint8_t> secret_for_quic;
David Benjamin1e859052020-02-09 16:04:58 -0500147 if (ssl->quic_method != nullptr) {
David Benjamin1e859052020-02-09 16:04:58 -0500148 // Install a placeholder SSLAEADContext so that SSL accessors work. The
149 // encryption itself will be handled by the SSL_QUIC_METHOD.
150 traffic_aead =
151 SSLAEADContext::CreatePlaceholderForQUIC(version, session->cipher);
David Benjamin5298ef92020-03-13 12:17:30 -0400152 secret_for_quic = traffic_secret;
David Benjamin1e859052020-02-09 16:04:58 -0500153 } else {
Steven Valdezc8e0f902018-07-14 11:23:01 -0400154 // Look up cipher suite properties.
155 const EVP_AEAD *aead;
156 size_t discard;
157 if (!ssl_cipher_get_evp_aead(&aead, &discard, &discard, session->cipher,
158 version, SSL_is_dtls(ssl))) {
159 return false;
160 }
161
162 const EVP_MD *digest = ssl_session_get_digest(session);
163
164 // Derive the key.
165 size_t key_len = EVP_AEAD_key_length(aead);
David Benjamin79b8b3a2019-08-16 18:58:13 -0400166 uint8_t key_buf[EVP_AEAD_MAX_KEY_LENGTH];
167 auto key = MakeSpan(key_buf, key_len);
168 if (!hkdf_expand_label(key, digest, traffic_secret, label_to_span("key"),
169 {})) {
Steven Valdezc8e0f902018-07-14 11:23:01 -0400170 return false;
171 }
172
173 // Derive the IV.
174 size_t iv_len = EVP_AEAD_nonce_length(aead);
David Benjamin79b8b3a2019-08-16 18:58:13 -0400175 uint8_t iv_buf[EVP_AEAD_MAX_NONCE_LENGTH];
176 auto iv = MakeSpan(iv_buf, iv_len);
177 if (!hkdf_expand_label(iv, digest, traffic_secret, label_to_span("iv"),
178 {})) {
Steven Valdezc8e0f902018-07-14 11:23:01 -0400179 return false;
180 }
181
David Benjamin79b8b3a2019-08-16 18:58:13 -0400182 traffic_aead = SSLAEADContext::Create(direction, session->ssl_version,
183 SSL_is_dtls(ssl), session->cipher,
184 key, Span<const uint8_t>(), iv);
Steven Valdez143e8b32016-07-11 13:19:03 -0400185 }
186
David Benjamincfc11c22017-07-18 22:45:18 -0400187 if (!traffic_aead) {
David Benjamin8525ff32018-09-05 18:44:15 -0500188 return false;
Steven Valdez143e8b32016-07-11 13:19:03 -0400189 }
190
David Benjamin79b8b3a2019-08-16 18:58:13 -0400191 if (traffic_secret.size() >
192 OPENSSL_ARRAY_SIZE(ssl->s3->read_traffic_secret) ||
193 traffic_secret.size() >
194 OPENSSL_ARRAY_SIZE(ssl->s3->write_traffic_secret)) {
195 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
196 return false;
197 }
David Benjaminb0921922020-02-20 12:33:28 -0500198
Steven Valdez143e8b32016-07-11 13:19:03 -0400199 if (direction == evp_aead_open) {
David Benjamin5298ef92020-03-13 12:17:30 -0400200 if (!ssl->method->set_read_state(ssl, level, std::move(traffic_aead),
201 secret_for_quic)) {
David Benjaminb0921922020-02-20 12:33:28 -0500202 return false;
203 }
David Benjamin79b8b3a2019-08-16 18:58:13 -0400204 OPENSSL_memmove(ssl->s3->read_traffic_secret, traffic_secret.data(),
205 traffic_secret.size());
206 ssl->s3->read_traffic_secret_len = traffic_secret.size();
Steven Valdez143e8b32016-07-11 13:19:03 -0400207 } else {
David Benjamin5298ef92020-03-13 12:17:30 -0400208 if (!ssl->method->set_write_state(ssl, level, std::move(traffic_aead),
209 secret_for_quic)) {
David Benjaminb0921922020-02-20 12:33:28 -0500210 return false;
211 }
David Benjamin79b8b3a2019-08-16 18:58:13 -0400212 OPENSSL_memmove(ssl->s3->write_traffic_secret, traffic_secret.data(),
213 traffic_secret.size());
214 ssl->s3->write_traffic_secret_len = traffic_secret.size();
Steven Valdez143e8b32016-07-11 13:19:03 -0400215 }
216
David Benjamin8525ff32018-09-05 18:44:15 -0500217 return true;
Steven Valdez143e8b32016-07-11 13:19:03 -0400218}
219
Steven Valdez2d850622017-01-11 11:34:52 -0500220
Steven Valdez7e5dd252018-01-22 15:20:31 -0500221static const char kTLS13LabelExporter[] = "exp master";
Steven Valdez143e8b32016-07-11 13:19:03 -0400222
Steven Valdez7e5dd252018-01-22 15:20:31 -0500223static const char kTLS13LabelClientEarlyTraffic[] = "c e traffic";
224static const char kTLS13LabelClientHandshakeTraffic[] = "c hs traffic";
225static const char kTLS13LabelServerHandshakeTraffic[] = "s hs traffic";
226static const char kTLS13LabelClientApplicationTraffic[] = "c ap traffic";
227static const char kTLS13LabelServerApplicationTraffic[] = "s ap traffic";
Steven Valdezcd8470f2017-10-11 12:29:36 -0400228
David Benjamind6343572019-08-15 17:29:02 -0400229bool tls13_derive_early_secret(SSL_HANDSHAKE *hs) {
Steven Valdez2d850622017-01-11 11:34:52 -0500230 SSL *const ssl = hs->ssl;
David Benjamin83a49932021-05-20 15:57:09 -0400231 // When offering ECH on the client, early data is associated with
232 // ClientHelloInner, not ClientHelloOuter.
233 const SSLTranscript &transcript = (!ssl->server && hs->selected_ech_config)
234 ? hs->inner_transcript
235 : hs->transcript;
236 if (!derive_secret_with_transcript(
237 hs, hs->early_traffic_secret(), transcript,
238 label_to_span(kTLS13LabelClientEarlyTraffic)) ||
David Benjamin650d8c32017-12-08 17:05:06 -0500239 !ssl_log_secret(ssl, "CLIENT_EARLY_TRAFFIC_SECRET",
David Benjamine530ea32019-08-16 19:28:00 -0400240 hs->early_traffic_secret())) {
David Benjamin8525ff32018-09-05 18:44:15 -0500241 return false;
David Benjamin650d8c32017-12-08 17:05:06 -0500242 }
David Benjamind6343572019-08-15 17:29:02 -0400243 return true;
244}
Steven Valdezc8e0f902018-07-14 11:23:01 -0400245
David Benjamin8525ff32018-09-05 18:44:15 -0500246bool tls13_derive_handshake_secrets(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900247 SSL *const ssl = hs->ssl;
David Benjamine530ea32019-08-16 19:28:00 -0400248 if (!derive_secret(hs, hs->client_handshake_secret(),
David Benjamin79b8b3a2019-08-16 18:58:13 -0400249 label_to_span(kTLS13LabelClientHandshakeTraffic)) ||
David Benjamine530ea32019-08-16 19:28:00 -0400250 !ssl_log_secret(ssl, "CLIENT_HANDSHAKE_TRAFFIC_SECRET",
251 hs->client_handshake_secret()) ||
252 !derive_secret(hs, hs->server_handshake_secret(),
David Benjamin79b8b3a2019-08-16 18:58:13 -0400253 label_to_span(kTLS13LabelServerHandshakeTraffic)) ||
David Benjamine530ea32019-08-16 19:28:00 -0400254 !ssl_log_secret(ssl, "SERVER_HANDSHAKE_TRAFFIC_SECRET",
David Benjamin1e859052020-02-09 16:04:58 -0500255 hs->server_handshake_secret())) {
Steven Valdezc8e0f902018-07-14 11:23:01 -0400256 return false;
257 }
258
Steven Valdezc8e0f902018-07-14 11:23:01 -0400259 return true;
Steven Valdez143e8b32016-07-11 13:19:03 -0400260}
261
David Benjamin8525ff32018-09-05 18:44:15 -0500262bool tls13_derive_application_secrets(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900263 SSL *const ssl = hs->ssl;
David Benjamine530ea32019-08-16 19:28:00 -0400264 ssl->s3->exporter_secret_len = hs->transcript.DigestLen();
265 if (!derive_secret(hs, hs->client_traffic_secret_0(),
David Benjamin79b8b3a2019-08-16 18:58:13 -0400266 label_to_span(kTLS13LabelClientApplicationTraffic)) ||
David Benjamine530ea32019-08-16 19:28:00 -0400267 !ssl_log_secret(ssl, "CLIENT_TRAFFIC_SECRET_0",
268 hs->client_traffic_secret_0()) ||
269 !derive_secret(hs, hs->server_traffic_secret_0(),
David Benjamin79b8b3a2019-08-16 18:58:13 -0400270 label_to_span(kTLS13LabelServerApplicationTraffic)) ||
David Benjamine530ea32019-08-16 19:28:00 -0400271 !ssl_log_secret(ssl, "SERVER_TRAFFIC_SECRET_0",
272 hs->server_traffic_secret_0()) ||
David Benjaminb244e3a2019-08-16 19:33:15 -0400273 !derive_secret(
274 hs, MakeSpan(ssl->s3->exporter_secret, ssl->s3->exporter_secret_len),
275 label_to_span(kTLS13LabelExporter)) ||
276 !ssl_log_secret(ssl, "EXPORTER_SECRET",
277 MakeConstSpan(ssl->s3->exporter_secret,
David Benjamin1e859052020-02-09 16:04:58 -0500278 ssl->s3->exporter_secret_len))) {
Steven Valdezc8e0f902018-07-14 11:23:01 -0400279 return false;
280 }
281
Steven Valdezc8e0f902018-07-14 11:23:01 -0400282 return true;
Steven Valdez143e8b32016-07-11 13:19:03 -0400283}
284
Steven Valdez7e5dd252018-01-22 15:20:31 -0500285static const char kTLS13LabelApplicationTraffic[] = "traffic upd";
Steven Valdezc4aa7272016-10-03 12:25:56 -0400286
David Benjamin8525ff32018-09-05 18:44:15 -0500287bool tls13_rotate_traffic_key(SSL *ssl, enum evp_aead_direction_t direction) {
David Benjamin79b8b3a2019-08-16 18:58:13 -0400288 Span<uint8_t> secret;
Steven Valdez1dc53d22016-07-26 12:27:38 -0400289 if (direction == evp_aead_open) {
David Benjamin79b8b3a2019-08-16 18:58:13 -0400290 secret = MakeSpan(ssl->s3->read_traffic_secret,
291 ssl->s3->read_traffic_secret_len);
Steven Valdez1dc53d22016-07-26 12:27:38 -0400292 } else {
David Benjamin79b8b3a2019-08-16 18:58:13 -0400293 secret = MakeSpan(ssl->s3->write_traffic_secret,
294 ssl->s3->write_traffic_secret_len);
Steven Valdez1dc53d22016-07-26 12:27:38 -0400295 }
296
David Benjamin754d4c92020-02-11 16:27:21 -0500297 const SSL_SESSION *session = SSL_get_session(ssl);
298 const EVP_MD *digest = ssl_session_get_digest(session);
David Benjamin79b8b3a2019-08-16 18:58:13 -0400299 return hkdf_expand_label(secret, digest, secret,
300 label_to_span(kTLS13LabelApplicationTraffic), {}) &&
301 tls13_set_traffic_key(ssl, ssl_encryption_application, direction,
David Benjamin754d4c92020-02-11 16:27:21 -0500302 session, secret);
Steven Valdez1dc53d22016-07-26 12:27:38 -0400303}
304
Steven Valdez7e5dd252018-01-22 15:20:31 -0500305static const char kTLS13LabelResumption[] = "res master";
Steven Valdez143e8b32016-07-11 13:19:03 -0400306
David Benjamin8525ff32018-09-05 18:44:15 -0500307bool tls13_derive_resumption_secret(SSL_HANDSHAKE *hs) {
David Benjamine530ea32019-08-16 19:28:00 -0400308 if (hs->transcript.DigestLen() > SSL_MAX_MASTER_KEY_LENGTH) {
David Benjamin3d622e52016-11-23 12:39:29 -0500309 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin8525ff32018-09-05 18:44:15 -0500310 return false;
David Benjamin3d622e52016-11-23 12:39:29 -0500311 }
David Benjamin5351c8b2020-11-19 00:25:29 -0500312 hs->new_session->secret_length = hs->transcript.DigestLen();
David Benjamin79b8b3a2019-08-16 18:58:13 -0400313 return derive_secret(
David Benjamin5351c8b2020-11-19 00:25:29 -0500314 hs, MakeSpan(hs->new_session->secret, hs->new_session->secret_length),
David Benjamin79b8b3a2019-08-16 18:58:13 -0400315 label_to_span(kTLS13LabelResumption));
Steven Valdeza833c352016-11-01 13:39:36 -0400316}
Steven Valdez143e8b32016-07-11 13:19:03 -0400317
Steven Valdeza833c352016-11-01 13:39:36 -0400318static const char kTLS13LabelFinished[] = "finished";
319
David Benjaminc11ea9422017-08-29 16:33:21 -0400320// tls13_verify_data sets |out| to be the HMAC of |context| using a derived
David Benjamin79b8b3a2019-08-16 18:58:13 -0400321// Finished key for both Finished messages and the PSK binder. |out| must have
322// space available for |EVP_MAX_MD_SIZE| bytes.
323static bool tls13_verify_data(uint8_t *out, size_t *out_len,
324 const EVP_MD *digest, uint16_t version,
325 Span<const uint8_t> secret,
326 Span<const uint8_t> context) {
327 uint8_t key_buf[EVP_MAX_MD_SIZE];
328 auto key = MakeSpan(key_buf, EVP_MD_size(digest));
Steven Valdeza833c352016-11-01 13:39:36 -0400329 unsigned len;
David Benjamin79b8b3a2019-08-16 18:58:13 -0400330 if (!hkdf_expand_label(key, digest, secret,
331 label_to_span(kTLS13LabelFinished), {}) ||
332 HMAC(digest, key.data(), key.size(), context.data(), context.size(), out,
333 &len) == nullptr) {
David Benjamin8525ff32018-09-05 18:44:15 -0500334 return false;
Steven Valdez143e8b32016-07-11 13:19:03 -0400335 }
Steven Valdeza833c352016-11-01 13:39:36 -0400336 *out_len = len;
David Benjamin8525ff32018-09-05 18:44:15 -0500337 return true;
Steven Valdez143e8b32016-07-11 13:19:03 -0400338}
339
David Benjamin8525ff32018-09-05 18:44:15 -0500340bool tls13_finished_mac(SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len,
341 bool is_server) {
David Benjamine530ea32019-08-16 19:28:00 -0400342 Span<const uint8_t> traffic_secret =
343 is_server ? hs->server_handshake_secret() : hs->client_handshake_secret();
Steven Valdez143e8b32016-07-11 13:19:03 -0400344
Steven Valdeza833c352016-11-01 13:39:36 -0400345 uint8_t context_hash[EVP_MAX_MD_SIZE];
346 size_t context_hash_len;
David Benjamin6dc8bf62017-07-19 16:38:21 -0400347 if (!hs->transcript.GetHash(context_hash, &context_hash_len) ||
David Benjamin79b8b3a2019-08-16 18:58:13 -0400348 !tls13_verify_data(out, out_len, hs->transcript.Digest(),
349 hs->ssl->version, traffic_secret,
350 MakeConstSpan(context_hash, context_hash_len))) {
Anton Bikineev50e7ea52022-01-23 22:35:48 +0100351 return false;
Steven Valdez143e8b32016-07-11 13:19:03 -0400352 }
Anton Bikineev50e7ea52022-01-23 22:35:48 +0100353 return true;
Steven Valdez143e8b32016-07-11 13:19:03 -0400354}
355
Steven Valdezcd8470f2017-10-11 12:29:36 -0400356static const char kTLS13LabelResumptionPSK[] = "resumption";
357
Alessandro Ghedini2cc6f442018-12-11 11:35:17 +0000358bool tls13_derive_session_psk(SSL_SESSION *session, Span<const uint8_t> nonce) {
Steven Valdezcd8470f2017-10-11 12:29:36 -0400359 const EVP_MD *digest = ssl_session_get_digest(session);
David Benjamin79b8b3a2019-08-16 18:58:13 -0400360 // The session initially stores the resumption_master_secret, which we
361 // override with the PSK.
David Benjamin5351c8b2020-11-19 00:25:29 -0500362 auto session_secret = MakeSpan(session->secret, session->secret_length);
363 return hkdf_expand_label(session_secret, digest, session_secret,
David Benjamin79b8b3a2019-08-16 18:58:13 -0400364 label_to_span(kTLS13LabelResumptionPSK), nonce);
Steven Valdezcd8470f2017-10-11 12:29:36 -0400365}
366
367static const char kTLS13LabelExportKeying[] = "exporter";
368
David Benjamin8525ff32018-09-05 18:44:15 -0500369bool tls13_export_keying_material(SSL *ssl, Span<uint8_t> out,
370 Span<const uint8_t> secret,
371 Span<const char> label,
372 Span<const uint8_t> context) {
David Benjamin650d8c32017-12-08 17:05:06 -0500373 if (secret.empty()) {
374 assert(0);
375 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin8525ff32018-09-05 18:44:15 -0500376 return false;
Steven Valdezcd8470f2017-10-11 12:29:36 -0400377 }
378
David Benjamina4bafd32017-10-03 15:06:29 -0400379 const EVP_MD *digest = ssl_session_get_digest(SSL_get_session(ssl));
Steven Valdezcd8470f2017-10-11 12:29:36 -0400380
David Benjamin79b8b3a2019-08-16 18:58:13 -0400381 uint8_t hash_buf[EVP_MAX_MD_SIZE];
382 uint8_t export_context_buf[EVP_MAX_MD_SIZE];
Steven Valdezcd8470f2017-10-11 12:29:36 -0400383 unsigned hash_len;
384 unsigned export_context_len;
David Benjamin79b8b3a2019-08-16 18:58:13 -0400385 if (!EVP_Digest(context.data(), context.size(), hash_buf, &hash_len, digest,
386 nullptr) ||
387 !EVP_Digest(nullptr, 0, export_context_buf, &export_context_len, digest,
388 nullptr)) {
389 return false;
390 }
391
392 auto hash = MakeConstSpan(hash_buf, hash_len);
393 auto export_context = MakeConstSpan(export_context_buf, export_context_len);
394 uint8_t derived_secret_buf[EVP_MAX_MD_SIZE];
395 auto derived_secret = MakeSpan(derived_secret_buf, EVP_MD_size(digest));
396 return hkdf_expand_label(derived_secret, digest, secret, label,
397 export_context) &&
398 hkdf_expand_label(out, digest, derived_secret,
399 label_to_span(kTLS13LabelExportKeying), hash);
Steven Valdez143e8b32016-07-11 13:19:03 -0400400}
Steven Valdeza833c352016-11-01 13:39:36 -0400401
Steven Valdez7e5dd252018-01-22 15:20:31 -0500402static const char kTLS13LabelPSKBinder[] = "res binder";
Steven Valdeza833c352016-11-01 13:39:36 -0400403
David Benjaminb32aa052021-06-02 17:05:00 -0400404static bool tls13_psk_binder(uint8_t *out, size_t *out_len,
405 const SSL_SESSION *session,
406 const SSLTranscript &transcript,
407 Span<const uint8_t> client_hello,
408 size_t binders_len) {
409 const EVP_MD *digest = ssl_session_get_digest(session);
410
411 // Compute the binder key.
412 //
413 // TODO(davidben): Ideally we wouldn't recompute early secret and the binder
414 // key each time.
Steven Valdeza833c352016-11-01 13:39:36 -0400415 uint8_t binder_context[EVP_MAX_MD_SIZE];
416 unsigned binder_context_len;
Steven Valdeza833c352016-11-01 13:39:36 -0400417 uint8_t early_secret[EVP_MAX_MD_SIZE] = {0};
418 size_t early_secret_len;
David Benjaminb32aa052021-06-02 17:05:00 -0400419 uint8_t binder_key_buf[EVP_MAX_MD_SIZE] = {0};
420 auto binder_key = MakeSpan(binder_key_buf, EVP_MD_size(digest));
421 if (!EVP_Digest(nullptr, 0, binder_context, &binder_context_len, digest,
422 nullptr) ||
423 !HKDF_extract(early_secret, &early_secret_len, digest, session->secret,
424 session->secret_length, nullptr, 0) ||
425 !hkdf_expand_label(binder_key, digest,
426 MakeConstSpan(early_secret, early_secret_len),
427 label_to_span(kTLS13LabelPSKBinder),
428 MakeConstSpan(binder_context, binder_context_len))) {
David Benjamin8525ff32018-09-05 18:44:15 -0500429 return false;
Steven Valdeza833c352016-11-01 13:39:36 -0400430 }
431
David Benjaminb32aa052021-06-02 17:05:00 -0400432 // Hash the transcript and truncated ClientHello.
433 if (client_hello.size() < binders_len) {
434 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
435 return false;
436 }
437 auto truncated = client_hello.subspan(0, client_hello.size() - binders_len);
438 uint8_t context[EVP_MAX_MD_SIZE];
439 unsigned context_len;
440 ScopedEVP_MD_CTX ctx;
441 if (!transcript.CopyToHashContext(ctx.get(), digest) ||
442 !EVP_DigestUpdate(ctx.get(), truncated.data(),
443 truncated.size()) ||
444 !EVP_DigestFinal_ex(ctx.get(), context, &context_len)) {
445 return false;
446 }
447
448 if (!tls13_verify_data(out, out_len, digest, session->ssl_version, binder_key,
449 MakeConstSpan(context, context_len))) {
David Benjamin8525ff32018-09-05 18:44:15 -0500450 return false;
Steven Valdeza833c352016-11-01 13:39:36 -0400451 }
452
David Benjamin79b8b3a2019-08-16 18:58:13 -0400453 assert(*out_len == EVP_MD_size(digest));
David Benjamin8525ff32018-09-05 18:44:15 -0500454 return true;
Steven Valdeza833c352016-11-01 13:39:36 -0400455}
456
David Benjaminb32aa052021-06-02 17:05:00 -0400457bool tls13_write_psk_binder(const SSL_HANDSHAKE *hs,
David Benjamin83a49932021-05-20 15:57:09 -0400458 const SSLTranscript &transcript, Span<uint8_t> msg,
459 size_t *out_binder_len) {
David Benjaminb32aa052021-06-02 17:05:00 -0400460 const SSL *const ssl = hs->ssl;
David Benjamin50596f82018-07-02 19:47:27 -0400461 const EVP_MD *digest = ssl_session_get_digest(ssl->session.get());
David Benjaminb32aa052021-06-02 17:05:00 -0400462 const size_t hash_len = EVP_MD_size(digest);
463 // We only offer one PSK, so the binders are a u16 and u8 length
464 // prefix, followed by the binder. The caller is assumed to have constructed
465 // |msg| with placeholder binders.
466 const size_t binders_len = 3 + hash_len;
David Benjamin79b8b3a2019-08-16 18:58:13 -0400467 uint8_t verify_data[EVP_MAX_MD_SIZE];
468 size_t verify_data_len;
David Benjaminb32aa052021-06-02 17:05:00 -0400469 if (!tls13_psk_binder(verify_data, &verify_data_len, ssl->session.get(),
David Benjamin83a49932021-05-20 15:57:09 -0400470 transcript, msg, binders_len) ||
David Benjamin79b8b3a2019-08-16 18:58:13 -0400471 verify_data_len != hash_len) {
472 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin8525ff32018-09-05 18:44:15 -0500473 return false;
Steven Valdeza833c352016-11-01 13:39:36 -0400474 }
475
David Benjamin006f20a2021-06-22 23:00:49 -0400476 auto msg_binder = msg.last(verify_data_len);
477 OPENSSL_memcpy(msg_binder.data(), verify_data, verify_data_len);
David Benjamin83a49932021-05-20 15:57:09 -0400478 if (out_binder_len != nullptr) {
479 *out_binder_len = verify_data_len;
480 }
David Benjamin8525ff32018-09-05 18:44:15 -0500481 return true;
Steven Valdeza833c352016-11-01 13:39:36 -0400482}
483
David Benjaminb32aa052021-06-02 17:05:00 -0400484bool tls13_verify_psk_binder(const SSL_HANDSHAKE *hs,
485 const SSL_SESSION *session, const SSLMessage &msg,
486 CBS *binders) {
David Benjamin79b8b3a2019-08-16 18:58:13 -0400487 uint8_t verify_data[EVP_MAX_MD_SIZE];
488 size_t verify_data_len;
Steven Valdeza833c352016-11-01 13:39:36 -0400489 CBS binder;
David Benjaminb32aa052021-06-02 17:05:00 -0400490 // The binders are computed over |msg| with |binders| and its u16 length
491 // prefix removed. The caller is assumed to have parsed |msg|, extracted
492 // |binders|, and verified the PSK extension is last.
493 if (!tls13_psk_binder(verify_data, &verify_data_len, session, hs->transcript,
494 msg.raw, 2 + CBS_len(binders)) ||
David Benjaminc11ea9422017-08-29 16:33:21 -0400495 // We only consider the first PSK, so compare against the first binder.
Steven Valdeza833c352016-11-01 13:39:36 -0400496 !CBS_get_u8_length_prefixed(binders, &binder)) {
497 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin8525ff32018-09-05 18:44:15 -0500498 return false;
Steven Valdeza833c352016-11-01 13:39:36 -0400499 }
500
David Benjamin79b8b3a2019-08-16 18:58:13 -0400501 bool binder_ok =
502 CBS_len(&binder) == verify_data_len &&
503 CRYPTO_memcmp(CBS_data(&binder), verify_data, verify_data_len) == 0;
David Benjamin32b47a52016-11-14 21:19:17 +0900504#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
David Benjamin8525ff32018-09-05 18:44:15 -0500505 binder_ok = true;
David Benjamin32b47a52016-11-14 21:19:17 +0900506#endif
507 if (!binder_ok) {
Steven Valdeza833c352016-11-01 13:39:36 -0400508 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
David Benjamin8525ff32018-09-05 18:44:15 -0500509 return false;
Steven Valdeza833c352016-11-01 13:39:36 -0400510 }
511
David Benjamin8525ff32018-09-05 18:44:15 -0500512 return true;
Steven Valdeza833c352016-11-01 13:39:36 -0400513}
David Benjamin86e95b82017-07-18 16:34:25 -0400514
David Benjamin83a49932021-05-20 15:57:09 -0400515size_t ssl_ech_confirmation_signal_hello_offset(const SSL *ssl) {
516 static_assert(ECH_CONFIRMATION_SIGNAL_LEN < SSL3_RANDOM_SIZE,
517 "the confirmation signal is a suffix of the random");
518 const size_t header_len =
519 SSL_is_dtls(ssl) ? DTLS1_HM_HEADER_LENGTH : SSL3_HM_HEADER_LENGTH;
520 return header_len + 2 /* version */ + SSL3_RANDOM_SIZE -
521 ECH_CONFIRMATION_SIGNAL_LEN;
522}
523
David Benjamin18b68362021-06-18 23:13:46 -0400524bool ssl_ech_accept_confirmation(const SSL_HANDSHAKE *hs, Span<uint8_t> out,
525 Span<const uint8_t> client_random,
526 const SSLTranscript &transcript, bool is_hrr,
527 Span<const uint8_t> msg, size_t offset) {
528 // See draft-ietf-tls-esni-13, sections 7.2 and 7.2.1.
529 static const uint8_t kZeros[EVP_MAX_MD_SIZE] = {0};
530
531 // We hash |msg|, with bytes from |offset| zeroed.
532 if (msg.size() < offset + ECH_CONFIRMATION_SIGNAL_LEN) {
David Benjamin83a49932021-05-20 15:57:09 -0400533 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
534 return false;
535 }
536
David Benjamin18b68362021-06-18 23:13:46 -0400537 auto before_zeros = msg.subspan(0, offset);
538 auto after_zeros = msg.subspan(offset + ECH_CONFIRMATION_SIGNAL_LEN);
539 uint8_t context[EVP_MAX_MD_SIZE];
540 unsigned context_len;
Dan McArdlec2959352020-10-29 14:31:31 -0400541 ScopedEVP_MD_CTX ctx;
David Benjamin83a49932021-05-20 15:57:09 -0400542 if (!transcript.CopyToHashContext(ctx.get(), transcript.Digest()) ||
David Benjamin18b68362021-06-18 23:13:46 -0400543 !EVP_DigestUpdate(ctx.get(), before_zeros.data(), before_zeros.size()) ||
544 !EVP_DigestUpdate(ctx.get(), kZeros, ECH_CONFIRMATION_SIGNAL_LEN) ||
545 !EVP_DigestUpdate(ctx.get(), after_zeros.data(), after_zeros.size()) ||
546 !EVP_DigestFinal_ex(ctx.get(), context, &context_len)) {
Dan McArdlec2959352020-10-29 14:31:31 -0400547 return false;
548 }
549
David Benjamin18b68362021-06-18 23:13:46 -0400550 uint8_t secret[EVP_MAX_MD_SIZE];
551 size_t secret_len;
David Benjamin19fe7942021-09-02 13:07:24 -0400552 if (!HKDF_extract(secret, &secret_len, transcript.Digest(),
553 client_random.data(), client_random.size(), kZeros,
554 transcript.DigestLen())) {
Dan McArdlec2959352020-10-29 14:31:31 -0400555 return false;
556 }
557
David Benjamin18b68362021-06-18 23:13:46 -0400558 assert(out.size() == ECH_CONFIRMATION_SIGNAL_LEN);
559 return hkdf_expand_label(out, transcript.Digest(),
560 MakeConstSpan(secret, secret_len),
561 is_hrr ? label_to_span("hrr ech accept confirmation")
562 : label_to_span("ech accept confirmation"),
563 MakeConstSpan(context, context_len));
Dan McArdlec2959352020-10-29 14:31:31 -0400564}
565
Joshua Liebow-Feeser8c7c6352018-08-26 18:53:36 -0700566BSSL_NAMESPACE_END