A Verified Confidential Computing as a Service Framework for Privacy Preservation. - Hongbo Chen; Haobin Hiroki Chen; Mingshen Sun; Kang Li; Zhaofeng Chen; XiaoFeng Wang 001 (USENIX Security Symposium, 2023)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics. - Haobin Hiroki Chen; Hongbo Chen; Mingshen Sun; Chenghong Wang; XiaoFeng Wang 001 (CoRR, 2025)