activity
20242026
most citedByzSFL: Achieving Byzantine-Robust Secure Federated Learning with Zero-Knowledge Proofs

1 citations · 2 across the 5 of their papers we have counts for

collaborators

5 papers

cs.CR2026

Hoss: Fast Oblivious Semantic Search with Heterogeneous GPU-CPU-TEE Architecture

Jianzhang Du, Weijie Huang, Chenghong Wang +4

Semantic search is widely deployed in modern AI systems, but protecting both data contents and access patterns remains challenging. The current state-of-the-art system, Compass, ac…

cs.CR2025★ 1 cited

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…

cs.CR2025

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…

cs.CR2025★ 1 cited

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…

cs.DB2024

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…