Yuyi Zhong

According to our database, Yuyi Zhong authored at least 6 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ExploreADV: Towards exploratory attack for Neural Networks.

Tianzuo Luo, Yuyi Zhong, Siau-Cheng Khoo

CoRR, 2023

ARENA: Enhancing Abstract Refinement for Neural Network Verification.

Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Expediting Neural Network Verification via Network Reduction.

Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2021

Scalable and Modular Robustness Analysis of Deep Neural Networks.

Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2018

VulDeePecker: A Deep Learning-Based System for Vulnerability Detection.

Zhen Li, Deqing Zou, Shouhuai Xu, Xinyu Ou, Hai Jin, Sujuan Wang, Zhijun Deng, Yuyi Zhong

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

2017

SCVD: A New Semantics-Based Approach for Cloned Vulnerable Code Detection.

Deqing Zou, Hanchao Qi, Zhen Li, Song Wu, Hai Jin, Guozhong Sun, Sujuan Wang, Yuyi Zhong

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2017