4 papers
BOLT: Bandwidth-Optimized Lightning-Fast Oblivious Map powered by Secure HBM Accelerators
Yitong Guo, Hongbo Chen, Haobin Hiroki Chen +3
While Trusted Execution Environments provide a strong foundation for secure cloud computing, they remain vulnerable to access pattern leakages. Oblivious Maps (OMAPs) mitigate this…
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
Haobin Hiroki Chen, Hongbo Chen, Mingshen Sun +2
Ensuring the proper use of sensitive data in analytics under complex privacy policies is an increasingly critical challenge. Many existing approaches lack portability, verifiabilit…
ByzSFL: Achieving Byzantine-Robust Secure Federated Learning with Zero-Knowledge Proofs
Yongming Fan, Rui Zhu, Zihao Wang +5
The advancement of AI models, especially those powered by deep learning, faces significant challenges in data-sensitive industries like healthcare and finance due to the distribute…
Differentially Private Learned Indexes
Jianzhang Du, Tilak Mudgal, Rutvi Rahul Gadre +2
In this paper, we address the problem of efficiently answering predicate queries on encrypted databases, those secured by Trusted Execution Environments (TEEs), which enable untrus…