Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations.

Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha

Browse the full DATE paper archive.