Gavin Lowe

Dr Gavin Lowe

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

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

Wolfson Building, Parks Road, Oxford OX1 3QD

On Refinement-Closed Security Properties and Nondeterministic Compositions

Toby Murray, Gavin Lowe

In Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS'08) 2008.

To appear.

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.

themes	Verification
activities	Security \| Concurrency
projects	CSP Model Checking
students	Allaa Kamil \| Tomasz Mazur \| Toby Murray