TLS (Transport Layer Security) is a widely deployed protocol that plays a vital role in securing Internet traffic. Given the numerous known attacks for TLS 1.2, it was imperative to change and even redesign the protocol in order to address them. In August 2018, a new version of the protocol, TLS 1.3, was standardized by the IETF (Internet Engineering Task Force). TLS 1.3 not only benefits from stronger security guarantees, but aims to protect the identities of the server and client by encrypting messages as soon as possible during the authentication. In this paper, we model the privacy guarantees of TLS 1.3 when parties execute a full handshake or use a session resumption, covering all the handshake modes of TLS. We build our privacy models on top of the one defined by Hermans et al. for RFIDs (Radio Frequency Identification Devices) that mostly targets authentication protocols. The enhanced models share similarities to the Bellare-Rogaway AKE (Authenticated Key Exchange) security model and consider adversaries that can compromise both types of participants in the protocol. In particular, modeling session resumption is non-trivial, given that session resumption tickets are essentially a state transmitted from one session to another and such link reveals information on the parties. On the positive side, we prove that TLS 1.3 protects the privacy of its users at least against passive adversaries, contrary to TLS 1.2, and against more powerful ones.
 David Adrian, Kartihkeyan Bhargavan, Zakir Durumeric, Pierrick Gaudry, Matthew Green, J. Alex Halderman, Nadia Heninger, Drew Springall, Emmanuel Thomé, Benjamin VanderSloot, Eric Wustrow, Santiago Zanella Béguelin, and Paul Zimmermann. Imperfect forward secrecy: How Diffie-Hellman fails in practice. In Proceedings of ACM CCS 2015, pages 5–17. IEEE, 2015.
 Nadhem J. AlFardan, Daniel J. Bernstein, Kenneth G. Paterson, Bertram Poettering, and Jacob C. N. Schuldt. On the security of RC4 in TLS and WPA. In USENIX Security Symposium, 2013.
 Nadhem J. AlFardan and Kenneth G. Paterson. Lucky thirteen: Breaking the TLS and DTLS record protocols. In IEEE Symposium on Security and Privacy (SP’13), 2013.
 Antoine Delignat-Lavaud and Kartihkeyan Bhargavan. Network-based origin confusion attacks against HTTPS virtual hosting. In Proceedings of WWW’15, pages 227–237. Springer, 2015.
 Ghada Arfaoui, Xavier Bultel, Pierre-Alain Fouque, Adina Nedelcu, and Cristina Onete. The privacy of the tls 1.3 protocol. Cryptology ePrint Archive, Report 2019/749, 2019. https://eprint.iacr.org/2019/749.
 Nimrod Aviram, Sebastian Schinzel, Juraj Somorovsky, Nadia Heninger, Maik Dankel, Jens Steube, Luke Valenta, David Adrian, J. Alex Halderman, Viktor Dukhovni, Emilia Käsper, Shaanan Cohney, Susanne Engels, Christof Paar, and Yuval Shavitt. Drown: Breaking TLS using SSLv2. https://drownattack.com, 2016.
 Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser, and Esfandiar Mohammadi. Anoa: A framework for analyzing anonymous communication protocols. In Proceedings of CSF. IEEE, 2013.
 Mihir Bellare and Phillip Rogaway. Entity authentication and key distribution. In CRYPTO, pages 232–249, 1993.
 Benjamin Berdouche, Kartikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre Yves Strub, and Jean Karim Zinzindohoue. A messy state of the union: Taming the composite state machines of TLS. In Proceedings of IEEE S&P 2015, pages 535–552. IEEE, 2015.
 Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, and Jean Karim Zinzindohoue. A messy state of the union: Taming the composite state machines of TLS. In Proceedings of IEEE S&P 2015, pages 535–552. IEEE, 2015.
 Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Alfredo Pironti, and Pierre-Yves Strub. Triple handshakes and cookie cutters: Breaking and fixing authentication over TLS. In Proceedings of IEEE S&P 2014, pages 98–113. IEEE, 2014.
 Karthikeyan Bhargavan and Gaetan Leurent. Transcript collision attacks: Breaking authentication in TLS, IKE, and SSH. In Accepted at NDSS 2016, to appear, 2016.
 Daniel Bleichenbacher. Chosen ciphertext attacks against protocols based on the RSA encryption standard pkcs #1. In Proceedings of (CRYPTO’98), volume 1462 of LNCS, pages 1–12, 1998.
 Tim Dierks and Eric Rescorla. The transport layer security (TLS) protocol version 1.2. RFC 5246, August 2008.
 Benjamin Dowling, Marc Fischlin, Felix Günther, and Douglas Stebila. A cryptographic analysis of the TLS 1.3 handshake protocol candidates. In ACM CCS, pages 1197–1210, 2015.
 EU. General Data Protection Regulation - GDPR.
 EU. Regulation on Privacy and Electronic Communications.
 Marc Fischlin and Felix Günther. Multi-stage key exchange and the case of google’s QUIC protocol. In ACM CCS, pages 1193–1204, 2014.
 Pierre-Alain Fouque, Cristina Onete, and Benjamin Richard. Achieving better privacy for the 3gpp aka protocol. In Proceedings of PETS (PoPETS), volume 4, 2016.
 Christina Garman, Kenneth G. Paterson, and Thyla Van der Merwe. Attacks only get better: Password recovery attacks against RC4 in TLS. In Proceedings of USENIX 2015, pages 113–128. USENIX Association, 2015.
 Alejandro Hevia and Daniele Micciancio. An indistinguishability-based characterization of anonymous channels. In Proceedings of PETS, volume 5134 of LNCS, pages 24–43. Springer, 2008.
 Jens Hermans and Andreas Pashalidis and Frederik Vercauteren and Bart Preneel. A New RFID Privacy Model. In Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings, 2011.
 Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, and Daniele Venturi. (de-)constructing TLS 1.3. In Progress in Cryptology - INDOCRYPT 2015 - 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings, pages 85–102, 2015.
 Hugo Krawczyk. SIGMA: the ‘sign-and-mac’ approach to authenticated diffie-hellman and its use in the ike-protocols. In Advances in Cryptology - CRYPTO 2003, 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003, Proceedings, pages 400–425, 2003.
 Hugo Krawczyk. Cryptographic extraction and key derivation: The HKDF scheme. In Advances in Cryptology — CRYPTO 2010, volume 6223 of LNCS. Springer, 2010.
 Kenneth G. Paterson, Thomas Ristenpart, and Thomas Shrimpton. Tag size does matter: Attacks and proofs for the TLS record protocol. In Advances in Cryptology — ASIACRYPT 2011, volume 7073 of LNCS, pages 372–389. Springer-Verlag, 2011.
 Angelo Prado, Neal Harris, and Yoel Gluck. SSL, gone in 30 seconds: A BREACH beyond CRIME. Black Hat 2013, 2013.
 Eric Rescorla. The Transport Layer Security (TLS) Protocol Version 1.3. RFC 8446, August 2018.
 Juliano Rizzo and Thai Duong. The CRIME attack. Ekoparty 2012, 2012.
 J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnston, J. Peterson, R. Sparks, M. Handley, and E. Schooler. SIP: Session Initiation Protocol. RFC 3261, June 2002.
 Serge Vaudenay. Security flaws induced by CBC padding – applications to SSL, IPSEC, WTLS. In Proceedings of EUROCRYPT 2002, volume 2332 of LNCS, pages 534–545, 2002.
 Serge Vaudenay. On privacy models for RFID. In Advances in cryptology – ASIACRYPT, volume 4833 of LNCS, pages 68–87. Springer, 2007.
 Wikipedia. Global surveillance disclosures (2013–present).