Waldo: A Private Time-Series Database from Function Secret Sharing
Emma Dauterman, Mayank Rathee, Raluca Ada Popa, Ion Stoica
Abstract
Applications today rely on cloud databases for storing and querying time-series data. While outsourcing storage is convenient, this data is often sensitive, making data breaches a serious concern. We present Waldo, a time-series database with rich functionality and strong security guarantees: Waldo supports multi-predicate filtering, protects data contents as well as query filter values and search access patterns, and provides malicious security in the 3-party honest-majority setting. In contrast, prior systems such as Timecrypt and Zeph have limited functionality and security: (1) these systems can only filter on time, and (2) they reveal the queried time interval to the server. Oblivious RAM (ORAM) and generic multiparty computation (MPC) are natural choices for eliminating leakage from prior work, but both of these are prohibitively expensive in our setting due to the number of roundtrips and bandwidth overhead, respectively. To minimize both, Waldo builds on top of function secret sharing, enabling Waldo to evaluate predicates non-interactively. We develop new techniques for applying function secret sharing to the encrypted database setting where there are malicious servers, secret inputs, and chained predicates. With 32-core machines, Waldo runs a query with 8 range predicates over 218 records in 3.03s, compared to 12.88s or an MPC baseline and 16.56s for an ORAM baseline. Compared to Waldo, the MPC baseline uses more bandwidth between servers (for different numbers of records), while the ORAM baseline uses more bandwidth between the client and server(s) (for different numbers of predicates).
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 9635b9c3-65dd-4768-ad5a-6145db359079Cited by top-tier papers22
- Private Web Search with TiptoeAlexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Nickolai ZeldovichSOSP 2023 · 25 citations
- Don't Eject the Impostor: Fast Three-Party Computation With a Known CheaterAndreas Brüggemann, Oliver Schick, Thomas Schneider, Ajith Suresh et al.S&P 2024 · 13 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
- MUSES: Efficient Multi-User Searchable Encrypted DatabaseTung Le, Rouzbeh Behnia, Jorge Guajardo, Thang HoangUSENIX Security 2024 · 11 citations
- GraphGuard: Private Time-Constrained Pattern Detection Over Streaming Graphs in the CloudSonglei Wang, Yifeng Zheng, Xiaohua JiaUSENIX Security 2024 · 7 citations
Builds on24
- ABY3: A Mixed Protocol Framework for Machine LearningPayman Mohassel, Peter RindalCCS 2018 · 898 citations
- High-Throughput Semi-Honest Secure Three-Party Computation with an Honest MajorityToshinori Araki, Jun Furukawa, Yehuda Lindell, Ariel Nof et al.CCS 2016 · 463 citations
- Function Secret Sharing: Improvements and ExtensionsElette Boyle, Niv Gilboa, Yuval IshaiCCS 2016 · 404 citations
- EnclaveDB: A Secure Database Using SGXChristian Priebe, Kapil Vaswani, Manuel CostaS&P 2018 · 329 citations
- Generic Attacks on Secure Outsourced DatabasesGeorgios Kellaris, George Kollios, Kobbi Nissim, Adam O'NeillCCS 2016 · 327 citations
Related papers
- MACAO: A Maliciously-Secure and Client-Efficient Active ORAM FrameworkThang Hoang, Jorge Guajardo, Attila A. YavuzNDSS 2020
- 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
- Secure and Practical Functional Dependency Discovery in Outsourced DatabasesXinle Cao, Yuhan Li, Dmytro Bogatov, Jian Liu et al.ICDE 2024 · 1 citation
- Efficient Oblivious Database JoinsSimeon Krastnikov, Florian Kerschbaum, Douglas StebilaVLDB 2020 · 57 citations
- S3ORAM: A Computation-Efficient and Constant Client Bandwidth Blowup ORAM with Shamir Secret SharingThang Hoang, Ceyhun D. Ozkaptan, Attila A. Yavuz, Jorge Guajardo et al.CCS 2017 · 52 citations
