Proving Security Protocols with Model Checkers by Data Independence Techniques. - A. W. Roscoe 001; Philippa J. Broadfoot (J. Comput. Secur., 1999)

Automating Data Independence. - Philippa J. Broadfoot; Gavin Lowe; A. W. Roscoe 001 (ESORICS, 2000)

Tutorial on FDR and Its Applications. - Philippa J. Broadfoot; A. W. Roscoe 001 (SPIN, 2000)

Data independent verification of crypto-protocols. - A. W. Roscoe 001; Philippa J. Broadfoot; Gavin Lowe (MFCSIT, 2000)

Data independence in the model checking of security protocols. - Philippa J. Broadfoot (2001)

Capturing Parallel Attacks within the Data Independence Framework. - Philippa J. Broadfoot; A. W. Roscoe 001 (CSFW, 2002)

Academia and industry meet: Some experiences of formal methods in practice. - Guy H. Broadfoot; Philippa J. Broadfoot (APSEC, 2003)

On Distributed Security Transactions that Use Secure Transport Protocols. - Philippa J. Broadfoot; Gavin Lowe (CSFW, 2003)

Managing Dynamic User Communities in a Grid of Autonomous Resources - Roberto Alfieri; Roberto Cecchini; Vincenzo Ciaschini; Luca dell'Agnello; Alberto Gianoli; Fabio Spataro; Franck Bonnassieux; Philippa J. Broadfoot; Gavin Lowe; Linda Cornwall; Jens Jensen; David P. Kelsey; et al. (CoRR, 2003)

Combining the Box Structure Development Method and CSP. - Philippa J. Hopcroft; Guy H. Broadfoot (ASE, 2004)

Combining the Box Structure Development Method and CSP for Software Development. - Philippa J. Hopcroft; Guy H. Broadfoot (AVoCS, 2004)

Analysing a stream authentication protocol using model checking. - Philippa J. Hopcroft; Gavin Lowe (Int. J. Inf. Sec., 2004)

Embedding agents within the intruder to detect parallel attacks. - Philippa J. Broadfoot; A. W. Roscoe 001 (J. Comput. Secur., 2004)

Slow Abstraction via Priority. - A. W. Roscoe 001; Philippa J. Hopcroft (Theories of Programming and Formal Methods, 2013)

FDR: From Theory to Industrial Application. - Thomas Gibson-Robinson; Guy H. Broadfoot; Gustavo Carvalho; Philippa J. Hopcroft; Gavin Lowe; Sidney C. Nogueira; Colin O'Halloran; Augusto Sampaio 001 (Concurrency, Security, and Puzzles, 2017)