Tool Support for Precise Assessment of Software Security/Performance Tradeoffs.

Malou Rayon-Richter, Daniela Genius

Browse the full FDL paper archive.