A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello-Reference-Cited by-同舟云学术

A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Bhargavan Karthikeyan¹,Cheval Vincent¹,Wood Christopher²

Affiliation:

1. Inria Paris, Paris, France

2. Cloudflare, San Francisco, CA, USA

Funder

ANR

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3548606.3559360

Reference63 articles.

1. 2022. TLS ECH open source reposiory. https/gitlab.inra.fr/chevalvi/echo_tls. 2022. TLS ECH open source reposiory. https/gitlab.inra.fr/chevalvi/echo_tls.

2. Martín Abadi and Phillip Rogaway . 2000 . Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) .. In IFIP TCS (Lecture Notes in Computer Science , Vol. 1872). Springer, 3-- 22 . Martín Abadi and Phillip Rogaway. 2000. Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption).. In IFIP TCS (Lecture Notes in Computer Science, Vol. 1872). Springer, 3--22.

3. Imperfect Forward Secrecy

4. Nadhem J. AlFardan and Kenneth G. Paterson. 2013 . Lucky Thirteen: Breaking the TLS and DTLS Record Protocols. In 2013 IEEE Symposium on Security and Privacy (SP 2013 ). 526--540. Nadhem J. AlFardan and Kenneth G. Paterson. 2013. Lucky Thirteen: Breaking the TLS and DTLS Record Protocols. In 2013 IEEE Symposium on Security and Privacy (SP 2013). 526--540.

5. The privacy of the TLS 1.3 protocol

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Formal Analysis of Data Distribution Service Security;Proceedings of the 19th ACM Asia Conference on Computer and Communications Security;2024-07

2. DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

3. How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif;IEEE Access;2024

4. Incremental Network Traffic Category Models Based on Hybrid Learning Strategies;Communications in Computer and Information Science;2024

5. Verifying Indistinguishability of Privacy-Preserving Protocols;Proceedings of the ACM on Programming Languages;2023-10-16