FAMC: Fair and Publicly Auditable Multi-Party Computation with Cheater Detection. - Yong Li 002; Yueyang Feng; Xi Chen 063; Jian Zhang; Ruxian Li; Kewei Lv; Dawei Zhang (ICICS (2), 2024)

VEP: A Two-stage Verification Toolchain for Full eBPF Programmability. - Xiwei Wu; Yueyang Feng; Tianyi Huang; Xiaoyang Lu; Shengkai Lin; Lihan Xie; Shizhen Zhao; Qinxiang Cao (NSDI, 2025)

NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool. - Xiwei Wu; Yueyang Feng; Xiaoyang Lu; Tianchuan Lin; Kan Liu; Zhiyi Wang; Shushu Wu; Lihan Xie; Chengxi Yang; Hongyi Zhong; Naijun Zhan; Zhenjiang Hu; et al. (CoRR, 2025)