Periodic Reporting for period 2 - CAESAR (Integrating Safety and Cybersecurity through Stochastic Model Checking)

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...