Integrating Safety and Cybersecurity through Stochastic Model Checking

Projektinformationen

CAESAR

ID Finanzhilfevereinbarung: 864075

DOI 10.3030/864075

EK-Unterschriftsdatum 20 März 2020

Startdatum 1 Juni 2020

Enddatum 30 November 2025

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten € 2 000 000,00

EU-Beitrag € 2 000 000,00

Koordiniert durch

UNIVERSITEIT TWENTE
Netherlands

Veröffentlichungen

Peer reviewed articles (4)

Parametric Analyses of Attack-fault Trees

Autoren: Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Veröffentlicht in: Fundamenta Informaticae, Ausgabe 182, 2021, Seite(n) 69-94, ISSN 1875-8681
Herausgeber: IOS Press
DOI: 10.3233/fi-2021-2066

Attack time analysis in dynamic attack trees via integer linear programming.

Autoren: Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Veröffentlicht in: Computing Research Repository (CoRR), Nov. 2021, 2021, ISSN 2331-8422
Herausgeber: CoRR

Efficient Algorithms for Quantitative Attack Tree Analysis

Autoren: Carlos E. Budde, Mariëlle Stoelinga
Veröffentlicht in: Computing Research Repository (CoRR), 2021, ISSN 2331-8422
Herausgeber: CoRR

Model-based Safety and Security Co-analysis: a Survey

Autoren: Christina Kolb, Stefano M. Nicoletti, Marijn Peppelman, Mariëlle Stoelinga
Veröffentlicht in: Computing Research Repository (CoRR), 2021, ISSN 2331-8422
Herausgeber: CoRR June 2021

Conference proceedings (7)

Model-Free Reinforcement Learning for Branching Markov Decision Processes

Autoren: Hahn E.M., Perez M., Schewe S., Somenzi F., Trivedi A., Wojtczak D.
Veröffentlicht in: CAV 2021: Computer Aided Verification, 2021, Seite(n) 651-673
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-030-81688-9_30

The Marriage Between Safety and Cybersecurity: Still Practicing.

Autoren: Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn
Veröffentlicht in: 27th SPIN 2021: Virtual Event, 2021, Seite(n) 3-21
Herausgeber: Springer

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems

Autoren: Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
Veröffentlicht in: Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings, 2020, Seite(n) 3-19, ISBN 978-3-030-63405-6
Herausgeber: Springer

Symblicit exploration and elimination for probabilistic model checking

Autoren: Ernst Moritz Hahn, Arnd Hartmanns
Veröffentlicht in: SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Seite(n) 1798–1806
Herausgeber: ACM
DOI: 10.1145/3412841.3442052

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives

Autoren: Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Veröffentlicht in: Formal Methods. FM 2021, 2021, Seite(n) 142-159
Herausgeber: Springer
DOI: 10.1007/978-3-030-90870-6_8

Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies

Autoren: Carlos E. Budde, Christina Kolb, Mariëlle Stoelinga
Veröffentlicht in: QEST 2021: Quantitative Evaluation of Systems, 2021, Seite(n) 457-467
Herausgeber: Springer

Efficient Algorithms for Quantitative Attack Tree Analysis

Autoren: Carlos E. Budde, Mariëlle Stoelinga
Veröffentlicht in: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, Seite(n) 1-15
Herausgeber: IEEE
DOI: 10.1109/csf51468.2021.00041