Saurav Kumar Ghosh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CCS | 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 |
| 2020 | DATE | 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 |
| 2018 | DATE | Design and validation of fault-tolerant embedded controllers. | Saurav Kumar Ghosh, Soumyajit Dey, Dip Goswami, Daniel Mueller-Gritschneder, Samarjit Chakraborty |
| 2017 | DATE | SERD: A simulation framework for estimation of system level reliability degradation. | Saurav Kumar Ghosh, Soumyajit Dey |
| 2017 | EMSOFT | 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 |
| 2015 | VLSID | RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications. | Saurav Kumar Ghosh, Aritra Hazra, Soumyajit Dey |