Rchr
J-GLOBAL ID：202201011412518694
Update date: Nov. 08, 2023
Zhang Fuyuan
Zhang Fuyuan
Affiliation and department：
Job title：
Specially Appointed Assistant Professor
Research field (1)：
Software
Research keywords (1)：
Formal Methods, Software Engineering, Quality Assurance of Deep Neural Networks
Papers (14)：
-
Xinwen Hu, Yi Zhuang, Shang-Wei Lin, Fuyuan Zhang, Shuanglong Kan, Zining Cao. A Security Type Verifier for Smart Contracts. Computers and Security. 2021
-
Caterina Urban, Maria Christakis, Valentin Wustholz, Fuyuan Zhang. Perfectly Parallel Fairness Certification of Neural Networks. ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA 2020). 2020
-
Muhammad Numair Mansur, Maria Christakis, Valentin Wustholz, Fuyuan Zhang. Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 2020). 2020
-
Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis. DeepSearch: A Simple and Effective Blackbox Attack of Deep Neural Networks. The 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 2020). 2020
-
Xinwen Hu, Yi Zhuang, Fuyuan Zhang. A security modeling and verification method of embedded software based on Z and MARTE. Computers and Security. 2020
ｍore...
Education (1)：
- 2009 - 2012 Technical University of Denmark
Professional career (1)：
- Doctorate (Technical University of Denmark)
Awards (1)：
- 2018 - ACM SIGSOFT Distinguished Paper Award DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
Return to Previous Page
