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)

From Degree to Developer: The Creation and Evolution of a CS Course Designed to Bridge the Academia-Industry Gap. - Jonathan Cazalas; Christian Roberson; Zeeshan Furqan (SIGCSE (1), 2024)