Barbara Kordy
Identifiers
- name variant Barbara Kordy 0.60 · backfill
Papers (6)
- Is my attack tree correct? Extended version cs.CR · 2017 · author #3
- Attack Trees with Sequential Conjunction cs.CR · 2015 · author #2
- ADTool: Security Analysis with Attack-Defense Trees (Extended Version) cs.CR · 2013 · author #1
- DAG-Based Attack and Defense Modeling: Don't Miss the Forest for the Attack Trees cs.CR · 2013 · author #1
- Quantitative Questions on Attack-Defense Trees cs.CR · 2012 · author #1
- Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent - Technical Report with Proofs cs.CR · 2010 · author #1
Mentions
- 1503.02261 #2 · backfill · confidence 0.70 Barbara Kordy
- 1305.6829 #1 · backfill · confidence 0.70 Barbara Kordy
- 1303.7397 #1 · backfill · confidence 0.70 Barbara Kordy
- 1210.8092 #1 · backfill · confidence 0.70 Barbara Kordy
- 1006.2732 #1 · backfill · confidence 0.70 Barbara Kordy
Frequent Coauthors
- Patrick Schweitzer 4 shared papers
- Sjouke Mauw 4 shared papers
- Ludovic Pi\`etre-Cambac\'ed\`es 1 shared papers
- Matthijs Melissen 1 shared papers
- Maxime Audinot 1 shared papers
- Piotr Kordy 1 shared papers
- Ravi Jhawar 1 shared papers
- Rolando Trujillo-Rasua 1 shared papers
- Sasa Radomirovic 1 shared papers
- Sophie Pinchinat 1 shared papers