15 Jun 2020
Marielle Stoelinga’s project CAESAR in integrating safety & cybersecurity through stochastic model checking has started. The project is funded by an an ERC consolidator grant.
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.
The goal of the CAESAR project is will develop an effective framework for the joint analysis of safety and security risks. In particular, the project will work on three important challenges than hindered successful integration thus far: