Hongbo Chen

PhD Student in CS at Indiana University Bloomington.


Luddy Hall 3051R

700 N Woodlawn Avenue

Bloomington, IN, 47408

Hi, I am a 5th-year CS PhD student at Indiana University. I’m advised by Prof. XiaoFeng Wang. I also work closely with Prof. Haixu Tang and Prof. Danfeng Zhang.

My research mainly focuses on system security, especially confidential computing, program verification, and leveraging programming language features to enhance security. I’m also interested in LLM for security, programming languages, and neuroscience. Currently, I’m exploring GPU TEE and would like to work on security of BCI (Brain-Computer Interface) in the future.

Besides security research, I’m also interested in photography (check my 1x and Flickr), tennis, HIFI, anime, as well as board games and video games. I have a public notebook for papers and ideas related to my research interest. If you can read Chinese, you’re welcome to check my blog in Chinese.

I’m open to opportunities in both academia and industry.


May 6, 2024 Our preprint of detecting semantic bugs is available on arXiv.
May 5, 2024 I will conduct internship at Microsoft Research at Redmond, WA this summer. Excited to see you there!
Dec 6, 2023 I received the Distinguished Artifact Reviewer Award from ACSAC ‘23.
Aug 23, 2023 My personal website is online now. I will keep updating it.
Aug 12, 2023 Our paper is presented at USENIX Security '23

Selected Publications


  1. WitheredLeaf: Finding Entity-Inconsistency Bugs with LLMs
    Hongbo Chen, Yifan Zhang, Xing Han, Huanyao Rong, Yuheng Zhang, Tianhao Mao, Hang ZhangXiaoFeng WangLuyi Xing, and Xun Chen
    arXiv preprint arXiv:2405.01668, 2024


  1. pobf.png
    A Verified Confidential Computing as a Service Framework for Privacy Preservation
    Hongbo ChenHaobin Hiroki ChenMingshen Sun, Kang Li, Zhaofeng Chen, and Xiaofeng Wang
    In 32nd USENIX Security Symposium (USENIX Security 23), 2023


  1. tcon.png
    Understanding TEE Containers, Easy to Use? Hard to Trust
    Weijie LiuHongbo ChenXiaoFeng Wang, Zhi Li, Danfeng ZhangWenhao Wang, and Haixu Tang
    arXiv preprint arXiv:2109.01923, 2021
  2. deflection.png
    Practical and Efficient in-Enclave Verification of Privacy Compliance
    Weijie LiuWenhao WangHongbo ChenXiaoFeng Wang, Yaosong Lu, Kai Chen, Xinyu Wang, Qintao Shen, Yi Chen, and Haixu Tang
    In 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021