Automatic Verification and Execution of Cyber Attack on IoT Devices. - Fartein Lemjan Færøy; Muhammad Mudassar Yamin; Ankur Shukla; Basel Katt (Sensors, 2023)