Fundings
- PI, Nanjing Univeristy, “Software Security Intelligence Analysis of Internet of Things”, 2021-2022.
- PI, Scantist, “Software Autonomy Analysis”, 2020-2021.
- PI, TICPSH, “Smart Greybox Fuzzing for RTOS Kernel”, 2020-2021.
Ongoing
- Peripheral Devices-Agnostic IoT Firmware Fuzzing
- Nanhai Evidence Chain based on Multimodal Knowledge Graph
- Smart Contract Vulnerability Detection
Finished
- Model Extraction and Runtime Feedback Guided Protocol Implementation Fuzzing [ ]
- Clang/LLVM based Static Analysis Framework for Vulnerability Detection
- Answer Set Programming based CSP Model Checking Technology
