Mohannad Alhanahnah

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 23

Top Topics

Machine Learning Systems

Nearest Neighbor

Formal Specification

Top Venues

IEEE Trans. Software Eng.

SIGMETRICS/Performance (Abstracts)

Publications

Huaifeng Zhang, Mohannad Alhanahnah, Fahmi Abdulqadir Ahmed, Dyako Fatih, Philipp Leitner, Ahmed Ali-Eldin
Machine Learning Systems are Bloated and Vulnerable. Proc. ACM Meas. Anal. Comput. Syst. 8 (1) (2024)
Huaifeng Zhang, Mohannad Alhanahnah, Fahmi Abdulqadir Ahmed, Dyako Fatih, Philipp Leitner, Ahmed Ali-Eldin
Machine Learning Systems are Bloated and Vulnerable. SIGMETRICS/Performance (Abstracts) (2024)
Mohannad Alhanahnah, Md Rashedul Hasan, Hamid Bagheri
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications. CoRR (2024)
Mohannad Alhanahnah, Yazan Boshmaf, Benoit Baudry
DepsRAG: Towards Managing Software Dependencies using Large Language Models. CoRR (2024)
Mohannad Alhanahnah, Yazan Boshmaf, Ashish Gehani
SoK: Software Debloating Landscape and Future Directions. CoRR (2024)
Do-Men Su, Mohannad Alhanahnah
Unleashing the Adversarial Facet of Software Debloating. CoRR (2023)
Mohannad Alhanahnah, Clay Stevens, Bocheng Chen, Qiben Yan, Hamid Bagheri
IoTCom: Dissecting Interaction Threats in IoT Systems. IEEE Trans. Software Eng. 49 (4) (2023)
Mohannad Alhanahnah, Shiqing Ma, Ashish Gehani, Gabriela F. Ciocarlie, Vinod Yegneswaran, Somesh Jha, Xiangyu Zhang
autoMPI: Automated Multiple Perspective Attack Investigation With Semantics Aware Execution Partitioning. IEEE Trans. Software Eng. 49 (4) (2023)
Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden
slash: A Technique for Static Configuration-Logic Identification. CoRR (2023)
Huaifeng Zhang, Mohannad Alhanahnah, Ahmed Ali-Eldin
BLAFS: A Bloat Aware File System. CoRR (2023)
Yunang Chen, Mohannad Alhanahnah, Andrei Sabelfeld, Rahul Chatterjee, Earlence Fernandes
Practical Data Access Minimization in Trigger-Action Platforms. USENIX Security Symposium (2022)
Yizhen Wang, Mohannad Alhanahnah, Xiaozhu Meng, Ke Wang, Mihai Christodorescu, Somesh Jha
Robust Learning against Relational Adversaries. NeurIPS (2022)
Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. EuroS&P (2022)
Huaifeng Zhang, Fahmi Abdulqadir Ahmed, Dyako Fatih, Akayou Kitessa, Mohannad Alhanahnah, Philipp Leitner, Ahmed Ali-Eldin
Machine Learning Containers are Bloated and Vulnerable. CoRR (2022)
Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. CoRR (2021)
Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri
Scalable analysis of interaction threats in IoT systems. ISSTA (2020)
Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-an, Xiapu Luo
DINA: Detecting Hidden Android Inter-App Communication in Dynamic Loaded Code. IEEE Trans. Inf. Forensics Secur. 15 (2020)
Mohannad Alhanahnah
Software Quality Assessment for Robot Operating System. CoRR (2020)
Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-an, Xiapu Luo
Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code. INFOCOM (2019)
Mohannad Alhanahnah, Qicheng Lin, Qiben Yan, Ning Zhang, Zhenxiang Chen
Efficient Signature Generation for Classifying Cross-Architecture IoT Malware. CNS (2018)
Mohannad Alhanahnah, Qiben Yan
Towards best secure coding practice for implementing SSL/TLS. INFOCOM Workshops (2018)
Moh'd Rasoul Al-Hadidi, Abdulsalam Alarabeyyat, Mohannad Alhanahnah
Breast Cancer Detection Using K-Nearest Neighbor Machine Learning Algorithm. DeSE (2016)
Mohannad Alhanahnah, David W. Chadwick
Boosting Usability for Protecting Online Banking Applications Against APTs. CCC (2016)