2 papers
cs.CR2020
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…
cs.CR2020
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations
Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey +6
We consider the problem of securing a given control loop implementation of a cyber-physical system (CPS) in the presence of Man-in-the-Middle attacks on data exchange between plant…