Testing/Defending CPSs
Cyber-physical systems are often safety-critical, e.g., those which control important infrastructure such as water and electricity. They thus must be systematically analyzed.
Key Publications
Code integrity attestation for PLCs using black box neural network predictions.
ESEC/FSE ‘21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021.
Active fuzzing for testing and securing cyber-physical systems.
ISSTA ‘20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020.
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences.
34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019.
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System.
2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA.
Additional Materials
People
SUN Jun
Chris POSKITT
CHEN Yuqi
