Abuse Resistant Law Enforcement Access Systems
Matthew Green, Gabriel Kaptchuk, Gijs Van Laer
摘要
The increasing deployment of end-to-end encrypted communications services has ignited a debate between technology firms and law enforcement agencies over the need for lawful access to encrypted communications. Unfortunately, existing solutions to this problem suffer from serious technical risks, such as the possibility of operator abuse and theft of escrow key material. In this work we investigate the problem of constructing law enforcement access systems that mitigate the possibility of unauthorized surveillance. We first define a set of desirable properties for an abuse-resistant law enforcement access system (ARLEAS), and motivate each of these properties. We then formalize these definitions in the Universal Composability (UC) framework, and present two main constructions that realize this definition. The first construction enables prospective access, allowing surveillance only if encryption occurs after a warrant has been issued and activated. The second, more powerful construction, allows retrospective access to communications that occurred prior to a warrant's issuance. To illustrate the technical challenge of constructing the latter type of protocol, we conclude by investigating the minimal assumptions required to realize these systems.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了最后一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper3
- Anamorphic Encryption: Private Communication Against a DictatorGiuseppe Persiano, Duong Hieu Phan, Moti YungEUROCRYPT 2022 · 被引用 45 次
- Anamorphic Encryption, RevisitedFabio Banfi, Konstantin Gegier, Martin Hirt, Ueli Maurer 等EUROCRYPT 2024 · 被引用 21 次
- End-to-End Secure Messaging with Traceability Only for Illegal ContentJames Bartusek, Sanjam Garg, Abhishek Jain, Guru-Vamsi PolicharlaEUROCRYPT 2023 · 被引用 20 次
它引用的顶会 Paper7
- Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic AvailabilityChristian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell 等CCS 2018 · 被引用 306 次
- Proof-of-Stake SidechainsPeter Gazi, Aggelos Kiayias, Dionysis ZindrosS&P 2019 · 被引用 222 次
- Fairness in an Unfair World: Fair Multiparty Computation from Public Bulletin BoardsArka Rai Choudhuri, Matthew Green, Abhishek Jain, Gabriel Kaptchuk 等CCS 2017 · 被引用 130 次
- Practical Accountability of Secret ProcessesJonathan Frankle, Sunoo Park, Daniel Shaar, Shafi Goldwasser 等USENIX Security 2018 · 被引用 63 次
- Giving State to the Stateless: Augmenting Trustworthy Computation with LedgersGabriel Kaptchuk, Matthew Green, Ian MiersNDSS 2019 · 被引用 59 次
相关 Paper
- Lawful Device Access without Mass Surveillance Risk: A Technical Design DiscussionStefan SavageCCS 2018 · 被引用 22 次
- Anamorphic-Resistant Encryption; Or Why the Encryption Debate is Still AliveYevgeniy Dodis, Eli GoldinCRYPTO 2025 · 被引用 8 次
- AUC: Accountable Universal ComposabilityMike Graf, Ralf Küsters, Daniel RauschS&P 2023
- Jäger: Automated Telephone Call TracebackDavid Adei, Varun Madathil, Sathvik Prasad, Bradley Reaves 等CCS 2024 · 被引用 2 次
- Abuse Resistant Traceability with Minimal Trust for Encrypted Messaging SystemsZhongming Wang, Tao Xiang, Xiaoguo Li, Guomin Yang 等NDSS 2026
