I am now a research professor in the Department of Computer Science & Technology,
University of Science and Technology of China(USTC).
Prior to that, I received my B.E and M.S from Wuhan University in 2005 and 2007,Ph.D. from Singapore National University (NUS)in February 2013,
Research Scientist from Temasek Lab@NUS in Singapore National University from November 2013 to November 2014, and Singapore National University from 2015 to July 2017. Temasek Lab@NTU, a research scientist at Nanyang Polytechnic University, is engaged in Singapore's national defense project.
Since then, I worked as a Level 2 data scientist in the anti-spam core project of Exchange Mail System in the Internet Engineering Institute of Microsoft Asia Pacific R&D Group.
I am recruiting PhD, Master and Undergraduate students. If interested, please feel free to drop me an email.
软件安全实验室主页 ( Software Security Lab Homepage )
My research interests Software engineering and Cyber Security.
I am recently focusing on building systems that combines program analysis, data analysis and verification to accomplish the Cyber Security tasks,e.g.,vulnerability detection,malware detection and so on.
[2021.09] Our vulnerability reports of smart contracts are recently approved by CVE (Common Vulnerabilities and Exposures) and are assigned with CVE-ID
Credits to the students Jiaming Ye, Minliang Ma and Tianyong Peng.
[2021.05] Our recent paper titled “A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries” receives the ACM SIGSOFT Distinguished Paper Award in ISSTA 2021. Congratulations!
[2021.05] I was invited to the review board of the Springer Journal Automated Software Engineering (CCF B)! Please consider submitting your paper to ASE.
[2021.06] I organized RADAS 2021 (the 1st International Workshop on Reliability of Advanced Driving Assistant Systems). Please consider submitting your paper to RADAS 2021.
[2020.07] Our recent work "Multi-objective Integer Programming Approaches for Solving the Multi-criteria Test-suite Minimization Problem: Towards Sound and Complete Solutions of a Particular Search-based Software-engineering Problem" was accepted in full by ACM Trans. Softw. Eng. Methodol(CCF A)(第一作者).
【Dataset && Toolsite】
[2020.09] Our recent work "Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts" was accepted in full by IEEE/ACM International Conference on Automated Software Engineering(CCF A)（第一作者）.
【Dataset && Toolsite】
[2020.08] Our recent work "MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs" was accepted in full by USENIX Security Symposium(CCF A).
[2020.07] Our recent work "How are Deep Learning Models Similar? An Empirical Study on Clone Analysis of Deep Learning Software" was accepted in full by ACM/IEEE International Conference on Program Comprehension(CCF B).
[2020.09] Our recent work0 "CCGraph: A PDG based Code Clone Detector With Approximate Graph Matching" was accepted in full by IEEE/ACM International Conference on Automated Software Engineering.(CCF A)（近期工作被ACM ASE全文接受）
[2019.07] Invited to serve on the PC Committee of NASAC'19 (18th National Conference on Software and Applications).
[2019.06] Our recent work "Cerebro: Context-Aware Adaptive Fuzzing for E-enactivity Vulnerability Detection" was accepted in full by ACM FSE (CCF A)（近期工作被ACM FSE全文接受）.
[2019.02] Invited to serve as the Tool and A E Committee for ISSTA'19 (CCF A).
[2019.01] Our recent work "Securing Android App Markets via Modelling and Predicting Malware Spread between Markets" accepted by IEEE Trans. Information Forensics and Security (CCF A)
I'm co-advising many excellent students together with Prof. Xuandong Li,
Prof. Linzhang Wang and
other faculties in the Software Engineering Group.
- Yiyu Zhang (PhD student, starting Fall 2019)
- Shenming Lu (Master student, starting Fall 2017)
- Qiuhong Pan (Master student, starting Fall 2017)
- Lu Lu (Master student, starting Fall 2017)
- Yifei Wang (Master student, starting Fall 2018)
- Guihang Wang (Master student, starting Fall 2019)
- Duanchen Xu (Master student, starting Fall 2019)
- Siyuan He (Master student, starting Fall 2019)
- Xinyue Zhang (Master student, starting Fall 2019)
- Tianyu Liu (Undergraduate student)
- Yi Luo (Undergraduate student)
- Lanlan Zhang (Undergraduate student)
- Chuang Pan (Undergraduate student)
- Jin Shi (Undergraduate student)
- Xiutian Yang (Undergraduate student)