Publications

2024

• Unveiling Physical Semantics of PLC Variables Using Control Invariants.

  Zeyu Yang, Liang He, Yucheng Ruan, Peng Cheng and Jiming Chen.
  IEEE Transactions on Dependable and Secure Computing (TDSC), 2024.
  [pdf] [code]

• Deception-Resistant Stochastic Manufacturing for Automated Production Lines.

  Zeyu Yang, Hongyi Pu, Liang He, Chengtao Yao, Jianying Zhou, Peng Cheng, and Jiming Chen.
  The 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2024).
  [pdf] [code]

• Mismatched Control and Monitoring Frequencies: Vulnerability, Attack, and Mitigation.

  Zeyu Yang, Liang He, Peng Cheng and Jiming Chen.
  IEEE Transactions on Dependable and Secure Computing (TDSC), 2024.
  [pdf] [code]

• Real-Time Intrusion Detection Based on Decision Fusion in Industrial Control Systems.

  Yawen Xue, Jie Pan, Yangyang Geng, Zeyu Yang, Mengxiang Liu, and Ruilong Deng.
  IEEE Transactions on Industrial Cyber-Physical Systems, 2024.
  [pdf] [code] [dataset]

• Reverse Engineering Industrial Protocols Driven By Control Fields.

  Zhen Qin, Zeyu Yang, Yangyang Geng, Xin Che, Tianyi Wang, Hengye Zhu, Peng Cheng, Jiming Chen.
  IEEE International Conference on Computer Communications (INFOCOM 2024).
  [pdf] [code] [dataset]

2023

• SePanner: Analyzing Semantics of Controller Variables in Industrial Control Systems based on Network Traffic.

  Jie Meng, Zeyu Yang, Zhenyong Zhang, Yangyang Geng, Ruilong Deng, Peng Cheng, Jiming Chen, and Jianying Zhou. The 39th Annual Computer Security Applications Conference (ACSAC 2023). [Distinguished Paper Award]
  [pdf] [code]

2022

• Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants.

  Zeyu Yang, Liang He, Hua Yu, Chengcheng Zhao, Peng Cheng, and Jiming Chen.
  The 20th ACM Conference on Embedded Networked Sensor Systems (SenSys 2022).
  [pdf] [code]

• Detecting PLC Intrusions Using Control Invariants.

  Zeyu Yang, Liang He, Hua Yu, Chengcheng Zhao, Peng Cheng, and Jiming Chen.
  IEEE Internet of Things Journal (IoT-J 2022).
  [pdf] [code]

2020

• PLC‐Sleuth: Detecting and Localizing PLC Intrusions Using Control Invariants.

  Zeyu Yang, Liang He, Peng Cheng, Jiming Chen, David K.Y. Yau, and Linkang Du.
  The 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020).
  [pdf] [code]

• Diagnosing PLC Using Control Invariants.

  Hua Yu, Zeyu Yang, Liang He, Peng Cheng, Jiming Chen.
  The 41st IEEE Real-Time Systems Symposium (RTSS@Work 2020).
  [pdf] [Video]

• An event‐based stealthy attack on remote state estimation.

  Peng Cheng, Zeyu Yang, Jiming Chen, Yifei Qi, and Ling Shi.
  IEEE Transactions on Automatic Control (TAC 2020).
  [pdf]