Integrating Safety and Cybersecurity through Stochastic Model Checking

Project Information

CAESAR

Grant agreement ID: 864075

DOI

10.3030/864075

EC signature date 20 March 2020

Start date 1 June 2020

End date 30 November 2025

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 2 000 000,00

EU contribution

€ 2 000 000,00

Coordinated by

UNIVERSITEIT TWENTE
Netherlands

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (4)

Parametric Analyses of Attack-fault Trees

Author(s): Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Published in: Fundamenta Informaticae, Issue 182, 2021, Page(s) 69-94, ISSN 1875-8681
Publisher: IOS Press
DOI: 10.3233/fi-2021-2066

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

Author(s): Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Published in: Computing Research Repository (CoRR), Nov. 2021, 2021, ISSN 2331-8422
Publisher: CoRR

Efficient Algorithms for Quantitative Attack Tree Analysis

Author(s): Carlos E. Budde, Mariëlle Stoelinga
Published in: Computing Research Repository (CoRR), 2021, ISSN 2331-8422
Publisher: CoRR

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

Author(s): Christina Kolb, Stefano M. Nicoletti, Marijn Peppelman, Mariëlle Stoelinga
Published in: Computing Research Repository (CoRR), 2021, ISSN 2331-8422
Publisher: CoRR June 2021

Conference proceedings (7)

Model-Free Reinforcement Learning for Branching Markov Decision Processes

Author(s): Hahn E.M., Perez M., Schewe S., Somenzi F., Trivedi A., Wojtczak D.
Published in: CAV 2021: Computer Aided Verification, 2021, Page(s) 651-673
Publisher: Springer, Cham
DOI: 10.1007/978-3-030-81688-9_30

The Marriage Between Safety and Cybersecurity: Still Practicing.

Author(s): Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn
Published in: 27th SPIN 2021: Virtual Event, 2021, Page(s) 3-21
Publisher: Springer

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

Author(s): Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
Published in: Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings, 2020, Page(s) 3-19, ISBN 978-3-030-63405-6
Publisher: Springer

Symblicit exploration and elimination for probabilistic model checking

Author(s): Ernst Moritz Hahn, Arnd Hartmanns
Published in: SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Page(s) 1798–1806
Publisher: ACM
DOI: 10.1145/3412841.3442052

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives

Author(s): Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Published in: Formal Methods. FM 2021, 2021, Page(s) 142-159
Publisher: Springer
DOI: 10.1007/978-3-030-90870-6_8

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

Author(s): Carlos E. Budde, Christina Kolb, Mariëlle Stoelinga
Published in: QEST 2021: Quantitative Evaluation of Systems, 2021, Page(s) 457-467
Publisher: Springer

Efficient Algorithms for Quantitative Attack Tree Analysis

Author(s): Carlos E. Budde, Mariëlle Stoelinga
Published in: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, Page(s) 1-15
Publisher: IEEE
DOI: 10.1109/csf51468.2021.00041