Projects

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
  • XXX Evidence Chain Construction and Application 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