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

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

An Automated Approach for Privacy Leakage Identification in IoT Apps. - Bara' Nazzal; Manar H. Alalfi (IEEE Access, 2022)

A mutation framework for evaluating security analysis tools in IoT applications. - Manar H. Alalfi; Sajeda Parveen; Bara' Nazzal (Softw. Test. Verification Reliab., 2022)

A Survey on the Verification and Validation of Artificial Pancreas Software Systems. - Bara' Nazzal; Manar H. Alalfi; James R. Cordy (ICSTW, 2024)