Unified Cache Modeling for WCET Analysis and Layout Optimizations. - Sudipta Chattopadhyay 001; Abhik Roychoudhury (RTSS, 2009)

Modeling shared cache and bus in multi-cores for timing analysis. - Sudipta Chattopadhyay 001; Abhik Roychoudhury; Tulika Mitra (SCOPES, 2010)

Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds. - Timon Kelter; Heiko Falk; Peter Marwedel; Sudipta Chattopadhyay 001; Abhik Roychoudhury (ECRTS, 2011)

Static bus schedule aware scratchpad allocation in multiprocessors. - Sudipta Chattopadhyay 001; Abhik Roychoudhury (LCTES, 2011)

Timing Analysis of a Protected Operating System Kernel. - Bernard Blackham; Yao Shi; Sudipta Chattopadhyay 001; Abhik Roychoudhury; Gernot Heiser (RTSS, 2011)

Scalable and Precise Refinement of Cache Timing Analysis via Model Checking. - Sudipta Chattopadhyay 001; Abhik Roychoudhury (RTSS, 2011)

A Unified WCET Analysis Framework for Multi-core Platforms. - Sudipta Chattopadhyay 001; Lee Kee Chong; Abhik Roychoudhury; Timon Kelter; Peter Marwedel; Heiko Falk (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

Program performance spectrum. - Sudipta Chattopadhyay 001; Lee Kee Chong; Abhik Roychoudhury (LCTES, 2013)

Precise micro-architectural modeling for WCET analysis via AI+SAT. - Abhijeet Banerjee; Sudipta Chattopadhyay 001; Abhik Roychoudhury (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Static Analysis Driven Cache Performance Testing. - Abhijeet Banerjee; Sudipta Chattopadhyay 001; Abhik Roychoudhury (RTSS, 2013)

Integrated Timing Analysis of Application and Operating Systems Code. - Lee Kee Chong; Clément Ballabriga; Van-Thuan Pham; Sudipta Chattopadhyay 001; Abhik Roychoudhury (RTSS, 2013)

Scalable and precise refinement of cache timing analysis via path-sensitive verification. - Sudipta Chattopadhyay 001; Abhik Roychoudhury (Real Time Syst., 2013)

Automated software testing of memory performance in embedded GPUs. - Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (EMSOFT, 2014)

Detecting energy bugs and hotspots in mobile apps. - Abhijeet Banerjee; Lee Kee Chong; Sudipta Chattopadhyay 001; Abhik Roychoudhury (SIGSOFT FSE, 2014)

Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization. - Sudipta Chattopadhyay 001; Abhik Roychoudhury; Jakob Rosen; Petru Eles; Zebo Peng (Found. Trends Electron. Des. Autom., 2014)

Static analysis of multi-core TDMA resource arbitration delays. - Timon Kelter; Heiko Falk; Peter Marwedel; Sudipta Chattopadhyay 001; Abhik Roychoudhury (Real Time Syst., 2014)

A Unified WCET analysis framework for multicore platforms. - Sudipta Chattopadhyay 001; Lee Kee Chong; Abhik Roychoudhury; Timon Kelter; Peter Marwedel; Heiko Falk (ACM Trans. Embed. Comput. Syst., 2014)

Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches. - Sudipta Chattopadhyay 001; Abhik Roychoudhury (ACM Trans. Embed. Comput. Syst., 2014)

MESS: Memory Performance Debugging on Embedded Multi-core Systems. - Sudipta Chattopadhyay 001 (SPIN, 2015)

SPARTA: A scheduling policy for thwarting differential power analysis attacks. - Ke Jiang; Petru Eles; Zebo Peng; Sudipta Chattopadhyay 001; Lejla Batina (ASP-DAC, 2016)

On Testing Embedded Software. - Abhijeet Banerjee; Sudipta Chattopadhyay 001; Abhik Roychoudhury (Adv. Comput., 2016)

Quantifying the Information Leak in Cache Attacks through Symbolic Execution. - Sudipta Chattopadhyay 001; Moritz Beck 002; Ahmed Rezine; Andreas Zeller (CoRR, 2016)

Systematic detection of memory related performance bottlenecks in GPGPU programs. - Adrian Horga; Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (J. Syst. Archit., 2016)

How developers debug software the DbgBench dataset: poster. - Marcel Böhme; Ezekiel O. Soremekun; Sudipta Chattopadhyay 001; Emamurho Ugherughe; Andreas Zeller (ICSE (Companion Volume), 2017)

Testing Cache Side-Channel Leakage. - Tiyash Basu; Sudipta Chattopadhyay 001 (ICST Workshops, 2017)

Quantifying the information leak in cache attacks via symbolic execution. - Sudipta Chattopadhyay 001; Moritz Beck 002; Ahmed Rezine; Andreas Zeller (MEMOCODE, 2017)

Where is the bug and how is it fixed? an experiment with practitioners. - Marcel Böhme; Ezekiel O. Soremekun; Sudipta Chattopadhyay 001; Emamurho Ugherughe; Andreas Zeller (ESEC/SIGSOFT FSE, 2017)

Directed Automated Memory Performance Testing. - Sudipta Chattopadhyay 001 (TACAS (2), 2017)

Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. - Stefano Spellini; Michele Lora; Sudipta Chattopadhyay 001; Franco Fummi (CODES+ISSS, 2018)

LAWN: boosting the performance of NVMM file system through reducing write amplification. - Chundong Wang 001; Sudipta Chattopadhyay 001 (DAC, 2018)

Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA. - Adrian Horga; Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (DSD, 2018)

Road context-aware intrusion detection system for autonomous cars: work-in-progress. - Tanya Srivastava; Pryanshu Arora; Chundong Wang 001; Sudipta Chattopadhyay 001 (EMSOFT, 2018)

Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems. - Eyasu Getahun Chekole; Sudipta Chattopadhyay 001; Martín Ochoa; Huaqun Guo (ESSoS, 2018)

Automated directed fairness testing. - Sakshi Udeshi; Pryanshu Arora; Sudipta Chattopadhyay 001 (ASE, 2018)

Wo ist der Fehler und wie wird er behoben? Ein Experiment mit Softwareentwicklern. - Marcel Böhme; Ezekiel Olamide Soremekun; Sudipta Chattopadhyay 001; Emamurho Ugherughe; Andreas Zeller (Software Engineering, 2018)

oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis. - Guanhua Wang; Sudipta Chattopadhyay 001; Ivan Gotovchits; Tulika Mitra; Abhik Roychoudhury (CoRR, 2018)

Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS. - Eyasu Getahun Chekole; Unnikrishnan Cheramangalath; Sudipta Chattopadhyay 001; Martín Ochoa; Huaqun Guo (CoRR, 2018)

Symbolic Verification of Cache Side-Channel Freedom. - Sudipta Chattopadhyay 001; Abhik Roychoudhury (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Cache-Aware Kernel Tiling: An Approach for System-Level Performance Optimization of GPU-Based Applications. - Arian Maghazeh; Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (DATE, 2019)

Road Context-Aware Intrusion Detection System for Autonomous Cars. - Jingxuan Jiang; Chundong Wang 001; Sudipta Chattopadhyay 001; Wei Zhang 021 (ICICS, 2019)

Crash recoverable ARMv8-oriented B+-tree for byte-addressable persistent memory. - Chundong Wang 001; Sudipta Chattopadhyay 001; Gunavaran Brihadiswarn (LCTES, 2019)

Quantifying the Information Leakage in Cache Attacks via Symbolic Execution. - Sudipta Chattopadhyay 001; Moritz Beck 002; Ahmed Rezine; Andreas Zeller (ACM Trans. Embed. Comput. Syst., 2019)

Compositional Design of Multi-Robot Systems Control Software on ROS. - Stefano Spellini; Michele Lora; Franco Fummi; Sudipta Chattopadhyay 001 (ACM Trans. Embed. Comput. Syst., 2019)

Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring. - Xingbin Jiang; Michele Lora; Sudipta Chattopadhyay 001 (ACM Great Lakes Symposium on VLSI, 2020)

Isle-Tree: A B+-Tree with Intra-Cache Line Sorted Leaves for Non-volatile Memory. - Chundong Wang 001; Sudipta Chattopadhyay 001 (ICCD, 2020)

Learning Fault Models of Cyber Physical Systems. - Teck Ping Khoo; Jun Sun 001; Sudipta Chattopadhyay 001 (ICFEM, 2020)

Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems. - Sakshi Udeshi; Xingbin Jiang; Sudipta Chattopadhyay 001 (ICST, 2020)

SweynTooth: Unleashing Mayhem over Bluetooth Low Energy. - Matheus E. Garbelini; Chundong Wang 001; Sudipta Chattopadhyay 001; Sumei Sun; Ernest Kurniawan (USENIX ATC, 2020)

Systematic Classification of Attackers via Bounded Model Checking. - Eric Rothstein Morris; Jun Sun 001; Sudipta Chattopadhyay 001 (VMCAI, 2020)

CIMA: Compiler-Enforced Resilience Against Memory Safety Attacks in Cyber-Physical Systems. - Eyasu Getahun Chekole; Sudipta Chattopadhyay 001; Martín Ochoa; Huaqun Guo; Unnikrishnan Cheramangalath (Comput. Secur., 2020)

Exposing Backdoors in Robust Machine Learning Models. - Ezekiel O. Soremekun; Sakshi Udeshi; Sudipta Chattopadhyay 001; Andreas Zeller (CoRR, 2020)

Securing Autonomous Service Robots through Fuzzing, Detection, and Mitigation. - Chundong Wang 001; Yee Ching Tok; Rohini Poolat; Sudipta Chattopadhyay 001; Mohan Rajesh Elara (CoRR, 2020)

Stitcher: Correlating digital forensic evidence on internet-of-things devices. - Yee Ching Tok; Chundong Wang 001; Sudipta Chattopadhyay 001 (Digit. Investig., 2020)

Genetic algorithm based estimation of non-functional properties for GPGPU programs. - Adrian Horga; Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (J. Syst. Archit., 2020)

An exploration of effective fuzzing for side-channel cache leakage. - Tiyash Basu; Kartik Aggarwal; Chundong Wang 001; Sudipta Chattopadhyay 001 (Softw. Test. Verification Reliab., 2020)

Crab-tree: A Crash Recoverable B+-tree Variant for Persistent Memory with ARMv8 Architecture. - Chundong Wang 001; Sudipta Chattopadhyay 001; Gunavaran Brihadiswarn (ACM Trans. Embed. Comput. Syst., 2020)

An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices. - Xingbin Jiang; Michele Lora; Sudipta Chattopadhyay 001 (ACM Trans. Internet Techn., 2020)

KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. - Guanhua Wang; Sudipta Chattopadhyay 001; Arnab Kumar Biswas; Tulika Mitra; Abhik Roychoudhury (ACM Trans. Softw. Eng. Methodol., 2020)

SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems. - Eyasu Getahun Chekole; Martín Ochoa; Sudipta Chattopadhyay 001 (Int. J. Crit. Infrastructure Prot., 2021)

Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. - Yifan Jia 002; Jingyi Wang 004; Christopher M. Poskitt; Sudipta Chattopadhyay 001; Jun Sun 001; Yuqi Chen 001 (Int. J. Crit. Infrastructure Prot., 2021)

How to secure autonomous mobile robots? An approach with fuzzing, detection and mitigation. - Chundong Wang 001; Yee Ching Tok; Rohini Poolat; Sudipta Chattopadhyay 001; Mohan Rajesh Elara (J. Syst. Archit., 2021)

Grammar Based Directed Testing of Machine Learning Systems. - Sakshi Udeshi; Sudipta Chattopadhyay 001 (IEEE Trans. Software Eng., 2021)

oo7: Low-Overhead Defense Against Spectre Attacks via Program Analysis. - Guanhua Wang; Sudipta Chattopadhyay 001; Ivan Gotovchits; Tulika Mitra; Abhik Roychoudhury (IEEE Trans. Software Eng., 2021)

AequeVox: Automated Fairness Testing of Speech Recognition Systems. - Sai Sathiesh Rajan; Sakshi Udeshi; Sudipta Chattopadhyay 001 (FASE, 2022)

Towards Automated Fuzzing of 4G/5G Protocol Implementations Over the Air. - Matheus E. Garbelini; Zewen Shang; Sudipta Chattopadhyay 001; Sumei Sun; Ernest Kurniawan (GLOBECOM, 2022)

ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. - Eric Rothstein Morris; Jun Sun 001; Sudipta Chattopadhyay 001 (MEMOCODE, 2022)

Repairing Adversarial Texts Through Perturbation. - Guoliang Dong; Jingyi Wang 004; Jun Sun 001; Sudipta Chattopadhyay 001; Xinyu Wang 001; Ting Dai; Jie Shi; Jin Song Dong (TASE, 2022)

BrakTooth: Causing Havoc on Bluetooth Link Manager via Directed Fuzzing. - Matheus E. Garbelini; Vaibhav Bedi; Sudipta Chattopadhyay 001; Sumei Sun; Ernest Kurniawan (USENIX Security Symposium, 2022)

Symbolic identification of shared memory based bank conflicts for GPUs. - Adrian Horga; Ahmed Rezine; Sudipta Chattopadhyay 001; Petru Eles; Zebo Peng (J. Syst. Archit., 2022)

Physical Adversarial Attack on a Robotic Arm. - Yifan Jia 002; Christopher M. Poskitt; Jun Sun 001; Sudipta Chattopadhyay 001 (IEEE Robotics Autom. Lett., 2022)

Circ-Tree: A B+-Tree Variant With Circular Design for Persistent Memory. - Chundong Wang 001; Gunavaran Brihadiswarn; Xingbin Jiang; Sudipta Chattopadhyay 001 (IEEE Trans. Computers, 2022)

Greyhound: Directed Greybox Wi-Fi Fuzzing. - Matheus E. Garbelini; Chundong Wang 001; Sudipta Chattopadhyay 001 (IEEE Trans. Dependable Secur. Comput., 2022)

Model Agnostic Defence Against Backdoor Attacks in Machine Learning. - Sakshi Udeshi; Shanshan Peng; Gerald Woo; Lionell Loh; Louth Rawshan; Sudipta Chattopadhyay 001 (IEEE Trans. Reliab., 2022)

Astraea: Grammar-Based Fairness Testing. - Ezekiel O. Soremekun; Sakshi Udeshi; Sudipta Chattopadhyay 001 (IEEE Trans. Software Eng., 2022)

A systematic survey of attack detection and prevention in Connected and Autonomous Vehicles. - Trupil Limbasiya; Ko Zheng Teng; Sudipta Chattopadhyay 001; Jianying Zhou 001 (Veh. Commun., 2022)

PAID: Perturbed Image Attacks Analysis and Intrusion Detection Mechanism for Autonomous Driving Systems. - Ko Zheng Teng; Trupil Limbasiya; Federico Turrin; Yan Lin Aung; Sudipta Chattopadhyay 001; Jianying Zhou 001; Mauro Conti (CPSS@AsiaCCS, 2023)

Accented DH: Assessing Fairness of Multilingual Speech Recognition Systems. - Setsuko Yokoyama; Sai Sathiesh Rajan; Sudipta Chattopadhyay 001 (DH, 2023)

Poster: Distribution-aware Fairness Test Generation. - Sai Sathiesh Rajan; Ezekiel O. Soremekun; Sudipta Chattopadhyay 001; Yves Le Traon (ICSE Companion, 2023)

VNGuard: Intrusion Detection System for In-Vehicle Networks. - Yan Lin Aung; Shanshan Wang; Wang Cheng; Sudipta Chattopadhyay 001; Jianying Zhou 001; Anyu Cheng (ISC, 2023)

Towards Backdoor Attacks and Defense in Robust Machine Learning Models. - Ezekiel O. Soremekun; Sakshi Udeshi; Sudipta Chattopadhyay 001 (Comput. Secur., 2023)

Identifying threats, cybercrime and digital forensic opportunities in Smart City Infrastructure via threat modeling. - Yee Ching Tok; Sudipta Chattopadhyay 001 (Forensic Sci. Int. Digit. Investig., 2023)

VitroBench: Manipulating in-vehicle networks and COTS ECUs on your bench: A comprehensive test platform for automotive cybersecurity research. - Anthony Kee Teck Yeo; Matheus E. Garbelini; Sudipta Chattopadhyay 001; Jianying Zhou 001 (Veh. Commun., 2023)

Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. - Yifan Jia 002; Christopher M. Poskitt; Peixin Zhang 001; Jingyi Wang 004; Jun Sun 001; Sudipta Chattopadhyay 001 (IEEE Robotics Autom. Lett., 2023)

Guidelines for Cyber Risk Management in Autonomous Shipping. - Meixuan Li; Awais Yousaf; Mark Goh; Jianying Zhou 001; Sudipta Chattopadhyay 001 (ACNS Workshops (2), 2024)

VaktBLE: A Benevolent Man-in-the-Middle Bridge to Guard against Malevolent BLE Connections. - Geovani Benita; Leonardo Sestrem; Matheus E. Garbelini; Sudipta Chattopadhyay 001; Sumei Sun; Ernest Kurniawan (ACSAC, 2024)

AirBugCatcher: Automated Wireless Reproduction of IoT Bugs. - Guoqiang Hua; Matheus E. Garbelini; Sudipta Chattopadhyay 001 (ACSAC, 2024)

Knowledge-based Consistency Testing of Large Language Models. - Sai Sathiesh Rajan; Ezekiel Olamide Soremekun; Sudipta Chattopadhyay 001 (EMNLP (Findings), 2024)

U-Fuzz: Stateful Fuzzing of IoT Protocols on COTS Devices. - Zewen Shang; Matheus E. Garbelini; Sudipta Chattopadhyay 001 (ICST, 2024)

U-Fuzz: A Tool Prototype for Stateful Fuzzing of IoT Protocols on COTS Devices. - Zewen Shang; Matheus E. Garbelini; Sudipta Chattopadhyay 001 (ICST, 2024)

End-user Comprehension of Transfer Risks in Smart Contracts. - Yustynn Panicker; Ezekiel O. Soremekun; Sumei Sun; Sudipta Chattopadhyay 001 (CoRR, 2024)

Maritime Cybersecurity: A Comprehensive Review. - Meixuan Li; Jianying Zhou 001; Sudipta Chattopadhyay 001; Mark Goh (CoRR, 2024)

Distribution-aware fairness test generation. - Sai Sathiesh Rajan; Ezekiel O. Soremekun; Yves Le Traon; Sudipta Chattopadhyay 001 (J. Syst. Softw., 2024)

Timing Side-Channel Mitigation via Automated Program Repair. - Haifeng Ruan; Yannic Noller; Saeid Tizpaz-Niari; Sudipta Chattopadhyay 001; Abhik Roychoudhury (ACM Trans. Softw. Eng. Methodol., 2024)

Understanding End-User Perception of Transfer Risks in Smart Contracts. - Yustynn Panicker; Ezekiel O. Soremekun; Sudipta Chattopadhyay 001; Sumei Sun (CHI, 2025)

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. - Étienne André; Jean-Luc Béchennec; Sudipta Chattopadhyay 001; Sébastien Faucou; Didier Lime; Dylan Marinho; Olivier H. Roux; Jun Sun 001 (SAC, 2025)

A Smart City Infrastructure ontology for threats, cybercrime, and digital forensic investigation. - Yee Ching Tok; Davis Zheng Yang; Sudipta Chattopadhyay 001 (Forensic Sci. Int. Digit. Investig., 2025)

Generative AI for Internet of Things Security: Challenges and Opportunities. - Yan Lin Aung; Ivan Christian; Ye Dong; Xiaodong Ye; Sudipta Chattopadhyay 001; Jianying Zhou 001 (CoRR, 2025)

ChatIoT: Large Language Model-based Security Assistant for Internet of Things with Retrieval-Augmented Generation. - Ye Dong; Yan Lin Aung; Sudipta Chattopadhyay 001; Jianying Zhou 001 (CoRR, 2025)

HInter: Exposing Hidden Intersectional Bias in Large Language Models. - Badr Souani; Ezekiel O. Soremekun; Mike Papadakis; Setsuko Yokoyama; Sudipta Chattopadhyay 001; Yves Le Traon (CoRR, 2025)

HoneyWin: High-Interaction Windows Honeypot in Enterprise Environment. - Yan Lin Aung; Yee Loon Khoo; Davis Yang Zheng; Bryan Swee Duo; Sudipta Chattopadhyay 001; Jianying Zhou 001; Liming Lu; Weihan Goh (CoRR, 2025)