Integrating Safety and Cybersecurity through Stochastic Model Checking

Informations projet

CAESAR

N° de convention de subvention: 864075

DOI

10.3030/864075

Date de signature de la CE 20 Mars 2020

Date de début 1 Juin 2020

Date de fin 30 Novembre 2025

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 2 000 000,00

Contribution de l’UE

€ 2 000 000,00

Coordonné par

UNIVERSITEIT TWENTE
Netherlands

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (4)

Parametric Analyses of Attack-fault Trees

Auteurs: Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Publié dans: Fundamenta Informaticae, Numéro 182, 2021, Page(s) 69-94, ISSN 1875-8681
Éditeur: IOS Press
DOI: 10.3233/fi-2021-2066

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

Auteurs: Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Publié dans: Computing Research Repository (CoRR), Nov. 2021, 2021, ISSN 2331-8422
Éditeur: CoRR

Efficient Algorithms for Quantitative Attack Tree Analysis

Auteurs: Carlos E. Budde, Mariëlle Stoelinga
Publié dans: Computing Research Repository (CoRR), 2021, ISSN 2331-8422
Éditeur: CoRR

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

Auteurs: Christina Kolb, Stefano M. Nicoletti, Marijn Peppelman, Mariëlle Stoelinga
Publié dans: Computing Research Repository (CoRR), 2021, ISSN 2331-8422
Éditeur: CoRR June 2021

Conference proceedings (7)

Model-Free Reinforcement Learning for Branching Markov Decision Processes

Auteurs: Hahn E.M., Perez M., Schewe S., Somenzi F., Trivedi A., Wojtczak D.
Publié dans: CAV 2021: Computer Aided Verification, 2021, Page(s) 651-673
Éditeur: Springer, Cham
DOI: 10.1007/978-3-030-81688-9_30

The Marriage Between Safety and Cybersecurity: Still Practicing.

Auteurs: Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn
Publié dans: 27th SPIN 2021: Virtual Event, 2021, Page(s) 3-21
Éditeur: Springer

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

Auteurs: Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
Publié dans: 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
Éditeur: Springer

Symblicit exploration and elimination for probabilistic model checking

Auteurs: Ernst Moritz Hahn, Arnd Hartmanns
Publié dans: SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Page(s) 1798–1806
Éditeur: ACM
DOI: 10.1145/3412841.3442052

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives

Auteurs: Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Publié dans: Formal Methods. FM 2021, 2021, Page(s) 142-159
Éditeur: Springer
DOI: 10.1007/978-3-030-90870-6_8

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

Auteurs: Carlos E. Budde, Christina Kolb, Mariëlle Stoelinga
Publié dans: QEST 2021: Quantitative Evaluation of Systems, 2021, Page(s) 457-467
Éditeur: Springer

Efficient Algorithms for Quantitative Attack Tree Analysis

Auteurs: Carlos E. Budde, Mariëlle Stoelinga
Publié dans: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, Page(s) 1-15
Éditeur: IEEE
DOI: 10.1109/csf51468.2021.00041