Yuyi Zhong

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
ExploreADV: Towards exploratory attack for Neural Networks.
CoRR, 2023

Expediting Neural Network Verification via Network Reduction.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022
ARENA: Enhancing Abstract Refinement for Neural Network Verification.
Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

2021
Scalable and Modular Robustness Analysis of Deep Neural Networks.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2018
VulDeePecker: A Deep Learning-Based System for Vulnerability Detection.
Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

2017
SCVD: A New Semantics-Based Approach for Cloned Vulnerable Code Detection.
Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2017


  Loading...