Irfan Zakiuddin

According to our database, Irfan Zakiuddin authored at least 8 papers between 1998 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

06121 Report: Break Out Session on Guaranteed Execution.

Calton Pu, Jim Johnson, Rogério de Lemos, Andreas Reuter, David Taylor, Irfan Zakiuddin

Proceedings of the Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006

2005

Exploiting Empirical Engagement in Authentication Protocol Design.

Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin

Proceedings of the Security in Pervasive Computing, Second International Conference, 2005

2004

Towards A Game Theoretic Understanding of Ad-Hoc Routing.

Irfan Zakiuddin, Tim Hawkins, Nick Moffat

Proceedings of the Workshop on Games in Design and Verification, 2004

2003

A Methodology for Model-Checking Ad-hoc Networks.

Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner

Proceedings of the Model Checking Software, 2003

Authentication for Pervasive Computing.

Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin

Proceedings of the Security in Pervasive Computing, 2003

Watchdog Transformations for Property-Oriented Model-Checking.

Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin

Proceedings of the FME 2003: Formal Methods, 2003

1999

Current Limits for Exploiting Automated Verification.

Irfan Zakiuddin

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998

Critical Systems Validation and Verification with CSP and FDR.

Michael Goldsmith, Irfan Zakiuddin

Proceedings of the Applied Formal Methods, 1998