A Heuristic State Space Search Model for Security Protocol Verification. - Zeeshan Furqan; Ratan K. Guha; Shahabuddin Muhammad (ICETE (2), 2004)

Wireless sensor network security: a secure sink node architecture. - Shahabuddin Muhammad; Zeeshan Furqan; Ratan K. Guha (IPCCC, 2005)

Understanding the intruder through attacks on cryptographic protocols. - Shahabuddin Muhammad; Zeeshan Furqan; Ratan K. Guha (ACM Southeast Regional Conference, 2006)

Formal Verification of 802.11i using Strand Space Formalism. - Zeeshan Furqan; Shahabuddin Muhammad; Ratan K. Guha (ICN/ICONS/MCL, 2006)

Designing Authentication Protocols: Trends and Issues. - Shahabuddin Muhammad; Zeeshan Furqan; Ratan K. Guha (ICN/ICONS/MCL, 2006)

A Parameterized Analysis of Public-Key Protocols: Needham-Schroeder and Kerberos-5. - Shahabuddin Muhammad; Zeeshan Furqan; Ratan K. Guha (ICON, 2006)

Logic-Based Formal Analysis of Cryptographic Protocols. - Shahabuddin Muhammad; Zeeshan Furqan; Ratan K. Guha (ICON, 2006)

Modeling and Analyzing MAC Frame Aggregation Techniques in 802.11n Using Bi-dimensional Markovian Model. - Mohammad Nazeeruddin; Shahabuddin Muhammad (NDT (1), 2012)

Design and implementation of reliable auctioning algorithms for multi-robot systems. - Mohammad Nazeeruddin; Shahabuddin Muhammad; Mayez Al-Mouhamed (ICACCI, 2013)

Applying authentication tests to discover Man-In-The-Middle attack in security protocols. - Shahabuddin Muhammad (ICDIM, 2013)

Identifying performance issues based on method invocation patterns of an API. - Majid Ali Khan; Shahabuddin Muhammad; Tufail Muhammad (EASE, 2014)

A mining-based approach for efficient enumeration of algebraic structures. - Majid Ali Khan; Mohammad Nazeeruddin; Shahabuddin Muhammad; Asif Ali (Int. J. Data Sci. Anal., 2016)

Design and modeling of energy efficient WSN architecture for tactical applications. - Nazeeruddin Mohammad; Shahabuddin Muhammad; Abul Bashar; Majid Ali Khan (MilCIS, 2017)

Analysis of In-vehicle Security System of Smart Vehicles. - Nazeeruddin Mohammad; Shahabuddin Muhammad; Eman Shaikh (FNSS, 2019)

Formal Analysis of Human-Assisted Smart City Emergency Services. - Nazeeruddin Mohammad; Shahabuddin Muhammad; Abul Bashar; Majid Ali Khan (IEEE Access, 2019)

Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking. - Shahabuddin Muhammad; Nazeeruddin Mohammad; Abul Bashar; Majid Ali Khan (J. Intell. Robotic Syst., 2019)

Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis. - Eman Shaikh; Nazeeruddin Mohammad; Shahabuddin Muhammad (ICCSPA, 2020)

Dual Connectivity-Based Mobility Management and Data Split Mechanism in 4G/5G Cellular Networks. - Tariq Mumtaz; Shahabuddin Muhammad; Muhammad Imran Aslam; Nazeeruddin Mohammad (IEEE Access, 2020)

Modeling Operator Performance in Human-in-the-Loop Autonomous Systems. - Shahabuddin Muhammad (IEEE Access, 2021)

Inter-slice resource management for 5G radio access network using markov decision process. - Tariq Mumtaz; Shahabuddin Muhammad; Muhammad Imran Aslam; Irfan Ahmed 003 (Telecommun. Syst., 2022)

Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking. - Eman Shaikh; Abdul-Rahman Al-Ali; Shahabuddin Muhammad; Nazeeruddin Mohammad; Fadi A. Aloul (IEEE Access, 2023)

Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks. - Tariq Mumtaz; Shahabuddin Muhammad; Faouzi Bouali (IEEE Access, 2025)