Mobile app privacy in software engineering research: A systematic map** study

F Ebrahimi, M Tushev, A Mahmoud - Information and Software Technology, 2021 - Elsevier
Context: Mobile applications (apps) have become deeply personal, constantly demanding
access to privacy-sensitive information in exchange for more personalized user …

Dina: Detecting hidden android inter-app communication in dynamic loaded code

M Alhanahnah, Q Yan, H Bagheri… - IEEE Transactions …, 2020 - ieeexplore.ieee.org
Android inter-app communication (IAC) allows apps to request functionalities from other
apps, which has been extensively used to provide a better user experience. However, IAC …

Deldroid: an automated approach for determination and enforcement of least-privilege architecture in android

M Hammad, H Bagheri, S Malek - Journal of Systems and Software, 2019 - Elsevier
Android is widely used for the development and deployment of autonomous and smart
systems, including software targeted for IoT and mobile devices. Security of such systems is …

User Privacy and Data Flow Control for Android Apps: Systematic Literature Review

ZR Alkindi, M Sarrab, N Alzeidi - Journal of Cyber …, 2021 - journals.riverpublishers.com
Android mobile apps gain access to numerous users' private data. Users of different Android
mobile apps have less control over their sensitive data during their installation and run-time …

Scalable Relational Analysis via Relational Bound Propagation

C Stevens, H Bagheri - Proceedings of the IEEE/ACM 46th International …, 2024 - dl.acm.org
Bounded formal analysis techniques (such as bounded model checking) are incredibly
powerful tools for today's software engineers. However, such techniques often suffer from …