VerDiff: Vulnerability Presence Verification for Comprehensive Reporting Using Constraint Programming
M. S. Anwar, C. Yagemann and Z. Lin, "VerDiff: Vulnerability Presence Verification for Comprehensive Reporting Using Constraint Programming," 2025 IEEE Annual Computer Security Applications Conference (ACSAC), Honolulu, HI, USA, 2025, pp. 77-91, doi: 10.1109/ACSAC67867.2025.00022.
