Saurav Kumar Ghosh | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Debdeep Mukhopadhyay
18 publications
Soumyajit Dey
11 publications
Ipsita Koley
7 publications
Sunandan Adhikary
6 publications
Nishant Sinha
3 publications
Sachin Kumar Singh
2 publications
Amogh Kashyap K N
1 publication
Lavanya Lokesh
1 publication
Jithin Nalu Purakkal
1 publication
Sumana Ghosh
1 publication

research

∙ 07/16/2020

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

We consider the problem of provably securing a given control loop implem...

0 Sunandan Adhikary, et al. ∙

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. ∙

Success!

An error occurred