Wojciech Widel

According to our database, Wojciech Widel authored at least 14 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

The meta attack language - a formal description.

Wojciech Widel, Simon Hacks, Mathias Ekstedt, Pontus Johnson, Robert Lagerström

Comput. Secur., 2023

2022

Security Countermeasures Selection Using the Meta Attack Language and Probabilistic Attack Graphs.

Wojciech Widel, Preetam Mukherjee, Mathias Ekstedt

IEEE Access, 2022

2021

On implicit heavy subgraphs and Hamiltonicity of 2-connected graphs.

Ligong Wang, Wojciech Widel, Wei Zheng

Discuss. Math. Graph Theory, 2021

2020

Exploiting attack-defense trees to find an optimal set of countermeasures.

Barbara Fila, Wojciech Widel

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

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

PhD thesis, 2019

Beyond 2014: Formal Methods for Attack Tree-based Security Modeling.

Wojciech Widel, Maxime Audinot, Barbara Fila, Sophie Pinchinat

ACM Comput. Surv., 2019

Attack-Defense Trees for Abusing Optical Power Meters: A Case Study and the OSEAD Tool Experience Report.

Barbara Fila, Wojciech Widel

Proceedings of the Graphical Models for Security - 6th International Workshop, 2019

Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains.

Barbara Fila, Wojciech Widel

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.

Barbara Kordy, Wojciech Widel

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

2017

Clique-heavy subgraphs and pancyclicity of 2-connected graphs.

Wojciech Widel

Inf. Process. Lett., 2017

A triple of heavy subgraphs ensuring pancyclity of 2-connected graphs.

Wojciech Widel

Discuss. Math. Graph Theory, 2017

A Fan-type heavy triple of subgraphs for pancyclicity of 2-connected graphs.

Wojciech Widel

Discret. Math., 2017

How Well Can I Secure My System?

Barbara Kordy, Wojciech Widel

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

A Fan-type heavy pair od subgraphs for pancyclicity of 2-connected graphs.

Wojciech Widel

Discuss. Math. Graph Theory, 2016