Jithin Nalu Purakkal | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Debdeep Mukhopadhyay
18 publications
Soumyajit Dey
11 publications
Ipsita Koley
7 publications
Nishant Sinha
3 publications
Saurav Kumar Ghosh
2 publications
Sachin Kumar Singh
2 publications
Amogh Kashyap K N
1 publication
Lavanya Lokesh
1 publication

research

∙ 02/27/2020

Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations

We consider the problem of securing a given control loop implementation ...

0 Ipsita Koley, et al. ∙