Anomaly detection for a water treatment system using unsupervised machine learning J Inoue, Y Yamagata, Y Chen, CM Poskitt, J Sun 2017 IEEE international conference on data mining workshops (ICDMW), 1058-1065, 2017 | 349 | 2017 |
Learning from mutants: Using code mutation to learn and monitor invariants of a cyber-physical system Y Chen, CM Poskitt, J Sun 2018 IEEE Symposium on Security and Privacy (SP), 648-660, 2018 | 159 | 2018 |
Learning-guided network fuzzing for testing cyber-physical system defences Y Chen, CM Poskitt, J Sun, S Adepu, F Zhang 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 73 | 2019 |
Towards learning and verifying invariants of cyber-physical systems by code mutation Y Chen, CM Poskitt, J Sun FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 31 | 2016 |
Active fuzzing for testing and securing cyber-physical systems Y Chen, B Xuan, CM Poskitt, J Sun, F Zhang Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 26 | 2020 |
Specification-based autonomous driving system testing Y Zhou, Y Sun, Y Tang, Y Chen, J Sun, CM Poskitt, Y Liu, Z Yang IEEE Transactions on Software Engineering 49 (6), 3391-3410, 2023 | 22 | 2023 |
LawBreaker: An approach for specifying traffic laws and fuzzing autonomous vehicles Y Sun, CM Poskitt, J Sun, Y Chen, Z Yang Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 22 | 2022 |
Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems Y Jia, J Wang, CM Poskitt, S Chattopadhyay, J Sun, Y Chen International Journal of Critical Infrastructure Protection 34, 100452, 2021 | 22 | 2021 |
Defending cyber–physical systems through reverse-engineering-based memory sanity check Y Geng, Y Chen, R Ma, Q Wei, J Pan, J Wang, P Cheng, Q Wang IEEE Internet of Things Journal 10 (10), 8331-8347, 2022 | 14 | 2022 |
FIGCPS: Effective failure-inducing input generation for cyber-physical systems with deep reinforcement learning S Zhang, S Liu, J Sun, Y Chen, W Huang, J Liu, J Liu, J Hao 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 10 | 2021 |
Code integrity attestation for PLCs using black box neural network predictions Y Chen, CM Poskitt, J Sun Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 7 | 2021 |
Groot: Adversarial Testing for Generative Text-to-Image Models with Tree-based Semantic Transformation Y Liu, G Yang, G Deng, F Chen, Y Chen, L Shi, T Zhang, Y Liu arXiv preprint arXiv:2402.12100, 2024 | 3 | 2024 |
Control Logic Attack Detection and Forensics through Reverse-engineering and Verifying PLC Control Applications Y Geng, X Che, R Ma, Q Wei, M Wang, Y Chen IEEE Internet of Things Journal, 2023 | 2 | 2023 |
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis P Sun, F Song, Y Chen, T Chen Proceedings of the ACM on Programming Languages 8 (POPL), 848-881, 2024 | 1 | 2024 |
Finding Causally Different Tests for an Industrial Control System CM Poskitt, Y Chen, J Sun, Y Jiang 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 1 | 2023 |
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings H Sun, CM Poskitt, Y Sun, J Sun, Y Chen Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | | 2024 |
Detecting Cyber-Attacks Against Cyber-Physical Manufacturing System: A Machining Process Invariant Approach Z Li, X Chen, Y Chen, S Li, H Wang, S Lv, L Sun IEEE Internet of Things Journal, 2024 | | 2024 |
Constructing Cyber-Physical System Testing Suites using Active Sensor Fuzzing F Zhang, Q Wu, B Xuan, Y Chen, W Lin, CM Poskitt, J Sun, B Chen IEEE Transactions on Software Engineering, 2023 | | 2023 |