Update the external reference list.

[ekr]

Felix G"{u}nther sent me a list.
Authors: Badertscher, Matt, Maurer, Rogaway, Tackmann
Title: Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer
Howpublished: ProvSec 2015
Link: https://eprint.iacr.org/2015/394

Authors: Bellare, Tackmann
Title: The Multi-User Security of Authenticated Encryption: AES-GCM in TLS 1.3
Howpublished: Crypto 2016
Link: http://eprint.iacr.org/2016/564

Authors: Beurdouche, Bhargavan, Blanchet, Delignat-Lavaud, Fournet, Ishtiaq, Kobeissi, Kohlweiss, Pan, Protzenko, Rastogi, Swamy, Zanella-Bguelin, Zinzindohoué
Title: ???
Howpublished: presented at TRON 2016
Link: ???

Authors: Bhargavan, Brzuska, Fournet, Green, Kohlweiss, Zanella-Beguellin
Title: Downgrade Resilience in Key-Exchange Protocols
Howpublished: IEEE S&P 2016
Link: https://eprint.iacr.org/2016/072

Authors: Bhargavan, Delignat-Lavaud, Fournet, Kohlweiss, Pan, Protzenko, Rastogi, Swamy, Zanella-Béguelin, Zinzindohoué
Title: Implementing and Proving the TLS 1.3 Record Layer
Howpublished: IEEE S&P 2017 (?)
Link: http://eprint.iacr.org/2016/1178

Authors: Cremers, Horvat, Scott, van der Merwe
Title: Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication
Howpublished: IEEE S&P 2016
Link: http://ieeexplore.ieee.org/document/7546518/

Authors: Dowling, Fischlin, Günther, Stebila
Title: A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates
Howpublished: ACM CCS 2015
Link: https://eprint.iacr.org/2015/914

Authors: Dowling, Fischlin, Günther, Stebila
Title: A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol
Howpublished: presented at TRON 2016
Link: https://eprint.iacr.org/2016/081

Authors: Fischlin, Günther
Title: Replay Attacks on Zero Round-Trip Time: The Case of the TLS 1.3 Handshake Candidates
Howpublished: IEEE EuroS&P 2017
Link: https://eprint.iacr.org/2017/082

Authors: Fischlin, Günther, Schmidt, Warinschi
Title: Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3
Howpublished: IEEE S&P 2016
Link: http://ieeexplore.ieee.org/document/7546517/

Authors: Jager, Schwenk, Somorovsky
Title: On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption
Howpublished: ACM CCS 2015
Link: http://dl.acm.org/citation.cfm?id=2813657

Authors: Kohlweiss, Maurer, Onete, Tackmann, Venturi
Title: (De-)Constructing TLS
Howpublished: ???
Link: https://eprint.iacr.org/2014/020

Authors: Krawczyk, Wee
Title: The OPTLS Protocol and TLS 1.3
Howpublished: IEEE EuroS&P 2016
Link: https://eprint.iacr.org/2015/978

Authors: Krawczyk
Title: A Unilateral-to-Mutual Authentication Compiler for Key Exchange (with Applications to Client Authentication in TLS 1.3)
Howpublished: ACM CCS 2016
Link: https://eprint.iacr.org/2016/711

Authors: Li, Xu, Zhang, Feng, Hu
Title: Multiple Handshakes Security of TLS 1.3 Candidates
Howpublished: IEEE S&P 2016
Link: http://ieeexplore.ieee.org/document/7546519/