Publications

Research papers I've authored or co-authored.

2025

Agora: Trust Less and Open More in Verification for Confidential Computing
Hongbo Chen, Qinying Zhou, Shaokai Yang, Shiqing Dang, Xing Han, Danfeng Zhang, Fan Zhang, XiaoFeng Wang
Proceedings of the ACM on Programming Languages (OOPSLA 2025)
arXiv
BOLT: Bandwidth-Optimized Lightning-Fast Oblivious Map
Xing Han, Yifan Song, Hongbo Chen, Zhicong Huang, Wen-jie Lu, XiaoFeng Wang, Cheng Hong
ACM Conference on Computer and Communications Security (CCS 2025)
The Early Bird Catches the Leak: Timing Side Channels in LLM Serving
Cheng Xu, Yifan Song, Hongbo Chen, XiaoFeng Wang
IEEE Transactions on Information Forensics and Security (TIFS 2025)
AgentArmor: Enforcing Program Analysis on Agent Runtime Trace
Shiqing Dang, Yifan Song, Hongbo Chen, Xing Han, XiaoFeng Wang
arXiv preprint arXiv:2503.xxxxx
arXiv
PICACHV: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
Qinying Zhou, Hongbo Chen, Danfeng Zhang, XiaoFeng Wang
34th USENIX Security Symposium (USENIX Security 25)
LineBreaker: Finding Token-Inconsistency Bugs Using Large Language Models
Hongbo Chen, Yifan Zhang, Xing Han, Huanyao Rong, Yuheng Zhang, Tianhao Mao, Hang Zhang, XiaoFeng Wang, Luyi Xing, Xun Chen
Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)

Disassembling Obfuscated Executables with LLM
Huanyao Rong, Yifan Zhang, Hongbo Chen, Xing Han, Tianhao Mao, Hang Zhang, XiaoFeng Wang, Yu Jiang
arXiv preprint arXiv:2407.08924
arXiv

A Verified Confidential Computing as a Service Framework for Privacy Preservation
Hongbo Chen, Haobin Hiroki Chen, Mingshen Sun, Kang Li, Zhaofeng Chen, Xiaofeng Wang
32nd USENIX Security Symposium (USENIX Security 23)
PDF Code Slides

The Evolving Privacy and Security Concerns for Genomic Data Analysis and Sharing as Observed from the iDASH Competition
Tsung-Ting Kuo, Xiaoqian Jiang, Haixu Tang, XiaoFeng Wang, Arif Harmanci, Miran Kim, Kai Post, Diyue Bu, Tyler Bath, Jihoon Kim, others
Journal of the American Medical Informatics Association, 29(12), 2182–2190
Robbery on DevOps: Understanding and Mitigating Illicit Cryptomining on Continuous Integration Service Platforms
Zhi Li, Weijie Liu, Hongbo Chen, XiaoFeng Wang, Xiaojing Liao, Luyi Xing, Mingming Zha, Hai Jin, Deqing Zou
2022 IEEE Symposium on Security and Privacy (S&P)

Understanding TEE Containers, Easy to Use? Hard to Trust
Weijie Liu, Hongbo Chen, XiaoFeng Wang, Zhi Li, Danfeng Zhang, Wenhao Wang, Haixu Tang
arXiv preprint arXiv:2109.01923
arXiv
Practical and Efficient in-Enclave Verification of Privacy Compliance
Weijie Liu, Wenhao Wang, Hongbo Chen, XiaoFeng Wang, Yaosong Lu, Kai Chen, Xinyu Wang, Qintao Shen, Yi Chen, Haixu Tang
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
PDF Code
Trust Beyond Border: Lightweight, Verifiable User Isolation for Protecting In-Enclave Services
Wenhao Wang, Weijie Liu, Hongbo Chen, Xiaofeng Wang, Hongliang Tian, Dongdai Lin
IEEE Transactions on Dependable and Secure Computing
HySec-Flow: Privacy-Preserving Genomic Computing with SGX-based Big-Data Analytics Framework
Chathura Widanage, Weijie Liu, Jiayu Li, Hongbo Chen, XiaoFeng Wang, Haixu Tang, Judy Fox
2021 IEEE 14th International Conference on Cloud Computing (CLOUD)

Confidential Attestation: Efficient In-Enclave Verification of Privacy Policy Compliance
Weijie Liu, Wenhao Wang, Hongbo Chen, XiaoFeng Wang, Yaosong Lu, Kai Chen, Xinyu Wang, Qintao Shen, Yi Chen, Haixu Tang
arXiv preprint arXiv:2009.09028
arXiv