2023
WW,
Simon Hacks,
Mathias Ekstedt,
Pontus Johnson,
Robert Lagerström, The Meta Attack Language - A Formal Description, Computers & Security
130: 103284
[final]
2022
WW,
Preetam Mukherjee,
Mathias Ekstedt, Security Countermeasures Selection using the Meta Attack Language and Probabilistic Attack Graphs, IEEE Access
10: 89645-89662
[final]
2021
Wei Zheng, WW, Ligong Wang, On implicit
heavy subgraphs and hamiltonicity of 2-connected graphs, Discussiones Mathematicae Graph Theory
41 (1): 167-181
[PDF]
2020
Barbara Fila, WW, Exploiting attack-defense trees to find an optimal set of countermeasures, CSF 2020: 395-410
2019
Barbara Fila, WW, Attack-defense trees for abusing optical power meters: A case study and the OSEAD tool experience report, GraMSec 2019: 95-125
Barbara Fila, WW, Efficient attack-defense tree analysis using Pareto attribute domains, CSF 2019: 200-215 [PDF]
WW, Maxime Audinot,
Barbara Fila,
Sophie Pinchinat,
Beyond 2014: Formal methods for attack tree-based security modeling,
ACM Computing Surveys 52 (4):
75:1-75:36 [preprint | final]
2018
Barbara Kordy, WW, On
quantitative analysis of attack-defense trees with repeated labels,
POST 2018: 325-346 [Errata
| PDF]
2017
Barbara Kordy, WW, How well
can I secure my system?,
IFM 2017: 332-347 [Errata | PDF]
WW, Fan's
condition on induced subgraphs for circumference and pancyclicity,
Opuscula Mathematica 37 (4):
617-639 [PDF]
WW, A Fan-type
heavy triple of subgraphs for pancyclicity of
2-connected graphs, Discrete Mathematics 340 (7):
1639-1644 [PDF]
WW, A triple of
heavy
subgraphs ensuring pancyclicity
of
2-connected graphs, Discussiones Mathematicae Graph Theory
37 (2): 477-500
[PDF]
WW, Clique-heavy
subgraphs and pancyclicity
of
2-connected graphs, Information Processing
Letters 117:
6-9 [PDF]
2016
WW, A Fan-type
heavy pair of subgraphs for pancyclicity
of
2-connected graphs, Discussiones Mathematicae Graph Theory
36 (1):
173-184 [PDF]
Ph.D. theses
WW, Formal modeling and quantitative analysis of security using attack-defense trees, INSA Rennes, 2019 [PDF][slides]
WW, Heavy subgraphs and pancyclicity, AGH UST, 2017 [PDF]
Other stuff: