201 citations · 386 across the 19 of their papers we have counts for
23 papers
Distribution-aware Fairness Test Generation
Sai Sathiesh Rajan, Ezekiel Soremekun, Yves Le Traon +1
Ensuring that all classes of objects are detected with equal accuracy is essential in AI systems. For instance, being unable to identify any one class of objects could have fatal c…
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…
Repairing Adversarial Texts through Perturbation
Guoliang Dong, Jingyi Wang, Jun Sun +5
It is known that neural networks are subject to attacks through adversarial perturbations, i.e., inputs which are maliciously crafted through perturbations to induce wrong predicti…
AequeVox: Automated Fairness Testing of Speech Recognition Systems
Sai Sathiesh Rajan, Sakshi Udeshi, Sudipta Chattopadhyay
Automatic Speech Recognition (ASR) systems have become ubiquitous. They can be found in a variety of form factors and are increasingly important in our daily lives. As such, ensuri…
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…
Astraea: Grammar-based Fairness Testing
Ezekiel Soremekun, Sakshi Udeshi, Sudipta Chattopadhyay
Software often produces biased outputs. In particular, machine learning (ML) based software are known to produce erroneous predictions when processing discriminatory inputs. Such u…
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…
Towards Backdoor Attacks and Defense in Robust Machine Learning Models
Ezekiel Soremekun, Sakshi Udeshi, Sudipta Chattopadhyay
The introduction of robust optimisation has pushed the state-of-the-art in defending against adversarial attacks. Notably, the state-of-the-art projected gradient descent (PGD)-bas…
Callisto: Entropy based test generation and data quality assessment for Machine Learning Systems
Sakshi Udeshi, Xingbin Jiang, Sudipta Chattopadhyay
Machine Learning (ML) has seen massive progress in the last decade and as a result, there is a pressing need for validating ML-based systems. To this end, we propose, design and ev…
Circ-Tree: A B+-Tree Variant with Circular Design for Persistent Memory
Chundong Wang, Gunavaran Brihadiswarn, Xingbin Jiang +1
Several B+-tree variants have been developed to exploit the performance potential of byte-addressable non-volatile memory (NVM). In this paper, we attentively investigate the prope…
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,…
Model Agnostic Defence against Backdoor Attacks in Machine Learning
Sakshi Udeshi, Shanshan Peng, Gerald Woo +3
Machine Learning (ML) has automated a multitude of our day-to-day decision making domains such as education, employment and driving automation. The continued success of ML largely…
Grammar Based Directed Testing of Machine Learning Systems
Sakshi Udeshi, Sudipta Chattopadhyay
The massive progress of machine learning has seen its application over a variety of domains in the past decade. But how do we develop a systematic, scalable and modular strategy to…
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…
Automated Directed Fairness Testing
Sakshi Udeshi, Pryanshu Arora, Sudipta Chattopadhyay
Fairness is a critical trait in decision making. As machine-learning models are increasingly being used in sensitive application domains (e.g. education and employment) for decisio…
Symbolic Verification of Cache Side-channel Freedom
Sudipta Chattopadhyay, Abhik Roychoudhury
Cache timing attacks allow third-party observers to retrieve sensitive information from program executions. But, is it possible to automatically check the vulnerability of a progra…
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…