Sophie Pinchinat, François Schwarzentruber, Sébastien Lê Cong. Library-Based Attack Tree Synthesis. In Harley Eades III, Olga Gadyatskaya, editors, Graphical Models for Security - 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020 Revised Selected Papers. Volume 12419 of Lecture Notes in Computer Science, pages 24-44, Springer, 2020. [doi]
Abstract is missing.