Wojciech Widel

14 papers A 2B 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
The meta attack language - a formal description.
Comput. Secur.
Wojciech Widel, Simon Hacks, Mathias Ekstedt, Pontus Johnson, Robert Lagerström
2022 J jnl
Security Countermeasures Selection Using the Meta Attack Language and Probabilistic Attack Graphs.
IEEE Access
Wojciech Widel, Preetam Mukherjee, Mathias Ekstedt
2021 J jnl
On implicit heavy subgraphs and Hamiltonicity of 2-connected graphs.
Discuss. Math. Graph Theory
Ligong Wang, Wojciech Widel, Wei Zheng
2020 A conf
Exploiting attack-defense trees to find an optimal set of countermeasures.
CSF
Barbara Fila, Wojciech Widel
2019 — conf
Attack-Defense Trees for Abusing Optical Power Meters: A Case Study and the OSEAD Tool Experience Report.
GraMSec
Barbara Fila, Wojciech Widel
2019 J jnl
Beyond 2014: Formal Methods for Attack Tree-based Security Modeling.
ACM Comput. Surv.
Wojciech Widel, Maxime Audinot, Barbara Fila, Sophie Pinchinat
2019 A conf
Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains.
CSF
Barbara Fila, Wojciech Widel
2019 — —
Formal modeling and quantitative analysis of security using attack-defense trees. (Modélisation formelle et analyse quantitative de la sécurité à l'aide d'arbres les attaques et de défense).
Wojciech Widel
2018 — conf
On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.
POST
Barbara Kordy, Wojciech Widel
2017 J jnl
A Fan-type heavy triple of subgraphs for pancyclicity of 2-connected graphs.
Discret. Math.
Wojciech Widel
2017 J jnl
A triple of heavy subgraphs ensuring pancyclity of 2-connected graphs.
Discuss. Math. Graph Theory
Wojciech Widel
2017 J jnl
Clique-heavy subgraphs and pancyclicity of 2-connected graphs.
Inf. Process. Lett.
Wojciech Widel
2017 B conf
How Well Can I Secure My System?
IFM
Barbara Kordy, Wojciech Widel
2016 J jnl
A Fan-type heavy pair od subgraphs for pancyclicity of 2-connected graphs.
Discuss. Math. Graph Theory
Wojciech Widel