Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions

Sunandan Adhikary, Ipsita Koley, Sumana Ghosh +3

We consider the problem of provably securing a given control loop implementation in the presence of adversarial interventions on data exchange between plant and controller. Such in…