This work focuses on eliminating timing-side channels in real-time
safet...
Intelligent attackers can suitably tamper sensor/actuator data at variou...
Modern Cyber-Physical Systems (CPSs) are often designed as networked,
so...
Recent developments in the smart mobility domain have transformed automo...
Increased dependence on networked, software based control has escalated ...
We consider the problem of provably securing a given control loop
implem...