Tool Support for Precise Assessment of Software Security/Performance Tradeoffs. - Malou Rayon-Richter; Daniela Genius (FDL, 2025)