BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks. - Yedi Zhang; Zhe Zhao 007; Guangke Chen; Fu Song; Taolue Chen 001 (CAV (1), 2021)

Attack as defense: characterizing adversarial examples using robustness. - Zhe Zhao 007; Guangke Chen; Jingyi Wang 004; Yiwei Yang 002; Fu Song; Jun Sun 001 (ISSTA, 2021)

Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems. - Guangke Chen; Sen Chen 001; Lingling Fan 003; Xiaoning Du 001; Zhe Zhao 007; Fu Song; Yang Liu 003 (SP, 2021)

SEC4SR: A Security Analysis Platform for Speaker Recognition. - Guangke Chen; Zhe Zhao 007; Fu Song; Sen Chen 001; Lingling Fan 003; Yang Liu 003 (CoRR, 2021)

QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. - Yedi Zhang; Zhe Zhao 007; Guangke Chen; Fu Song; Min Zhang 002; Taolue Chen 001; Jun Sun 001 (ASE, 2022)

CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. - Zhe Zhao 007; Yedi Zhang; Guangke Chen; Fu Song; Taolue Chen 001; Jiaxiang Liu 001 (SAS, 2022)

SiamPCF: siamese point regression with coarse-fine classification network for visual tracking. - Yulin Zeng; Bi Zeng; Xiuwen Yin; Guangke Chen (Appl. Intell., 2022)

AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition Systems. - Guangke Chen; Zhe Zhao 007; Fu Song; Sen Chen 001; Lingling Fan 003; Yang Liu 003 (CoRR, 2022)

Diagonal Recurrent Neural Network-Based Hysteresis Modeling. - Guangzeng Chen; Guangke Chen; Yunjiang Lou (IEEE Trans. Neural Networks Learn. Syst., 2022)

QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems. - Guangke Chen; Yedi Zhang; Zhe Zhao 007; Fu Song (USENIX Security Symposium, 2023)

Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition. - Guangke Chen; Zhe Zhao 007; Fu Song; Sen Chen 001; Lingling Fan 003; Feng Wang; Jiashui Wang (IEEE Trans. Dependable Secur. Comput., 2023)

Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach. - Yedi Zhang; Zhe Zhao 007; Guangke Chen; Fu Song; Taolue Chen 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Certified Quantization Strategy Synthesis for Neural Networks. - Yedi Zhang; Guangke Chen; Fu Song; Jun Sun 001; Jin Song Dong (FM (1), 2024)

SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems. - Guangke Chen; Yedi Zhang; Fu Song (NDSS, 2024)

A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion. - Guangke Chen; Yedi Zhang; Fu Song; Ting Wang 004; Xiaoning Du 001; Yang Liu 003 (CoRR, 2024)

Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples. - Zhe Zhao 007; Guangke Chen; Tong Liu; Taishan Li; Fu Song; Jingyi Wang 004; Jun Sun 001 (ACM Trans. Softw. Eng. Methodol., 2024)

LaserGuider: A Laser Based Physical Backdoor Attack Against Deep Neural Networks. - Yongjie Xu; Guangke Chen; Fu Song; Yuqi Chen 001 (ACNS (3), 2025)

SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers. - Guangke Chen; Yedi Zhang; Fu Song; Ting Wang 004; Xiaoning Du 001; Yang Liu 003 (NDSS, 2025)

AudioJailbreak: Jailbreak Attacks against End-to-End Large Audio-Language Models. - Guangke Chen; Fu Song; Zhe Zhao 007; Xiaojun Jia; Yang Liu; Yanchen Qiao; Weizhe Zhang (CoRR, 2025)