Current researches
- 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