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.
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.