2023
WW, Simon Hacks, Mathias Ekstedt, Pontus Johnson, Robert LagerströmThe Meta Attack Language - A Formal Description, Computers & Security 130: 103284   [final]

2022
WW, Preetam Mukherjee, Mathias EkstedtSecurity 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: