publication2022A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client HelloKarthikeyan Bhargavan, Vincent Cheval, Christopher WoodCryptographySecurityProtocols