1 citations · 2 across the 3 of their papers we have counts for
3 papers
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…