SCVD: A New Semantics-Based Approach for Cloned Vulnerable Code Detection. - Deqing Zou; Hanchao Qi; Zhen Li 027; Song Wu 001; Hai Jin 001; Guozhong Sun; Sujuan Wang; Yuyi Zhong (DIMVA, 2017)

VulDeePecker: A Deep Learning-Based System for Vulnerability Detection. - Zhen Li 027; Deqing Zou; Shouhuai Xu; Xinyu Ou; Hai Jin 001; Sujuan Wang; Zhijun Deng; Yuyi Zhong (NDSS, 2018)

Scalable and Modular Robustness Analysis of Deep Neural Networks. - Yuyi Zhong; Quang-Trung Ta; Tianzuo Luo; Fanlong Zhang; Siau-Cheng Khoo (APLAS, 2021)

ARENA: Enhancing Abstract Refinement for Neural Network Verification. - Yuyi Zhong; Quang-Trung Ta; Siau-Cheng Khoo (SPLASH Companion, 2022)

Expediting Neural Network Verification via Network Reduction. - Yuyi Zhong; Ruiwei Wang; Siau-Cheng Khoo (ASE, 2023)

ExploreADV: Towards exploratory attack for Neural Networks. - Tianzuo Luo; Yuyi Zhong; Siau-Cheng Khoo (CoRR, 2023)