Accurate Modeling of The Siemens S7 SCADA Protocol For Intrusion Detection And Digital Forensic. - Amit Kleinmann; Avishai Wool (J. Digit. Forensics Secur. Law, 2014)

A Statechart-Based Anomaly Detection Model for Multi-Threaded SCADA Systems. - Amit Kleinmann; Avishai Wool (CRITIS, 2015)

Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded SCADA via Spectral Analysis. - Amit Kleinmann; Avishai Wool (CPS-SPC@CCS, 2016)

Stealthy Deception Attacks Against SCADA Systems. - Amit Kleinmann; Ori Amichay; Avishai Wool; David Tenenbaum; Ofer Bar; Leonid Lev (CyberICPS/SECPRE@ESORICS, 2017)

Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded Industrial Control Systems. - Amit Kleinmann; Avishai Wool (ACM Trans. Intell. Syst. Technol., 2017)