你好，我是陈鸿博 👋

System Security · Confidential Computing · Programming Languages

我是 Google DeepMind 的软件工程师。我在 Indiana University Bloomington 获得计算机科学博士学位，导师是 Prof. XiaoFeng Wang。 我也与 Prof. Haixu Tang 和 Prof. Danfeng Zhang 密切合作。

我的研究主要集中在系统安全方向，特别是Confidential Computing、程序验证以及利用编程语言特性增强安全性。 我同时对大语言模型安全、编程语言理论和神经科学感兴趣。 目前，我正在探索 GPU TEE 方向，未来也期望在BCI（Brain-Computer Interface）安全领域开展研究。

除了安全研究之外，我也喜欢摄影（欢迎访问我的 1x）、网球、HiFi、动漫、桌游和电子游戏。

Profile photo

动态

Selected Publications

  • 2025
    Agora: Trust Less and Open More in Verification for Confidential Computing
    Hongbo Chen, Quan Zhou, Sen Yang, Sixuan Dang, Xing Han, Danfeng Zhang, Fan Zhang, XiaoFeng Wang
    Proceedings of the ACM on Programming Languages (OOPSLA 2025)
    arXiv
  • 2025
    PICACHV: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
    Haobin Hiroki Chen, Hongbo Chen, Mingshen Sun, Chenghong Wang, XiaoFeng Wang
    34th USENIX Security Symposium (USENIX Security 25)
  • 2025
    LineBreaker: Finding Token-Inconsistency Bugs Using Large Language Models
    Hongbo Chen, Yifan Zhang, Xing Han, Tianhao Mao, Huanyao Rong, Yuheng Zhang, XiaoFeng Wang, Luyi Xing, Xun Chen, Hang Zhang
    Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)
  • 2023
    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
  • 2022
    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)
  • 2021
    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
  • 2021
    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