Barbara Kordy - RankMe

29 papers A 2B 2C 1Misc 2Journal 10Unranked 9

Year	Rank	Type	Title / Venue / Authors
2018	A	`conf`	Guided Design of Attack Trees: A System-Based Approach. CSF Maxime Audinot, Sophie Pinchinat, Barbara Kordy
2018	—	`conf`	On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. POST Barbara Kordy, Wojciech Widel
2017	—	`conf`	Evil Twins: Handling Repetitions in Attack-Defense Trees - A Survival Guide. GraMSec Angèle Bossuat, Barbara Kordy
2017	B	`conf`	How Well Can I Secure My System? IFM Barbara Kordy, Wojciech Widel
2017	—	`conf`	How to Handle Rainbow Tables with External Memory. ACISP (1) Gildas Avoine, Xavier Carpent, Barbara Kordy, Florent Tardif
2017	—	`conf`	Is My Attack Tree Correct? ESORICS (1) Maxime Audinot, Sophie Pinchinat, Barbara Kordy
2017	J	`jnl`	Is my attack tree correct? Extended version. CoRR Maxime Audinot, Sophie Pinchinat, Barbara Kordy
2016	—	`ed.`	Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers GraMSec Sjouke Mauw, Barbara Kordy, Sushil Jajodia
2016	—	`ed.`	Graphical Models for Security - Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers GraMSec Barbara Kordy, Mathias Ekstedt, Dong Seong Kim
2016	J	`jnl`	Probabilistic reasoning with graphical security models. Inf. Sci. Barbara Kordy, Marc Pouly, Patrick Schweitzer
2016	C	`conf`	SPTool - Equivalence Checker for SAND Attack Trees. CRiSIS Barbara Kordy, Piotr Kordy, Yoann van den Boom
2015	Misc	`conf`	Attack Trees with Sequential Conjunction. SEC Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
2015	J	`jnl`	Attack Trees with Sequential Conjunction. CoRR Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
2014	B	`conf`	A Probabilistic Framework for Security Scenarios with Dependent Actions. IFM Barbara Kordy, Marc Pouly, Patrick Schweitzer
2014	J	`jnl`	Attack-defense trees. J. Log. Comput. Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
2014	J	`jnl`	DAG-based attack and defense modeling: Don't miss the forest for the attack trees. Comput. Sci. Rev. Barbara Kordy, Ludovic Piètre-Cambacédès, Patrick Schweitzer
2014	—	`ed.`	Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, April 12, 2014. GraMSec Barbara Kordy, Sjouke Mauw, Wolter Pieters
2013	J	`jnl`	ADTool: Security Analysis with Attack- Defense Trees (Extended Version) CoRR Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
2013	—	`conf`	ADTool: Security Analysis with Attack-Defense Trees. QEST Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
2013	J	`jnl`	DAG-Based Attack and Defense Modeling: Don't Miss the Forest for the Attack Trees CoRR Barbara Kordy, Ludovic Piètre-Cambacédès, Patrick Schweitzer
2012	J	`jnl`	Attribute Decoration of Attack-Defense Trees. Int. J. Secur. Softw. Eng. Alessandra Bagnato, Barbara Kordy, Per Håkon Meland, Patrick Schweitzer
2012	A	`conf`	Constructing Optimistic Multi-party Contract Signing Protocols. CSF Barbara Kordy, Sasa Radomirovic
2012	J	`jnl`	Quantitative Questions on Attack-Defense Trees CoRR Barbara Kordy, Sjouke Mauw, Patrick Schweitzer
2012	Misc	`conf`	Quantitative Questions on Attack-Defense Trees. ICISC Barbara Kordy, Sjouke Mauw, Patrick Schweitzer
2011	—	`conf`	Computational Aspects of Attack-Defense Trees. SIIS Barbara Kordy, Marc Pouly, Patrick Schweitzer
2010	J	`jnl`	Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent CoRR Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer
2010	—	`conf`	Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. GameSec Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer
2010	—	`conf`	Foundations of Attack-Defense Trees. Formal Aspects in Security and Trust Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
2008	—	`conf`	A Rewrite Approach for Pattern Containment. WADT Barbara Kordy