@inproceedings{BhargavanCW-ccs22,
  title = "A Symbolic Analysis of Privacy for {TLS} 1.3 with Encrypted Client Hello",
  author = "Karthikeyan Bhargavan and Vincent Cheval and Christopher A. Wood",
  year = "2022",
  booktitle = "Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2022, Los Angeles, CA, USA, November 7-11, 2022",
  editor = "Heng Yin and Angelos Stavrou and Cas Cremers and Elaine Shi",
  pages = "365--379",
  publisher = "{ACM}",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/BCW-ccs22.pdf",
  doi = "10.1145/3548606.3559360",
}