Wojciech Widel
Orcid: 0000000216805255
According to our database^{1},
Wojciech Widel
authored at least 14 papers
between 2016 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2023
Comput. Secur., 2023
2022
Security Countermeasures Selection Using the Meta Attack Language and Probabilistic Attack Graphs.
IEEE Access, 2022
2021
Discuss. Math. Graph Theory, 2021
2020
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020
2019
Formal modeling and quantitative analysis of security using attackdefense trees. (Modélisation formelle et analyse quantitative de la sécurité à l'aide d'arbres les attaques et de défense).
PhD thesis, 2019
ACM Comput. Surv., 2019
AttackDefense Trees for Abusing Optical Power Meters: A Case Study and the OSEAD Tool Experience Report.
Proceedings of the Graphical Models for Security  6th International Workshop, 2019
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
2018
Proceedings of the Principles of Security and Trust  7th International Conference, 2018
2017
Inf. Process. Lett., 2017
Discuss. Math. Graph Theory, 2017
Discret. Math., 2017
Proceedings of the Integrated Formal Methods  13th International Conference, 2017
2016
Discuss. Math. Graph Theory, 2016