Philippa J. Hopcroft

According to our database, Philippa J. Hopcroft authored at least 15 papers between 1999 and 2017.

Collaborative distances:

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

2017

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

Proceedings of the Concurrency, Security, and Puzzles, 2017

2013

Slow Abstraction via Priority.

A. W. Roscoe, Philippa J. Hopcroft

Proceedings of the Theories of Programming and Formal Methods, 2013

2004

Embedding agents within the intruder to detect parallel attacks.

Philippa J. Broadfoot, A. W. Roscoe

J. Comput. Secur., 2004

Analysing a stream authentication protocol using model checking.

Philippa J. Hopcroft, Gavin Lowe

Int. J. Inf. Sec., 2004

Combining the Box Structure Development Method and CSP for Software Development.

Philippa J. Hopcroft, Guy H. Broadfoot

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Combining the Box Structure Development Method and CSP.

Philippa J. Hopcroft, Guy H. Broadfoot

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

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, Ákos Frohner, David L. Groep, Wim Som de Cerff, Martijn Steenbakkers, Gerben Venekamp, Daniel Kouril, Andrew McNab, Olle Mulmo, Mika Silander, Joni Hahkala, Károly Lörentey

CoRR, 2003

On Distributed Security Transactions that Use Secure Transport Protocols.

Philippa J. Broadfoot, Gavin Lowe

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

Academia and industry meet: Some experiences of formal methods in practice.

Guy H. Broadfoot, Philippa J. Broadfoot

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Capturing Parallel Attacks within the Data Independence Framework.

Philippa J. Broadfoot, A. W. Roscoe

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2001

Data independence in the model checking of security protocols.

Philippa J. Broadfoot

PhD thesis, 2001

2000

Data independent verification of crypto-protocols.

A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Tutorial on FDR and Its Applications.

Philippa J. Broadfoot, A. W. Roscoe

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Automating Data Independence.

Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe

Proceedings of the Computer Security, 2000

1999

Proving Security Protocols with Model Checkers by Data Independence Techniques.

A. W. Roscoe, Philippa J. Broadfoot

J. Comput. Secur., 1999