Zeeshan Furqan

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 1

Top Topics

Academia And Industry

Computer Science

Top Venues

Publications

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