Opendata, web and dolomites


Integrating Safety and Cybersecurity through Stochastic Model Checking

Total Cost €


EC-Contrib. €






Project "CAESAR" data sheet

The following table provides information about the project.


Organization address
postcode: 7522 NB

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Netherlands [NL]
 Total cost 2˙000˙000 €
 EC max contribution 2˙000˙000 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2019-COG
 Funding Scheme ERC-COG
 Starting year 2020
 Duration (year-month-day) from 2020-06-01   to  2025-05-31


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITEIT TWENTE NL (ENSCHEDE) coordinator 2˙000˙000.00


 Project objective

Emerging technologies, like self-driving cars, drones, and the Internet-of-Things must not impose threats to people, neither due to accidental failures (safety), nor due to malicious attacks (security). As historically separated fields, safety and security are often analyzed in isolation. They are, however, heavily intertwined: measures that increase safety often decrease security and vice versa. Also, security vulnerabilities often cause safety hazards, e.g. in autonomous cars. Therefore, for effective decision-making, safety and security must be considered in combination.

The CAESAR project will develop an effective framework for the joint analysis of safety and security risks. The successful integration of safety and security faces three challenges: 1. The complex interaction between safety and security, mapping how vulnerabilities and failures propagate through a system and lead to disruptions. 2. The lack of efficient algorithms to compute system-level risk metrics, such as the likelihood and expected damage of disruptions. Such metrics are pivotal to prioritize risks and mitigate them via appropriate countermeasures. 3. The lack of proper risk quantification methods. Numbers are crucial to devise cost-effective countermeasures. Yet, objective numbers on safety and (especially) security risks are notoriously hard to obtain. The CAESAR project will address these challenges by novel combinations of mathematical game theory, stochastic model checking and the Bayesian, fuzzy, and Dempster-Schafer frameworks for uncertainty reasoning. Key outcomes: • An effective framework for joint safety-security analysis • Scalable algorithms and diagnosis methods to compute safety-security risk metrics • Stochastic model checking in the presence of uncertainty CAESAR will not only yield breakthroughs in safety-security analysis, but also for quantitative analyses in other domains. It will make decision making on safety-security easier, more systematic, and transparent.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "CAESAR" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "CAESAR" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.1.)


The Enemy of the Good: Towards a Theory of Moral Progress

Read More  

FICOMOL (2019)

Field Control of Cold Molecular Collisions

Read More  

VictPart (2019)

Righting Victim Participation in Transitional Justice

Read More