Yuyi Zhong

11 papers A* 2B 3Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
GRENA: GPU-Aided Abstract Refinement for Neural Network Verification.
SAIV
Yuyi Zhong, Shaun Zong Zhi Tan, Hanping Xu, Siau-Cheng Khoo
2023 B conf
ARENA: Enhancing Abstract Refinement for Neural Network Verification.
VMCAI
Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
2023 A* conf
Expediting Neural Network Verification via Network Reduction.
ASE
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
2023 J jnl
Expediting Neural Network Verification via Network Reduction.
CoRR
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
2023 J jnl
ExploreADV: Towards exploratory attack for Neural Networks.
CoRR
Tianzuo Luo, Yuyi Zhong, Siau-Cheng Khoo
2022 — conf
ARENA: Enhancing Abstract Refinement for Neural Network Verification.
SPLASH Companion
Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
2021 B conf
Scalable and Modular Robustness Analysis of Deep Neural Networks.
APLAS
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
2021 J jnl
Scalable and Modular Robustness Analysis of Deep Neural Networks.
CoRR
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
2018 A* conf
VulDeePecker: A Deep Learning-Based System for Vulnerability Detection.
NDSS
Zhen Li, Deqing Zou, Shouhuai Xu, Xinyu Ou, Hai Jin, Sujuan Wang, Zhijun Deng, Yuyi Zhong
2018 J jnl
VulDeePecker: A Deep Learning-Based System for Vulnerability Detection.
CoRR
Zhen Li, Deqing Zou, Shouhuai Xu, Xinyu Ou, Hai Jin, Sujuan Wang, Zhijun Deng, Yuyi Zhong
2017 B conf
SCVD: A New Semantics-Based Approach for Cloned Vulnerable Code Detection.
DIMVA
Deqing Zou, Hanchao Qi, Zhen Li, Song Wu, Hai Jin, Guozhong Sun, Sujuan Wang, Yuyi Zhong