PLC-Sleuth: Detecting and Localizing PLC Intrusions Using Control Invariants. - Zeyu Yang 001; Liang He 002; Peng Cheng 001; Jiming Chen 001; David K. Y. Yau; Linkang Du (RAID, 2020)

An Event-Based Stealthy Attack on Remote State Estimation. - Peng Cheng 001; Zeyu Yang 001; Jiming Chen 001; Yifei Qi; Ling Shi 001 (IEEE Trans. Autom. Control., 2020)

Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants. - Zeyu Yang 001; Liang He 002; Hua Yu; Chengcheng Zhao; Peng Cheng 001; Jiming Chen 001 (SenSys, 2022)

Detecting PLC Intrusions Using Control Invariants. - Zeyu Yang 001; Liang He 002; Hua Yu; Chengcheng Zhao; Peng Cheng 001; Jiming Chen 001 (IEEE Internet Things J., 2022)

SePanner: Analyzing Semantics of Controller Variables in Industrial Control Systems based on Network Traffic. - Jie Meng; Zeyu Yang 001; Zhenyong Zhang; Yangyang Geng; Ruilong Deng; Peng Cheng 001; Jiming Chen 001; Jianying Zhou 001 (ACSAC, 2023)

Reverse Engineering Industrial Protocols Driven By Control Fields. - Zhen Qin; Zeyu Yang 001; Yangyang Geng; Xin Che; Tianyi Wang; Hengye Zhu; Peng Cheng 001; Jiming Chen 001 (INFOCOM, 2024)

Deception-Resistant Stochastic Manufacturing for Automated Production Lines. - Zeyu Yang 001; Hongyi Pu; Liang He 002; Chengtao Yao; Jianying Zhou 001; Peng Cheng 001; Jiming Chen 001 (RAID, 2024)

Mismatched Control and Monitoring Frequencies: Vulnerability, Attack, and Mitigation. - Zeyu Yang 001; Liang He 002; Peng Cheng 001; Jiming Chen 001 (IEEE Trans. Dependable Secur. Comput., 2025)

Unveiling Physical Semantics of PLC Variables Using Control Invariants. - Zeyu Yang 001; Liang He 002; Yucheng Ruan; Peng Cheng 001; Jiming Chen 001 (IEEE Trans. Dependable Secur. Comput., 2025)

SSTAF: Security Settings-Based Threat Assessment Framework of Programmable Logic Controllers. - Jie Meng; Zhenyong Zhang; Hengye Zhu; Zeyu Yang 001; Ruilong Deng; Peng Cheng 001; Jianying Zhou 001 (IEEE Trans. Inf. Forensics Secur., 2025)

PicaCAN: Reverse Engineering Physical Semantics of Signals in CAN Messages Using Physically-Induced Causalities. - Yucheng Ruan; Chengcheng Zhao; Zeyu Yang 001; Yuanchao Shu; Peng Cheng 001; Jiming Chen 001 (IEEE Trans. Mob. Comput., 2025)