Abuse Resistant Law Enforcement Access Systems
Matthew Green, Gabriel Kaptchuk, Gijs Van Laer
Abstract
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.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext e3b4f7ca-0666-4e37-bbff-d4fc9868f567Cited by top-tier papers3
- Anamorphic Encryption: Private Communication Against a DictatorGiuseppe Persiano, Duong Hieu Phan, Moti YungEUROCRYPT 2022 · 45 citations
- Anamorphic Encryption, RevisitedFabio Banfi, Konstantin Gegier, Martin Hirt, Ueli Maurer et al.EUROCRYPT 2024 · 21 citations
- End-to-End Secure Messaging with Traceability Only for Illegal ContentJames Bartusek, Sanjam Garg, Abhishek Jain, Guru-Vamsi PolicharlaEUROCRYPT 2023 · 20 citations
Builds on7
- Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic AvailabilityChristian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell et al.CCS 2018 · 306 citations
- Proof-of-Stake SidechainsPeter Gazi, Aggelos Kiayias, Dionysis ZindrosS&P 2019 · 222 citations
- Fairness in an Unfair World: Fair Multiparty Computation from Public Bulletin BoardsArka Rai Choudhuri, Matthew Green, Abhishek Jain, Gabriel Kaptchuk et al.CCS 2017 · 130 citations
- Practical Accountability of Secret ProcessesJonathan Frankle, Sunoo Park, Daniel Shaar, Shafi Goldwasser et al.USENIX Security 2018 · 63 citations
- Giving State to the Stateless: Augmenting Trustworthy Computation with LedgersGabriel Kaptchuk, Matthew Green, Ian MiersNDSS 2019 · 59 citations
Related papers
- Lawful Device Access without Mass Surveillance Risk: A Technical Design DiscussionStefan SavageCCS 2018 · 22 citations
- Anamorphic-Resistant Encryption; Or Why the Encryption Debate is Still AliveYevgeniy Dodis, Eli GoldinCRYPTO 2025 · 8 citations
- 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 et al.CCS 2024 · 2 citations
- Abuse Resistant Traceability with Minimal Trust for Encrypted Messaging SystemsZhongming Wang, Tao Xiang, Xiaoguo Li, Guomin Yang et al.NDSS 2026
