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

Nathan Pemberton,

Publication Year: 2021

ShapeSearch: A Flexible and Efficient System for Shape-based Exploration of Trendlines

Aditya Parameswaran,

*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

Aditya Parameswaran,

*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