Irfan Zakiuddin

Property-Based Validation of Component Systems

H. Waeselynck, P. Thévenod-Fosse, N. Moffat, 2002 .

Watchdog Transformations for Property-Oriented Model-Checking

Michael Goldsmith, A. W. Roscoe, Nick Moffat, 2003, FME.

Exploiting Empirical Engagement in Authentication Protocol Design

Sadie Creese, Michael Goldsmith, A. W. Roscoe, 2005, SPC.

Towards A Game Theoretic Understanding of Ad-Hoc Routing

Tim Hawkins, Nick Moffat, Irfan Zakiuddin, 2005, GDV@CAV.

A Methodology for Model-Checking Ad-hoc Networks

Michael Goldsmith, Paul H. B. Gardiner, Irfan Zakiuddin, 2003, SPIN.