Wojciech Widel

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 13

Top Topics

Graph Properties

Countermeasures

Connected Graphs

Top Venues

Discuss. Math. Graph Theory

Inf. Process. Lett.

Publications

Wojciech Widel, Simon Hacks, Mathias Ekstedt, Pontus Johnson, Robert Lagerström
The meta attack language - a formal description. Comput. Secur. 130 (2023)
Wojciech Widel, Preetam Mukherjee, Mathias Ekstedt
Security Countermeasures Selection Using the Meta Attack Language and Probabilistic Attack Graphs. IEEE Access 10 (2022)
Ligong Wang, Wojciech Widel, Wei Zheng
On implicit heavy subgraphs and Hamiltonicity of 2-connected graphs. Discuss. Math. Graph Theory 41 (1) (2021)
Barbara Fila, Wojciech Widel
Exploiting attack-defense trees to find an optimal set of countermeasures. CSF (2020)
Wojciech Widel, Maxime Audinot, Barbara Fila, Sophie Pinchinat
Beyond 2014: Formal Methods for Attack Tree-based Security Modeling. ACM Comput. Surv. 52 (4) (2019)
Barbara Fila, Wojciech Widel
Attack-Defense Trees for Abusing Optical Power Meters: A Case Study and the OSEAD Tool Experience Report. GraMSec@CSF (2019)
Barbara Fila, Wojciech Widel
Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains. CSF (2019)
Barbara Kordy, Wojciech Widel
On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. POST (2018)
Barbara Kordy, Wojciech Widel
How Well Can I Secure My System? IFM (2017)
Wojciech Widel
A Fan-type heavy triple of subgraphs for pancyclicity of 2-connected graphs. Discret. Math. 340 (7) (2017)
Wojciech Widel
Clique-heavy subgraphs and pancyclicity of 2-connected graphs. Inf. Process. Lett. 117 (2017)
Wojciech Widel
A triple of heavy subgraphs ensuring pancyclity of 2-connected graphs. Discuss. Math. Graph Theory 37 (2) (2017)
Wojciech Widel
A Fan-type heavy pair od subgraphs for pancyclicity of 2-connected graphs. Discuss. Math. Graph Theory 36 (1) (2016)