TimeCrypt: Encrypted Data Stream Processing at Scale with Cryptographic Access Control
Lukas Burkhalter, Anwar Hithnawi, Alexander Viand, Hossein Shafagh, Sylvia Ratnasamy
Abstract
A growing number of devices and services collect detailed time series data that is stored in the cloud. Protecting the confidentiality of this vast and continuously generated data is an acute need for many applications in this space. At the same time, we must preserve the utility of this data by enabling authorized services to securely and selectively access and run analytics. This paper presents TimeCrypt, a system that provides scalable and real-time analytics over large volumes of encrypted time series data. TimeCrypt allows users to define expressive data access and privacy policies and enforces it cryptographically via encryption. In TimeCrypt, data is encrypted end-to-end, and authorized parties can only decrypt and verify queries within their authorized access scope. Our evaluation of TimeCrypt shows that its memory overhead and performance are competitive and close to operating on data in the clear.
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 0ff49f14-7641-4d14-81d7-2e31d8293abbCited by top-tier papers9
- Waldo: A Private Time-Series Database from Function Secret SharingEmma Dauterman, Mayank Rathee, Raluca Ada Popa, Ion StoicaS&P 2022 · 91 citations
- Zeph: Cryptographic Enforcement of End-to-End Data PrivacyLukas Burkhalter, Nicolas Küchler, Alexander Viand, Hossein Shafagh et al.OSDI 2021 · 35 citations
- Vizard: A Metadata-hiding Data Analytic System with End-to-End Policy ControlsChengjun Cai, Yichen Zang, Cong Wang, Xiaohua Jia et al.CCS 2022 · 12 citations
- Synq: Public Policy Analytics Over Encrypted DataZachary Espiritu, Marilyn George, Seny Kamara, Lucy QinS&P 2024 · 8 citations
- HEAR: Homomorphically Encrypted AllreduceMarcin Chrapek, Mikhail Khalilov, Torsten HoeflerSC 2023 · 5 citations
Builds on6
- Practical Secure Aggregation for Privacy-Preserving Machine LearningKallista A. Bonawitz, Vladimir Ivanov, Ben Kreuter, Antonio Marcedone et al.CCS 2017 · 3,936 citations
- EnclaveDB: A Secure Database Using SGXChristian Priebe, Kapil Vaswani, Manuel CostaS&P 2018 · 329 citations
- FAME: Fast Attribute-based Message EncryptionShashank Agrawal, Melissa ChaseCCS 2017 · 243 citations
- SoK: Cryptographically Protected Database SearchBenjamin Fuller, Mayank Varia, Arkady Yerukhimovich, Emily Shen et al.S&P 2017 · 121 citations
- On the Practicality of Cryptographically Enforcing Dynamic Access Control Policies in the CloudWilliam C. Garrison III, Adam Shull, Steven A. Myers, Adam J. LeeS&P 2016 · 77 citations
Related papers
- Weave: Efficient and Expressive Oblivious Analytics at ScaleMahdi Soleimani, Grace Jia, Anurag KhandelwalOSDI 2025 · 1 citation
- TVA: A multi-party computation system for secure and expressive time series analyticsMuhammad Faisal, Jerry Zhang, John Liagouris, Vasiliki Kalavri et al.USENIX Security 2023
- SECRECY: Secure collaborative analytics in untrusted cloudsJohn Liagouris, Vasiliki Kalavri, Muhammad Faisal, Mayank VariaNSDI 2023 · 53 citations
- Privacy-preserving Real-time Anomaly Detection Using Edge ComputingShagufta Mehnaz, Elisa BertinoICDE 2020 · 28 citations
- Equi-Joins over Encrypted Data for Series of QueriesMasoumeh Shafieinejad, Suraj Gupta, Jin Yang Liu, Koray Karabina et al.ICDE 2022 · 14 citations
