Soumyajit Dey

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 81

Top Topics

Injection Attacks

Reinforcement Learning

Bandwidth Utilization

Top Venues

Publications

Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
Thinking Beyond Bus-off: Targeted Control Falsification in CAN. ICCPS (2024)
Soumyadyuti Ghosh, Manaar Alam, Soumyajit Dey, Debdeep Mukhopadhyay
"Hello? Is There Anybody in There?" Leakage Assessment of Differential Privacy Mechanisms in Smart Metering Infrastructure. ACNS (3) (2024)
Suraj Singh, Somnath Hazra, Sumanta Dey, Soumyajit Dey
Certifying Learning-Enabled Autonomous Cyber Physical Systems - A Deployment Perspective. VLSID (2024)
Somnath Hazra, Pallab Dasgupta, Soumyajit Dey
Addressing Permutation Challenges in Multi-Agent Reinforcement Learning. AAMAS (2024)
Sumanta Dey, Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
MAGNets: Micro-Architectured Group Neural Networks. AAMAS (2024)
Dibyendu Das, Soumyajit Dey
Probabilistic Interval Analysis of Unreliable Programs. CoRR (2024)
Sumanta Dey, Pallab Dasgupta, Soumyajit Dey
P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL. AAAI (2024)
Danny Pereria, Sumana Ghosh, Soumyajit Dey
DRL-based Multi-Stream Scheduling of Inference Pipelines on Edge Devices. VLSID (2024)
Anjana Balabhaskara, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey, Ashish R. Hota
Adaptive Protection of Power Grids against Stealthy Load Alterations. ICCPS (2024)
Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
Counterexample-Guided Policy Refinement in Multi-Agent Reinforcement Learning. AAMAS (2023)
Sunandan Adhikary, Ipsita Koley, Arkaprava Sain, Soumyadeep das, Shuvam Saha, Soumyajit Dey
Concealing CAN Message Sequences to Prevent Schedule-based Bus-off Attacks. CoRR (2023)
Suman Maiti, Anjana B, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey
A Learning Assisted Method for Uncovering Power Grid Generation and Distribution System Vulnerabilities. CoRR (2023)
Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
Safety Aware Neural Pruning for Deep Reinforcement Learning (Student Abstract). AAAI (2023)
Anik Roy, Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
Optimizing RSU Placements for Securing Vehicle Platoon Against False Data Injection Attacks. ICCPS (2023)
Akash Bhattacharya, Sunandan Adhikary, Ipsita Koley, Anirban Majumder, Soumyajit Dey
Adaptive CUSUM-Based Residue Analysis for Stealthy Attack Detection in Cyber-Physical Systems. ICCPS (2023)
Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
RL) Driving Policies Using Control Barrier and Control Lyapunov Functions. IEEE Trans. Intell. Veh. 8 (2) (2023)
Sumanta Dey, Pallab Dasgupta, Soumyajit Dey
Safe Reinforcement Learning through Phasic Safety-Oriented Policy Optimization. SafeAI@AAAI (2023)
Sumanta Dey, Sharat Bhat, Pallab Dasgupta, Soumyajit Dey
Imperative Action Masking for Safe Exploration in Reinforcement Learning. EXTRAAMAS (2023)
Ipsita Koley, Sunandan Adhikary, Arkaprava Sain, Soumyajit Dey
Design and Deployment of Resilient Control Execution Patterns: A Prediction, Mitigation Approach. ICCPS (2023)
Suman Maiti, Anjana Balabhaskara, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey
Targeted Attack Synthesis for Smart Grid Vulnerability Analysis. CCS (2023)
Danny Pereira, Anirban Ghose, Sumana Ghosh, Soumyajit Dey
Inferencing on Edge Devices: A Time- and Space-aware Co-scheduling Approach. ACM Trans. Design Autom. Electr. Syst. 28 (3) (2023)
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 Trans. Cyber Phys. Syst. 7 (1) (2023)
Arkaprava Sain, Suraj Singh, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey
Work-in-Progress: Securing Safety-Critical Control Tasks with Attack-aware Multi-Rate Scheduling. RTAS (2023)
Gulabi Mandal, Anik Roy, Ayantika Chatterjee, Soumyajit Dey
Work-in-Progress: Age of Information-Aware CACC for Vehicle Platooning. EWSN (2023)
Harishma Boyapally, Paulson Mathew, Sikhar Patranabis, Urbi Chatterjee, Umang Agarwal, Manu Maheshwari, Soumyajit Dey, Debdeep Mukhopadhyay
Safe is the New Smart: PUF-Based Authentication for Load Modification-Resistant Smart Meters. IEEE Trans. Dependable Secur. Comput. 19 (1) (2022)
Ipsita Koley, Sunandan Adhikary, Rohit Rohit, Soumyajit Dey
A Framework for Evaluating Connected Vehicle Security against False Data Injection Attacks. DSD (2022)
Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
Exploring The Resilience of Control Execution Skips against False Data Injection Attacks. CoRR (2022)
Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey
PruVer: Verification Assisted Pruning for Deep Reinforcement Learning. PRICAI (1) (2022)
Sumanta Dey, Anusha Mujumdar, Pallab Dasgupta, Soumyajit Dey
Adaptive Safety Shields for Reinforcement Learning-Based Cell Shaping. IEEE Trans. Netw. Serv. Manag. 19 (4) (2022)
Soumyadyuti Ghosh, Urbi Chatterjee, Soumyajit Dey, Debdeep Mukhopadhyay
Is the Whole lesser than its Parts? Breaking an Aggregation based Privacy aware Metering Algorithm. DSD (2022)
Anirban Ghose, Soumyajit Dey
FGFS: Feature Guided Frontier Scheduling for SIMT DAGs. J. Supercomput. 78 (9) (2022)
Soumyadyuti Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
SMarT: A SMT Based Privacy Preserving Smart Meter Streaming Methodology. SPACE (2022)
Ipsita Koley, Sunandan Adhikary, Rohit Rohit, Soumyajit Dey
A CAD Framework for Simulation of Network Level Attack on Platoons. CoRR (2022)
Sunandan Adhikary, Ipsita Koley, Srijeeta Maity, Soumyajit Dey
Work-in-Progress: Control Skipping Sequence Synthesis to Counter Schedule-based Attacks. RTSS (2022)
Srijeeta Maity, Rudrajyoti Roy, Anirban Majumder, Soumyajit Dey, Ashish R. Hota
Future aware Dynamic Thermal Management in CPU-GPU Embedded Platforms. RTSS (2022)
Anirban Ghose, Siddharth Singh, Vivek Kulaharia, Lokesh Dokara, Srijeeta Maity, Soumyajit Dey
PySchedCL: Leveraging Concurrency in Heterogeneous Data-Parallel Systems. IEEE Trans. Computers 71 (9) (2022)
Anirban Ghose, Srijeeta Maity, Arijit Kar, Soumyajit Dey
Orchestration of Perception Systems for Reliable Performance in Heterogeneous Platforms. DATE (2021)
Rumia Masburah, Rajib Lochan Jana, Ainuddin Khan, Shichao Xu, Shuyue Lan, Soumyajit Dey, Qi Zhu
Adaptive Learning Based Building Load Prediction for Microgrid Economic Dispatch. DATE (2021)
Sumana Ghosh, Arnab Mondal, Debayan Roy, Philipp H. Kindt, Soumyajit Dey, Samarjit Chakraborty
Proactive feedback for networked CPS. SAC (2021)
Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta
SMT-Based Verification of Safety-Critical Embedded Control Software. IEEE Embed. Syst. Lett. 13 (3) (2021)
Rumia Masburah, Sayan Sinha, Rajib Lochan Jana, Soumyajit Dey, Qi Zhu
Co-designing Intelligent Control of Building HVACs and Microgrids. DSD (2021)
Srijeeta Maity, Anirban Ghose, Soumyajit Dey, Swarnendu Biswas
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Rumia Masburah, Sayan Sinha, Rajib Lochan Jana, Soumyajit Dey, Qi Zhu
Co-designing Intelligent Control of Building HVACs and Microgrids. CoRR (2021)
Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
Catch Me If You Learn: Real-Time Attack Detection and Mitigation in Learning Enabled CPS. RTSS (2021)
Soumyadyuti Ghosh, Urbi Chatterjee, Durba Chatterjee, Rumia Masburah, Debdeep Mukhopadhyay, Soumyajit Dey
Demand Manipulation Attack Resilient Privacy Aware Smart Grid Using PUFs and Blockchain. ACNS Workshops (2021)
Srijeeta Maity, Anirban Ghose, Soumyajit Dey, Sangyoung Park, Samarjit Chakraborty
Work-in-Progress: Cooling by Core-Idling: Thermal-Aware Thread Scheduling for Mobile Multicore Processors. RTSS (2021)
Ipsita Koley, Sunandan Adhikary, Soumyajit Dey
An RL-Based Adaptive Detection Strategy to Secure Cyber-Physical Systems. CoRR (2021)
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
Performance-Driven Post-Processing of Control Loop Execution Schedules. ACM Trans. Design Autom. Electr. Syst. 26 (2) (2021)
Philipp Kremer, Ipsita Koley, Soumyajit Dey, Sangyoung Park
State Estimation for Attack Detection in Vehicle Platoon using VANET and Controller Model. ITSC (2020)
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)
Rajib Lochan Jana, Soumyajit Dey, Pallab Dasgupta
A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation. ACM Trans. Design Autom. Electr. Syst. 25 (4) (2020)
Srijeeta Maity, Anirban Ghose, Soumyajit Dey, Swarnendu Biswas
Thermal Load-aware Adaptive Scheduling for Heterogeneous Platforms. VLSI Design (2020)
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
Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA. DATE (2020)
Soumyadyuti Ghosh, Urbi Chatterjee, Durba Chatterjee, Rumia Masburah, Debdeep Mukhopadhyay, Soumyajit Dey
Security Challenges in Smart Grid and Suitable Countermeasures. IACR Cryptol. ePrint Arch. 2020 (2020)
Anirban Ghose, Siddharth Singh, Vivek Kulaharia, Lokesh Dokara, Srijeeta Maity, Soumyajit Dey
PySchedCL: Leveraging Concurrency in Heterogeneous Data-Parallel Systems. CoRR (2020)
Rajib Lochan Jana, Soumyajit Dey, Arijit Mondal, Pallab Dasgupta
Automated planning for finding alternative bug traces. IET Comput. Digit. Tech. 14 (6) (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)
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks. ACM Trans. Embed. Comput. Syst. 19 (2) (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)
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
Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA. CoRR (2020)
Anirban Ghose, Srijeeta Maity, Arijit Kar, Kaustubh Maloo, Soumyajit Dey
Intelligent Orchestration of ADAS Pipelines on Next Generation Automotive Platforms. CoRR (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)
Sumana Ghosh, Arnab Mondal, Philipp H. Kindt, Prateek Sharma, Yash Agarwal, Soumyajit Dey, Alok Kanti Deb, Samarjit Chakraborty
A Programmable Open Architecture Testbed for CPS Education. IEEE Des. Test 37 (6) (2020)
Hengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty, Qi Zhu
Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems. ICCD (2019)
Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
Performance, Security Tradeoffs in Secure Control. IEEE Embed. Syst. Lett. 11 (4) (2019)
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
Synthesizing Performance-Aware (m, k)-Firm Control Execution Patterns Under Dropped Samples. VLSI Design (2019)
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
Performance and energy aware robust specification of control execution patterns under dropped samples. IET Comput. Digit. Tech. 13 (6) (2019)
Saurav Kumar Ghosh, Soumyajit Dey, Dip Goswami, Daniel Mueller-Gritschneder, Samarjit Chakraborty
Design and validation of fault-tolerant embedded controllers. DATE (2018)
Sumana Ghosh, Soumyajit Dey, Pallab Dasgupta
Co-Synthesis of Loop Execution Patterns for Multihop Control Networks. IEEE Embed. Syst. Lett. 10 (4) (2018)
Saurav Kumar Ghosh, Soumyajit Dey
SERD: A simulation framework for estimation of system level reliability degradation. DATE (2017)
Anirban Ghose, Lokesh Dokara, Soumyajit Dey, Pabitra Mitra
A Framework for OpenCL Task Scheduling on Heterogeneous Multicores. Parallel Process. Lett. 27 (3-4) (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)
Sumana Ghosh, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control. ACM Trans. Embed. Comput. Syst. 16 (5s) (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)
Anirban Ghose, Soumyajit Dey, Pabitra Mitra, Mainak Chaudhuri
Divergence Aware Automated Partitioning of OpenCL Workloads. ISEC (2016)
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)
Rajorshee Raha, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
Multirate Sampling for Power-Performance Tradeoff in Embedded Control. IEEE Embed. Syst. Lett. 8 (4) (2016)
Debasmita Lohar, Anudeep Dunaboyina, Dibyendu Das, Soumyajit Dey
Failure Estimation of Behavioral Specifications. SETTA (2016)
Rajib Lochan Jana, Shashank Kuchibhotla, Soumyajit Dey, Pallab Dasgupta, Rakesh Kumar
Planning based guided reconstruction of corner cases in architectural validation. VDAT (2016)
Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. FORMATS (2016)
Debasmita Lohar, Soumyajit Dey
Integrating formal methods with testing for reliability estimation of component based systems. ISSRE Workshops (2015)
Rajorshee Raha, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta
Multi-mode Sampling Period Selection for Embedded Real Time Control. CoRR (2015)
Saurav Kumar Ghosh, Aritra Hazra, Soumyajit Dey
RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications. VLSI Design (2015)
Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC (2015)
Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta
Synthesis of sampling modes for adaptive control. ICCSCE (2014)
Soumyajit Dey, Dipankar Sarkar, Anupam Basu
A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems. IEEE Trans. Computers 62 (10) (2013)
Plaban Kumar Bhowmick, Soumyajit Dey, Abinash Samantaray, Debnath Mukherjee, Prateep Misra
A temporal constraint based planning approach for city tour and travel plan generation. IHCI (2012)
Soumyajit Dey, Dipankar Sarkar, Anupam Basu
A Kleene Algebra of Tagged System Actors. IEEE Embed. Syst. Lett. 3 (1) (2011)
Soumyajit Dey, Praveen Rokkam, Anupam Basu
Modeling and Analysis of Embedded Multimedia Applications using Colored Petri Nets. Int. J. Model. Simul. Sci. Comput. 2 (2) (2011)
Soumyajit Dey, Dipankar Sarkar, Anupam Basu
A Tag Machine Based Performance Evaluation Method for Job-Shop Schedules. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (7) (2010)
Soumyajit Dey, Monu Kedia, Anupam Basu
An Approach to Software Performance Evaluation on Customized Embedded Processors. VLSI Design (2008)
Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam Basu
Embedded Support Vector Machine : Architectural Enhancements and Evaluation. VLSI Design (2007)
Soumyajit Dey, Monu Kedia, Anupam Basu
Architectural Optimizations for Text to Speech Synthesis in Embedded Systems. ASP-DAC (2007)
Arijit Mukhopadhyay, Sunandan Chakraborty, Monojit Choudhury, Anirban Lahiri, Soumyajit Dey, Anupam Basu
Shruti: an embedded text-to-speech system for Indian languages. IEE Proc. Softw. 153 (2) (2006)
Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay, Anupam Basu
An Approach to Architectural Enhancement for Embedded Speech Applications. VLSI Design (2006)