Shahabuddin Muhammad

24 papers A 1B 1C 2Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2026 C conf
Risk Assessment of Matter Protocol using Markov's Decision Process.
ICCE
Emaan Nazeeruddin, Alireza Jolfaei, Saeed Ur Rehman, Shahabuddin Muhammad
2025 J jnl
Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks.
IEEE Access
Tariq Mumtaz, Shahabuddin Muhammad, Faouzi Bouali
2023 J jnl
Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking.
IEEE Access
Eman Shaikh, Abdul-Rahman Al-Ali, Shahabuddin Muhammad, Nazeeruddin Mohammad, Fadi A. Aloul
2022 J jnl
Inter-slice resource management for 5G radio access network using markov decision process.
Telecommun. Syst.
Tariq Mumtaz, Shahabuddin Muhammad, Muhammad Imran Aslam, Irfan Ahmed
2021 J jnl
Modeling Operator Performance in Human-in-the-Loop Autonomous Systems.
IEEE Access
Shahabuddin Muhammad
2020 J jnl
Dual Connectivity-Based Mobility Management and Data Split Mechanism in 4G/5G Cellular Networks.
IEEE Access
Tariq Mumtaz, Shahabuddin Muhammad, Muhammad Imran Aslam, Nazeeruddin Mohammad
2020 — conf
Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis.
ICCSPA
Eman Shaikh, Nazeeruddin Mohammad, Shahabuddin Muhammad
2019 — conf
Analysis of In-vehicle Security System of Smart Vehicles.
FNSS
Nazeeruddin Mohammad, Shahabuddin Muhammad, Eman Shaikh
2019 J jnl
Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking.
J. Intell. Robotic Syst.
Shahabuddin Muhammad, Nazeeruddin Mohammad, Abul Bashar, Majid Ali Khan
2019 J jnl
Formal Analysis of Human-Assisted Smart City Emergency Services.
IEEE Access
Nazeeruddin Mohammad, Shahabuddin Muhammad, Abul Bashar, Majid Ali Khan
2017 — conf
Design and modeling of energy efficient WSN architecture for tactical applications.
MilCIS
Nazeeruddin Mohammad, Shahabuddin Muhammad, Abul Bashar, Majid Ali Khan
2016 J jnl
A mining-based approach for efficient enumeration of algebraic structures.
Int. J. Data Sci. Anal.
Majid Ali Khan, Mohammad Nazeeruddin, Shahabuddin Muhammad, Asif Ali
2015 B conf
A mining based approach for efficient enumeration of algebraic structures.
DSAA
Majid Ali Khan, Mohammad Nazeeruddin, Shahabuddin Muhammad, Asif Ali
2014 A conf
Identifying performance issues based on method invocation patterns of an API.
EASE
Majid Ali Khan, Shahabuddin Muhammad, Tufail Muhammad
2013 — conf
Applying authentication tests to discover Man-In-The-Middle attack in security protocols.
ICDIM
Shahabuddin Muhammad
2013 — conf
Design and implementation of reliable auctioning algorithms for multi-robot systems.
ICACCI
Mohammad Nazeeruddin, Shahabuddin Muhammad, Mayez Al-Mouhamed
2012 — conf
Modeling and Analyzing MAC Frame Aggregation Techniques in 802.11n Using Bi-dimensional Markovian Model.
NDT (1)
Mohammad Nazeeruddin, Shahabuddin Muhammad
2006 — conf
A Parameterized Analysis of Public-Key Protocols: Needham-Schroeder and Kerberos-5.
ICON
Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha
2006 — conf
Designing Authentication Protocols: Trends and Issues.
ICN/ICONS/MCL
Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha
2006 — conf
Formal Verification of 802.11i using Strand Space Formalism.
ICN/ICONS/MCL
Zeeshan Furqan, Shahabuddin Muhammad, Ratan K. Guha
2006 — conf
Logic-Based Formal Analysis of Cryptographic Protocols.
ICON
Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha
2006 — conf
Understanding the intruder through attacks on cryptographic protocols.
ACM Southeast Regional Conference
Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha
2005 C conf
Wireless sensor network security: a secure sink node architecture.
IPCCC
Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha
2004 — conf
A Heuristic State Space Search Model for Security Protocol Verification.
ICETE (2)
Zeeshan Furqan, Ratan K. Guha, Shahabuddin Muhammad