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…