Shahabuddin Muhammad

IEEE Access, 2021

2020

Dual Connectivity-Based Mobility Management and Data Split Mechanism in 4G/5G Cellular Networks.

[BibT_eX]

[DOI]

IEEE Access, 2020

Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis.

[BibT_eX]

[DOI]

Eman Shaikh

Nazeeruddin Mohammad

Proceedings of the International Conference on Communications, 2020

2019

Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking.

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 2019

Formal Analysis of Human-Assisted Smart City Emergency Services.

[BibT_eX]

[DOI]

IEEE Access, 2019

Analysis of In-vehicle Security System of Smart Vehicles.

[BibT_eX]

[DOI]

Nazeeruddin Mohammad

Eman Shaikh

Proceedings of the Future Network Systems and Security - 5th International Conference, 2019

2017

Design and modeling of energy efficient WSN architecture for tactical applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 Military Communications and Information Systems Conference, 2017

2016

A mining-based approach for efficient enumeration of algebraic structures.

[BibT_eX]

[DOI]

Int. J. Data Sci. Anal., 2016

2014

Identifying performance issues based on method invocation patterns of an API.

[BibT_eX]

[DOI]

Majid Ali Khan

Tufail Muhammad

Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

2013

Applying authentication tests to discover Man-In-The-Middle attack in security protocols.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Digital Information Management (ICDIM 2013), 2013

Design and implementation of reliable auctioning algorithms for multi-robot systems.

[BibT_eX]

[DOI]

Mohammad Nazeeruddin

Mayez Al-Mouhamed

Proceedings of the International Conference on Advances in Computing, 2013

2012

Modeling and Analyzing MAC Frame Aggregation Techniques in 802.11n Using Bi-dimensional Markovian Model.

[BibT_eX]

[DOI]

Mohammad Nazeeruddin

Proceedings of the Networked Digital Technologies - 4th International Conference, 2012

2006

Logic-Based Formal Analysis of Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Networks, 2006

A Parameterized Analysis of Public-Key Protocols: Needham-Schroeder and Kerberos-5.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Networks, 2006

Designing Authentication Protocols: Trends and Issues.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

Formal Verification of 802.11i using Strand Space Formalism.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

Understanding the intruder through attacks on cryptographic protocols.

[BibT_eX]

[DOI]

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2005

Wireless sensor network security: a secure sink node architecture.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Performance Computing and Communications Conference, 2005

2004

A Heuristic State Space Search Model for Security Protocol Verification.

[BibT_eX]