Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. - Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001 (FM, 2016)

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. - Jun Inoue 001; Yoriyuki Yamagata; Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001 (ICDM Workshops, 2017)

Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. - Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001 (IEEE Symposium on Security and Privacy, 2018)

Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. - Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001; Sridhar Adepu; Fan Zhang 010 (ASE, 2019)

Active fuzzing for testing and securing cyber-physical systems. - Yuqi Chen 001; Bohan Xuan; Christopher M. Poskitt; Jun Sun 001; Fan Zhang 010 (ISSTA, 2020)

Code integrity attestation for PLCs using black box neural network predictions. - Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001 (ESEC/SIGSOFT FSE, 2021)

Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. - Yifan Jia 002; Jingyi Wang 004; Christopher M. Poskitt; Sudipta Chattopadhyay 001; Jun Sun 001; Yuqi Chen 001 (Int. J. Crit. Infrastructure Prot., 2021)

LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. - Yang Sun 008; Christopher M. Poskitt; Jun Sun 001; Yuqi Chen 001; Zijiang Yang 006 (ASE, 2022)

Finding Causally Different Tests for an Industrial Control System. - Christopher M. Poskitt; Yuqi Chen 001; Jun Sun 001; Yu Jiang 001 (ICSE, 2023)

Defending Cyber-Physical Systems Through Reverse-Engineering-Based Memory Sanity Check. - Yangyang Geng; Yuqi Chen 001; Rongkuan Ma; Qiang Wei; Jie Pan; Jingyi Wang 004; Peng Cheng 001; Qingxian Wang (IEEE Internet Things J., 2023)

Specification-Based Autonomous Driving System Testing. - Yuan Zhou 005; Yang Sun 008; Yun Tang 003; Yuqi Chen 001; Jun Sun 001; Christopher M. Poskitt; Yang Liu 003; Zijiang Yang 006 (IEEE Trans. Software Eng., 2023)

Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing. - Fan Zhang 010; Qianmei Wu; Bohan Xuan; Yuqi Chen 001; Wei Lin; Christopher M. Poskitt; Jun Sun 001; Binbin Chen 001 (IEEE Trans. Software Eng., 2023)

ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. - Huijia Sun; Christopher M. Poskitt; Yang Sun 008; Jun Sun 001; Yuqi Chen 001 (ICSE, 2024)

DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation. - Mingke Yang; Yuqi Chen 001; Yi Liu 069; Ling Shi 002 (ISSTA, 2024)

Efficient Detection of Toxic Prompts in Large Language Models. - Yi Liu 069; Junzhe Yu; Huijia Sun; Ling Shi 002; Gelei Deng; Yuqi Chen 001; Yang Liu 003 (ASE, 2024)

MICABAC: Multidimensional Industrial Control Attribute-Based Access Control Model. - Hangyu Wang; Fei Lv 010; Yuqi Chen 001; Shuaizong Si; Zhiwen Pan; Degang Sun; Limin Sun 001 (SMC, 2024)

Groot: Adversarial Testing for Generative Text-to-Image Models with Tree-based Semantic Transformation. - Yi Liu 069; Guowei Yang; Gelei Deng; Feiyue Chen; Yuqi Chen 001; Ling Shi 002; Tianwei Zhang 004; Yang Liu 003 (CoRR, 2024)

Control Logic Attack Detection and Forensics Through Reverse-Engineering and Verifying PLC Control Applications. - Yangyang Geng; Xin Che; Rongkuan Ma; Qiang Wei; Mufeng Wang; Yuqi Chen 001 (IEEE Internet Things J., 2024)

PowerGuard: Using Power Side-Channel Signals to Secure Motion Controllers in ICS. - Shijie Li; Yuqi Chen 001; Xin Chen; Zedong Li; Dongliang Fang; Kaixiang Liu; Shichao Lv; Limin Sun 001 (IEEE Trans. Inf. Forensics Secur., 2024)

EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis. - Pu Sun; Fu Song; Yuqi Chen 001; Taolue Chen 001 (Proc. ACM Program. Lang., 2024)

Detecting Cyber-Attacks Against Cyber-Physical Manufacturing System: A Machining Process Invariant Approach. - Zedong Li; Xin Chen; Yuqi Chen 001; Shijie Li; Hangyu Wang; Shichao Lv; Limin Sun 001 (IEEE Internet Things J., 2024)

LaserGuider: A Laser Based Physical Backdoor Attack Against Deep Neural Networks. - Yongjie Xu; Guangke Chen; Fu Song; Yuqi Chen 001 (ACNS (3), 2025)

SFACIF: A safety function attack and anomaly industrial condition identified framework. - Kaixiang Liu; Yongfang Xie; Yuqi Chen 001; Shiwen Xie; Xin Chen; Dongliang Fang; Limin Sun 001 (Comput. Networks, 2025)

SecureSIS: Securing SIS Safety Functions With Safety Attributes and BPCS Information. - Kaixiang Liu; Yongfang Xie; Shiwen Xie; Yuqi Chen 001; Xin Chen; Limin Sun 001; Zhiwen Pan (IEEE Trans. Inf. Forensics Secur., 2025)

Breaking the Loop: Detecting and Mitigating Denial-of-Service Vulnerabilities in Large Language Models. - Junzhe Yu; Yi Liu 069; Huijia Sun; Ling Shi 002; Yuqi Chen 001 (CoRR, 2025)