Singapore Academic Cybersecurity R&D
Harnessing R&D to Secure our Nation
NRF2015NCR-NCR-003-005
Vulnerability Discovery using Abduction and Interpolation
- Lead PIs : Joxan Jaffar, Professor, NUS ( joxan@comp.nus.edu.sg ) and Andy King, Professor, University of Kent ( A.M.King@kent.ac.uk )
- Host Institution : School of Computing, NUS
- Partner Institution : University of Kent
I. Goal
To automatically identify binary vulnerabilities using static analysis.