Publications
2021
ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State
Jeongseok Son, Rishabh Poddar, Raluca Ada Popa, Koushik Sen
Jeongseok Son, Griffin Prechter, Rishabh Poddar, Raluca Ada Popa, and Koushik Sen
Published in the 30th USENIX Security Symposium (USENIX Security '21).
Publication Year: 2021
MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation
Sam Kumar, David Culler, Raluca Ada Popa
Secure Computation (SC) is a family of cryptographic primitives for computing on encrypted data in single-party and multi-party settings. SC is being increasingly adopted by industry for a variety of applications. A significant obstacle to using SC for practical applications is the memory overhead of the underlying cryptography. We develop MAGE, an execution engine for SC that efficiently runs SC computations that do not fit in memory. We observe that, due to their intended security guarantees, SC schemes are inherently oblivious—their memory access patterns are independent of the input data. Using this property, MAGE calculates the memory access pattern ahead of time and uses it to produce a memory management plan. This formulation of memory management, which we call memory programming, is a generalization of paging that allows MAGE to provide a highly efficient virtual memory abstraction for SC. MAGE outperforms the OS virtual memory system by up to an order of magnitude, and in many cases, runs SC computations that do not fit in memory at nearly the same speed as if the underlying machines had unbounded physical memory to fit the entire computation.
Publication Year: 2021
FireMarshal: Making HW/SW Co-Design Reproducible and Reliable
Publication Year: 2021
ShapeSearch: A Flexible and Efficient System for Shape-based Exploration of Trendlines
*SIGMOD Int'l Conf. on Management of Data*, Portland, USA. June 2020 (Best Paper Award: 2 out of 450+ submissions.) Tarique Siddiqui, Zesheng Wang, Paul Luh, Karrie Karahalios, Aditya Parameswaran
Publication Year: 2021
Three Lessons from Accelerating Scientific Insight Discovery via Visual Querying
Aditya Parameswaran, Doris Jung-Lin Lee
*Patterns, Cell Press*, Volume 1, Issue 7, 100126. October, 2020 Doris Lee, Tarique Siddiqui, Karrie Karahalios, Aditya Parameswaran.
Publication Year: 2021
Uncovering Effective Explanations for Interactive Genomic Data Analysis
*Patterns, Cell Press*, Volume 1, Issue 6, 100093. September, 2020 Silu Huang, Charles Blatti, Saurabh Sinha, Aditya Parameswaran
Publication Year: 2021
Towards Scalable Dataframe Systems
Aditya Parameswaran, Devin Petersohn, Doris Jung-Lin Lee, Doris Xin, Joseph Gonzalez, Anthony Joseph, Joe Hellerstein, Stephen Macke,
*46th Int'l Conf. on Very Large Data Bases*, Tokyo, Japan. August 2020
Publication Year: 2021