Shahabuddin Muhammad

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 10

Top Topics

Formal Analysis

Algebraic Structures

Remote Attestation

Top Venues

J. Intell. Robotic Syst.

Publications

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