VerDiff: Vulnerability Presence Verification for Comprehensive Reporting Using Constraint Programming.

Md Sakib Anwar, Carter Yagemann, Zhiqiang Lin

Browse the full ACSAC paper archive.