A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets. - Alvi Jawad; Luke Newton; Ashraf Matrawy; Jason Jaskolka (ICC, 2022)