Security analysis for SmartThings IoT applications. - Florian Schmeidl; Bara' Nazzal; Manar H. Alalfi (MOBILESoft@ICSE, 2019)