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.
Yuqi Chen, Christopher M. Poskitt, and Jun Sun.
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.
Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, and Fan Zhang.
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.
Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, and Fan Zhang.
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.
Yuqi Chen, Christopher M. Poskitt, and Jun Sun.
2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA.

Additional Materials


Associate Professor (Education)
Research Fellow
Yifan JIA
PhD Student (SUTD/TUV)