publicação2022Uma Análise Simbólica da Privacidade para o TLS 1.3 com Encrypted Client HelloKarthikeyan Bhargavan, Vincent Cheval, Christopher WoodCriptografiaSegurançaProtocolos