On the Soundness of Attack Trees. - Maxime Audinot; Sophie Pinchinat (GraMSec@CSF, 2016)

Is My Attack Tree Correct? - Maxime Audinot; Sophie Pinchinat; Barbara Kordy (ESORICS (1), 2017)

Is my attack tree correct? Extended version. - Maxime Audinot; Sophie Pinchinat; Barbara Kordy (CoRR, 2017)

Guided Design of Attack Trees: A System-Based Approach. - Maxime Audinot; Sophie Pinchinat; Barbara Kordy (CSF, 2018)

Deciding the Non-emptiness of Attack Trees. - Maxime Audinot; Sophie Pinchinat; François Schwarzentruber; Florence Wacheux (GraMSec@FLoC, 2018)

Beyond 2014: Formal Methods for Attack Tree-based Security Modeling. - Wojciech Widel; Maxime Audinot; Barbara Fila; Sophie Pinchinat (ACM Comput. Surv., 2019)