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

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

People

SUN Jun
Associate Professor
Chris POSKITT
Assistant Professor (Education)
CHEN Yuqi
Research Fellow
Yifan JIA
PhD Student (SUTD/TUV)