Opening the session was Anwar et al.'s "VerDiff: Vulnerability Presence Verification for Comprehensive Reporting Using Constraint Programming" on rapidly verifying affected software versions and correcting advisory misclassifications. (https://www.acsac.org/2025/program/final/s53.html) 2/6#CyberSecurity
