335 citations · 697 across the 11 of their papers we have counts for
11 papers
Developing a Strong CPS Defender: An Evolutionary Approach
Qingyuan Hu, Christopher M. Poskitt, Jun Sun +1
Cyber-physical systems (CPSs) are used extensively in critical infrastructure, underscoring the need for anomaly detection systems that are able to catch even the most motivated at…
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
Huijia Sun, Christopher M. Poskitt, Yang Sun +2
The rapid progress of autonomous vehicles~(AVs) has brought the prospect of a driverless future closer than ever. Recent fatalities, however, have emphasized the importance of safe…
Finding Causally Different Tests for an Industrial Control System
Christopher M. Poskitt, Yuqi Chen, Jun Sun +1
Industrial control systems (ICSs) are types of cyber-physical systems in which programs, written in languages such as ladder logic or structured text, control industrial processes…
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
Yang Sun, Christopher M. Poskitt, Jun Sun +2
Autonomous driving systems (ADSs) must be tested thoroughly before they can be deployed in autonomous vehicles. High-fidelity simulators allow them to be tested against diverse sce…
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Cyber-physical systems (CPSs) are widespread in critical domains, and significant damage can be caused if an attacker is able to modify the code of their programmable logic control…
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…