New Publication: Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata
Our publication “” is now available online. In this paper, we present a timed formal mode-based approach is presented to observe and analyze the manifold impact of various cyberattacks on the operations of industrial control systems. The analysis is automated using on timed automata models of a target system and potential attackers. It was presented at the in December 2021. See Publications for more details!