soumyajit dey
soumyajit dey
Assistant Professor, Computer Science, IIT Kharagpur
Verified email at - Homepage
Cited by
Cited by
Safe is the new smart: PUF-based authentication for load modification-resistant smart meters
B Harishma, P Mathew, S Patranabis, U Chatterjee, U Agarwal, ...
IEEE Transactions on Dependable and Secure Computing 19 (1), 663-680, 2020
Towards secure composition of integrated circuits and electronic systems: On the role of EDA
J Knechtel, EB Kavun, F Regazzoni, A Heuser, A Chattopadhyay, ...
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 508-513, 2020
Security-driven codesign with weakly-hard constraints for real-time embedded systems
H Liang, Z Wang, D Roy, S Dey, S Chakraborty, Q Zhu
2019 IEEE 37th International Conference on Computer Design (ICCD), 217-226, 2019
Shruti: an embedded text-to-speech system for Indian languages
A Mukhopadhyay, S Chakraborty, M Choudhury, A Lahiri, S Dey, A Basu
IEE Proceedings-Software 153 (2), 75-79, 2006
Embedded support vector machine: Architectural enhancements and evaluation
S Dey, M Kedia, N Agarwal, A Basu
20th International Conference on VLSI Design held jointly with 6th …, 2007
Divergence aware automated partitioning of OpenCL workloads
A Ghose, S Dey, P Mitra, M Chaudhuri
Proceedings of the 9th India software engineering conference, 131-135, 2016
A tag machine based performance evaluation method for job-shop schedules
S Dey, D Sarkar, A Basu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2010
A structured methodology for pattern based adaptive scheduling in embedded control
S Ghosh, S Dutta, S Dey, P Dasgupta
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-22, 2017
Antimony polymers part 5. Biological activity
N Karak, S Maiti, S Das, SH Dey
Journal of Polymer Materials 20 (3), 237-242, 2003
Safe and Stable RL (S2RL) Driving Policies Using Control Barrier and Control Lyapunov Functions
B Gangopadhyay, P Dasgupta, S Dey
IEEE Transactions on Intelligent Vehicles 8 (2), 1889-1899, 2022
A hierarchical hvac control scheme for energy-aware smart building automation
RL Jana, S Dey, P Dasgupta
ACM Transactions on Design Automation of Electronic Systems (TODAES) 25 (4 …, 2020
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
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
Thermal-aware adaptive platform management for heterogeneous embedded systems
S Maity, A Ghose, S Dey, S Biswas
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-28, 2021
State estimation for attack detection in vehicle platoon using vanet and controller model
P Kremer, I Koley, S Dey, S Park
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
A framework for OpenCL task scheduling on heterogeneous multicores
A Ghose, L Dokara, S Dey, P Mitra
Parallel Processing Letters 27 (03n04), 1750008, 2017
Scheduling of controllers’ update-rates for residual bandwidth utilization
M Zamani, S Dey, S Mohamed, P Dasgupta, M Mazo
Formal Modeling and Analysis of Timed Systems: 14th International Conference …, 2016
Synthesis of sampling modes for adaptive control
R Raha, A Hazra, A Mondal, S Dey, PP Chakrabarti, P Dasgupta
2014 IEEE International Conference on Control System, Computing and …, 2014
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
Catch me if you learn: real-time attack detection and mitigation in learning enabled CPS
I Koley, S Adhikary, S Dey
2021 IEEE Real-Time Systems Symposium (RTSS), 136-148, 2021
The system can't perform the operation now. Try again later.
Articles 1–20