Adversarial Reachability for Program-level Security Analysis.

Soline Ducousso, Sbastien Bardin, Marie-Laure Potet

Browse the full ESOP paper archive.