USENIX Security2023Top-tier venue
TVA: A multi-party computation system for secure and expressive time series analytics
Muhammad Faisal, Jerry Zhang, John Liagouris, Vasiliki Kalavri, Mayank Varia
Abstract
We present TVA, a multi-party computation (MPC) system for secure analytics on secret-shared time series data. TVA achieves strong security guarantees in the semi-honest and malicious settings, and high expressivity by enabling complex analytics on inputs with unordered and irregular timestamps. TVA is the first system to support arbitrary composition of oblivious window operators, keyed aggregations, and multiple filter predicates, while keeping all data attributes private, including record timestamps and user-defined values in query predicates. At the core of the TVA system lie novel protocols for secure window assignment: (i) a tumbling window protocol that groups records into fixed-length time buckets and (ii) two session window protocols that identify periods of activity followed by periods of inactivity. We also contribute a new protocol for secure division with a public divisor, which may be of independent interest. We evaluate TVA on real LAN and WAN environments and show that it can efficiently compute complex window-based analytics on inputs of 2 22 records with modest use of resources. When compared to the state-ofthe-art, TVA achieves up to 5.8× lower latency in queries with multiple filters and two orders of magnitude better performance in window aggregation.
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 2dd015ba-8149-4570-91b7-39e38ae4b4a3Cited by top-tier papers5
- Private Analytics via Streaming, Sketching, and Silently Verifiable ProofsMayank Rathee, Yuwen Zhang, Henry Corrigan-Gibbs, Raluca Ada PopaS&P 2024 · 8 citations
- ORQ: Complex Analytics on Private Data with Strong Security GuaranteesEli Baum, Sam Buxbaum, Nitin Mathai, Muhammad Faisal et al.SOSP 2025 · 4 citations
- Hoss: Fast Oblivious Semantic Search with Heterogeneous GPU-CPU-TEE ArchitectureJianzhang Du, Weijie Huang, Chenghong Wang, Nicolas Tsagareli et al.CCS 2026
- C rypt D ough : A Unified Analytics Engine for Secure Multiparty ComputationMuhammad Faisal, Alessandra Lanz, Sam Buxbaum, Adam Godel et al.SOSP 2026
- Efficient and Secure Range Counting over Distributed Geographic Data with Query Range ProtectionHaoxin Yang, Pinghui Wang, Zhe Hou, Tian Zhou et al.VLDB 2026
Builds on24
- ABY3: A Mixed Protocol Framework for Machine LearningPayman Mohassel, Peter RindalCCS 2018 · 898 citations
- CrypTen: Secure Multi-Party Computation Meets Machine LearningBrian Knott, Shobha Venkataraman, Awni Y. Hannun, Shubho Sengupta et al.NeurIPS 2021 · 573 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
- Generic Attacks on Secure Outsourced DatabasesGeorgios Kellaris, George Kollios, Kobbi Nissim, Adam O'NeillCCS 2016 · 327 citations
- Scaling ORAM for Secure ComputationJack Doerner, Abhi ShelatCCS 2017 · 221 citations
Related papers
- Waldo: A Private Time-Series Database from Function Secret SharingEmma Dauterman, Mayank Rathee, Raluca Ada Popa, Ion StoicaS&P 2022 · 91 citations
- SECRECY: Secure collaborative analytics in untrusted cloudsJohn Liagouris, Vasiliki Kalavri, Muhammad Faisal, Mayank VariaNSDI 2023 · 53 citations
- Scalable Mixed-Mode MPCRadhika Garg, Kang Yang, Jonathan Katz, Xiao WangS&P 2024 · 10 citations
- Distributed, Private, Sparse Histograms in the Two-Server ModelJames Bell, Adrià Gascón, Badih Ghazi, Ravi Kumar et al.CCS 2022 · 19 citations
- Efficient Incremental Computation of Aggregations over Sliding WindowsChao Zhang, Reza Akbarinia, Farouk ToumaniKDD 2021 · 11 citations
