| Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions S Adhikary, I Koley, SK Ghosh, S Ghosh, S Dey, D Mukhopadhyay Proceedings of the 2020 Joint Workshop on CPS&IoT Security and Privacy, 81-86, 2020 | 11 | 2020 |
| Formal synthesis of monitoring and detection systems for secure CPS implementations I Koley, SK Ghosh, S Dey, D Mukhopadhyay, AK KN, SK Singh, L Lokesh, ... 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 314-317, 2020 | 11 | 2020 |
| Design and validation of fault-tolerant embedded controllers SK Ghosh, S Dey, D Goswami, D Mueller-Gritschneder, S Chakraborty 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018 | 11 | 2018 |
| Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems SK Ghosh, JS RC, V Jain, S Dey ACM Transactions on Embedded Computing Systems (TECS) 19 (3), 1-29, 2020 | 9 | 2020 |
| Performance, Security Tradeoffs in Secure Control SK Ghosh, S Dey, D Mukhopadhyay IEEE Embedded Systems Letters 11 (4), 102-105, 2018 | 4 | 2018 |
| Relspec: a framework for early reliability refinement of embedded applications SK Ghosh, A Hazra, S Dey 2015 28th International Conference on VLSI Design, 41-46, 2015 | 3 | 2015 |
| RELSPEC: a framework for reliability aware design of component based embedded systems SK Ghosh, P Vishnuvardhan, SG Vadlamudi, A Hazra, S Dey, ... Design Automation for Embedded Systems 21 (1), 37-87, 2017 | 2 | 2017 |
| Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems SK Ghosh, A Mondal, S Dutta, A Hazra, S Dey 2016 20th International Symposium on VLSI Design and Test (VDAT), 1-6, 2016 | 2 | 2016 |
| Reliability Aware Real Time Scheduling Strategies for Heterogeneous Embedded Systems SK Ghosh, A Nanda, S Dey 2018 Annual Reliability and Maintainability Symposium (RAMS), 1-7, 2018 | 1 | 2018 |
| Work-in-progress: Verifying stability guarantees of control software implementations in the presence of sensor level faults SK Ghosh, D Lohar, D Das, S Dey 2017 International Conference on Embedded Software (EMSOFT), 1-2, 2017 | 1* | 2017 |
| SERD: A simulation framework for estimation of system level reliability degradation SK Ghosh, S Dey Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017 | | 2017 |
