Adversarial Formal Semantics of Attack Trees and Related Problems. - Thomas Brihaye; Sophie Pinchinat; Alexandre Terefenko (GandALF, 2022)

Sémantique Formelle à Deux Joueurs pour Arbres d'Attaque. - Thomas Brihaye; Sophie Pinchinat; Alexandre Terefenko (CNIA, 2023)

Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-Free Languages. - Thomas Brihaye; Sophie Pinchinat; Alexandre Terefenko (LATIN (2), 2024)