Barbara Kordy

发表

Attribute Decoration of Attack-Defense Trees

Alessandra Bagnato, Barbara Kordy, Per Håkon Meland, 2012, Int. J. Secur. Softw. Eng..

Attack-Defense Trees for Abusing Optical Power Meters: A Case Study and the OSEAD Tool Experience Report

Barbara Kordy, Wojciech Widel, 2019, GraMSec@CSF.

DAG-based attack and defense modeling: Don't miss the forest for the attack trees

Barbara Kordy, Ludovic Pietre-Cambac'edes, Patrick Schweitzer, 2013, Comput. Sci. Rev..

A Rewrite Approach for Pattern Containment

Barbara Kordy, Barbara Kordy, 2009, WADT.

ADTool: Security Analysis with Attack- Defense Trees (Extended Version) pdf

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2013, ArXiv.

Automata for Positive Core XPath Queries on Compressed Documents

Barbara Kordy, Siva Anantharaman, 2006, LPAR.

Automates pour l'analyse de documents XML compressés, applications à la sécurité d'accès

Barbara Kordy, 2008 .

Computational Aspects of Attack-Defense Trees

Barbara Kordy, Patrick Schweitzer, Marc Pouly, 2011, SIIS.

Evil Twins: Handling Repetitions in Attack-Defense Trees - A Survival Guide

Barbara Kordy, Angèle Bossuat, Barbara Kordy, 2017, GraMSec@CSF.

SPTool - Equivalence Checker for SAND Attack Trees

Barbara Kordy, Piotr Kordy, Yoann van den Boom, 2016, CRiSIS.

Beyond 2014

Sophie Pinchinat, Barbara Kordy, Wojciech Widel, 2019, ACM Comput. Surv..

Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, 12th April, 2014

Wolter Pieters, Barbara Kordy, Sjouke Mauw, 2014 .

Attack-defense trees

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2014, J. Log. Comput..

Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent - Technical Report with Proofs

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2010 .

Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains

Barbara Kordy, Wojciech Widel, Barbara Kordy, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).

Quantitative Questions on Attack-Defense Trees pdf

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2012, ICISC.

Proceedings First International Workshop on Graphical Models for Security, Grenoble, France, April 12, 2014

Wolter Pieters, Barbara Kordy, Sjouke Mauw, 2014 .

Proceedings First International Workshop on Graphical Models for Security: Preface

Wolter Pieters, Barbara Kordy, Sjouke Mauw, 2014 .

A Rewrite Approach for Pattern Containment - Application to Query Evaluation on Compressed Documents

Barbara Kordy, Barbara Kordy, 2008, Structure-Based Compression of Complex Massive Data.

How Well Can I Secure My System?

Barbara Kordy, Wojciech Widel, 2017, IFM.

Constructing Optimistic Multi-party Contract Signing Protocols

Barbara Kordy, Sasa Radomirovic, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.

How to Handle Rainbow Tables with External Memory

Barbara Kordy, Gildas Avoine, Xavier Carpent, 2017, ACISP.

Probabilistic reasoning with graphical security models

Barbara Kordy, Marc Pouly, Patrick Schweitzer, 2016, Inf. Sci..

Exploiting attack–defense trees to find an optimal set of countermeasures

Barbara Kordy, Wojciech Widel, Barbara Kordy, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).

ADTool: Security Analysis with Attack-Defense Trees

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2013, QEST.

Guided Design of Attack Trees: A System-Based Approach

Sophie Pinchinat, Barbara Kordy, Maxime Audinot, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).

Is My Attack Tree Correct?

Sophie Pinchinat, Barbara Kordy, Maxime Audinot, 2017, ESORICS.

On Quantitative Analysis of Attack-Defense Trees with Repeated Labels

Barbara Kordy, Wojciech Widel, Barbara Kordy, 2018, POST.

Attack Trees: A Notion of Missing Attacks

Sophie Pinchinat, Barbara Kordy, Yann Thierry-Mieg, 2019, GraMSec@CSF.

Is my attack tree correct? Extended version pdf

Sophie Pinchinat, Barbara Kordy, Maxime Audinot, 2017, ArXiv.

Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers

Barbara Kordy, Barbara Kordy, 2016 .

Graphical Models for Security

Barbara Kordy, Kim Dong Seong, Ekstedt Mathias, 2015, Lecture Notes in Computer Science.

A Probabilistic Framework for Security Scenarios with Dependent Actions

Barbara Kordy, Patrick Schweitzer, Marc Pouly, 2014, IFM.

Graphical Models for Security

Dong Seong Kim, Mathias Ekstedt, Barbara Kordy, 2016, Lecture Notes in Computer Science.

Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent pdf

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2010, GameSec.

ADTool: Security Analysis with Attack-Defense Trees (Tool Demonstration Paper)

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2013 .

Foundations of Attack-Defense Trees

Barbara Kordy, Patrick Schweitzer, Sjouke Mauw, 2010, Formal Aspects in Security and Trust.

Attack Trees with Sequential Conjunction

Barbara Kordy, Ravi Jhawar, Rolando Trujillo-Rasua, 2015, SEC.