NOPE: Strengthening domain authentication with succinct proofs
Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish
摘要
Server authentication assures users that they are communicating with a server that genuinely represents a claimed domain. Today, server authentication relies on certification authorities (CAs), third parties who sign statements binding public keys to domains. CAs remain a weak spot in Internet security, as any faulty CA can issue a certificate for any domain.
This paper describes the design, implementation, and experimental evaluation of nope, a new mechanism for server authentication that uses succinct proofs (for example, zeroknowledge proofs) to prove that a DNSSEC chain exists that links a public key to a specified domain. The use of DNSSEC dramatically reduces reliance on CAs, and the small size of the proofs enables compatibility with legacy infrastructure, including TLS servers, certificate formats, and certificate transparency. nope proofs add minimal performance overhead to clients, increasing the size of a typical certificate chain by about 10% and requiring just over 1 ms to verify. nope's core technical contributions (which generalize beyond nope) include efficient techniques for representing parsing and cryptographic operations within succinct proofs, which reduce proof generation time and memory requirements by nearly an order of magnitude.
• Security and privacy → Web protocol security.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
它引用的顶会 Paper19
- Spartan: Efficient and General-Purpose zkSNARKs Without Trusted SetupSrinath T. V. SettyCRYPTO 2020 · 被引用 262 次
- Let's Encrypt: An Automated Certificate Authority to Encrypt the Entire WebJosh Aas, Richard Barnes, Benton Case, Zakir Durumeric 等CCS 2019 · 被引用 138 次
- xJsnark: A Framework for Efficient Verifiable ComputationAhmed E. Kosba, Charalampos Papamanthou, Elaine ShiS&P 2018 · 被引用 121 次
- DECO: Liberating Web Data Using Decentralized Oracles for TLSFan Zhang, Deepak Maram, Harjasleen Malvai, Steven Goldfeder 等CCS 2020 · 被引用 110 次
- Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CSAlexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler 等CRYPTO 2023 · 被引用 88 次
相关 Paper
- Under the Hood of DANE Mismanagement in SMTPHyeonmin Lee, Md. Ishtiaq Ashiq, Moritz Müller, Roland van Rijswijk-Deij 等USENIX Security 2022
- RHINE: Robust and High-performance Internet Naming with E2E AuthenticityHuayi Duan, Rubén Fischer, Jie Lou, Si Liu 等NSDI 2023 · 被引用 12 次
- Provable Security Analysis of FIDO2Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Bogdan WarinschiCRYPTO 2021 · 被引用 42 次
- Authenticated Network Time SynchronizationBenjamin Dowling, Douglas Stebila, Greg ZaveruchaUSENIX Security 2016 · 被引用 35 次
- Practical Anonymous Password Authentication and TLS with Anonymous Client AuthenticationZhenfeng Zhang, Kang Yang, Xuexian Hu, Yuchen WangCCS 2016 · 被引用 36 次
