Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
Mon 12 Jul 2021 10:00 - 11:00 at SPIN - Invited talk 1 Chair(s): Dragan Bosnacki

Safety and security are two historically separated fields that have many aspects in common. Safety is the absence of disruptions due to unintended failures; security is the absence of disruptions due to malicious attacks. While both safety and security aim at mitigating system risks with cost-effective counter measures, they take opposing views when in comes to modelling, measuring and mitigating. In this talk, I will present the main differences and similarities between safety and security risk analyses, as well as directions to reconcile these important fields, through mathematical game theory, uncertainty reasoning and stochastic analysis. The research is funded by an ERC consolidator grant CAESAR: integrating safety and cybersecurity through stochastic model checking.

Mon 12 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

10:00 - 11:00
Invited talk 1SPIN at SPIN
Chair(s): Dragan Bosnacki Eindhoven University of Technology, The Netherlands
10:00
60m
Talk
Safety versus security: why have they not married yet?
SPIN
Marielle Stoelinga University of Twente and Radboud University, Nijmegen