Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation. - Yuan Xiao 003; Tongtong Bai; Mingzheng Gu; Chunrong Fang; Zhenyu Chen 001 (CoRR, 2022)

Towards General Robustness Verification of MaxPool-Based Convolutional Neural Networks via Tightening Linear Approximation. - Yuan Xiao 003; Shiqing Ma; Juan Zhai; Chunrong Fang; Jinyuan Jia 001; Zhenyu Chen 001 (CVPR, 2024)

CooTest: An Automated Testing Approach for V2X Communication Systems. - An Guo 002; Xinyu Gao; Zhenyu Chen 001; Yuan Xiao 003; Jiakai Liu; Xiuting Ge; Weisong Sun; Chunrong Fang (ISSTA, 2024)

Eliminating Backdoors in Neural Code Models via Trigger Inversion. - Weisong Sun; Yuchen Chen; Chunrong Fang; Yebo Feng; Yuan Xiao 003; An Guo 002; Quanjun Zhang; Yang Liu 003; Baowen Xu; Zhenyu Chen 001 (CoRR, 2024)

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone. - Yuan Xiao 003; Yuchen Chen; Shiqing Ma; Chunrong Fang; Tongtong Bai; Mingzheng Gu; Yuxin Cheng; Yanwei Chen; Zhenyu Chen 001 (CVPR, 2025)

Eliminating Backdoors in Neural Code Models for Secure Code Understanding. - Weisong Sun; Yuchen Chen; Chunrong Fang; Yebo Feng; Yuan Xiao 003; An Guo 002; Quanjun Zhang; Zhenyu Chen 001; Baowen Xu; Yang Liu 003 (Proc. ACM Softw. Eng., 2025)

DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction. - Yuan Xiao 003; Yuchen Chen; Shiqing Ma; Haocheng Huang; Chunrong Fang; Yanwei Chen; Weisong Sun; Yunfeng Zhu; Xiaofang Zhang; Zhenyu Chen 001 (Proc. ACM Softw. Eng., 2025)