Hongbo Chen

PhD Student in CS at Indiana University Bloomington.

myself.jpg

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.

News

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

2024

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

2023

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

2021

  1. tcon.png
    Understanding TEE Containers, Easy to Use? Hard to Trust
    Weijie Liu, Hongbo Chen, XiaoFeng Wang, Zhi Li, Danfeng Zhang, Wenhao Wang, and Haixu Tang
    arXiv preprint arXiv:2109.01923, 2021
    arXiv
  2. deflection.png
    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, and Haixu Tang
    In 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021
    PDF Code