cyber-physical systems publications (see more about cyber-physical systems)
View publications on
security,
program analysis,
operating systems,
cyber-physical systems,
trusted computing,
software testing,
programming languages
or
binary analysis & instrumentation.
Or, show all publications.
2023
2022
DriveFuzz: Discovering Autonomous Driving Bugs through Driving Quality-Guided Fuzzing
In CCS 2022 [ pdf :: slides :: bibtex ]
In CCS 2022 [ pdf :: slides :: bibtex ]
Poster: Automated Discovery of Sensor Spoofing Attacks on Robotic Vehicles
In CCS 2022 [ pdf :: bibtex ]
In CCS 2022 [ pdf :: bibtex ]
2021
Poster: AutoInsight: A Comprehensive Testing and Analysis Platform for Autonomous Driving Systems
In Fed Supernova 2021 [ pdf :: bibtex ]
In Fed Supernova 2021 [ pdf :: bibtex ]
PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-metal Embedded Applications
In Security 2021 [ pdf :: slides :: bibtex ]
In Security 2021 [ pdf :: slides :: bibtex ]
2020
From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with Mayday
In Security 2020 [ pdf :: slides :: bibtex ]
In Security 2020 [ pdf :: slides :: bibtex ]
2019
RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing
In Security 2019 [ pdf :: slides :: bibtex ]
In Security 2019 [ pdf :: slides :: bibtex ]
2018
Securing Real-Time Microcontroller Systems through Customized Memory View Switching
In NDSS 2018 [ pdf :: slides :: bibtex ]
In NDSS 2018 [ pdf :: slides :: bibtex ]
2017
RevARM: A Platform-Agnostic ARM Binary Rewriter for Security Applications
In ACSAC 2017 [ pdf :: slides :: bibtex ]
In ACSAC 2017 [ pdf :: slides :: bibtex ]