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