Gavin Lowe

Dr Gavin Lowe

Professor of Computer Science
Tutorial Fellow, St Catherine's College

gavin.lowe@comlab.ox.ac.uk
+44 1865 273841

Specification of communicating processes: temporal logic versus refusals-based refinement

Gavin Lowe

Formal Aspects of Computing, 2008.

Specifying Secure Transport Layers

Christopher Dilloway, Gavin Lowe

In 21st IEEE Computer Security Foundations Symposium (CSF 21) 2008.

On CSP refinement tests that run multiple copies of a process

Gavin Lowe

2007.

themes	Theory and Automated Verification
activities	Concurrency \| Security
projects	CSP Model Checking
students	Christopher Dilloway \| Allaa Kamil \| Tomasz Mazur \| Toby Murray

Wolfson Building, Parks Road, Oxford OX1 3QD