New Publication: A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets
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 May 2022. See Publications for more details!