Sudipta Chattopadhyay
Orcid: 0000-0002-4843-5391Affiliations:
- Singapore University of Technology and Design (SUTD)
- Saarland University, Computer Science Department (former)
- Linköping University, Sweden (former)
According to our database1,
Sudipta Chattopadhyay
authored at least 84 papers
between 2009 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2023
Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection.
IEEE Robotics Autom. Lett., December, 2023
VitroBench: Manipulating in-vehicle networks and COTS ECUs on your bench: A comprehensive test platform for automotive cybersecurity research.
Veh. Commun., October, 2023
Identifying threats, cybercrime and digital forensic opportunities in Smart City Infrastructure via threat modeling.
Forensic Sci. Int. Digit. Investig., June, 2023
Comput. Secur., April, 2023
Proceedings of the Information Security - 26th International Conference, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
Proceedings of the Annual International Conference of the Alliance of Digital Humanities Organizations, 2023
PAID: Perturbed Image Attacks Analysis and Intrusion Detection Mechanism for Autonomous Driving Systems.
Proceedings of the 9th ACM Cyber-Physical System Security Workshop, 2023
2022
A systematic survey of attack detection and prevention in Connected and Autonomous Vehicles.
Veh. Commun., 2022
IEEE Trans. Reliab., 2022
IEEE Trans. Dependable Secur. Comput., 2022
IEEE Trans. Computers, 2022
J. Syst. Archit., 2022
Proceedings of the 31st USENIX Security Symposium, 2022
Proceedings of the Theoretical Aspects of Software Engineering, 2022
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022
Proceedings of the IEEE Global Communications Conference, 2022
Proceedings of the Fundamental Approaches to Software Engineering, 2022
2021
IEEE Trans. Software Eng., 2021
IEEE Trans. Software Eng., 2021
How to secure autonomous mobile robots? An approach with fuzzing, detection and mitigation.
J. Syst. Archit., 2021
Int. J. Crit. Infrastructure Prot., 2021
Int. J. Crit. Infrastructure Prot., 2021
2020
KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
ACM Trans. Softw. Eng. Methodol., 2020
ACM Trans. Internet Techn., 2020
Crab-tree: A Crash Recoverable B+-tree Variant for Persistent Memory with ARMv8 Architecture.
ACM Trans. Embed. Comput. Syst., 2020
Softw. Test. Verification Reliab., 2020
J. Syst. Archit., 2020
Digit. Investig., 2020
CoRR, 2020
CIMA: Compiler-Enforced Resilience Against Memory Safety Attacks in Cyber-Physical Systems.
Comput. Secur., 2020
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
Proceedings of the 2020 USENIX Annual Technical Conference, 2020
Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the Formal Methods and Software Engineering, 2020
Proceedings of the 38th IEEE International Conference on Computer Design, 2020
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring.
Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
ACM Trans. Embed. Comput. Syst., 2019
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019
Proceedings of the Information and Communications Security - 21st International Conference, 2019
Cache-Aware Kernel Tiling: An Approach for System-Level Performance Optimization of GPU-Based Applications.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS.
CoRR, 2018
Proceedings of the Software Engineering und Software Management 2018, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the Engineering Secure Software and Systems - 10th International Symposium, 2018
Proceedings of the International Conference on Embedded Software, 2018
Proceedings of the 21st Euromicro Conference on Digital System Design, 2018
LAWN: boosting the performance of NVMM file system through reducing write amplification.
Proceedings of the 55th Annual Design Automation Conference, 2018
Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
J. Syst. Archit., 2016
CoRR, 2016
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
2014
ACM Trans. Embed. Comput. Syst., 2014
ACM Trans. Embed. Comput. Syst., 2014
Real Time Syst., 2014
Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization.
Found. Trends Electron. Des. Autom., 2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Proceedings of the 2014 International Conference on Embedded Software, 2014
2013
Scalable and precise refinement of cache timing analysis via path-sensitive verification.
Real Time Syst., 2013
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013
2012
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
2011
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011
2010
Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010
2009
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009