xref: /aosp_15_r20/external/boringssl/src/ssl/tls13_enc.cc (revision 8fb009dc861624b67b6cdb62ea21f0f22d0c584b)
1*8fb009dcSAndroid Build Coastguard Worker /* Copyright (c) 2016, Google Inc.
2*8fb009dcSAndroid Build Coastguard Worker  *
3*8fb009dcSAndroid Build Coastguard Worker  * Permission to use, copy, modify, and/or distribute this software for any
4*8fb009dcSAndroid Build Coastguard Worker  * purpose with or without fee is hereby granted, provided that the above
5*8fb009dcSAndroid Build Coastguard Worker  * copyright notice and this permission notice appear in all copies.
6*8fb009dcSAndroid Build Coastguard Worker  *
7*8fb009dcSAndroid Build Coastguard Worker  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8*8fb009dcSAndroid Build Coastguard Worker  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9*8fb009dcSAndroid Build Coastguard Worker  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10*8fb009dcSAndroid Build Coastguard Worker  * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11*8fb009dcSAndroid Build Coastguard Worker  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12*8fb009dcSAndroid Build Coastguard Worker  * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13*8fb009dcSAndroid Build Coastguard Worker  * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14*8fb009dcSAndroid Build Coastguard Worker 
15*8fb009dcSAndroid Build Coastguard Worker #include <openssl/ssl.h>
16*8fb009dcSAndroid Build Coastguard Worker 
17*8fb009dcSAndroid Build Coastguard Worker #include <assert.h>
18*8fb009dcSAndroid Build Coastguard Worker #include <string.h>
19*8fb009dcSAndroid Build Coastguard Worker 
20*8fb009dcSAndroid Build Coastguard Worker #include <algorithm>
21*8fb009dcSAndroid Build Coastguard Worker #include <utility>
22*8fb009dcSAndroid Build Coastguard Worker 
23*8fb009dcSAndroid Build Coastguard Worker #include <openssl/aead.h>
24*8fb009dcSAndroid Build Coastguard Worker #include <openssl/bytestring.h>
25*8fb009dcSAndroid Build Coastguard Worker #include <openssl/digest.h>
26*8fb009dcSAndroid Build Coastguard Worker #include <openssl/hkdf.h>
27*8fb009dcSAndroid Build Coastguard Worker #include <openssl/hmac.h>
28*8fb009dcSAndroid Build Coastguard Worker #include <openssl/mem.h>
29*8fb009dcSAndroid Build Coastguard Worker 
30*8fb009dcSAndroid Build Coastguard Worker #include "../crypto/fipsmodule/tls/internal.h"
31*8fb009dcSAndroid Build Coastguard Worker #include "../crypto/internal.h"
32*8fb009dcSAndroid Build Coastguard Worker #include "internal.h"
33*8fb009dcSAndroid Build Coastguard Worker 
34*8fb009dcSAndroid Build Coastguard Worker 
35*8fb009dcSAndroid Build Coastguard Worker BSSL_NAMESPACE_BEGIN
36*8fb009dcSAndroid Build Coastguard Worker 
init_key_schedule(SSL_HANDSHAKE * hs,SSLTranscript * transcript,uint16_t version,const SSL_CIPHER * cipher)37*8fb009dcSAndroid Build Coastguard Worker static bool init_key_schedule(SSL_HANDSHAKE *hs, SSLTranscript *transcript,
38*8fb009dcSAndroid Build Coastguard Worker                               uint16_t version, const SSL_CIPHER *cipher) {
39*8fb009dcSAndroid Build Coastguard Worker   if (!transcript->InitHash(version, cipher)) {
40*8fb009dcSAndroid Build Coastguard Worker     return false;
41*8fb009dcSAndroid Build Coastguard Worker   }
42*8fb009dcSAndroid Build Coastguard Worker 
43*8fb009dcSAndroid Build Coastguard Worker   // Initialize the secret to the zero key.
44*8fb009dcSAndroid Build Coastguard Worker   hs->ResizeSecrets(transcript->DigestLen());
45*8fb009dcSAndroid Build Coastguard Worker   OPENSSL_memset(hs->secret().data(), 0, hs->secret().size());
46*8fb009dcSAndroid Build Coastguard Worker 
47*8fb009dcSAndroid Build Coastguard Worker   return true;
48*8fb009dcSAndroid Build Coastguard Worker }
49*8fb009dcSAndroid Build Coastguard Worker 
hkdf_extract_to_secret(SSL_HANDSHAKE * hs,const SSLTranscript & transcript,Span<const uint8_t> in)50*8fb009dcSAndroid Build Coastguard Worker static bool hkdf_extract_to_secret(SSL_HANDSHAKE *hs,
51*8fb009dcSAndroid Build Coastguard Worker                                    const SSLTranscript &transcript,
52*8fb009dcSAndroid Build Coastguard Worker                                    Span<const uint8_t> in) {
53*8fb009dcSAndroid Build Coastguard Worker   size_t len;
54*8fb009dcSAndroid Build Coastguard Worker   if (!HKDF_extract(hs->secret().data(), &len, transcript.Digest(), in.data(),
55*8fb009dcSAndroid Build Coastguard Worker                     in.size(), hs->secret().data(), hs->secret().size())) {
56*8fb009dcSAndroid Build Coastguard Worker     return false;
57*8fb009dcSAndroid Build Coastguard Worker   }
58*8fb009dcSAndroid Build Coastguard Worker   assert(len == hs->secret().size());
59*8fb009dcSAndroid Build Coastguard Worker   return true;
60*8fb009dcSAndroid Build Coastguard Worker }
61*8fb009dcSAndroid Build Coastguard Worker 
tls13_init_key_schedule(SSL_HANDSHAKE * hs,Span<const uint8_t> psk)62*8fb009dcSAndroid Build Coastguard Worker bool tls13_init_key_schedule(SSL_HANDSHAKE *hs, Span<const uint8_t> psk) {
63*8fb009dcSAndroid Build Coastguard Worker   if (!init_key_schedule(hs, &hs->transcript, ssl_protocol_version(hs->ssl),
64*8fb009dcSAndroid Build Coastguard Worker                          hs->new_cipher)) {
65*8fb009dcSAndroid Build Coastguard Worker     return false;
66*8fb009dcSAndroid Build Coastguard Worker   }
67*8fb009dcSAndroid Build Coastguard Worker 
68*8fb009dcSAndroid Build Coastguard Worker   // Handback includes the whole handshake transcript, so we cannot free the
69*8fb009dcSAndroid Build Coastguard Worker   // transcript buffer in the handback case.
70*8fb009dcSAndroid Build Coastguard Worker   if (!hs->handback) {
71*8fb009dcSAndroid Build Coastguard Worker     hs->transcript.FreeBuffer();
72*8fb009dcSAndroid Build Coastguard Worker   }
73*8fb009dcSAndroid Build Coastguard Worker   return hkdf_extract_to_secret(hs, hs->transcript, psk);
74*8fb009dcSAndroid Build Coastguard Worker }
75*8fb009dcSAndroid Build Coastguard Worker 
tls13_init_early_key_schedule(SSL_HANDSHAKE * hs,const SSL_SESSION * session)76*8fb009dcSAndroid Build Coastguard Worker bool tls13_init_early_key_schedule(SSL_HANDSHAKE *hs,
77*8fb009dcSAndroid Build Coastguard Worker                                    const SSL_SESSION *session) {
78*8fb009dcSAndroid Build Coastguard Worker   assert(!hs->ssl->server);
79*8fb009dcSAndroid Build Coastguard Worker   // When offering ECH, early data is associated with ClientHelloInner, not
80*8fb009dcSAndroid Build Coastguard Worker   // ClientHelloOuter.
81*8fb009dcSAndroid Build Coastguard Worker   SSLTranscript *transcript =
82*8fb009dcSAndroid Build Coastguard Worker       hs->selected_ech_config ? &hs->inner_transcript : &hs->transcript;
83*8fb009dcSAndroid Build Coastguard Worker   return init_key_schedule(hs, transcript,
84*8fb009dcSAndroid Build Coastguard Worker                            ssl_session_protocol_version(session),
85*8fb009dcSAndroid Build Coastguard Worker                            session->cipher) &&
86*8fb009dcSAndroid Build Coastguard Worker          hkdf_extract_to_secret(
87*8fb009dcSAndroid Build Coastguard Worker              hs, *transcript,
88*8fb009dcSAndroid Build Coastguard Worker              MakeConstSpan(session->secret, session->secret_length));
89*8fb009dcSAndroid Build Coastguard Worker }
90*8fb009dcSAndroid Build Coastguard Worker 
label_to_span(const char * label)91*8fb009dcSAndroid Build Coastguard Worker static Span<const char> label_to_span(const char *label) {
92*8fb009dcSAndroid Build Coastguard Worker   return MakeConstSpan(label, strlen(label));
93*8fb009dcSAndroid Build Coastguard Worker }
94*8fb009dcSAndroid Build Coastguard Worker 
hkdf_expand_label(Span<uint8_t> out,const EVP_MD * digest,Span<const uint8_t> secret,Span<const char> label,Span<const uint8_t> hash)95*8fb009dcSAndroid Build Coastguard Worker static bool hkdf_expand_label(Span<uint8_t> out, const EVP_MD *digest,
96*8fb009dcSAndroid Build Coastguard Worker                               Span<const uint8_t> secret,
97*8fb009dcSAndroid Build Coastguard Worker                               Span<const char> label,
98*8fb009dcSAndroid Build Coastguard Worker                               Span<const uint8_t> hash) {
99*8fb009dcSAndroid Build Coastguard Worker   return CRYPTO_tls13_hkdf_expand_label(
100*8fb009dcSAndroid Build Coastguard Worker       out.data(), out.size(), digest, secret.data(), secret.size(),
101*8fb009dcSAndroid Build Coastguard Worker       reinterpret_cast<const uint8_t *>(label.data()), label.size(),
102*8fb009dcSAndroid Build Coastguard Worker       hash.data(), hash.size()) == 1;
103*8fb009dcSAndroid Build Coastguard Worker }
104*8fb009dcSAndroid Build Coastguard Worker 
105*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelDerived[] = "derived";
106*8fb009dcSAndroid Build Coastguard Worker 
tls13_advance_key_schedule(SSL_HANDSHAKE * hs,Span<const uint8_t> in)107*8fb009dcSAndroid Build Coastguard Worker bool tls13_advance_key_schedule(SSL_HANDSHAKE *hs, Span<const uint8_t> in) {
108*8fb009dcSAndroid Build Coastguard Worker   uint8_t derive_context[EVP_MAX_MD_SIZE];
109*8fb009dcSAndroid Build Coastguard Worker   unsigned derive_context_len;
110*8fb009dcSAndroid Build Coastguard Worker   return EVP_Digest(nullptr, 0, derive_context, &derive_context_len,
111*8fb009dcSAndroid Build Coastguard Worker                     hs->transcript.Digest(), nullptr) &&
112*8fb009dcSAndroid Build Coastguard Worker          hkdf_expand_label(hs->secret(), hs->transcript.Digest(), hs->secret(),
113*8fb009dcSAndroid Build Coastguard Worker                            label_to_span(kTLS13LabelDerived),
114*8fb009dcSAndroid Build Coastguard Worker                            MakeConstSpan(derive_context, derive_context_len)) &&
115*8fb009dcSAndroid Build Coastguard Worker          hkdf_extract_to_secret(hs, hs->transcript, in);
116*8fb009dcSAndroid Build Coastguard Worker }
117*8fb009dcSAndroid Build Coastguard Worker 
118*8fb009dcSAndroid Build Coastguard Worker // derive_secret_with_transcript derives a secret of length |out.size()| and
119*8fb009dcSAndroid Build Coastguard Worker // writes the result in |out| with the given label, the current base secret, and
120*8fb009dcSAndroid Build Coastguard Worker // the state of |transcript|. It returns true on success and false on error.
derive_secret_with_transcript(const SSL_HANDSHAKE * hs,Span<uint8_t> out,const SSLTranscript & transcript,Span<const char> label)121*8fb009dcSAndroid Build Coastguard Worker static bool derive_secret_with_transcript(const SSL_HANDSHAKE *hs,
122*8fb009dcSAndroid Build Coastguard Worker                                           Span<uint8_t> out,
123*8fb009dcSAndroid Build Coastguard Worker                                           const SSLTranscript &transcript,
124*8fb009dcSAndroid Build Coastguard Worker                                           Span<const char> label) {
125*8fb009dcSAndroid Build Coastguard Worker   uint8_t context_hash[EVP_MAX_MD_SIZE];
126*8fb009dcSAndroid Build Coastguard Worker   size_t context_hash_len;
127*8fb009dcSAndroid Build Coastguard Worker   if (!transcript.GetHash(context_hash, &context_hash_len)) {
128*8fb009dcSAndroid Build Coastguard Worker     return false;
129*8fb009dcSAndroid Build Coastguard Worker   }
130*8fb009dcSAndroid Build Coastguard Worker 
131*8fb009dcSAndroid Build Coastguard Worker   return hkdf_expand_label(out, transcript.Digest(), hs->secret(), label,
132*8fb009dcSAndroid Build Coastguard Worker                            MakeConstSpan(context_hash, context_hash_len));
133*8fb009dcSAndroid Build Coastguard Worker }
134*8fb009dcSAndroid Build Coastguard Worker 
derive_secret(SSL_HANDSHAKE * hs,Span<uint8_t> out,Span<const char> label)135*8fb009dcSAndroid Build Coastguard Worker static bool derive_secret(SSL_HANDSHAKE *hs, Span<uint8_t> out,
136*8fb009dcSAndroid Build Coastguard Worker                           Span<const char> label) {
137*8fb009dcSAndroid Build Coastguard Worker   return derive_secret_with_transcript(hs, out, hs->transcript, label);
138*8fb009dcSAndroid Build Coastguard Worker }
139*8fb009dcSAndroid Build Coastguard Worker 
tls13_set_traffic_key(SSL * ssl,enum ssl_encryption_level_t level,enum evp_aead_direction_t direction,const SSL_SESSION * session,Span<const uint8_t> traffic_secret)140*8fb009dcSAndroid Build Coastguard Worker bool tls13_set_traffic_key(SSL *ssl, enum ssl_encryption_level_t level,
141*8fb009dcSAndroid Build Coastguard Worker                            enum evp_aead_direction_t direction,
142*8fb009dcSAndroid Build Coastguard Worker                            const SSL_SESSION *session,
143*8fb009dcSAndroid Build Coastguard Worker                            Span<const uint8_t> traffic_secret) {
144*8fb009dcSAndroid Build Coastguard Worker   uint16_t version = ssl_session_protocol_version(session);
145*8fb009dcSAndroid Build Coastguard Worker   UniquePtr<SSLAEADContext> traffic_aead;
146*8fb009dcSAndroid Build Coastguard Worker   Span<const uint8_t> secret_for_quic;
147*8fb009dcSAndroid Build Coastguard Worker   if (ssl->quic_method != nullptr) {
148*8fb009dcSAndroid Build Coastguard Worker     // Install a placeholder SSLAEADContext so that SSL accessors work. The
149*8fb009dcSAndroid Build Coastguard Worker     // encryption itself will be handled by the SSL_QUIC_METHOD.
150*8fb009dcSAndroid Build Coastguard Worker     traffic_aead =
151*8fb009dcSAndroid Build Coastguard Worker         SSLAEADContext::CreatePlaceholderForQUIC(version, session->cipher);
152*8fb009dcSAndroid Build Coastguard Worker     secret_for_quic = traffic_secret;
153*8fb009dcSAndroid Build Coastguard Worker   } else {
154*8fb009dcSAndroid Build Coastguard Worker     // Look up cipher suite properties.
155*8fb009dcSAndroid Build Coastguard Worker     const EVP_AEAD *aead;
156*8fb009dcSAndroid Build Coastguard Worker     size_t discard;
157*8fb009dcSAndroid Build Coastguard Worker     if (!ssl_cipher_get_evp_aead(&aead, &discard, &discard, session->cipher,
158*8fb009dcSAndroid Build Coastguard Worker                                  version, SSL_is_dtls(ssl))) {
159*8fb009dcSAndroid Build Coastguard Worker       return false;
160*8fb009dcSAndroid Build Coastguard Worker     }
161*8fb009dcSAndroid Build Coastguard Worker 
162*8fb009dcSAndroid Build Coastguard Worker     const EVP_MD *digest = ssl_session_get_digest(session);
163*8fb009dcSAndroid Build Coastguard Worker 
164*8fb009dcSAndroid Build Coastguard Worker     // Derive the key.
165*8fb009dcSAndroid Build Coastguard Worker     size_t key_len = EVP_AEAD_key_length(aead);
166*8fb009dcSAndroid Build Coastguard Worker     uint8_t key_buf[EVP_AEAD_MAX_KEY_LENGTH];
167*8fb009dcSAndroid Build Coastguard Worker     auto key = MakeSpan(key_buf, key_len);
168*8fb009dcSAndroid Build Coastguard Worker     if (!hkdf_expand_label(key, digest, traffic_secret, label_to_span("key"),
169*8fb009dcSAndroid Build Coastguard Worker                            {})) {
170*8fb009dcSAndroid Build Coastguard Worker       return false;
171*8fb009dcSAndroid Build Coastguard Worker     }
172*8fb009dcSAndroid Build Coastguard Worker 
173*8fb009dcSAndroid Build Coastguard Worker     // Derive the IV.
174*8fb009dcSAndroid Build Coastguard Worker     size_t iv_len = EVP_AEAD_nonce_length(aead);
175*8fb009dcSAndroid Build Coastguard Worker     uint8_t iv_buf[EVP_AEAD_MAX_NONCE_LENGTH];
176*8fb009dcSAndroid Build Coastguard Worker     auto iv = MakeSpan(iv_buf, iv_len);
177*8fb009dcSAndroid Build Coastguard Worker     if (!hkdf_expand_label(iv, digest, traffic_secret, label_to_span("iv"),
178*8fb009dcSAndroid Build Coastguard Worker                            {})) {
179*8fb009dcSAndroid Build Coastguard Worker       return false;
180*8fb009dcSAndroid Build Coastguard Worker     }
181*8fb009dcSAndroid Build Coastguard Worker 
182*8fb009dcSAndroid Build Coastguard Worker     traffic_aead = SSLAEADContext::Create(direction, session->ssl_version,
183*8fb009dcSAndroid Build Coastguard Worker                                           SSL_is_dtls(ssl), session->cipher,
184*8fb009dcSAndroid Build Coastguard Worker                                           key, Span<const uint8_t>(), iv);
185*8fb009dcSAndroid Build Coastguard Worker   }
186*8fb009dcSAndroid Build Coastguard Worker 
187*8fb009dcSAndroid Build Coastguard Worker   if (!traffic_aead) {
188*8fb009dcSAndroid Build Coastguard Worker     return false;
189*8fb009dcSAndroid Build Coastguard Worker   }
190*8fb009dcSAndroid Build Coastguard Worker 
191*8fb009dcSAndroid Build Coastguard Worker   if (traffic_secret.size() >
192*8fb009dcSAndroid Build Coastguard Worker           OPENSSL_ARRAY_SIZE(ssl->s3->read_traffic_secret) ||
193*8fb009dcSAndroid Build Coastguard Worker       traffic_secret.size() >
194*8fb009dcSAndroid Build Coastguard Worker           OPENSSL_ARRAY_SIZE(ssl->s3->write_traffic_secret)) {
195*8fb009dcSAndroid Build Coastguard Worker     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
196*8fb009dcSAndroid Build Coastguard Worker     return false;
197*8fb009dcSAndroid Build Coastguard Worker   }
198*8fb009dcSAndroid Build Coastguard Worker 
199*8fb009dcSAndroid Build Coastguard Worker   if (direction == evp_aead_open) {
200*8fb009dcSAndroid Build Coastguard Worker     if (!ssl->method->set_read_state(ssl, level, std::move(traffic_aead),
201*8fb009dcSAndroid Build Coastguard Worker                                      secret_for_quic)) {
202*8fb009dcSAndroid Build Coastguard Worker       return false;
203*8fb009dcSAndroid Build Coastguard Worker     }
204*8fb009dcSAndroid Build Coastguard Worker     OPENSSL_memmove(ssl->s3->read_traffic_secret, traffic_secret.data(),
205*8fb009dcSAndroid Build Coastguard Worker                     traffic_secret.size());
206*8fb009dcSAndroid Build Coastguard Worker     ssl->s3->read_traffic_secret_len = traffic_secret.size();
207*8fb009dcSAndroid Build Coastguard Worker   } else {
208*8fb009dcSAndroid Build Coastguard Worker     if (!ssl->method->set_write_state(ssl, level, std::move(traffic_aead),
209*8fb009dcSAndroid Build Coastguard Worker                                       secret_for_quic)) {
210*8fb009dcSAndroid Build Coastguard Worker       return false;
211*8fb009dcSAndroid Build Coastguard Worker     }
212*8fb009dcSAndroid Build Coastguard Worker     OPENSSL_memmove(ssl->s3->write_traffic_secret, traffic_secret.data(),
213*8fb009dcSAndroid Build Coastguard Worker                     traffic_secret.size());
214*8fb009dcSAndroid Build Coastguard Worker     ssl->s3->write_traffic_secret_len = traffic_secret.size();
215*8fb009dcSAndroid Build Coastguard Worker   }
216*8fb009dcSAndroid Build Coastguard Worker 
217*8fb009dcSAndroid Build Coastguard Worker   return true;
218*8fb009dcSAndroid Build Coastguard Worker }
219*8fb009dcSAndroid Build Coastguard Worker 
220*8fb009dcSAndroid Build Coastguard Worker 
221*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelExporter[] = "exp master";
222*8fb009dcSAndroid Build Coastguard Worker 
223*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelClientEarlyTraffic[] = "c e traffic";
224*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelClientHandshakeTraffic[] = "c hs traffic";
225*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelServerHandshakeTraffic[] = "s hs traffic";
226*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelClientApplicationTraffic[] = "c ap traffic";
227*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelServerApplicationTraffic[] = "s ap traffic";
228*8fb009dcSAndroid Build Coastguard Worker 
tls13_derive_early_secret(SSL_HANDSHAKE * hs)229*8fb009dcSAndroid Build Coastguard Worker bool tls13_derive_early_secret(SSL_HANDSHAKE *hs) {
230*8fb009dcSAndroid Build Coastguard Worker   SSL *const ssl = hs->ssl;
231*8fb009dcSAndroid Build Coastguard Worker   // When offering ECH on the client, early data is associated with
232*8fb009dcSAndroid Build Coastguard Worker   // ClientHelloInner, not ClientHelloOuter.
233*8fb009dcSAndroid Build Coastguard Worker   const SSLTranscript &transcript = (!ssl->server && hs->selected_ech_config)
234*8fb009dcSAndroid Build Coastguard Worker                                         ? hs->inner_transcript
235*8fb009dcSAndroid Build Coastguard Worker                                         : hs->transcript;
236*8fb009dcSAndroid Build Coastguard Worker   if (!derive_secret_with_transcript(
237*8fb009dcSAndroid Build Coastguard Worker           hs, hs->early_traffic_secret(), transcript,
238*8fb009dcSAndroid Build Coastguard Worker           label_to_span(kTLS13LabelClientEarlyTraffic)) ||
239*8fb009dcSAndroid Build Coastguard Worker       !ssl_log_secret(ssl, "CLIENT_EARLY_TRAFFIC_SECRET",
240*8fb009dcSAndroid Build Coastguard Worker                       hs->early_traffic_secret())) {
241*8fb009dcSAndroid Build Coastguard Worker     return false;
242*8fb009dcSAndroid Build Coastguard Worker   }
243*8fb009dcSAndroid Build Coastguard Worker   return true;
244*8fb009dcSAndroid Build Coastguard Worker }
245*8fb009dcSAndroid Build Coastguard Worker 
tls13_derive_handshake_secrets(SSL_HANDSHAKE * hs)246*8fb009dcSAndroid Build Coastguard Worker bool tls13_derive_handshake_secrets(SSL_HANDSHAKE *hs) {
247*8fb009dcSAndroid Build Coastguard Worker   SSL *const ssl = hs->ssl;
248*8fb009dcSAndroid Build Coastguard Worker   if (!derive_secret(hs, hs->client_handshake_secret(),
249*8fb009dcSAndroid Build Coastguard Worker                      label_to_span(kTLS13LabelClientHandshakeTraffic)) ||
250*8fb009dcSAndroid Build Coastguard Worker       !ssl_log_secret(ssl, "CLIENT_HANDSHAKE_TRAFFIC_SECRET",
251*8fb009dcSAndroid Build Coastguard Worker                       hs->client_handshake_secret()) ||
252*8fb009dcSAndroid Build Coastguard Worker       !derive_secret(hs, hs->server_handshake_secret(),
253*8fb009dcSAndroid Build Coastguard Worker                      label_to_span(kTLS13LabelServerHandshakeTraffic)) ||
254*8fb009dcSAndroid Build Coastguard Worker       !ssl_log_secret(ssl, "SERVER_HANDSHAKE_TRAFFIC_SECRET",
255*8fb009dcSAndroid Build Coastguard Worker                       hs->server_handshake_secret())) {
256*8fb009dcSAndroid Build Coastguard Worker     return false;
257*8fb009dcSAndroid Build Coastguard Worker   }
258*8fb009dcSAndroid Build Coastguard Worker 
259*8fb009dcSAndroid Build Coastguard Worker   return true;
260*8fb009dcSAndroid Build Coastguard Worker }
261*8fb009dcSAndroid Build Coastguard Worker 
tls13_derive_application_secrets(SSL_HANDSHAKE * hs)262*8fb009dcSAndroid Build Coastguard Worker bool tls13_derive_application_secrets(SSL_HANDSHAKE *hs) {
263*8fb009dcSAndroid Build Coastguard Worker   SSL *const ssl = hs->ssl;
264*8fb009dcSAndroid Build Coastguard Worker   ssl->s3->exporter_secret_len = hs->transcript.DigestLen();
265*8fb009dcSAndroid Build Coastguard Worker   if (!derive_secret(hs, hs->client_traffic_secret_0(),
266*8fb009dcSAndroid Build Coastguard Worker                      label_to_span(kTLS13LabelClientApplicationTraffic)) ||
267*8fb009dcSAndroid Build Coastguard Worker       !ssl_log_secret(ssl, "CLIENT_TRAFFIC_SECRET_0",
268*8fb009dcSAndroid Build Coastguard Worker                       hs->client_traffic_secret_0()) ||
269*8fb009dcSAndroid Build Coastguard Worker       !derive_secret(hs, hs->server_traffic_secret_0(),
270*8fb009dcSAndroid Build Coastguard Worker                      label_to_span(kTLS13LabelServerApplicationTraffic)) ||
271*8fb009dcSAndroid Build Coastguard Worker       !ssl_log_secret(ssl, "SERVER_TRAFFIC_SECRET_0",
272*8fb009dcSAndroid Build Coastguard Worker                       hs->server_traffic_secret_0()) ||
273*8fb009dcSAndroid Build Coastguard Worker       !derive_secret(
274*8fb009dcSAndroid Build Coastguard Worker           hs, MakeSpan(ssl->s3->exporter_secret, ssl->s3->exporter_secret_len),
275*8fb009dcSAndroid Build Coastguard Worker           label_to_span(kTLS13LabelExporter)) ||
276*8fb009dcSAndroid Build Coastguard Worker       !ssl_log_secret(ssl, "EXPORTER_SECRET",
277*8fb009dcSAndroid Build Coastguard Worker                       MakeConstSpan(ssl->s3->exporter_secret,
278*8fb009dcSAndroid Build Coastguard Worker                                     ssl->s3->exporter_secret_len))) {
279*8fb009dcSAndroid Build Coastguard Worker     return false;
280*8fb009dcSAndroid Build Coastguard Worker   }
281*8fb009dcSAndroid Build Coastguard Worker 
282*8fb009dcSAndroid Build Coastguard Worker   return true;
283*8fb009dcSAndroid Build Coastguard Worker }
284*8fb009dcSAndroid Build Coastguard Worker 
285*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelApplicationTraffic[] = "traffic upd";
286*8fb009dcSAndroid Build Coastguard Worker 
tls13_rotate_traffic_key(SSL * ssl,enum evp_aead_direction_t direction)287*8fb009dcSAndroid Build Coastguard Worker bool tls13_rotate_traffic_key(SSL *ssl, enum evp_aead_direction_t direction) {
288*8fb009dcSAndroid Build Coastguard Worker   Span<uint8_t> secret;
289*8fb009dcSAndroid Build Coastguard Worker   if (direction == evp_aead_open) {
290*8fb009dcSAndroid Build Coastguard Worker     secret = MakeSpan(ssl->s3->read_traffic_secret,
291*8fb009dcSAndroid Build Coastguard Worker                       ssl->s3->read_traffic_secret_len);
292*8fb009dcSAndroid Build Coastguard Worker   } else {
293*8fb009dcSAndroid Build Coastguard Worker     secret = MakeSpan(ssl->s3->write_traffic_secret,
294*8fb009dcSAndroid Build Coastguard Worker                       ssl->s3->write_traffic_secret_len);
295*8fb009dcSAndroid Build Coastguard Worker   }
296*8fb009dcSAndroid Build Coastguard Worker 
297*8fb009dcSAndroid Build Coastguard Worker   const SSL_SESSION *session = SSL_get_session(ssl);
298*8fb009dcSAndroid Build Coastguard Worker   const EVP_MD *digest = ssl_session_get_digest(session);
299*8fb009dcSAndroid Build Coastguard Worker   return hkdf_expand_label(secret, digest, secret,
300*8fb009dcSAndroid Build Coastguard Worker                            label_to_span(kTLS13LabelApplicationTraffic), {}) &&
301*8fb009dcSAndroid Build Coastguard Worker          tls13_set_traffic_key(ssl, ssl_encryption_application, direction,
302*8fb009dcSAndroid Build Coastguard Worker                                session, secret);
303*8fb009dcSAndroid Build Coastguard Worker }
304*8fb009dcSAndroid Build Coastguard Worker 
305*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelResumption[] = "res master";
306*8fb009dcSAndroid Build Coastguard Worker 
tls13_derive_resumption_secret(SSL_HANDSHAKE * hs)307*8fb009dcSAndroid Build Coastguard Worker bool tls13_derive_resumption_secret(SSL_HANDSHAKE *hs) {
308*8fb009dcSAndroid Build Coastguard Worker   if (hs->transcript.DigestLen() > SSL_MAX_MASTER_KEY_LENGTH) {
309*8fb009dcSAndroid Build Coastguard Worker     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
310*8fb009dcSAndroid Build Coastguard Worker     return false;
311*8fb009dcSAndroid Build Coastguard Worker   }
312*8fb009dcSAndroid Build Coastguard Worker   hs->new_session->secret_length = hs->transcript.DigestLen();
313*8fb009dcSAndroid Build Coastguard Worker   return derive_secret(
314*8fb009dcSAndroid Build Coastguard Worker       hs, MakeSpan(hs->new_session->secret, hs->new_session->secret_length),
315*8fb009dcSAndroid Build Coastguard Worker       label_to_span(kTLS13LabelResumption));
316*8fb009dcSAndroid Build Coastguard Worker }
317*8fb009dcSAndroid Build Coastguard Worker 
318*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelFinished[] = "finished";
319*8fb009dcSAndroid Build Coastguard Worker 
320*8fb009dcSAndroid Build Coastguard Worker // tls13_verify_data sets |out| to be the HMAC of |context| using a derived
321*8fb009dcSAndroid Build Coastguard Worker // Finished key for both Finished messages and the PSK binder. |out| must have
322*8fb009dcSAndroid Build Coastguard Worker // space available for |EVP_MAX_MD_SIZE| bytes.
tls13_verify_data(uint8_t * out,size_t * out_len,const EVP_MD * digest,uint16_t version,Span<const uint8_t> secret,Span<const uint8_t> context)323*8fb009dcSAndroid Build Coastguard Worker static bool tls13_verify_data(uint8_t *out, size_t *out_len,
324*8fb009dcSAndroid Build Coastguard Worker                               const EVP_MD *digest, uint16_t version,
325*8fb009dcSAndroid Build Coastguard Worker                               Span<const uint8_t> secret,
326*8fb009dcSAndroid Build Coastguard Worker                               Span<const uint8_t> context) {
327*8fb009dcSAndroid Build Coastguard Worker   uint8_t key_buf[EVP_MAX_MD_SIZE];
328*8fb009dcSAndroid Build Coastguard Worker   auto key = MakeSpan(key_buf, EVP_MD_size(digest));
329*8fb009dcSAndroid Build Coastguard Worker   unsigned len;
330*8fb009dcSAndroid Build Coastguard Worker   if (!hkdf_expand_label(key, digest, secret,
331*8fb009dcSAndroid Build Coastguard Worker                          label_to_span(kTLS13LabelFinished), {}) ||
332*8fb009dcSAndroid Build Coastguard Worker       HMAC(digest, key.data(), key.size(), context.data(), context.size(), out,
333*8fb009dcSAndroid Build Coastguard Worker            &len) == nullptr) {
334*8fb009dcSAndroid Build Coastguard Worker     return false;
335*8fb009dcSAndroid Build Coastguard Worker   }
336*8fb009dcSAndroid Build Coastguard Worker   *out_len = len;
337*8fb009dcSAndroid Build Coastguard Worker   return true;
338*8fb009dcSAndroid Build Coastguard Worker }
339*8fb009dcSAndroid Build Coastguard Worker 
tls13_finished_mac(SSL_HANDSHAKE * hs,uint8_t * out,size_t * out_len,bool is_server)340*8fb009dcSAndroid Build Coastguard Worker bool tls13_finished_mac(SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len,
341*8fb009dcSAndroid Build Coastguard Worker                         bool is_server) {
342*8fb009dcSAndroid Build Coastguard Worker   Span<const uint8_t> traffic_secret =
343*8fb009dcSAndroid Build Coastguard Worker       is_server ? hs->server_handshake_secret() : hs->client_handshake_secret();
344*8fb009dcSAndroid Build Coastguard Worker 
345*8fb009dcSAndroid Build Coastguard Worker   uint8_t context_hash[EVP_MAX_MD_SIZE];
346*8fb009dcSAndroid Build Coastguard Worker   size_t context_hash_len;
347*8fb009dcSAndroid Build Coastguard Worker   if (!hs->transcript.GetHash(context_hash, &context_hash_len) ||
348*8fb009dcSAndroid Build Coastguard Worker       !tls13_verify_data(out, out_len, hs->transcript.Digest(),
349*8fb009dcSAndroid Build Coastguard Worker                          hs->ssl->version, traffic_secret,
350*8fb009dcSAndroid Build Coastguard Worker                          MakeConstSpan(context_hash, context_hash_len))) {
351*8fb009dcSAndroid Build Coastguard Worker     return false;
352*8fb009dcSAndroid Build Coastguard Worker   }
353*8fb009dcSAndroid Build Coastguard Worker   return true;
354*8fb009dcSAndroid Build Coastguard Worker }
355*8fb009dcSAndroid Build Coastguard Worker 
356*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelResumptionPSK[] = "resumption";
357*8fb009dcSAndroid Build Coastguard Worker 
tls13_derive_session_psk(SSL_SESSION * session,Span<const uint8_t> nonce)358*8fb009dcSAndroid Build Coastguard Worker bool tls13_derive_session_psk(SSL_SESSION *session, Span<const uint8_t> nonce) {
359*8fb009dcSAndroid Build Coastguard Worker   const EVP_MD *digest = ssl_session_get_digest(session);
360*8fb009dcSAndroid Build Coastguard Worker   // The session initially stores the resumption_master_secret, which we
361*8fb009dcSAndroid Build Coastguard Worker   // override with the PSK.
362*8fb009dcSAndroid Build Coastguard Worker   auto session_secret = MakeSpan(session->secret, session->secret_length);
363*8fb009dcSAndroid Build Coastguard Worker   return hkdf_expand_label(session_secret, digest, session_secret,
364*8fb009dcSAndroid Build Coastguard Worker                            label_to_span(kTLS13LabelResumptionPSK), nonce);
365*8fb009dcSAndroid Build Coastguard Worker }
366*8fb009dcSAndroid Build Coastguard Worker 
367*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelExportKeying[] = "exporter";
368*8fb009dcSAndroid Build Coastguard Worker 
tls13_export_keying_material(SSL * ssl,Span<uint8_t> out,Span<const uint8_t> secret,Span<const char> label,Span<const uint8_t> context)369*8fb009dcSAndroid Build Coastguard Worker bool tls13_export_keying_material(SSL *ssl, Span<uint8_t> out,
370*8fb009dcSAndroid Build Coastguard Worker                                   Span<const uint8_t> secret,
371*8fb009dcSAndroid Build Coastguard Worker                                   Span<const char> label,
372*8fb009dcSAndroid Build Coastguard Worker                                   Span<const uint8_t> context) {
373*8fb009dcSAndroid Build Coastguard Worker   if (secret.empty()) {
374*8fb009dcSAndroid Build Coastguard Worker     assert(0);
375*8fb009dcSAndroid Build Coastguard Worker     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
376*8fb009dcSAndroid Build Coastguard Worker     return false;
377*8fb009dcSAndroid Build Coastguard Worker   }
378*8fb009dcSAndroid Build Coastguard Worker 
379*8fb009dcSAndroid Build Coastguard Worker   const EVP_MD *digest = ssl_session_get_digest(SSL_get_session(ssl));
380*8fb009dcSAndroid Build Coastguard Worker 
381*8fb009dcSAndroid Build Coastguard Worker   uint8_t hash_buf[EVP_MAX_MD_SIZE];
382*8fb009dcSAndroid Build Coastguard Worker   uint8_t export_context_buf[EVP_MAX_MD_SIZE];
383*8fb009dcSAndroid Build Coastguard Worker   unsigned hash_len;
384*8fb009dcSAndroid Build Coastguard Worker   unsigned export_context_len;
385*8fb009dcSAndroid Build Coastguard Worker   if (!EVP_Digest(context.data(), context.size(), hash_buf, &hash_len, digest,
386*8fb009dcSAndroid Build Coastguard Worker                   nullptr) ||
387*8fb009dcSAndroid Build Coastguard Worker       !EVP_Digest(nullptr, 0, export_context_buf, &export_context_len, digest,
388*8fb009dcSAndroid Build Coastguard Worker                   nullptr)) {
389*8fb009dcSAndroid Build Coastguard Worker     return false;
390*8fb009dcSAndroid Build Coastguard Worker   }
391*8fb009dcSAndroid Build Coastguard Worker 
392*8fb009dcSAndroid Build Coastguard Worker   auto hash = MakeConstSpan(hash_buf, hash_len);
393*8fb009dcSAndroid Build Coastguard Worker   auto export_context = MakeConstSpan(export_context_buf, export_context_len);
394*8fb009dcSAndroid Build Coastguard Worker   uint8_t derived_secret_buf[EVP_MAX_MD_SIZE];
395*8fb009dcSAndroid Build Coastguard Worker   auto derived_secret = MakeSpan(derived_secret_buf, EVP_MD_size(digest));
396*8fb009dcSAndroid Build Coastguard Worker   return hkdf_expand_label(derived_secret, digest, secret, label,
397*8fb009dcSAndroid Build Coastguard Worker                            export_context) &&
398*8fb009dcSAndroid Build Coastguard Worker          hkdf_expand_label(out, digest, derived_secret,
399*8fb009dcSAndroid Build Coastguard Worker                            label_to_span(kTLS13LabelExportKeying), hash);
400*8fb009dcSAndroid Build Coastguard Worker }
401*8fb009dcSAndroid Build Coastguard Worker 
402*8fb009dcSAndroid Build Coastguard Worker static const char kTLS13LabelPSKBinder[] = "res binder";
403*8fb009dcSAndroid Build Coastguard Worker 
tls13_psk_binder(uint8_t * out,size_t * out_len,const SSL_SESSION * session,const SSLTranscript & transcript,Span<const uint8_t> client_hello,size_t binders_len)404*8fb009dcSAndroid Build Coastguard Worker static bool tls13_psk_binder(uint8_t *out, size_t *out_len,
405*8fb009dcSAndroid Build Coastguard Worker                              const SSL_SESSION *session,
406*8fb009dcSAndroid Build Coastguard Worker                              const SSLTranscript &transcript,
407*8fb009dcSAndroid Build Coastguard Worker                              Span<const uint8_t> client_hello,
408*8fb009dcSAndroid Build Coastguard Worker                              size_t binders_len) {
409*8fb009dcSAndroid Build Coastguard Worker   const EVP_MD *digest = ssl_session_get_digest(session);
410*8fb009dcSAndroid Build Coastguard Worker 
411*8fb009dcSAndroid Build Coastguard Worker   // Compute the binder key.
412*8fb009dcSAndroid Build Coastguard Worker   //
413*8fb009dcSAndroid Build Coastguard Worker   // TODO(davidben): Ideally we wouldn't recompute early secret and the binder
414*8fb009dcSAndroid Build Coastguard Worker   // key each time.
415*8fb009dcSAndroid Build Coastguard Worker   uint8_t binder_context[EVP_MAX_MD_SIZE];
416*8fb009dcSAndroid Build Coastguard Worker   unsigned binder_context_len;
417*8fb009dcSAndroid Build Coastguard Worker   uint8_t early_secret[EVP_MAX_MD_SIZE] = {0};
418*8fb009dcSAndroid Build Coastguard Worker   size_t early_secret_len;
419*8fb009dcSAndroid Build Coastguard Worker   uint8_t binder_key_buf[EVP_MAX_MD_SIZE] = {0};
420*8fb009dcSAndroid Build Coastguard Worker   auto binder_key = MakeSpan(binder_key_buf, EVP_MD_size(digest));
421*8fb009dcSAndroid Build Coastguard Worker   if (!EVP_Digest(nullptr, 0, binder_context, &binder_context_len, digest,
422*8fb009dcSAndroid Build Coastguard Worker                   nullptr) ||
423*8fb009dcSAndroid Build Coastguard Worker       !HKDF_extract(early_secret, &early_secret_len, digest, session->secret,
424*8fb009dcSAndroid Build Coastguard Worker                     session->secret_length, nullptr, 0) ||
425*8fb009dcSAndroid Build Coastguard Worker       !hkdf_expand_label(binder_key, digest,
426*8fb009dcSAndroid Build Coastguard Worker                          MakeConstSpan(early_secret, early_secret_len),
427*8fb009dcSAndroid Build Coastguard Worker                          label_to_span(kTLS13LabelPSKBinder),
428*8fb009dcSAndroid Build Coastguard Worker                          MakeConstSpan(binder_context, binder_context_len))) {
429*8fb009dcSAndroid Build Coastguard Worker     return false;
430*8fb009dcSAndroid Build Coastguard Worker   }
431*8fb009dcSAndroid Build Coastguard Worker 
432*8fb009dcSAndroid Build Coastguard Worker   // Hash the transcript and truncated ClientHello.
433*8fb009dcSAndroid Build Coastguard Worker   if (client_hello.size() < binders_len) {
434*8fb009dcSAndroid Build Coastguard Worker     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
435*8fb009dcSAndroid Build Coastguard Worker     return false;
436*8fb009dcSAndroid Build Coastguard Worker   }
437*8fb009dcSAndroid Build Coastguard Worker   auto truncated = client_hello.subspan(0, client_hello.size() - binders_len);
438*8fb009dcSAndroid Build Coastguard Worker   uint8_t context[EVP_MAX_MD_SIZE];
439*8fb009dcSAndroid Build Coastguard Worker   unsigned context_len;
440*8fb009dcSAndroid Build Coastguard Worker   ScopedEVP_MD_CTX ctx;
441*8fb009dcSAndroid Build Coastguard Worker   if (!transcript.CopyToHashContext(ctx.get(), digest) ||
442*8fb009dcSAndroid Build Coastguard Worker       !EVP_DigestUpdate(ctx.get(), truncated.data(),
443*8fb009dcSAndroid Build Coastguard Worker                         truncated.size()) ||
444*8fb009dcSAndroid Build Coastguard Worker       !EVP_DigestFinal_ex(ctx.get(), context, &context_len)) {
445*8fb009dcSAndroid Build Coastguard Worker     return false;
446*8fb009dcSAndroid Build Coastguard Worker   }
447*8fb009dcSAndroid Build Coastguard Worker 
448*8fb009dcSAndroid Build Coastguard Worker   if (!tls13_verify_data(out, out_len, digest, session->ssl_version, binder_key,
449*8fb009dcSAndroid Build Coastguard Worker                          MakeConstSpan(context, context_len))) {
450*8fb009dcSAndroid Build Coastguard Worker     return false;
451*8fb009dcSAndroid Build Coastguard Worker   }
452*8fb009dcSAndroid Build Coastguard Worker 
453*8fb009dcSAndroid Build Coastguard Worker   assert(*out_len == EVP_MD_size(digest));
454*8fb009dcSAndroid Build Coastguard Worker   return true;
455*8fb009dcSAndroid Build Coastguard Worker }
456*8fb009dcSAndroid Build Coastguard Worker 
tls13_write_psk_binder(const SSL_HANDSHAKE * hs,const SSLTranscript & transcript,Span<uint8_t> msg,size_t * out_binder_len)457*8fb009dcSAndroid Build Coastguard Worker bool tls13_write_psk_binder(const SSL_HANDSHAKE *hs,
458*8fb009dcSAndroid Build Coastguard Worker                             const SSLTranscript &transcript, Span<uint8_t> msg,
459*8fb009dcSAndroid Build Coastguard Worker                             size_t *out_binder_len) {
460*8fb009dcSAndroid Build Coastguard Worker   const SSL *const ssl = hs->ssl;
461*8fb009dcSAndroid Build Coastguard Worker   const EVP_MD *digest = ssl_session_get_digest(ssl->session.get());
462*8fb009dcSAndroid Build Coastguard Worker   const size_t hash_len = EVP_MD_size(digest);
463*8fb009dcSAndroid Build Coastguard Worker   // We only offer one PSK, so the binders are a u16 and u8 length
464*8fb009dcSAndroid Build Coastguard Worker   // prefix, followed by the binder. The caller is assumed to have constructed
465*8fb009dcSAndroid Build Coastguard Worker   // |msg| with placeholder binders.
466*8fb009dcSAndroid Build Coastguard Worker   const size_t binders_len = 3 + hash_len;
467*8fb009dcSAndroid Build Coastguard Worker   uint8_t verify_data[EVP_MAX_MD_SIZE];
468*8fb009dcSAndroid Build Coastguard Worker   size_t verify_data_len;
469*8fb009dcSAndroid Build Coastguard Worker   if (!tls13_psk_binder(verify_data, &verify_data_len, ssl->session.get(),
470*8fb009dcSAndroid Build Coastguard Worker                         transcript, msg, binders_len) ||
471*8fb009dcSAndroid Build Coastguard Worker       verify_data_len != hash_len) {
472*8fb009dcSAndroid Build Coastguard Worker     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
473*8fb009dcSAndroid Build Coastguard Worker     return false;
474*8fb009dcSAndroid Build Coastguard Worker   }
475*8fb009dcSAndroid Build Coastguard Worker 
476*8fb009dcSAndroid Build Coastguard Worker   auto msg_binder = msg.last(verify_data_len);
477*8fb009dcSAndroid Build Coastguard Worker   OPENSSL_memcpy(msg_binder.data(), verify_data, verify_data_len);
478*8fb009dcSAndroid Build Coastguard Worker   if (out_binder_len != nullptr) {
479*8fb009dcSAndroid Build Coastguard Worker     *out_binder_len = verify_data_len;
480*8fb009dcSAndroid Build Coastguard Worker   }
481*8fb009dcSAndroid Build Coastguard Worker   return true;
482*8fb009dcSAndroid Build Coastguard Worker }
483*8fb009dcSAndroid Build Coastguard Worker 
tls13_verify_psk_binder(const SSL_HANDSHAKE * hs,const SSL_SESSION * session,const SSLMessage & msg,CBS * binders)484*8fb009dcSAndroid Build Coastguard Worker bool tls13_verify_psk_binder(const SSL_HANDSHAKE *hs,
485*8fb009dcSAndroid Build Coastguard Worker                              const SSL_SESSION *session, const SSLMessage &msg,
486*8fb009dcSAndroid Build Coastguard Worker                              CBS *binders) {
487*8fb009dcSAndroid Build Coastguard Worker   uint8_t verify_data[EVP_MAX_MD_SIZE];
488*8fb009dcSAndroid Build Coastguard Worker   size_t verify_data_len;
489*8fb009dcSAndroid Build Coastguard Worker   CBS binder;
490*8fb009dcSAndroid Build Coastguard Worker   // The binders are computed over |msg| with |binders| and its u16 length
491*8fb009dcSAndroid Build Coastguard Worker   // prefix removed. The caller is assumed to have parsed |msg|, extracted
492*8fb009dcSAndroid Build Coastguard Worker   // |binders|, and verified the PSK extension is last.
493*8fb009dcSAndroid Build Coastguard Worker   if (!tls13_psk_binder(verify_data, &verify_data_len, session, hs->transcript,
494*8fb009dcSAndroid Build Coastguard Worker                         msg.raw, 2 + CBS_len(binders)) ||
495*8fb009dcSAndroid Build Coastguard Worker       // We only consider the first PSK, so compare against the first binder.
496*8fb009dcSAndroid Build Coastguard Worker       !CBS_get_u8_length_prefixed(binders, &binder)) {
497*8fb009dcSAndroid Build Coastguard Worker     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
498*8fb009dcSAndroid Build Coastguard Worker     return false;
499*8fb009dcSAndroid Build Coastguard Worker   }
500*8fb009dcSAndroid Build Coastguard Worker 
501*8fb009dcSAndroid Build Coastguard Worker   bool binder_ok =
502*8fb009dcSAndroid Build Coastguard Worker       CBS_len(&binder) == verify_data_len &&
503*8fb009dcSAndroid Build Coastguard Worker       CRYPTO_memcmp(CBS_data(&binder), verify_data, verify_data_len) == 0;
504*8fb009dcSAndroid Build Coastguard Worker #if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
505*8fb009dcSAndroid Build Coastguard Worker   binder_ok = true;
506*8fb009dcSAndroid Build Coastguard Worker #endif
507*8fb009dcSAndroid Build Coastguard Worker   if (!binder_ok) {
508*8fb009dcSAndroid Build Coastguard Worker     OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
509*8fb009dcSAndroid Build Coastguard Worker     return false;
510*8fb009dcSAndroid Build Coastguard Worker   }
511*8fb009dcSAndroid Build Coastguard Worker 
512*8fb009dcSAndroid Build Coastguard Worker   return true;
513*8fb009dcSAndroid Build Coastguard Worker }
514*8fb009dcSAndroid Build Coastguard Worker 
ssl_ech_confirmation_signal_hello_offset(const SSL * ssl)515*8fb009dcSAndroid Build Coastguard Worker size_t ssl_ech_confirmation_signal_hello_offset(const SSL *ssl) {
516*8fb009dcSAndroid Build Coastguard Worker   static_assert(ECH_CONFIRMATION_SIGNAL_LEN < SSL3_RANDOM_SIZE,
517*8fb009dcSAndroid Build Coastguard Worker                 "the confirmation signal is a suffix of the random");
518*8fb009dcSAndroid Build Coastguard Worker   const size_t header_len =
519*8fb009dcSAndroid Build Coastguard Worker       SSL_is_dtls(ssl) ? DTLS1_HM_HEADER_LENGTH : SSL3_HM_HEADER_LENGTH;
520*8fb009dcSAndroid Build Coastguard Worker   return header_len + 2 /* version */ + SSL3_RANDOM_SIZE -
521*8fb009dcSAndroid Build Coastguard Worker          ECH_CONFIRMATION_SIGNAL_LEN;
522*8fb009dcSAndroid Build Coastguard Worker }
523*8fb009dcSAndroid Build Coastguard Worker 
ssl_ech_accept_confirmation(const SSL_HANDSHAKE * hs,Span<uint8_t> out,Span<const uint8_t> client_random,const SSLTranscript & transcript,bool is_hrr,Span<const uint8_t> msg,size_t offset)524*8fb009dcSAndroid Build Coastguard Worker bool ssl_ech_accept_confirmation(const SSL_HANDSHAKE *hs, Span<uint8_t> out,
525*8fb009dcSAndroid Build Coastguard Worker                                  Span<const uint8_t> client_random,
526*8fb009dcSAndroid Build Coastguard Worker                                  const SSLTranscript &transcript, bool is_hrr,
527*8fb009dcSAndroid Build Coastguard Worker                                  Span<const uint8_t> msg, size_t offset) {
528*8fb009dcSAndroid Build Coastguard Worker   // See draft-ietf-tls-esni-13, sections 7.2 and 7.2.1.
529*8fb009dcSAndroid Build Coastguard Worker   static const uint8_t kZeros[EVP_MAX_MD_SIZE] = {0};
530*8fb009dcSAndroid Build Coastguard Worker 
531*8fb009dcSAndroid Build Coastguard Worker   // We hash |msg|, with bytes from |offset| zeroed.
532*8fb009dcSAndroid Build Coastguard Worker   if (msg.size() < offset + ECH_CONFIRMATION_SIGNAL_LEN) {
533*8fb009dcSAndroid Build Coastguard Worker     OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
534*8fb009dcSAndroid Build Coastguard Worker     return false;
535*8fb009dcSAndroid Build Coastguard Worker   }
536*8fb009dcSAndroid Build Coastguard Worker 
537*8fb009dcSAndroid Build Coastguard Worker   auto before_zeros = msg.subspan(0, offset);
538*8fb009dcSAndroid Build Coastguard Worker   auto after_zeros = msg.subspan(offset + ECH_CONFIRMATION_SIGNAL_LEN);
539*8fb009dcSAndroid Build Coastguard Worker   uint8_t context[EVP_MAX_MD_SIZE];
540*8fb009dcSAndroid Build Coastguard Worker   unsigned context_len;
541*8fb009dcSAndroid Build Coastguard Worker   ScopedEVP_MD_CTX ctx;
542*8fb009dcSAndroid Build Coastguard Worker   if (!transcript.CopyToHashContext(ctx.get(), transcript.Digest()) ||
543*8fb009dcSAndroid Build Coastguard Worker       !EVP_DigestUpdate(ctx.get(), before_zeros.data(), before_zeros.size()) ||
544*8fb009dcSAndroid Build Coastguard Worker       !EVP_DigestUpdate(ctx.get(), kZeros, ECH_CONFIRMATION_SIGNAL_LEN) ||
545*8fb009dcSAndroid Build Coastguard Worker       !EVP_DigestUpdate(ctx.get(), after_zeros.data(), after_zeros.size()) ||
546*8fb009dcSAndroid Build Coastguard Worker       !EVP_DigestFinal_ex(ctx.get(), context, &context_len)) {
547*8fb009dcSAndroid Build Coastguard Worker     return false;
548*8fb009dcSAndroid Build Coastguard Worker   }
549*8fb009dcSAndroid Build Coastguard Worker 
550*8fb009dcSAndroid Build Coastguard Worker   uint8_t secret[EVP_MAX_MD_SIZE];
551*8fb009dcSAndroid Build Coastguard Worker   size_t secret_len;
552*8fb009dcSAndroid Build Coastguard Worker   if (!HKDF_extract(secret, &secret_len, transcript.Digest(),
553*8fb009dcSAndroid Build Coastguard Worker                     client_random.data(), client_random.size(), kZeros,
554*8fb009dcSAndroid Build Coastguard Worker                     transcript.DigestLen())) {
555*8fb009dcSAndroid Build Coastguard Worker     return false;
556*8fb009dcSAndroid Build Coastguard Worker   }
557*8fb009dcSAndroid Build Coastguard Worker 
558*8fb009dcSAndroid Build Coastguard Worker   assert(out.size() == ECH_CONFIRMATION_SIGNAL_LEN);
559*8fb009dcSAndroid Build Coastguard Worker   return hkdf_expand_label(out, transcript.Digest(),
560*8fb009dcSAndroid Build Coastguard Worker                            MakeConstSpan(secret, secret_len),
561*8fb009dcSAndroid Build Coastguard Worker                            is_hrr ? label_to_span("hrr ech accept confirmation")
562*8fb009dcSAndroid Build Coastguard Worker                                   : label_to_span("ech accept confirmation"),
563*8fb009dcSAndroid Build Coastguard Worker                            MakeConstSpan(context, context_len));
564*8fb009dcSAndroid Build Coastguard Worker }
565*8fb009dcSAndroid Build Coastguard Worker 
566*8fb009dcSAndroid Build Coastguard Worker BSSL_NAMESPACE_END
567