Zeeshan Furqan

According to our database, Zeeshan Furqan authored at least 8 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

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

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2006

Logic-Based Formal Analysis of Cryptographic Protocols.

Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha

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

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

Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha

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

Designing Authentication Protocols: Trends and Issues.

Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha

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.

Zeeshan Furqan, Shahabuddin Muhammad, Ratan K. Guha

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.

Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2005

Wireless sensor network security: a secure sink node architecture.

Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha

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

2004

A Heuristic State Space Search Model for Security Protocol Verification.

Zeeshan Furqan, Ratan K. Guha, Shahabuddin Muhammad

Proceedings of the ICETE 2004, 2004