research
∙
05/08/2023
Distribution-aware Fairness Test Generation
This work addresses how to validate group fairness in image recognition ...
share
research
∙
10/26/2022
Identifying Threats, Cybercrime and Digital Forensic Opportunities in Smart City Infrastructure via Threat Modeling
Technological advances have enabled multiple countries to consider imple...
research
∙
03/27/2022
A Systematic Survey of Attack Detection and Prevention in Connected and Autonomous Vehicles
The number of Connected and Autonomous Vehicles (CAVs) is increasing rap...
research
∙
12/29/2021
Repairing Adversarial Texts through Perturbation
It is known that neural networks are subject to attacks through adversar...
research
∙
10/19/2021
AequeVox: Automated Fairness Testing of Speech Recognition Systems
Automatic Speech Recognition (ASR) systems have become ubiquitous. They ...
research
∙
05/22/2021
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems
The threats faced by cyber-physical systems (CPSs) in critical infrastru...
research
∙
12/23/2020
SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems
Cyber-Physical Systems (CPS) are being widely adopted in critical infras...
research
∙
10/06/2020
Astraea: Grammar-based Fairness Testing
Software often produces biased outputs. In particular, machine learning ...
research
∙
03/16/2020
STITCHER: Correlating Digital Forensic Evidence on Internet-of-Things Devices
The increasing adoption of Internet-of-Things (IoT) devices present new ...
research
∙
03/12/2020
Securing Autonomous Service Robots through Fuzzing, Detection, and Mitigation
Autonomous service robots share social spaces with humans, usually worki...
research
∙
12/20/2019
Circ-Tree: A B+-Tree Variant with Circular Design for Persistent Memory
Several B+-tree variants have been developed to exploit the performance ...
research
∙
12/11/2019
Callisto: Entropy based test generation and data quality assessment for Machine Learning Systems
Machine Learning (ML) has seen massive progress in the last decade and a...
research
∙
11/13/2019
Systematic Classification of Attackers via Bounded Model Checking
In this work, we study the problem of verification of systems in the pre...
research
∙
09/02/2019
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
Spectre attacks disclosed in early 2018 expose data leakage scenarios vi...
research
∙
08/06/2019
Model Agnostic Defence against Backdoor Attacks in Machine Learning
Machine Learning (ML) has automated a multitude of our day-to-day decisi...
research
∙
08/02/2019
Road Context-aware Intrusion Detection System for Autonomous Cars
Security is of primary importance to vehicles. The viability of performi...
research
∙
02/26/2019
Grammar Based Directed Testing of Machine Learning Systems
The massive progress of machine learning has seen its application over a...
research
∙
09/20/2018
Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS
Memory-safety attacks have been one of the most critical threats against...
research
∙
07/16/2018
oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis
The Spectre vulnerability in modern processors has been reported earlier...
research
∙
07/16/2018
oo7: Low-overhead Defense against Spectre Attacks
The Spectre vulnerability in modern processors has been reported earlier...
research
∙
07/12/2018
Symbolic Verification of Cache Side-channel Freedom
Cache timing attacks allow third-party observers to retrieve sensitive i...
research
∙
07/02/2018