Automated Identification of Over-Privileged SmartThings Apps. - Atheer Abu Zaid; Manar H. Alalfi; Ali Miri (ICSME, 2019)

Vulnerability Classification of Consumer-based IoT Software. - Bara' Nazzal; Atheer Abu Zaid; Manar H. Alalfi; Altaz Valani (SERP4IoT, 2022)

A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems. - Atheer Abu Zaid; Manar H. Alalfi; Ali Miri (CoRR, 2022)

A Model-Driven-Reverse Engineering Approach for Detecting Privilege Escalation in IoT Systems. - Manar H. Alalfi; Atheer Abu Zaid; Ali Miri (J. Object Technol., 2023)