• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 41 matches

• 2024
• 
  Barbara Fila, Sasa Radomirovic:
  Nothing is Out-of-Band: Formal Modeling of Ceremonies. CSF 2024: 464-478
• 2020
• 
  Barbara Fila, Wojciech Widel:
  Exploiting attack-defense trees to find an optimal set of countermeasures. CSF 2020: 395-410
• 2019
• 
  Wojciech Widel, Maxime Audinot, Barbara Fila, Sophie Pinchinat:
  Beyond 2014: Formal Methods for Attack Tree-based Security Modeling. ACM Comput. Surv. 52(4): 75:1-75:36 (2019)
• 
  Barbara Fila, Wojciech Widel:
  Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains. CSF 2019: 200-215
• 
  Barbara Fila, Wojciech Widel:
  Attack-Defense Trees for Abusing Optical Power Meters: A Case Study and the OSEAD Tool Experience Report. GraMSec@CSF 2019: 95-125
• 
  Sophie Pinchinat, Barbara Fila, Florence Wacheux, Yann Thierry-Mieg:
  Attack Trees: A Notion of Missing Attacks. GraMSec@CSF 2019: 23-49
• 
  George Cybenko, David J. Pym, Barbara Fila:
  5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11086, Springer 2019, ISBN 978-3-030-15464-6 [contents]
• 2018
• 
  Maxime Audinot, Sophie Pinchinat, Barbara Kordy:
  Guided Design of Attack Trees: A System-Based Approach. CSF 2018: 61-75
• 
  Barbara Kordy, Wojciech Widel:
  On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. POST 2018: 325-346
• 2017
• 
  Gildas Avoine, Xavier Carpent, Barbara Kordy, Florent Tardif:
  How to Handle Rainbow Tables with External Memory. ACISP (1) 2017: 306-323
• 
  Angèle Bossuat, Barbara Kordy:
  Evil Twins: Handling Repetitions in Attack-Defense Trees - A Survival Guide. GraMSec@CSF 2017: 17-37
• 
  Maxime Audinot, Sophie Pinchinat, Barbara Kordy:
  Is My Attack Tree Correct? ESORICS (1) 2017: 83-102
• 
  Barbara Kordy, Wojciech Widel:
  How Well Can I Secure My System? IFM 2017: 332-347
• 
  Maxime Audinot, Sophie Pinchinat, Barbara Kordy:
  Is my attack tree correct? Extended version. CoRR abs/1706.08507 (2017)
• 2016
• 
  Barbara Kordy, Marc Pouly, Patrick Schweitzer:
  Probabilistic reasoning with graphical security models. Inf. Sci. 342: 111-131 (2016)
• 
  Barbara Kordy, Piotr Kordy, Yoann van den Boom:
  SPTool - Equivalence Checker for SAND Attack Trees. CRiSIS 2016: 105-113
• 
  Sjouke Mauw, Barbara Kordy, Sushil Jajodia:
  Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9390, Springer 2016, ISBN 978-3-319-29967-9 [contents]
• 
  Barbara Kordy, Mathias Ekstedt, Dong Seong Kim:
  Graphical Models for Security - Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9987, Springer 2016, ISBN 978-3-319-46262-2 [contents]
• 2015
• 
  Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua:
  Attack Trees with Sequential Conjunction. SEC 2015: 339-353
• 
  Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua:
  Attack Trees with Sequential Conjunction. CoRR abs/1503.02261 (2015)
• 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. 13-14: 1-38 (2014)
• 
  Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer:
  Attack-defense trees. J. Log. Comput. 24(1): 55-87 (2014)
• 
  Barbara Kordy, Marc Pouly, Patrick Schweitzer:
  A Probabilistic Framework for Security Scenarios with Dependent Actions. IFM 2014: 256-271
• 
  Peter Bajorski, Cezary Kazmierowski, Jerzy Cierniewski, Jan Piekarczyk, Krzysztof Kusnierek, Slawomir Królewicz, Henryk Terelak, Tomasz Stuczynski, Barbara Maliszewska-Kordybach:
  Use of clustering with partial least squares regression for predictions based on hyperspectral data. WHISPERS 2014: 1-4
• 
  Barbara Kordy, Sjouke Mauw, Wolter Pieters:
  Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, April 12, 2014. EPTCS 148, 2014 [contents]
• 2013
• 
  Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer:
  ADTool: Security Analysis with Attack-Defense Trees. QEST 2013: 173-176
• 
  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 abs/1303.7397 (2013)
• 
  Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer:
  ADTool: Security Analysis with Attack- Defense Trees (Extended Version). CoRR abs/1305.6829 (2013)
• 2012
• 
  Alessandra Bagnato, Barbara Kordy, Per Håkon Meland, Patrick Schweitzer:
  Attribute Decoration of Attack-Defense Trees. Int. J. Secur. Softw. Eng. 3(2): 1-35 (2012)
• 
  Barbara Kordy, Sasa Radomirovic:
  Constructing Optimistic Multi-party Contract Signing Protocols. CSF 2012: 215-229

skipping 11 more matches