18
Publications
620
Citations
14
H-Index
2014
Active since
Yizheng Chen is an author at Georgia Institute of Technology specializing in computer science, data science, and engineering.
Top concepts
Computer ScienceEngineeringData ScienceData SecurityInformation SecurityDeep LearningMachine LearningHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2014–2025
18
18
Panagiotis Kintis, Najmeh Miramirkhani, Charles Lever et al. · 2017 · 104 citations · Full text
MixTrain: Scalable Training of Formally Robust Neural Networks.
Shiqi Wang, Yizheng Chen, Ahmed Abdou et al. · arXiv (Cornell University) · 2018 · 74 citations · Full text
Neutaint: Efficient Dynamic Taint Analysis with Neural Networks
Dongdong She, Yizheng Chen, Abhishek Shah et al. · 2020 · 45 citations · Full text
Engineering, Information Security, Computer Architecture +22
Rows per page
1–5 of 18