Saurav Kumar Ghosh

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 12

Top Topics

Probabilistic Automata

Control Software

Reliability Assessment

Top Venues

ACM Trans. Embed. Comput. Syst.

IEEE Embed. Syst. Lett.

Publications

Saurav Kumar Ghosh, Jaffer Sheriff R. C, Vibhor Jain, Soumyajit Dey
Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 19 (3) (2020)
Sunandan Adhikary, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions. CPSIOTSEC@CCS (2020)
Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations. CoRR (2020)
Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations. DATE (2020)
Sunandan Adhikary, Ipsita Koley, Sumana Ghosh, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions. CoRR (2020)
Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
Performance, Security Tradeoffs in Secure Control. IEEE Embed. Syst. Lett. 11 (4) (2019)
Saurav Kumar Ghosh, Soumyajit Dey, Dip Goswami, Daniel Mueller-Gritschneder, Samarjit Chakraborty
Design and validation of fault-tolerant embedded controllers. DATE (2018)
Saurav Kumar Ghosh, Soumyajit Dey
SERD: A simulation framework for estimation of system level reliability degradation. DATE (2017)
Saurav Kumar Ghosh, P. Vishnuvardhan, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, Partha Pratim Chakrabarti
RELSPEC: a framework for reliability aware design of component based embedded systems. Des. Autom. Embed. Syst. 21 (1) (2017)
Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey
Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress. EMSOFT Companion (2017)
Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra, Soumyajit Dey
Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems. VDAT (2016)
Saurav Kumar Ghosh, Aritra Hazra, Soumyajit Dey
RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications. VLSI Design (2015)