Bara' Nazzal

According to our database, Bara' Nazzal authored at least 7 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

A Modeling and Static Analysis Approach for the Verification of Privacy and Safety Properties in Kotlin Android Apps.

Bara' Nazzal, Manar H. Alalfi, James R. Cordy

Proceedings of the 22nd Annual International Conference on Privacy, Security, and Trust, 2025

KASTroid: A Static Taint Analysis Framework for Kotlin-Based Android Applications.

Bara' Nazzal, Manar H. Alalfi, James R. Cordy

Proceedings of the 49th IEEE Annual Computers, Software, and Applications Conference, 2025

2024

A Survey on the Verification and Validation of Artificial Pancreas Software Systems.

Bara' Nazzal, Manar H. Alalfi, James R. Cordy

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

2022

A mutation framework for evaluating security analysis tools in IoT applications.

Manar H. Alalfi, Sajeda Parveen, Bara' Nazzal

Softw. Test. Verification Reliab., 2022

An Automated Approach for Privacy Leakage Identification in IoT Apps.

Bara' Nazzal, Manar H. Alalfi

IEEE Access, 2022

Vulnerability Classification of Consumer-based IoT Software.

Bara' Nazzal, Atheer Abu Zaid, Manar H. Alalfi, Altaz Valani

Proceedings of the 4th IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT, 2022

2019

Security analysis for SmartThings IoT applications.

Florian Schmeidl, Bara' Nazzal, Manar H. Alalfi

Proceedings of the 6th International Conference on Mobile Software Engineering and Systems, 2019