Periodic Reporting for period 2 - SafeSecS (Abstractions for Safe and Secure HW-SW Systems)

Trains, planes, and other safety- and security-critical systems that our society relies on are controlled by computer systems, as is much of our critical infrastructure, including the power grid and cellular networks. But can we trust in the safety and security of these...