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

Attack Trees: A Notion of Missing Attacks. - Sophie Pinchinat; Barbara Fila; Florence Wacheux; Yann Thierry-Mieg (GraMSec@CSF, 2019)