Publications

20+ peer-reviewed publications in top security, software engineering, and systems venues. Includes 2 best paper awards and 2 US patents.

2025

  • An empirical evaluation of pre-trained large language models for repairing declarative formal specifications
    Mohannad Alhanahnah, Md Rashedul Hasan, Lisong Xu, and Hamid Bagheri
    Empirical Software Engineering, 2025
    DOI
  • Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches
    Md Rashedul Hasan, Mohannad Alhanahnah, Clay Stevens, and Hamid Bagheri
    In 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2025
    🏆 Distinguished Artifact Award DOI

2024

  • DepsRAG: Towards Agentic Reasoning and Planning for Software Dependency Management
    Mohannad Alhanahnah and Yazan Boshmaf
    In NeurIPS 2024 Workshop on Open-World Agents (OWA), 2024
  • Machine Learning Systems are Bloated and Vulnerable
    Huaifeng Zhang, Mohannad Alhanahnah, Fahmi Abdulqadir Ahmed, Dyako Fatih, Philipp Leitner, and Ahmed Ali-Eldin
    Proceedings of the ACM on Measurement and Analysis of Computing Systems, 2024
    DOI
  • SoK: Software Debloating Landscape and Future Directions
    Mohannad Alhanahnah, Yazan Boshmaf, and Ashish Gehani
    In Proceedings of the 2024 Workshop on Forming an Ecosystem Around Software Transformation (FEAST), 2024
    DOI
  • Software Debloating from Exception-Handler Lenses
    Mohannad Alhanahnah and Arshad Jhumka
    In Proceedings of the 2024 Workshop on Forming an Ecosystem Around Software Transformation (FEAST), 2024
    DOI

2022

  • Lightweight, Multi-Stage, Compiler-Assisted Application Specialization
    Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, and Thomas Reps
    In 2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P), 2022
    DOI
  • Robust Learning against Relational Adversaries
    Yizhen Wang, Mohannad Alhanahnah, Xiaozhu Meng, Ke Wang, Mihai Christodorescu, and Somesh Jha
    In Advances in Neural Information Processing Systems (NeurIPS), 2022
  • Practical Data Access Minimization in Trigger-Action Platforms
    Yunang Chen, Mohannad Alhanahnah, Andrei Sabelfeld, Rahul Chatterjee, and Earlence Fernandes
    In 31st USENIX Security Symposium (USENIX Security 22), 2022
  • autoMPI: Automated Multiple Perspective Attack Investigation with Semantics Aware Execution Partitioning
    Mohannad Alhanahnah, Shiqing Ma, Ashish Gehani, Gabriela F. Ciocarlie, Vinod Yegneswaran, Somesh Jha, and Xiangyu Zhang
    IEEE Transactions on Software Engineering, 2022
    DOI
  • IoTCOM: Dissecting Interaction Threats in IoT Systems
    Mohannad Alhanahnah, Clay Stevens, Bocheng Chen, Qiben Yan, and Hamid Bagheri
    IEEE Transactions on Software Engineering, 2022
    DOI

2020

  • Scalable Analysis of Interaction Threats in IoT Systems
    Mohannad Alhanahnah, Clay Stevens, and Hamid Bagheri
    In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2020
    🏆 Distinguished Paper Award DOI
  • DINA: Detecting Hidden Android Inter-App Communication in Dynamic Loaded Code
    Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-An, and Xiapu Luo
    IEEE Transactions on Information Forensics and Security, 2020
    DOI
  • Comparing Formal Models of IoT App Coordination Analysis
    Clay Stevens, Mohannad Alhanahnah, Qiben Yan, and Hamid Bagheri
    In Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment, 2020

2019

  • Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code
    Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-an, and Xiapu Luo
    In IEEE INFOCOM 2019 - IEEE Conference on Computer Communications, 2019
    DOI

2018

  • Efficient Signature Generation for Classifying Cross-Architecture IoT Malware
    Mohannad Alhanahnah, Qicheng Lin, Qiben Yan, Ning Zhang, and Zhenxiang Chen
    In 2018 IEEE Conference on Communications and Network Security (CNS), 2018
    DOI
  • Towards Best Secure Coding Practice for Implementing SSL/TLS
    Mohannad Alhanahnah and Qiben Yan
    In IEEE INFOCOM 2018 Workshops, 2018
    DOI
  • Context-Aware Multifaceted Trust Framework For Evaluating Trustworthiness of Cloud Providers
    Mohannad Alhanahnah, Peter Bertok, Zahir Tari, and Sahel Alouneh
    Future Generation Computer Systems, 2018
    DOI

2017

  • Trusting Cloud Service Providers: Trust Phases and a Taxonomy of Trust Factors
    Mohannad Alhanahnah, Peter Bertok, and Zahir Tari
    IEEE Cloud Computing, 2017
    DOI

2016

  • A Multidimension Taxonomy of Insider Threats in Cloud Computing
    Mohannad J. Alhanahnah, Arshad Jhumka, and Sahel Alouneh
    The Computer Journal, 2016
    DOI
  • Boosting Usability for Protecting Online Banking Applications Against APTs
    Mohannad Alhanahnah and David Chadwick
    In 2016 Cybersecurity and Cyberforensics Conference (CCC), 2016
    DOI
  • Breast Cancer Detection Using K-Nearest Neighbor Machine Learning Algorithm
    Moh’d Rasoul Al-Hadidi, Abdulsalam Alarabeyyat, and Mohannad Alhanahnah
    In 2016 9th International Conference on Developments in eSystems Engineering (DeSE), 2016
    DOI