On Experimental validation of Whitelist Auto-Generation Method for Secured Programmable Logic Controllers. - Shintaro Fujita; Kosuke Rata; Akinori Mochizuki; Kenji Sawada; Seiichi Shin; Shu Hosokawa (IECON, 2018)

Model Verification and Exhaustive Testing for Whitelist Function of Industrial Control System. - Shintaro Fujita; Kenji Sawada; Seiichi Shin; Shu Hosokawa (IECON, 2019)

On the multiple anomaly detection of a third-party monitoring system for secured control. - Kousei Sakata; Shintaro Fujita; Kenji Sawada; Seiichi Shin; Ippei Maeta; Shu Hosokawa (SII, 2020)

Synthesis of resilient third-party monitoring system against cyberattacks via supervisory control. - Kousei Sakata; Shintaro Fujita; Kenji Sawada (ICCE, 2021)

OpenPLC based control system testbed for PLC whitelisting system. - Shintaro Fujita; Kosuke Hata; Akinori Mochizuki; Kenji Sawada; Seiichi Shin; Shu Hosokawa (Artif. Life Robotics, 2021)

Model Verification of Resilient Third-Party Monitoring System Against Cyberattacks. - Kousei Sakata; Shintaro Fujita; Kenji Sawada (ICCE, 2022)

Packet Analysis and Information Theory on Attack Detection for Modbus TCP. - Tatsuya Nishiuchi; Shintaro Fujita; Yohei Watanabe 001; Mitsugu Iwamoto; Kenji Sawada (IECON, 2023)

Model verification of fallback control system under cyberattacks via UPPAAL. - Kousei Sakata; Shintaro Fujita; Kenji Sawada; Hiroshi Iwasawa; Hiromichi Endoh; Noritaka Matsumoto (Adv. Robotics, 2023)