Automata for Positive Core XPath Queries on Compressed Documents. - Barbara Fila; Siva Anantharaman (LPAR, 2006)

A Rewrite Approach for Pattern Containment - Application to Query Evaluation on Compressed Documents. - Barbara Fila-Kordy (Structure-Based Compression of Complex Massive Data, 2008)

A Rewrite Approach for Pattern Containment. - Barbara Kordy (WADT, 2008)

Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès. - Barbara Fila (2008)

Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. - Barbara Kordy; Sjouke Mauw; Matthijs Melissen; Patrick Schweitzer (GameSec, 2010)

Foundations of Attack-Defense Trees. - Barbara Kordy; Sjouke Mauw; Sasa Radomirovic; Patrick Schweitzer (Formal Aspects in Security and Trust, 2010)

Computational Aspects of Attack-Defense Trees. - Barbara Kordy; Marc Pouly; Patrick Schweitzer (SIIS, 2011)

Constructing Optimistic Multi-party Contract Signing Protocols. - Barbara Kordy; Sasa Radomirovic (CSF, 2012)

Quantitative Questions on Attack-Defense Trees. - Barbara Kordy; Sjouke Mauw; Patrick Schweitzer (ICISC, 2012)

Attribute Decoration of Attack-Defense Trees. - Alessandra Bagnato; Barbara Kordy; Per Håkon Meland; Patrick Schweitzer (Int. J. Secur. Softw. Eng., 2012)

ADTool: Security Analysis with Attack-Defense Trees. - Barbara Kordy; Piotr Kordy; Sjouke Mauw; Patrick Schweitzer (QEST, 2013)

ADTool: Security Analysis with Attack- Defense Trees (Extended Version) - Barbara Kordy; Piotr Kordy; Sjouke Mauw; Patrick Schweitzer (CoRR, 2013)

A Probabilistic Framework for Security Scenarios with Dependent Actions. - Barbara Kordy; Marc Pouly; Patrick Schweitzer (IFM, 2014)

DAG-based attack and defense modeling: Don't miss the forest for the attack trees. - Barbara Kordy; Ludovic Piètre-Cambacédès; Patrick Schweitzer (Comput. Sci. Rev., 2014)

Attack-defense trees. - Barbara Kordy; Sjouke Mauw; Sasa Radomirovic; Patrick Schweitzer (J. Log. Comput., 2014)

Attack Trees with Sequential Conjunction. - Ravi Jhawar; Barbara Kordy; Sjouke Mauw; Sasa Radomirovic; Rolando Trujillo-Rasua (SEC, 2015)

SPTool - Equivalence Checker for SAND Attack Trees. - Barbara Kordy; Piotr Kordy; Yoann van den Boom (CRiSIS, 2016)

Probabilistic reasoning with graphical security models. - Barbara Kordy; Marc Pouly; Patrick Schweitzer (Inf. Sci., 2016)

How to Handle Rainbow Tables with External Memory. - Gildas Avoine; Xavier Carpent; Barbara Kordy; Florent Tardif (ACISP (1), 2017)

Evil Twins: Handling Repetitions in Attack-Defense Trees - A Survival Guide. - Angèle Bossuat; Barbara Kordy (GraMSec@CSF, 2017)

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

How Well Can I Secure My System? - Barbara Kordy; Wojciech Widel (IFM, 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)

On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. - Barbara Kordy; Wojciech Widel (POST, 2018)

Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains. - Barbara Fila; Wojciech Widel (CSF, 2019)

Attack-Defense Trees for Abusing Optical Power Meters: A Case Study and the OSEAD Tool Experience Report. - Barbara Fila; Wojciech Widel (GraMSec@CSF, 2019)

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

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

Exploiting attack-defense trees to find an optimal set of countermeasures. - Barbara Fila; Wojciech Widel (CSF, 2020)

Nothing is Out-of-Band: Formal Modeling of Ceremonies. - Barbara Fila; Sasa Radomirovic (CSF, 2024)

Pragmatic Guidelines for Formal Modeling of Security Ceremonies. - Barbara Fila; Ermenda Hoxha (STM, 2025)