Mohannad Alhanahnah

30 papers A* 3A 4C 1Journal 16Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
An empirical evaluation of pre-trained large language models for repairing declarative formal specifications.
Empir. Softw. Eng.
Mohannad Alhanahnah, Md Rashedul Hasan, Lisong Xu, Hamid Bagheri
2025 J jnl
BACFuzz: Exposing the Silence on Broken Access Control Vulnerabilities in Web Applications.
CoRR
I Putu Arya Dharmaadi, Mohannad Alhanahnah, Van-Thuan Pham, Fadi Mohsen, Fatih Turkmen
2025 — conf
BLAFS: A Bloat-Aware Container File System.
SoCC
Huaifeng Zhang, Mohannad Alhanahnah, Philipp Leitner, Ahmed Ali-Eldin
2025 J jnl
PEA: Enhancing LLM Performance on Computational-Reasoning Tasks.
CoRR
Zi Wang, Shiwei Weng, Mohannad Alhanahnah, Somesh Jha, Thomas W. Reps
2025 A conf
Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches.
DSN
Md Rashedul Hasan, Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri
2024 J jnl
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications.
CoRR
Mohannad Alhanahnah, Md Rashedul Hasan, Hamid Bagheri
2024 J jnl
DepsRAG: Towards Managing Software Dependencies using Large Language Models.
CoRR
Mohannad Alhanahnah, Yazan Boshmaf, Benoit Baudry
2024 — conf
Machine Learning Systems are Bloated and Vulnerable.
SIGMETRICS/Performance (Abstracts)
Huaifeng Zhang, Mohannad Alhanahnah, Fahmi Abdulqadir Ahmed, Dyako Fatih, Philipp Leitner, Ahmed Ali-Eldin
2024 J jnl
Machine Learning Systems are Bloated and Vulnerable.
Proc. ACM Meas. Anal. Comput. Syst.
Huaifeng Zhang, Mohannad Alhanahnah, Fahmi Abdulqadir Ahmed, Dyako Fatih, Philipp Leitner, Ahmed Ali-Eldin
2024 — conf
SoK: Software Debloating Landscape and Future Directions.
FEAST@CCS
Mohannad Alhanahnah, Yazan Boshmaf, Ashish Gehani
2024 J jnl
SoK: Software Debloating Landscape and Future Directions.
CoRR
Mohannad Alhanahnah, Yazan Boshmaf, Ashish Gehani
2024 — conf
Software Debloating from Exception-Handler Lenses.
FEAST@CCS
Mohannad Alhanahnah, Arshad Jhumka
2023 J jnl
BLAFS: A Bloat Aware File System.
CoRR
Huaifeng Zhang, Mohannad Alhanahnah, Ahmed Ali-Eldin
2023 J jnl
IoTCom: Dissecting Interaction Threats in IoT Systems.
IEEE Trans. Software Eng.
Mohannad Alhanahnah, Clay Stevens, Bocheng Chen, Qiben Yan, Hamid Bagheri
2023 J jnl
Unleashing the Adversarial Facet of Software Debloating.
CoRR
Do-Men Su, Mohannad Alhanahnah
2023 J jnl
autoMPI: Automated Multiple Perspective Attack Investigation With Semantics Aware Execution Partitioning.
IEEE Trans. Software Eng.
Mohannad Alhanahnah, Shiqing Ma, Ashish Gehani, Gabriela F. Ciocarlie, Vinod Yegneswaran, Somesh Jha, Xiangyu Zhang
2023 J jnl
slash: A Technique for Static Configuration-Logic Identification.
CoRR
Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden
2022 A conf
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization.
EuroS&P
Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps
2022 J jnl
Machine Learning Containers are Bloated and Vulnerable.
CoRR
Huaifeng Zhang, Fahmi Abdulqadir Ahmed, Dyako Fatih, Akayou Kitessa, Mohannad Alhanahnah, Philipp Leitner, Ahmed Ali-Eldin
2022 A* conf
Practical Data Access Minimization in Trigger-Action Platforms.
USENIX Security Symposium
Yunang Chen, Mohannad Alhanahnah, Andrei Sabelfeld, Rahul Chatterjee, Earlence Fernandes
2022 A* conf
Robust Learning against Relational Adversaries.
NeurIPS
Yizhen Wang, Mohannad Alhanahnah, Xiaozhu Meng, Ke Wang, Mihai Christodorescu, Somesh Jha
2021 J jnl
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization.
CoRR
Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps
2020 J jnl
DINA: Detecting Hidden Android Inter-App Communication in Dynamic Loaded Code.
IEEE Trans. Inf. Forensics Secur.
Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-an, Xiapu Luo
2020 A conf
Scalable analysis of interaction threats in IoT systems.
ISSTA
Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri
2020 J jnl
Software Quality Assessment for Robot Operating System.
CoRR
Mohannad Alhanahnah
2019 A* conf
Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code.
INFOCOM
Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-an, Xiapu Luo
2018 — conf
Efficient Signature Generation for Classifying Cross-Architecture IoT Malware.
CNS
Mohannad Alhanahnah, Qicheng Lin, Qiben Yan, Ning Zhang, Zhenxiang Chen
2018 — conf
Towards best secure coding practice for implementing SSL/TLS.
INFOCOM Workshops
Mohannad Alhanahnah, Qiben Yan
2016 A conf
Boosting Usability for Protecting Online Banking Applications Against APTs.
CCC
Mohannad Alhanahnah, David W. Chadwick
2016 C conf
Breast Cancer Detection Using K-Nearest Neighbor Machine Learning Algorithm.
DeSE
Moh'd Rasoul Al-Hadidi, Abdulsalam Alarabeyyat, Mohannad Alhanahnah