Saurav Kumar Ghosh

According to our database, Saurav Kumar Ghosh authored at least 10 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems.

Saurav Kumar Ghosh, Jaffer Sheriff R. C, Vibhor Jain, Soumyajit Dey

ACM Trans. Embed. Comput. Syst., 2020

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

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

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

Sunandan Adhikary, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay

Proceedings of the CPSIOTSEC'20: Proceedings of the 2020 Joint Workshop on CPS&IoT Security and Privacy, 2020

2019

Performance, Security Tradeoffs in Secure Control.

Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay

IEEE Embed. Syst. Lett., 2019

2018

Design and validation of fault-tolerant embedded controllers.

Saurav Kumar Ghosh, Soumyajit Dey, Dip Goswami, Daniel Mueller-Gritschneder, Samarjit Chakraborty

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

RELSPEC: a framework for reliability aware design of component based embedded systems.

Saurav Kumar Ghosh, P. Vishnuvardhan, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, Partha Pratim Chakrabarti

Des. Autom. Embed. Syst., 2017

Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress.

Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey

Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017

SERD: A simulation framework for estimation of system level reliability degradation.

Saurav Kumar Ghosh, Soumyajit Dey

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems.

Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra, Soumyajit Dey

Proceedings of the 20th International Symposium on VLSI Design and Test, 2016

2015

RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications.

Saurav Kumar Ghosh, Aritra Hazra, Soumyajit Dey

Proceedings of the 28th International Conference on VLSI Design, 2015