201 citations · 386 across the 19 of their papers we have counts for
12 papers · 1 filter
Identifying Threats, Cybercrime and Digital Forensic Opportunities in Smart City Infrastructure via Threat Modeling
Yee Ching Tok, Sudipta Chattopadhyay
Technological advances have enabled multiple countries to consider implementing Smart City Infrastructure to provide in-depth insights into different data points and enhance the li…
A Systematic Survey of Attack Detection and Prevention in Connected and Autonomous Vehicles
Trupil Limbasiya, Ko Zheng Teng, Sudipta Chattopadhyay +1
The number of Connected and Autonomous Vehicles (CAVs) is increasing rapidly in various smart transportation services and applications, considering many benefits to society, people…
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems
Yifan Jia, Jingyi Wang, Christopher M. Poskitt +3
The threats faced by cyber-physical systems (CPSs) in critical infrastructure have motivated research into a multitude of attack detection mechanisms, including anomaly detectors b…
SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems
Eyasu Getahun Chekole, Martin Ochoa, Sudipta Chattopadhyay
Cyber-Physical Systems (CPS) are being widely adopted in critical infrastructures, such as smart grids, nuclear plants, water systems, transportation systems, manufacturing and hea…
Securing Autonomous Service Robots through Fuzzing, Detection, and Mitigation
Chundong Wang, Yee Ching Tok, Rohini Poolat +2
Autonomous service robots share social spaces with humans, usually working together for domestic or professional tasks. Cyber security breaches in such robots undermine the trust b…
STITCHER: Correlating Digital Forensic Evidence on Internet-of-Things Devices
Yee Ching Tok, Chundong Wang, Sudipta Chattopadhyay
The increasing adoption of Internet-of-Things (IoT) devices present new challenges to digital forensic investigators and law enforcement agencies when investigation into cybercrime…
Systematic Classification of Attackers via Bounded Model Checking
Eric Rothstein-Morris, Sun Jun, Sudipta Chattopadhyay
In this work, we study the problem of verification of systems in the presence of attackers using bounded model checking. Given a system and a set of security requirements, we prese…
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas +2
Spectre attacks disclosed in early 2018 expose data leakage scenarios via cache side channels. Specifically, speculatively executed paths due to branch mis-prediction may bring sec…
Road Context-aware Intrusion Detection System for Autonomous Cars
Jingxuan Jiang, Chundong Wang, Sudipta Chattopadhyay +1
Security is of primary importance to vehicles. The viability of performing remote intrusions onto the in-vehicle network has been manifested. In regard to unmanned autonomous cars,…
Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS
Eyasu Getahun Chekole, Unnikrishnan Cheramangalath, Sudipta Chattopadhyay +2
Memory-safety attacks have been one of the most critical threats against computing systems. Although a wide-range of defense techniques have been developed against these attacks, t…
oo7: Low-overhead Defense against Spectre Attacks via Program Analysis
Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits +2
The Spectre vulnerability in modern processors has been widely reported. The key insight in this vulnerability is that speculative execution in processors can be misused to access…
Quantifying the Information Leak in Cache Attacks through Symbolic Execution
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine +1
Cache timing attacks allow attackers to infer the properties of a secret execution by observing cache hits and misses. But how much information can actually leak through such attac…