Barbara Kordy

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 11

Top Topics

Tree Structures

Security Analysis

Probabilistic Reasoning

Top Venues

Publications

Maxime Audinot, Sophie Pinchinat, Barbara Kordy
Guided Design of Attack Trees: A System-Based Approach. CSF (2018)
Barbara Kordy, Wojciech Widel
On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. POST (2018)
Maxime Audinot, Sophie Pinchinat, Barbara Kordy
Is My Attack Tree Correct? ESORICS (1) (2017)
Maxime Audinot, Sophie Pinchinat, Barbara Kordy
Is my attack tree correct? Extended version. CoRR (2017)
Barbara Kordy, Wojciech Widel
How Well Can I Secure My System? IFM (2017)
Angèle Bossuat, Barbara Kordy
Evil Twins: Handling Repetitions in Attack-Defense Trees - A Survival Guide. GraMSec@CSF (2017)
Gildas Avoine, Xavier Carpent, Barbara Kordy, Florent Tardif
How to Handle Rainbow Tables with External Memory. ACISP (1) (2017)
Barbara Kordy, Marc Pouly, Patrick Schweitzer
Probabilistic reasoning with graphical security models. Inf. Sci. 342 (2016)
Barbara Kordy, Piotr Kordy, Yoann van den Boom
SPTool - Equivalence Checker for SAND Attack Trees. CRiSIS (2016)
Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
Attack Trees with Sequential Conjunction. CoRR (2015)
Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
Attack Trees with Sequential Conjunction. SEC (2015)
Barbara Kordy, Marc Pouly, Patrick Schweitzer
A Probabilistic Framework for Security Scenarios with Dependent Actions. IFM (2014)
Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
Attack-defense trees. J. Log. Comput. 24 (1) (2014)
Barbara Kordy, Ludovic Piètre-Cambacédès, Patrick Schweitzer
DAG-based attack and defense modeling: Don't miss the forest for the attack trees. Comput. Sci. Rev. (2014)
Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
ADTool: Security Analysis with Attack- Defense Trees (Extended Version) CoRR (2013)
Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
ADTool: Security Analysis with Attack-Defense Trees. QEST (2013)
Barbara Kordy, Ludovic Piètre-Cambacédès, Patrick Schweitzer
DAG-Based Attack and Defense Modeling: Don't Miss the Forest for the Attack Trees CoRR (2013)
Barbara Kordy, Sasa Radomirovic
Constructing Optimistic Multi-party Contract Signing Protocols. CSF (2012)
Barbara Kordy, Sjouke Mauw, Patrick Schweitzer
Quantitative Questions on Attack-Defense Trees CoRR (2012)
Alessandra Bagnato, Barbara Kordy, Per Håkon Meland, Patrick Schweitzer
Attribute Decoration of Attack-Defense Trees. Int. J. Secur. Softw. Eng. 3 (2) (2012)
Barbara Kordy, Sjouke Mauw, Patrick Schweitzer
Quantitative Questions on Attack-Defense Trees. ICISC (2012)
Barbara Kordy, Marc Pouly, Patrick Schweitzer
Computational Aspects of Attack-Defense Trees. SIIS (2011)
Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer
Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. GameSec (2010)
Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer
Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent CoRR (2010)
Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
Foundations of Attack-Defense Trees. Formal Aspects in Security and Trust (2010)
Barbara Kordy
A Rewrite Approach for Pattern Containment. WADT (2008)