Current researches
  • CNEPS: A Precise Approach for Examining Dependencies among Third-Party C/C++ Open-Source Components
  • V0Finder: Discovering the Correct Origin of Publicly Reported Software Vulnerabilities
  • Dicos: Discovering Insecure Code Snippets from Stack Overflow Posts by Leveraging User Discussions
  • QuickBCC: Quick and Scalable Binary Vulnerable Code Clone Detection
  • OCTOPOCS: Automatic Verification of Propagated Vulnerable Code Using Reformed Proofs of Concept
  • CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse
  • Riding the IoT Wave with VFuzz: Discovering Security Flaws in Smart Homes
Past researches