Convicting exploitable software vulnerabilities: An efficient input provenance based approach
Exploring Multiple Execution Paths for Malware Analysis