blob: 4854002bbea634305135ccb09686a06d61aa7125 [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 Benjaminabbbee12016-10-31 19:20:42 -040020#include <openssl/aead.h>
Steven Valdez143e8b32016-07-11 13:19:03 -040021#include <openssl/bytestring.h>
22#include <openssl/digest.h>
23#include <openssl/err.h>
24#include <openssl/mem.h>
25#include <openssl/rand.h>
26#include <openssl/stack.h>
27
David Benjamin17cf2cb2016-12-13 01:07:13 -050028#include "../crypto/internal.h"
Steven Valdez143e8b32016-07-11 13:19:03 -040029#include "internal.h"
30
31
Steven Valdez08b65f42016-12-07 15:29:45 -050032/* kMaxEarlyDataAccepted is the advertised number of plaintext bytes of early
33 * data that will be accepted. This value should be slightly below
34 * kMaxEarlyDataSkipped in tls_record.c, which is measured in ciphertext. */
35static const size_t kMaxEarlyDataAccepted = 14336;
36
Steven Valdez143e8b32016-07-11 13:19:03 -040037enum server_hs_state_t {
David Benjamindaa05392017-02-02 23:33:21 -050038 state_select_parameters = 0,
David Benjamin707af292017-03-10 17:47:18 -050039 state_select_session,
Steven Valdez5440fe02016-07-18 12:40:30 -040040 state_send_hello_retry_request,
Steven Valdez5440fe02016-07-18 12:40:30 -040041 state_process_second_client_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040042 state_send_server_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040043 state_send_server_certificate_verify,
44 state_complete_server_certificate_verify,
45 state_send_server_finished,
Steven Valdez2d850622017-01-11 11:34:52 -050046 state_read_second_client_flight,
47 state_process_end_of_early_data,
Steven Valdez143e8b32016-07-11 13:19:03 -040048 state_process_client_certificate,
49 state_process_client_certificate_verify,
Nick Harper60a85cb2016-09-23 16:25:11 -070050 state_process_channel_id,
Steven Valdez143e8b32016-07-11 13:19:03 -040051 state_process_client_finished,
Steven Valdez1e6f11a2016-07-27 11:10:52 -040052 state_send_new_session_ticket,
Steven Valdez143e8b32016-07-11 13:19:03 -040053 state_done,
54};
55
Steven Valdez5440fe02016-07-18 12:40:30 -040056static const uint8_t kZeroes[EVP_MAX_MD_SIZE] = {0};
57
David Benjamin6e4fc332016-11-17 16:43:08 +090058static int resolve_ecdhe_secret(SSL_HANDSHAKE *hs, int *out_need_retry,
David Benjamin731058e2016-12-03 23:15:13 -050059 SSL_CLIENT_HELLO *client_hello) {
David Benjamin6e4fc332016-11-17 16:43:08 +090060 SSL *const ssl = hs->ssl;
Steven Valdez5440fe02016-07-18 12:40:30 -040061 *out_need_retry = 0;
Steven Valdez5440fe02016-07-18 12:40:30 -040062
Steven Valdez803c77a2016-09-06 14:13:43 -040063 /* We only support connections that include an ECDHE key exchange. */
Steven Valdez5440fe02016-07-18 12:40:30 -040064 CBS key_share;
David Benjamin731058e2016-12-03 23:15:13 -050065 if (!ssl_client_hello_get_extension(client_hello, &key_share,
66 TLSEXT_TYPE_key_share)) {
Steven Valdez5440fe02016-07-18 12:40:30 -040067 OPENSSL_PUT_ERROR(SSL, SSL_R_MISSING_KEY_SHARE);
68 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_MISSING_EXTENSION);
David Benjamin6929f272016-11-16 19:10:08 +090069 return 0;
Steven Valdez5440fe02016-07-18 12:40:30 -040070 }
71
Steven Valdez5440fe02016-07-18 12:40:30 -040072 int found_key_share;
73 uint8_t *dhe_secret;
74 size_t dhe_secret_len;
David Benjamin7e1f9842016-09-20 19:24:40 -040075 uint8_t alert = SSL_AD_DECODE_ERROR;
David Benjamin8baf9632016-11-17 17:11:16 +090076 if (!ssl_ext_key_share_parse_clienthello(hs, &found_key_share, &dhe_secret,
Steven Valdez7259f2f2016-08-02 16:55:05 -040077 &dhe_secret_len, &alert,
78 &key_share)) {
Steven Valdez5440fe02016-07-18 12:40:30 -040079 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
80 return 0;
81 }
82
83 if (!found_key_share) {
84 *out_need_retry = 1;
85 return 0;
86 }
87
David Benjamin6e4fc332016-11-17 16:43:08 +090088 int ok = tls13_advance_key_schedule(hs, dhe_secret, dhe_secret_len);
Steven Valdez5440fe02016-07-18 12:40:30 -040089 OPENSSL_free(dhe_secret);
90 return ok;
91}
92
David Benjamin34202b92016-11-16 19:07:53 +090093static const SSL_CIPHER *choose_tls13_cipher(
David Benjamin731058e2016-12-03 23:15:13 -050094 const SSL *ssl, const SSL_CLIENT_HELLO *client_hello) {
David Benjamin34202b92016-11-16 19:07:53 +090095 if (client_hello->cipher_suites_len % 2 != 0) {
96 return NULL;
97 }
98
99 CBS cipher_suites;
100 CBS_init(&cipher_suites, client_hello->cipher_suites,
101 client_hello->cipher_suites_len);
102
103 const int aes_is_fine = EVP_has_aes_hardware();
David Benjaminf01f42a2016-11-16 19:05:33 +0900104 const uint16_t version = ssl3_protocol_version(ssl);
David Benjamin34202b92016-11-16 19:07:53 +0900105
106 const SSL_CIPHER *best = NULL;
107 while (CBS_len(&cipher_suites) > 0) {
108 uint16_t cipher_suite;
109 if (!CBS_get_u16(&cipher_suites, &cipher_suite)) {
110 return NULL;
111 }
112
David Benjaminf01f42a2016-11-16 19:05:33 +0900113 /* Limit to TLS 1.3 ciphers we know about. */
David Benjamin34202b92016-11-16 19:07:53 +0900114 const SSL_CIPHER *candidate = SSL_get_cipher_by_value(cipher_suite);
David Benjaminf01f42a2016-11-16 19:05:33 +0900115 if (candidate == NULL ||
116 SSL_CIPHER_get_min_version(candidate) > version ||
117 SSL_CIPHER_get_max_version(candidate) < version) {
David Benjamin34202b92016-11-16 19:07:53 +0900118 continue;
119 }
120
121 /* TLS 1.3 removes legacy ciphers, so honor the client order, but prefer
122 * ChaCha20 if we do not have AES hardware. */
123 if (aes_is_fine) {
124 return candidate;
125 }
126
127 if (candidate->algorithm_enc == SSL_CHACHA20POLY1305) {
128 return candidate;
129 }
130
131 if (best == NULL) {
132 best = candidate;
133 }
134 }
135
136 return best;
137}
138
David Benjaminc3c88822016-11-14 10:32:04 +0900139static enum ssl_hs_wait_t do_select_parameters(SSL_HANDSHAKE *hs) {
David Benjamin707af292017-03-10 17:47:18 -0500140 /* At this point, most ClientHello extensions have already been processed by
141 * the common handshake logic. Resolve the remaining non-PSK parameters. */
David Benjaminc3c88822016-11-14 10:32:04 +0900142 SSL *const ssl = hs->ssl;
David Benjamin650aa1c2016-12-20 18:55:16 -0500143
David Benjamin731058e2016-12-03 23:15:13 -0500144 SSL_CLIENT_HELLO client_hello;
145 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
146 ssl->init_num)) {
David Benjamin34202b92016-11-16 19:07:53 +0900147 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
148 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
149 return ssl_hs_error;
150 }
151
David Benjaminf01f42a2016-11-16 19:05:33 +0900152 /* Negotiate the cipher suite. */
David Benjamin45738dd2017-02-09 20:01:26 -0500153 hs->new_cipher = choose_tls13_cipher(ssl, &client_hello);
154 if (hs->new_cipher == NULL) {
David Benjaminf01f42a2016-11-16 19:05:33 +0900155 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_CIPHER);
156 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
157 return ssl_hs_error;
158 }
159
David Benjamin707af292017-03-10 17:47:18 -0500160 /* HTTP/2 negotiation depends on the cipher suite, so ALPN negotiation was
161 * deferred. Complete it now. */
162 uint8_t alert = SSL_AD_DECODE_ERROR;
163 if (!ssl_negotiate_alpn(hs, &alert, &client_hello)) {
164 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
165 return ssl_hs_error;
166 }
167
Steven Valdez908ac192017-01-12 13:17:07 -0500168 /* The PRF hash is now known. Set up the key schedule and hash the
169 * ClientHello. */
170 if (!tls13_init_key_schedule(hs) ||
171 !ssl_hash_current_message(hs)) {
172 return ssl_hs_error;
173 }
174
David Benjamin707af292017-03-10 17:47:18 -0500175 hs->tls13_state = state_select_session;
176 return ssl_hs_ok;
177}
Steven Valdez908ac192017-01-12 13:17:07 -0500178
David Benjamin707af292017-03-10 17:47:18 -0500179static enum ssl_ticket_aead_result_t select_session(
180 SSL_HANDSHAKE *hs, uint8_t *out_alert, SSL_SESSION **out_session,
181 int32_t *out_ticket_age_skew, const SSL_CLIENT_HELLO *client_hello) {
182 SSL *const ssl = hs->ssl;
183 *out_session = NULL;
184
185 /* Decode the ticket if we agreed on a PSK key exchange mode. */
186 CBS pre_shared_key;
187 if (!hs->accept_psk_mode ||
188 !ssl_client_hello_get_extension(client_hello, &pre_shared_key,
189 TLSEXT_TYPE_pre_shared_key)) {
190 return ssl_ticket_aead_ignore_ticket;
191 }
192
193 /* Verify that the pre_shared_key extension is the last extension in
194 * ClientHello. */
195 if (CBS_data(&pre_shared_key) + CBS_len(&pre_shared_key) !=
196 client_hello->extensions + client_hello->extensions_len) {
197 OPENSSL_PUT_ERROR(SSL, SSL_R_PRE_SHARED_KEY_MUST_BE_LAST);
198 *out_alert = SSL_AD_ILLEGAL_PARAMETER;
199 return ssl_ticket_aead_error;
200 }
201
202 CBS ticket, binders;
203 uint32_t client_ticket_age;
204 if (!ssl_ext_pre_shared_key_parse_clienthello(hs, &ticket, &binders,
205 &client_ticket_age, out_alert,
206 &pre_shared_key)) {
207 return ssl_ticket_aead_error;
208 }
209
210 /* TLS 1.3 session tickets are renewed separately as part of the
211 * NewSessionTicket. */
212 int unused_renew;
213 SSL_SESSION *session = NULL;
214 enum ssl_ticket_aead_result_t ret =
215 ssl_process_ticket(ssl, &session, &unused_renew, CBS_data(&ticket),
216 CBS_len(&ticket), NULL, 0);
217 switch (ret) {
218 case ssl_ticket_aead_success:
219 break;
220 case ssl_ticket_aead_error:
221 *out_alert = SSL_AD_INTERNAL_ERROR;
222 return ret;
223 default:
224 return ret;
225 }
226
227 if (!ssl_session_is_resumable(hs, session) ||
228 /* Historically, some TLS 1.3 tickets were missing ticket_age_add. */
229 !session->ticket_age_add_valid) {
230 SSL_SESSION_free(session);
231 return ssl_ticket_aead_ignore_ticket;
232 }
233
234 /* Recover the client ticket age and convert to seconds. */
235 client_ticket_age -= session->ticket_age_add;
236 client_ticket_age /= 1000;
237
238 struct OPENSSL_timeval now;
239 ssl_get_current_time(ssl, &now);
240
241 /* Compute the server ticket age in seconds. */
242 assert(now.tv_sec >= session->time);
243 uint64_t server_ticket_age = now.tv_sec - session->time;
244
245 /* To avoid overflowing |hs->ticket_age_skew|, we will not resume
246 * 68-year-old sessions. */
247 if (server_ticket_age > INT32_MAX) {
248 SSL_SESSION_free(session);
249 return ssl_ticket_aead_ignore_ticket;
250 }
251
252 /* TODO(davidben,svaldez): Measure this value to decide on tolerance. For
253 * now, accept all values. https://crbug.com/boringssl/113. */
254 *out_ticket_age_skew =
255 (int32_t)client_ticket_age - (int32_t)server_ticket_age;
256
257 /* Check the PSK binder. */
258 if (!tls13_verify_psk_binder(hs, session, &binders)) {
259 SSL_SESSION_free(session);
260 *out_alert = SSL_AD_DECRYPT_ERROR;
261 return ssl_ticket_aead_error;
262 }
263
264 *out_session = session;
265 return ssl_ticket_aead_success;
266}
267
268static enum ssl_hs_wait_t do_select_session(SSL_HANDSHAKE *hs) {
269 SSL *const ssl = hs->ssl;
270 SSL_CLIENT_HELLO client_hello;
271 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
272 ssl->init_num)) {
273 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
274 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
275 return ssl_hs_error;
276 }
277
David Benjamin4eb95cc2016-11-16 17:08:23 +0900278 uint8_t alert = SSL_AD_DECODE_ERROR;
279 SSL_SESSION *session = NULL;
David Benjamin707af292017-03-10 17:47:18 -0500280 switch (select_session(hs, &alert, &session, &ssl->s3->ticket_age_skew,
281 &client_hello)) {
282 case ssl_ticket_aead_ignore_ticket:
283 assert(session == NULL);
284 if (!ssl_get_new_session(hs, 1 /* server */)) {
David Benjaminf01f42a2016-11-16 19:05:33 +0900285 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
286 return ssl_hs_error;
287 }
David Benjamin707af292017-03-10 17:47:18 -0500288 break;
Steven Valdeza833c352016-11-01 13:39:36 -0400289
David Benjamin707af292017-03-10 17:47:18 -0500290 case ssl_ticket_aead_success:
291 /* Carry over authentication information from the previous handshake into
292 * a fresh session. */
293 hs->new_session = SSL_SESSION_dup(session, SSL_SESSION_DUP_AUTH_ONLY);
Steven Valdez2d850622017-01-11 11:34:52 -0500294
295 if (/* Early data must be acceptable for this ticket. */
296 ssl->ctx->enable_early_data &&
297 session->ticket_max_early_data != 0 &&
298 /* The client must have offered early data. */
299 hs->early_data_offered &&
300 /* The negotiated ALPN must match the one in the ticket. */
301 ssl->s3->alpn_selected_len == session->early_alpn_len &&
302 OPENSSL_memcmp(ssl->s3->alpn_selected, session->early_alpn,
303 ssl->s3->alpn_selected_len) == 0) {
304 ssl->early_data_accepted = 1;
305 }
306
David Benjamin707af292017-03-10 17:47:18 -0500307 SSL_SESSION_free(session);
308 if (hs->new_session == NULL) {
309 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
310 return ssl_hs_error;
311 }
312
313 ssl->s3->session_reused = 1;
314
315 /* Resumption incorporates fresh key material, so refresh the timeout. */
316 ssl_session_renew_timeout(ssl, hs->new_session,
317 ssl->session_ctx->session_psk_dhe_timeout);
318 break;
319
320 case ssl_ticket_aead_error:
321 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
322 return ssl_hs_error;
323
324 case ssl_ticket_aead_retry:
325 hs->tls13_state = state_select_session;
326 return ssl_hs_pending_ticket;
327 }
328
329 /* Record connection properties in the new session. */
330 hs->new_session->cipher = hs->new_cipher;
331
332 if (hs->hostname != NULL) {
333 OPENSSL_free(hs->new_session->tlsext_hostname);
334 hs->new_session->tlsext_hostname = BUF_strdup(hs->hostname);
335 if (hs->new_session->tlsext_hostname == NULL) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400336 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
337 return ssl_hs_error;
338 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400339 }
340
Steven Valdez2d850622017-01-11 11:34:52 -0500341 /* Store the initial negotiated ALPN in the session. */
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500342 if (ssl->s3->alpn_selected != NULL) {
David Benjamin45738dd2017-02-09 20:01:26 -0500343 hs->new_session->early_alpn =
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500344 BUF_memdup(ssl->s3->alpn_selected, ssl->s3->alpn_selected_len);
David Benjamin45738dd2017-02-09 20:01:26 -0500345 if (hs->new_session->early_alpn == NULL) {
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500346 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
347 return ssl_hs_error;
348 }
David Benjamin45738dd2017-02-09 20:01:26 -0500349 hs->new_session->early_alpn_len = ssl->s3->alpn_selected_len;
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500350 }
351
David Benjamin707af292017-03-10 17:47:18 -0500352 if (ssl->ctx->dos_protection_cb != NULL &&
353 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
354 /* Connection rejected for DOS reasons. */
355 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
356 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
357 return ssl_hs_error;
358 }
359
David Benjamin8f820b42016-11-30 11:24:40 -0500360 /* Incorporate the PSK into the running secret. */
361 if (ssl->s3->session_reused) {
David Benjamin45738dd2017-02-09 20:01:26 -0500362 if (!tls13_advance_key_schedule(hs, hs->new_session->master_key,
363 hs->new_session->master_key_length)) {
David Benjamin8f820b42016-11-30 11:24:40 -0500364 return ssl_hs_error;
365 }
Steven Valdez908ac192017-01-12 13:17:07 -0500366 } else if (!tls13_advance_key_schedule(hs, kZeroes, hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400367 return ssl_hs_error;
368 }
369
Steven Valdez2d850622017-01-11 11:34:52 -0500370 if (ssl->early_data_accepted) {
371 if (!tls13_derive_early_secrets(hs)) {
372 return ssl_hs_error;
373 }
374 } else if (hs->early_data_offered) {
375 ssl->s3->skip_early_data = 1;
376 }
377
David Benjaminf01f42a2016-11-16 19:05:33 +0900378 ssl->method->received_flight(ssl);
379
Steven Valdez143e8b32016-07-11 13:19:03 -0400380 /* Resolve ECDHE and incorporate it into the secret. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400381 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900382 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400383 if (need_retry) {
Steven Valdez2d850622017-01-11 11:34:52 -0500384 ssl->early_data_accepted = 0;
385 ssl->s3->skip_early_data = 1;
David Benjamin3977f302016-12-11 13:30:41 -0500386 hs->tls13_state = state_send_hello_retry_request;
Steven Valdez5440fe02016-07-18 12:40:30 -0400387 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400388 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400389 return ssl_hs_error;
390 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400391
David Benjamin3977f302016-12-11 13:30:41 -0500392 hs->tls13_state = state_send_server_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400393 return ssl_hs_ok;
394}
Steven Valdez143e8b32016-07-11 13:19:03 -0400395
David Benjaminc3c88822016-11-14 10:32:04 +0900396static enum ssl_hs_wait_t do_send_hello_retry_request(SSL_HANDSHAKE *hs) {
397 SSL *const ssl = hs->ssl;
Steven Valdez5440fe02016-07-18 12:40:30 -0400398 CBB cbb, body, extensions;
399 uint16_t group_id;
400 if (!ssl->method->init_message(ssl, &cbb, &body,
401 SSL3_MT_HELLO_RETRY_REQUEST) ||
402 !CBB_add_u16(&body, ssl->version) ||
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900403 !tls1_get_shared_group(hs, &group_id) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400404 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin3baa6e12016-10-07 21:10:38 -0400405 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
406 !CBB_add_u16(&extensions, 2 /* length */) ||
407 !CBB_add_u16(&extensions, group_id) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500408 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400409 CBB_cleanup(&cbb);
410 return ssl_hs_error;
411 }
412
David Benjamin3977f302016-12-11 13:30:41 -0500413 hs->tls13_state = state_process_second_client_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400414 return ssl_hs_flush_and_read_message;
415}
416
David Benjaminc3c88822016-11-14 10:32:04 +0900417static enum ssl_hs_wait_t do_process_second_client_hello(SSL_HANDSHAKE *hs) {
418 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500419 if (!ssl_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400420 return ssl_hs_error;
421 }
422
David Benjamin731058e2016-12-03 23:15:13 -0500423 SSL_CLIENT_HELLO client_hello;
424 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
425 ssl->init_num)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400426 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
427 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
428 return ssl_hs_error;
429 }
430
431 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900432 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400433 if (need_retry) {
434 /* Only send one HelloRetryRequest. */
435 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
436 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400437 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400438 return ssl_hs_error;
439 }
440
Steven Valdez908ac192017-01-12 13:17:07 -0500441 if (!ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400442 return ssl_hs_error;
443 }
444
David Benjamin613fe3b2016-07-22 17:39:29 +0200445 ssl->method->received_flight(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500446 hs->tls13_state = state_send_server_hello;
Steven Valdez143e8b32016-07-11 13:19:03 -0400447 return ssl_hs_ok;
448}
449
David Benjaminc3c88822016-11-14 10:32:04 +0900450static enum ssl_hs_wait_t do_send_server_hello(SSL_HANDSHAKE *hs) {
451 SSL *const ssl = hs->ssl;
David Benjamin81b7bc32017-01-12 19:44:57 -0500452
453 /* Send a ServerHello. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400454 CBB cbb, body, extensions;
455 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_SERVER_HELLO) ||
456 !CBB_add_u16(&body, ssl->version) ||
457 !RAND_bytes(ssl->s3->server_random, sizeof(ssl->s3->server_random)) ||
458 !CBB_add_bytes(&body, ssl->s3->server_random, SSL3_RANDOM_SIZE) ||
David Benjamin45738dd2017-02-09 20:01:26 -0500459 !CBB_add_u16(&body, ssl_cipher_get_value(hs->new_cipher)) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400460 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin8baf9632016-11-17 17:11:16 +0900461 !ssl_ext_pre_shared_key_add_serverhello(hs, &extensions) ||
Steven Valdez924a3522017-03-02 16:05:03 -0500462 !ssl_ext_key_share_add_serverhello(hs, &extensions) ||
463 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400464 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400465 }
466
David Benjamin81b7bc32017-01-12 19:44:57 -0500467 /* Derive and enable the handshake traffic secrets. */
Steven Valdez4cb84942016-12-16 11:29:28 -0500468 if (!tls13_derive_handshake_secrets(hs) ||
Steven Valdez4cb84942016-12-16 11:29:28 -0500469 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_handshake_secret,
470 hs->hash_len)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500471 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400472 }
473
David Benjamin81b7bc32017-01-12 19:44:57 -0500474 /* Send EncryptedExtensions. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400475 if (!ssl->method->init_message(ssl, &cbb, &body,
476 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
David Benjamin8c880a22016-12-03 02:20:34 -0500477 !ssl_add_serverhello_tlsext(hs, &body) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500478 !ssl_add_message_cbb(ssl, &cbb)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500479 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400480 }
481
Steven Valdez143e8b32016-07-11 13:19:03 -0400482 /* Determine whether to request a client certificate. */
David Benjaminc3c88822016-11-14 10:32:04 +0900483 hs->cert_request = !!(ssl->verify_mode & SSL_VERIFY_PEER);
Steven Valdez803c77a2016-09-06 14:13:43 -0400484 /* CertificateRequest may only be sent in non-resumption handshakes. */
485 if (ssl->s3->session_reused) {
David Benjaminc3c88822016-11-14 10:32:04 +0900486 hs->cert_request = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400487 }
488
David Benjamin81b7bc32017-01-12 19:44:57 -0500489 /* Send a CertificateRequest, if necessary. */
490 if (hs->cert_request) {
491 CBB sigalgs_cbb;
492 if (!ssl->method->init_message(ssl, &cbb, &body,
493 SSL3_MT_CERTIFICATE_REQUEST) ||
494 !CBB_add_u8(&body, 0 /* no certificate_request_context. */)) {
495 goto err;
496 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400497
David Benjamin81b7bc32017-01-12 19:44:57 -0500498 const uint16_t *sigalgs;
499 size_t num_sigalgs = tls12_get_verify_sigalgs(ssl, &sigalgs);
500 if (!CBB_add_u16_length_prefixed(&body, &sigalgs_cbb)) {
501 goto err;
502 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400503
David Benjamin81b7bc32017-01-12 19:44:57 -0500504 for (size_t i = 0; i < num_sigalgs; i++) {
505 if (!CBB_add_u16(&sigalgs_cbb, sigalgs[i])) {
506 goto err;
507 }
508 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400509
David Benjamin81b7bc32017-01-12 19:44:57 -0500510 if (!ssl_add_client_CA_list(ssl, &body) ||
511 !CBB_add_u16(&body, 0 /* empty certificate_extensions. */) ||
512 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400513 goto err;
514 }
515 }
516
David Benjamin81b7bc32017-01-12 19:44:57 -0500517 /* Send the server Certificate message, if necessary. */
518 if (!ssl->s3->session_reused) {
519 if (!ssl_has_certificate(ssl)) {
520 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
521 goto err;
522 }
523
David Benjamin0f24bed2017-01-12 19:46:50 -0500524 if (!tls13_add_certificate(hs)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500525 goto err;
526 }
527
528 hs->tls13_state = state_send_server_certificate_verify;
529 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400530 }
531
David Benjamin81b7bc32017-01-12 19:44:57 -0500532 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500533 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400534
535err:
536 CBB_cleanup(&cbb);
537 return ssl_hs_error;
538}
539
David Benjaminc3c88822016-11-14 10:32:04 +0900540static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL_HANDSHAKE *hs,
Steven Valdez143e8b32016-07-11 13:19:03 -0400541 int is_first_run) {
David Benjamin0f24bed2017-01-12 19:46:50 -0500542 switch (tls13_add_certificate_verify(hs, is_first_run)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400543 case ssl_private_key_success:
David Benjamin3977f302016-12-11 13:30:41 -0500544 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500545 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400546
547 case ssl_private_key_retry:
David Benjamin3977f302016-12-11 13:30:41 -0500548 hs->tls13_state = state_complete_server_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400549 return ssl_hs_private_key_operation;
550
551 case ssl_private_key_failure:
552 return ssl_hs_error;
553 }
554
555 assert(0);
556 return ssl_hs_error;
557}
558
David Benjaminc3c88822016-11-14 10:32:04 +0900559static enum ssl_hs_wait_t do_send_server_finished(SSL_HANDSHAKE *hs) {
David Benjaminc3c88822016-11-14 10:32:04 +0900560 SSL *const ssl = hs->ssl;
David Benjamin0f24bed2017-01-12 19:46:50 -0500561 if (!tls13_add_finished(hs) ||
David Benjamin25ac2512017-01-12 19:31:28 -0500562 /* Update the secret to the master secret and derive traffic keys. */
563 !tls13_advance_key_schedule(hs, kZeroes, hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900564 !tls13_derive_application_secrets(hs) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400565 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_traffic_secret_0,
566 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400567 return ssl_hs_error;
568 }
569
Steven Valdez2d850622017-01-11 11:34:52 -0500570 hs->tls13_state = state_read_second_client_flight;
571 return ssl_hs_flush;
572}
573
574static enum ssl_hs_wait_t do_read_second_client_flight(SSL_HANDSHAKE *hs) {
575 SSL *const ssl = hs->ssl;
576 if (ssl->early_data_accepted) {
577 if (!tls13_set_traffic_key(ssl, evp_aead_open, hs->early_traffic_secret,
578 hs->hash_len)) {
579 return ssl_hs_error;
580 }
581 hs->tls13_state = state_process_end_of_early_data;
582 return ssl_hs_read_end_of_early_data;
583 }
584
585 hs->tls13_state = state_process_end_of_early_data;
586 return ssl_hs_ok;
587}
588
589static enum ssl_hs_wait_t do_process_end_of_early_data(SSL_HANDSHAKE *hs) {
590 SSL *const ssl = hs->ssl;
591 if (!tls13_set_traffic_key(ssl, evp_aead_open, hs->client_handshake_secret,
592 hs->hash_len)) {
593 return ssl_hs_error;
594 }
David Benjamin3977f302016-12-11 13:30:41 -0500595 hs->tls13_state = state_process_client_certificate;
Steven Valdez2d850622017-01-11 11:34:52 -0500596 return ssl_hs_read_message;
Steven Valdez143e8b32016-07-11 13:19:03 -0400597}
598
David Benjaminc3c88822016-11-14 10:32:04 +0900599static enum ssl_hs_wait_t do_process_client_certificate(SSL_HANDSHAKE *hs) {
600 SSL *const ssl = hs->ssl;
601 if (!hs->cert_request) {
Adam Langley37646832016-08-01 16:16:46 -0700602 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400603 * classed by them as a bug, but it's assumed by at least NGINX. */
David Benjamin45738dd2017-02-09 20:01:26 -0500604 hs->new_session->verify_result = X509_V_OK;
Adam Langley37646832016-08-01 16:16:46 -0700605
Steven Valdez143e8b32016-07-11 13:19:03 -0400606 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500607 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400608 return ssl_hs_ok;
609 }
610
David Benjamin4087df92016-08-01 20:16:31 -0400611 const int allow_anonymous =
612 (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
613
David Benjamin276b7e82017-01-21 14:13:39 -0500614 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE) ||
Adam Langley0c294252016-12-12 11:46:09 -0800615 !tls13_process_certificate(hs, allow_anonymous) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500616 !ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400617 return ssl_hs_error;
618 }
619
David Benjamin3977f302016-12-11 13:30:41 -0500620 hs->tls13_state = state_process_client_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400621 return ssl_hs_read_message;
622}
623
624static enum ssl_hs_wait_t do_process_client_certificate_verify(
David Benjaminc3c88822016-11-14 10:32:04 +0900625 SSL_HANDSHAKE *hs) {
626 SSL *const ssl = hs->ssl;
David Benjamin45738dd2017-02-09 20:01:26 -0500627 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400628 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500629 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400630 return ssl_hs_ok;
631 }
632
David Benjamin276b7e82017-01-21 14:13:39 -0500633 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE_VERIFY) ||
Adam Langley0c294252016-12-12 11:46:09 -0800634 !tls13_process_certificate_verify(hs) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500635 !ssl_hash_current_message(hs)) {
David Benjamin6929f272016-11-16 19:10:08 +0900636 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400637 }
638
David Benjamin3977f302016-12-11 13:30:41 -0500639 hs->tls13_state = state_process_channel_id;
Nick Harper60a85cb2016-09-23 16:25:11 -0700640 return ssl_hs_read_message;
641}
642
David Benjaminc3c88822016-11-14 10:32:04 +0900643static enum ssl_hs_wait_t do_process_channel_id(SSL_HANDSHAKE *hs) {
Steven Valdez908ac192017-01-12 13:17:07 -0500644 if (!hs->ssl->s3->tlsext_channel_id_valid) {
David Benjamin3977f302016-12-11 13:30:41 -0500645 hs->tls13_state = state_process_client_finished;
Nick Harper60a85cb2016-09-23 16:25:11 -0700646 return ssl_hs_ok;
647 }
648
Steven Valdez908ac192017-01-12 13:17:07 -0500649 if (!ssl_check_message_type(hs->ssl, SSL3_MT_CHANNEL_ID) ||
650 !tls1_verify_channel_id(hs) ||
651 !ssl_hash_current_message(hs)) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700652 return ssl_hs_error;
653 }
654
David Benjamin3977f302016-12-11 13:30:41 -0500655 hs->tls13_state = state_process_client_finished;
Steven Valdez143e8b32016-07-11 13:19:03 -0400656 return ssl_hs_read_message;
657}
658
David Benjaminc3c88822016-11-14 10:32:04 +0900659static enum ssl_hs_wait_t do_process_client_finished(SSL_HANDSHAKE *hs) {
660 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500661 if (!ssl_check_message_type(ssl, SSL3_MT_FINISHED) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900662 !tls13_process_finished(hs) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500663 !ssl_hash_current_message(hs) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400664 /* evp_aead_seal keys have already been switched. */
Steven Valdeza833c352016-11-01 13:39:36 -0400665 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_traffic_secret_0,
666 hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900667 !tls13_derive_resumption_secret(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400668 return ssl_hs_error;
669 }
670
David Benjamin613fe3b2016-07-22 17:39:29 +0200671 ssl->method->received_flight(ssl);
David Benjamin123db572016-11-03 16:59:25 -0400672
David Benjamin17b30832017-01-28 14:00:32 -0500673 /* Rebase the session timestamp so that it is measured from ticket
David Benjamin123db572016-11-03 16:59:25 -0400674 * issuance. */
David Benjamin45738dd2017-02-09 20:01:26 -0500675 ssl_session_rebase_time(ssl, hs->new_session);
David Benjamin3977f302016-12-11 13:30:41 -0500676 hs->tls13_state = state_send_new_session_ticket;
Steven Valdez143e8b32016-07-11 13:19:03 -0400677 return ssl_hs_ok;
678}
679
David Benjaminc3c88822016-11-14 10:32:04 +0900680static enum ssl_hs_wait_t do_send_new_session_ticket(SSL_HANDSHAKE *hs) {
David Benjamin25ac2512017-01-12 19:31:28 -0500681 /* TLS 1.3 recommends single-use tickets, so issue multiple tickets in case the
682 * client makes several connections before getting a renewal. */
683 static const int kNumTickets = 2;
684
David Benjaminc3c88822016-11-14 10:32:04 +0900685 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400686 /* If the client doesn't accept resumption with PSK_DHE_KE, don't send a
687 * session ticket. */
688 if (!hs->accept_psk_mode) {
David Benjamin3977f302016-12-11 13:30:41 -0500689 hs->tls13_state = state_done;
Steven Valdeza833c352016-11-01 13:39:36 -0400690 return ssl_hs_ok;
691 }
692
David Benjamin45738dd2017-02-09 20:01:26 -0500693 SSL_SESSION *session = hs->new_session;
David Benjamin25ac2512017-01-12 19:31:28 -0500694 CBB cbb;
695 CBB_zero(&cbb);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400696
David Benjamin25ac2512017-01-12 19:31:28 -0500697 for (int i = 0; i < kNumTickets; i++) {
698 if (!RAND_bytes((uint8_t *)&session->ticket_age_add, 4)) {
699 goto err;
700 }
David Benjamin35ac5b72017-03-03 15:05:56 -0500701 session->ticket_age_add_valid = 1;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400702
David Benjamin25ac2512017-01-12 19:31:28 -0500703 CBB body, ticket, extensions;
704 if (!ssl->method->init_message(ssl, &cbb, &body,
705 SSL3_MT_NEW_SESSION_TICKET) ||
706 !CBB_add_u32(&body, session->timeout) ||
707 !CBB_add_u32(&body, session->ticket_age_add) ||
708 !CBB_add_u16_length_prefixed(&body, &ticket) ||
709 !ssl_encrypt_ticket(ssl, &ticket, session) ||
710 !CBB_add_u16_length_prefixed(&body, &extensions)) {
711 goto err;
712 }
Steven Valdez08b65f42016-12-07 15:29:45 -0500713
David Benjamin25ac2512017-01-12 19:31:28 -0500714 if (ssl->ctx->enable_early_data) {
715 session->ticket_max_early_data = kMaxEarlyDataAccepted;
716
717 CBB early_data_info;
718 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_ticket_early_data_info) ||
719 !CBB_add_u16_length_prefixed(&extensions, &early_data_info) ||
720 !CBB_add_u32(&early_data_info, session->ticket_max_early_data) ||
721 !CBB_flush(&extensions)) {
722 goto err;
723 }
724 }
725
726 /* Add a fake extension. See draft-davidben-tls-grease-01. */
727 if (!CBB_add_u16(&extensions,
728 ssl_get_grease_value(ssl, ssl_grease_ticket_extension)) ||
729 !CBB_add_u16(&extensions, 0 /* empty */)) {
730 goto err;
731 }
732
733 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez08b65f42016-12-07 15:29:45 -0500734 goto err;
735 }
736 }
737
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400738 hs->session_tickets_sent++;
David Benjamin25ac2512017-01-12 19:31:28 -0500739 hs->tls13_state = state_done;
740 return ssl_hs_flush;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400741
742err:
743 CBB_cleanup(&cbb);
744 return ssl_hs_error;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400745}
746
David Benjaminc3c88822016-11-14 10:32:04 +0900747enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs) {
David Benjamin3977f302016-12-11 13:30:41 -0500748 while (hs->tls13_state != state_done) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400749 enum ssl_hs_wait_t ret = ssl_hs_error;
David Benjamin3977f302016-12-11 13:30:41 -0500750 enum server_hs_state_t state = hs->tls13_state;
Steven Valdez143e8b32016-07-11 13:19:03 -0400751 switch (state) {
David Benjamin25fe85b2016-08-09 20:00:32 -0400752 case state_select_parameters:
David Benjaminc3c88822016-11-14 10:32:04 +0900753 ret = do_select_parameters(hs);
David Benjamin25fe85b2016-08-09 20:00:32 -0400754 break;
David Benjamin707af292017-03-10 17:47:18 -0500755 case state_select_session:
756 ret = do_select_session(hs);
757 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400758 case state_send_hello_retry_request:
David Benjaminc3c88822016-11-14 10:32:04 +0900759 ret = do_send_hello_retry_request(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400760 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400761 case state_process_second_client_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900762 ret = do_process_second_client_hello(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400763 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400764 case state_send_server_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900765 ret = do_send_server_hello(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400766 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400767 case state_send_server_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900768 ret = do_send_server_certificate_verify(hs, 1 /* first run */);
Steven Valdez143e8b32016-07-11 13:19:03 -0400769 break;
770 case state_complete_server_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900771 ret = do_send_server_certificate_verify(hs, 0 /* complete */);
Steven Valdez2d850622017-01-11 11:34:52 -0500772 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400773 case state_send_server_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900774 ret = do_send_server_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400775 break;
Steven Valdez2d850622017-01-11 11:34:52 -0500776 case state_read_second_client_flight:
777 ret = do_read_second_client_flight(hs);
778 break;
779 case state_process_end_of_early_data:
780 ret = do_process_end_of_early_data(hs);
781 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400782 case state_process_client_certificate:
David Benjaminc3c88822016-11-14 10:32:04 +0900783 ret = do_process_client_certificate(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400784 break;
785 case state_process_client_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900786 ret = do_process_client_certificate_verify(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400787 break;
Nick Harper60a85cb2016-09-23 16:25:11 -0700788 case state_process_channel_id:
David Benjaminc3c88822016-11-14 10:32:04 +0900789 ret = do_process_channel_id(hs);
Nick Harper60a85cb2016-09-23 16:25:11 -0700790 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400791 case state_process_client_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900792 ret = do_process_client_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400793 break;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400794 case state_send_new_session_ticket:
David Benjaminc3c88822016-11-14 10:32:04 +0900795 ret = do_send_new_session_ticket(hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400796 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400797 case state_done:
798 ret = ssl_hs_ok;
799 break;
800 }
801
802 if (ret != ssl_hs_ok) {
803 return ret;
804 }
805 }
806
807 return ssl_hs_ok;
808}