Watchdog Transformations for Property-Oriented Model-Checking. - Michael Goldsmith; Nick Moffat; Bill Roscoe; Tim Whitworth; Irfan Zakiuddin (FME, 2003)

Towards A Game Theoretic Understanding of Ad-Hoc Routing. - Irfan Zakiuddin; Tim Hawkins; Nick Moffat (GDV@CAV, 2004)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. - Nick Moffat; Michael Goldsmith; Bill Roscoe (ICFEM, 2008)

Assumption-Commitment Support for CSP Model Checking. - Nick Moffat; Michael Goldsmith (J. Autom. Reason., 2008)

Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection. - Philip A. Legg; Nick Moffat; Jason R. C. Nurse; Jassim Happa; Ioannis Agrafiotis; Michael Goldsmith; Sadie Creese (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2013)

Run-Time Monitoring of Data-Handling Violations. - Jassim Happa; Nick Moffat; Michael Goldsmith; Sadie Creese (CyberICPS/SECPRE@ESORICS, 2018)