CPS Security and Privacy

    Journals

  1. Ipsita Koley, Soumyajit Dey, Debdeep Mukhopadhyay, Sachin Kumar Singh, Lavanya Lokesh, Shantaram Vishwanath Ghotgalkar, "CAD support for Security and Robustness Analysis of Safety-Critical Automotive Software ", ACM Transactions on Cyber-Physical Systems (Accepted)
  2. Boyapally Harishma, Paulson Mathew, Sikhar Patranabis, Urbi Chatterjee, Umang Agarwal,Manu Maheshwari, Soumyajit Dey, and Debdeep Mukhopadhyay, "Safe is the new Smart: PUF-based Authentication for Load Modification-Resistant Smart Meters", IEEE Transactions on Dependable and Secure Computing, Volume 19, Issue 1, pp 663-680, 2022
  3. Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, "Performance, Security trade-offs in Secure control", IEEE Embedded Systems Letters,Volume 11, Issue 4, pp. 102-105, (2019)

    Conferences

  1. Suman Maity, Anjana B., Sunandan Adhikary, Ipsita Koley, Soumyajit Dey, "Targeted Attack Synthesis for Smart Grid Vulnerability Analysis", CCS 2023
  2. Arkaprava Sain, Suraj Singh, Sunandan Adhikary, Ipsita Koley and Soumyajit Dey, "Work-in-Progress: Securing Safety-Critical Control Tasks with Attack-aware Multi-Rate Scheduling", RTAS 2023
  3. Akash Bhattacharya, Sunandan Adhikary, Ipsita Koley, Anirban Majumder, Soumyajit Dey, "Work -in-progress: Adaptive CUSUM-Based Residue Analysis for Stealthy Attack Detection in Cyber-Physical Systems", ICCPS 2023
  4. Anik Roy, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey,"Work-in-progress: Optimizing RSU Placements for Securing Vehicle Platoon Against False Data Injection Attacks", ICCPS 2023
  5. Ipsita Koley, Sunandan Adhikary, Arkaprava Sain, and Soumyajit Dey "Design and Deployment of Resilient Control Execution Patterns: A Prediction, Mitigation Approach", ICCPS 2023
  6. Soumyadyuti Ghosh, Soumyajit Dey and Debdeep Mukhopadhyay, "SMarT: A SMT based Privacy Preserving Smart Meter Streaming Methodology", SPACE 2022
  7. Sunandan Adhikary, Ipsita Koley, Srijeeta Maity, Soumyajit Dey, "Work-in-Progress: Control Skipping Sequence Synthesis to Counter Schedule-based Attacks", RTSS 2022 Brief presentations
  8. Ipsita Koley, Sunandan Adhikary and Soumyajit Dey,"A Framework for Evaluating Connected Vehicle Security against False Data Injection Attacks", Euromicro DSD 2022
  9. Soumyadyuti Ghosh, Urbi Chatterjee, Rumia Masburah, Soumyajit Dey and Debdeep Mukhopadhyay, "Is the Whole lesser than its Parts? Breaking an Aggregation based Privacy aware Metering Algorithm", Euromicro DSD 2022
  10. Ipsita Kolay, Sunandan Adhikary, Soumyajit Dey," Catch Me If You Learn: Real-Time Attack detection and Mitigation in Learning Enabled CPS",RTSS 2021
  11. Soumyadyuti Ghosh, Urbi Chatterjee, Durba Chatterjee, Rumia Masburah, Debdeep Mukhopadhyay, and Soumyajit Dey, "Demand Manipulation Attack Resilient Privacy Aware Smart Grid using PUFs and Blockchain", CIMSS workshop in ACNS 2021
  12. Sunandan Adhikary, Ipsita Koley, Saurav Kr. Ghosh, Sumana Ghosh, Soumyajit Dey and Debdeep Mukhopadhyay, "Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions", CCS pre-conference Joint Workshop on CPS&IoT Security and Privacy (CPSIOTSEC) 2020
  13. Philipp Kremer, Ipsita Koley, Soumyajit Dey, Sangyoung Park, "State Estimation for Attack Detection in Vehicle Platoon using VANET and Controller Model", 23-rd International Conference on Intelligent Transportation (ITSC) 2020
  14. 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
  15. Johann Knechtel, Elif Bilge Kavun, Francesco Regazzoni, Annelie Heuser, Anupam Chattopadhyay, Debdeep Mukhopadhyay, Soumyajit Dey, Yunsi Fei, Yaacov Belenky, Itamar Levi, Tim Güneysu, Patrick Schaumont, Ilia Polian, "Toward Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA", DATE 2020

AI enabled CPS

    Journals

  1. Sumanta Dey, Member, Anusha Mujumdar, Pallab Dasgupta, Soumyajit Dey, "Adaptive Safety Shields for Reinforcement Learning-based Cell Shaping", IEEE Transactions on Network and Service Management, (Accepted)
  2. Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey, "Safe and Stable RL (S2RL) Driving Policies Using Control Barrier and Control Lyapunov Function"IEEE Transactions on Intelligent Vehicles (IV), (Accepted)

    Conferences

  1. Briti Gangopadhyay, Pallab Dasgupta and Soumyajit Dey, "PruVer: Verification assisted Pruning for Deep Reinforcement Learning", PRICAI 2023
  2. Sumanta Dey, Sharat Bhat, Pallb Dasgupta and Soumyajit Dey, "Imperative Action Masking for Safe Exploration in Reinforcement Learning", 5th International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2023) at AAMAS 2023
  3. Briti Gangopadhyay, Pallab Dasgupta and Soumyajit Dey, "Counter-Example Guided Policy Refinement in Multi-agent Reinforcement Learning", AAMAS 2023
  4. Sumanta Dey, Pallab Dasgupta and Soumyajit Dey, "Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization", SafeAI 2023 (at AAAI)
  5. Briti Gangopadhyay, Pallab Dasgupta and Soumyajit Dey, "Safety-Aware Neural Pruning For Deep Reinforcement Learning", AAAI 2023 Student Abstract and Poster (oral presenttaion contest finalist)
  6. Rumia Masburah, Rajib Jana, Sayan Sinha, Soumyajit Dey and Qi Zhu, "Co-designing Intelligent Control of Building HVACs and Microgrids", Euromicro DSD 2021
  7. Rumia Masburah, Rajib Lochan Jana, Ainuddin Khan, Shichao Xu, Shuyue Lan, Soumyajit Dey and Qi Zhu, "Adaptive-Learning Based Building Load Prediction for Microgrid Economic Dispatch", DATE 2021
  8. Plaban K. Bhowmick, Soumyajit Dey, Abinash Samantaray, Debnath Mukherjee, Prateep Misra "A temporal constraint based planning approach for city tour and travel plan generation", IHCI 2012.

CPS Design and Verification

    Journals

  1. Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Bruto Da Costa, Soumyajit Dey, Aritra Hazra and Pallab Dasgupta, "SMT-based Verification of Safety-Critical Embedded Control Software", IEEE Embedded Systems Letters Volume 13, Issue 3, pp. 138-141, September 2021
  2. Sumana Ghosh, Soumyajit Dey and Pallab Dasgupta, "Performance-driven Post-Processing of Control Loop Execution Schedules", ACM Transactions on Design Automation of Electronic Systems Vol. 26, Issue 2, October 2020
  3. Sumana Ghosh, Arnab Mondal, Philipp H. Kindt, Prateek Sharma, Yash Agarwal, Soumyajit Dey, Alok Kanti Deb, and Samarjit Chakraborty, "A Programmable Open Architecture Testbed for CPS Education", IEEE Design and Test, Vol. 37, Issue 6, December 2020
  4. Rajib Lochan Jana, Soumyajit Dey, Pallab Dasgupta, "A Hierarchical HVAC Control Scheme for Energy-Aware Smart Building Automation", ACM Transactions on Design Automation of Electronic Systems, Vol. 25, Issue 4, May 2020
  5. Saurav Kumar Ghosh, Jaffer Sheriff R C, Vibhor Jain, Soumyajit Dey,"Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems", ACM Transactions on Embedded Computing Systems , Vol. 19, Issue 3, May 2020
  6. Sumana Ghosh, Soumyajit Dey and Pallab Dasgupta,"Pattern Guided Integrated Scheduling and Routing in Multi-hop Control Networks", ACM Transactions on Embedded Computing Systems , Volume 9, Issue 2, February 2020
  7. Sumana Ghosh, Soumyajit Dey and Pallab Dasgupta,"Performance and Energy aware Robust Specification of Control Execution Patterns under Dropped Samples", IET Computers & Digital Techniques, Volume 13, Issue 6, pp. 493-504, (2019)
  8. Rajorshee Raha, Pallab Dasgupta, Soumyajit Dey, "Algorithmic approaches for optimizing ECU time using multi-rate sampling", Control Theory and Technology (Springer), Volume 16, Issue 3, pp 173 - 190, (2018)
  9. Sumana Ghosh, Soumyajit Dey and Pallab Dasgupta, "Co-synthesis of Loop Execution Patterns for Multi-Hop Control Networks", IEEE Embedded Systems Letters, Volume: 10, Issue 4, pp 111-114, December 2018
  10. Sumana Ghosh, Souradeep Dutta, Soumyajit Dey and Pallab Dasgupta, "A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control", ACM Transactions on Embedded Computing Systems (TECS), Volume 16, Issue 5s, September 2017, Article No. 189, Special Issue on ESWEEK 2017
  11. Saurav Kumar Ghosh, Vishnuvardhan P, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, P. P. Chakrabarti, "RELSPEC: A Framework for Reliability Aware Design of Component based Embedded Systems", Design Automation for Embedded Systems (Springer), Volume 21, Issue 1, pp 37-87, March 2017
  12. Rajorshee Raha, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta, "Multi- rate Sampling for Power-Performance Trade-off in Embedded Control", IEEE Embedded Systems Letters , vol 8(4), pp 77-80 , 2016

    Conferences

  1. Gulabi Mandal, Anik Roy, Ayantika Chatterjee and Soumyajit Dey, "Work-in-Progress: Age of Information-Aware CACC for Vehicle Platooning", EWSN 2023
  2. Sumana Ghosh, Arnab Mondal, Debayan Roy, Philipp H. Kindt, Soumyajit Dey and Samarjit Chakraborty, "Proactive Feedback for Networked CPS", The 36th ACM/SIGAPP Symposium on Applied Computing (SAC 2021) Cyber-Physical Systems Track
  3. Hengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty and Qi Zhu, "Security-driven Codesign with Weakly-hard Constraints for Real-time Embedded Systems", ICCD 2019
  4. Sumana Ghosh, Dey Soumyajit and Pallab Dasgupta,"Synthesizing Performance-aware (m,k)-firm Control Execution Patterns under Dropped Samples", VLSI Design 2019 - honourable mention
  5. Saurav Kumar Ghosh, Soumyajit Dey, Dip Goswami, Daniel Müller- Gritschneder and Samarjit Chakraborty, "Design and Validation of Fault- tolerant Embedded Controllers", DATE 2018
  6. Saurav Kumar Ghosh, Abhimanyu Nanda, Soumyajit Dey, " Reliability- Aware Real Time Scheduling Strategies for Heterogeneous Embedded Systems", RAMS (Reliability and Maintainability Symposium) 2018
  7. Sumana Ghosh, Souradeep Dutta, Soumyajit Dey and Pallab Dasgupta, "A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control", EMSOFT 2017
  8. Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey, "Work-in-Progress: Verifying Stability Guarantees of Control Software Implementations in the Presence of Sensor Level Faults", EMSOFT 2017
  9. Saurav Kumar Ghosh and Soumyajit Dey, "SERD: A Simulation Framework for Estimation of System Level Reliability Degradation", DATE 2017
  10. Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, and Soumyajit Dey, "Failure Estimation of Behavioral Specifications", SETTA 2016
  11. Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta and Manuel Mazo Jr., "Scheduling of Controllers' Update-rates for Residual Bandwidth Utilization", FORMATS 2016
  12. Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra and Soumyajit Dey, "Synthesis of Scheduler Automata Guaranteeing Stability and Reliability of Embedded Control Systems", VDAT 2016
  13. M. Becker, S. Mohamed, K. Albers, P.P. Chakrabarti, S. Chakraborty, P. Dasgupta, S. Dey, R. Metta, "Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow" Asia-Pacific Software Engineering Conference (APSEC) - 2015
  14. Debasmita Lohar, Soumyajit Dey "Integrating Formal Methods with Testing for Reliability Estimation of Component Based Systems ", International Symposium on Software Reliability Engineering (ISSRE) - 2015
  15. Rajorshee Raha, Soumyajit Dey, Pallab Dasgupta, "Adaptive Sharing of Sampling Rates among Software Based Controllers", IEEE Multi - Conference on System and Control (MSC) - 2015
  16. Saurav Kumar Ghosh, Aritra Hazra and Soumyajit Dey "RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications", IEEE International Conference on VLSI Design 2015.
  17. Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti and Pallab Dasgupta "Synthesis of Sampling Modes for Adaptive Control", IEEE International Conference on Control System, Computing and Engineering 2014
  18. Rajorshee Raha, Soumyajit Dey, Pratha Pratim Chakrabarti, Pallab Dasgupta, "Multi-mode Sampling Period Selection for Embedded Real- Time Control" - [POSTER] in Work-in-progress track of 51st Design Automation Conference (DAC) - 2014

Real time Heterogeneous Computing with GPGPUs

    Journals

  1. Danny Pereira, Anirban Ghose, Sumana Ghosh, Soumyajit Dey, "Inferencing on Edge Devices: a Time and Space Aware Co-scheduling Approach", ACM Transactions on Design Automation of Electronic Systems
  2. Anirban Ghose, and Soumyajit Dey, "FGFS: Feature Guided Frontier Scheduling for SIMT DAGs", The Journal of Supercomputing, Springer, Volume 78, Issue 9, pp 11702-11743, 2022
  3. Anirban Ghose, Siddharth Singh, Vivek Kulaharia, Lokesh Dokara, Srijeeta Maity and Soumyajit Dey, "PySchedCL: Leveraging Concurrency in Heterogeneous Data-Parallel Systems", IEEE Transactions on Computers (TC), (Accepted)
  4. Srijeeta Maity, Anirban Ghose, Soumyajit Dey and Swarnendu Biswa, "Thermal Aware Adaptive Platform Management for Heterogeneous Embedded Systems",ACM Transactions on Embedded Computing Systems (TECS), Volume 20, Issue 5s, October 2021, Article No. 97, pp 1- 28, Special Issue on ESWEEK 2021
  5. Anirban Ghose, Lokesh Dokara, Soumyajit Dey, Pabitra Mitra, "A Framework for OpenCL Task Scheduling on Heterogeneous Multicore ", Parallel Processing Letters Vol. 27, No. 3-4 (2017)

    Conferences

  1. Srijeeta Maity, Rudrajyoti Roy, Anirban Majumder, Soumyajit Dey, Ashish Hota, "Future aware Dynamic Thermal Management in CPU-GPU Embedded Platforms", RTSS 2022
  2. Anirban Ghose, Srijeeta Maity, Arijit Kar, Soumyajit Dey, "Orchestration of Perception Systems for Reliable Performance in Heterogeneous Platforms", DATE 2021
  3. Srijeeta Maity, Anirban Ghose, Soumyajit Dey, Sangyoung Park and Samarjit Chakraborty, "WIP: Cooling by Core-idling: Thermal-aware Thread Scheduling for Mobile Multicore Processors", RTSS 2021 Brief presentations
  4. Srijeeta Maity, Anirban Ghose, Soumyajit Dey and Swarnendu Biswa, "Thermal Aware Adaptive Platform Management for Heterogeneous Embedded Systems", EMSOFT 2021
  5. Srijeeta Maity, Anirban Ghose, Soumyajit Dey and Swarnendu Biswas,"Thermal Load aware Adaptive Scheduling for Heterogeneous Platforms", VLSI 2020
  6. Anirban Ghose, Soumyajit Dey, Pabitra Mitra and Mainak Chaudhuri, "Divergence Aware Automated Partitioning of OpenCL Workloads", India Software Engineering Conference (ISEC) - 2016

EDA / Embedded System Design : Theory and Practices

    Journals

  1. Rajib Lochan Jana, Soumyajit Dey, Pallab Dasgupta, Arijit Mondal, "Automated Planning for finding Alternative Bug Traces", IET Computers & Digital Techniques Vol. 14, Issue 6, pp. 322-335, 2020
  2. Soumyajit Dey, Dipankar Sarkar, Anupam Basu "A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems", IEEE Transaction Computers , vol 62(10), pp 1917-1931, 2013
  3. Soumyajit Dey, Dipankar Sarkar, Anupam Basu "A Kleene Algebra of Tagged System Actors" - IEEE Embedded Systems Letters, vol 3(1), pp 28- 31, 2011
  4. Soumyajit Dey, Dipankar Sarkar, Anupam Basu "A Tag Machine based Performance Evaluation Method for Job-Shop Schedules", IEEE Transaction CAD, vol 29(7), pp 1028-1041, 2010
  5. Soumyajit Dey, Praveen Rokkam, Anupam Basu "Modeling and Analysis of Embedded Multimedia Applications using Colored Petri Nets" - International Journal of Modeling, Simulation, and Scientific Computing, vol 2(2), 2011, World Scientific Publishing.
  6. Arijit Mukhopadhyay, Monojit Choudhury, Soumen Chakraborty, Anirban Lahiri, Soumyajit Dey, Anupam Basu "Shruti - An Embedded Text to Speech System for Indian Languages", IEE Proceedings on Software Engineering, April 2006, Vol 153-(2), pp 75-79.

    Conferences

  1. Rajib Lochan Jana, Shashank Kuchibhotla, Soumyajit Dey, Pallab Dasgupta, "Planning Based Guided Reconstruction of Corner Cases in Architectural Validation ", VDAT 2016
  2. Ratnajit Mukherjee, Soumyajit Dey, Sumit Das, Anupam Basu "An Iconic and keyboard based Communication Tool for People with Multiple Disabilities", IEEE TechSym'10
  3. Soumyajit Dey, Ratnajit Mukherjee, Anupam Basu "Embedded Sanyog: a Portable Communication Tool for People with Multiple Disabilities", EISE 2009
  4. Soumyajit Dey, Monu Kedia, Anupam Basu "An Approach to Software Performance Evaluation on Customized Embedded Processors", International Conference on VLSI Design 2008 Highlighted in EE Times
  5. Soumyajit Dey, Monu Kedia, Anupam Basu, "Architectural Optimizations for Text to Speech Synthesis in Embedded Systems", ASPDAC 2007
  6. Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam Basu "Embedded Support Vector Machine: Architectural Enhancements and Evaluation", International Conference on VLSI Design 2007
  7. Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay Anupam Basu "An Approach to Architectural Enhancement for Embedded Speech Applications", International Conference on VLSI Design 2006
  8. Arijit Mukhopadhyay, Soumyajit Dey, Pawan Saraswat, Susmit Biswas, Vijay Srinivas Nori, Samit Bhattacharya, Anupam Basu "Sanyog: An Iconic Communication Aid for Children Suffering from Cerebral Palsy and Motor Neuron Disorders", International Conference on VLSI Design 2006 - Student Design Contest, Winner of best Design award
  9. Soumyajit Dey, Kinjal Nandy, Amit Konar "Macro-cell placement and Routing in VLSI using Genetic Algorithms", CODIS 2004

Research Monograph