Scholar
Haobin Hiroki Chen
Google Scholar ID: VQGl1bAAAAAJ
Indiana University Bloomington
Citations & Impact
Citations
16
H-index
2
i10-index
1
Publications
4
Co-authors
0
Publications
Resume
Academic Achievements
- - BOLT: Bandwidth-Optimized Lightning-Fast Oblivious Map powered by Secure HBM Accelerators (ACM SICSAC CCS'25)
- - Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics (USENIX Security 2025)
- - Revisiting frequency-smoothing encryption: new security definitions and efficient construction (Cybersecurity 7, 15 (2024))
- - A Verified Confidential Computing as a Service Framework for Privacy Preservation (USENIX Security 2023)
Research Experience
- - Security Research Intern at CertiK Inc.
- - Working on the security of smart contracts and blockchain systems
- - Verifying correctness of Solana programs
- - Working on the Verus-supported formal verification of the Asterinas OS Kernel, a Rust-based kernel
- - Research Intern at Privacy Innovation Lab, TikTok Inc.
- - Working on TikTok's Data Clean Room (DCR) project
- - Developing Tavern, a novel mechanism for remote attestation
Education
- - Indiana University at Bloomington (IUB)
- - Ph.D. Student in Computer Science
- - Duration: Aug. 2023 - 2028 (Expected)
- - Advisor: Prof. XiaoFeng Wang
Background
- - Research interests: systems security, particularly in the area of trusted execution environments and secure OS kernels, and formal methods for systems security
- - Advisor: Prof. XiaoFeng Wang
- - Collaborators: Mingshen Sun, Dayeol Lee, Chenghong Wang, Mike Reiter
Miscellany
- - Phone: +1 812-325-6706
- - Email: haobchen@iu.edu
- - Address: 1664 Everett Ave., San Jose, CA 95125, USA
- - Blogs: Criticism of the article The Flawed Design of Intel TDX