Gavin Lowe
| 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
|
interests
links
Advice for potential doctoral students
My appointments calendar
Caving home page
selected publications
(View all)
|
Specifying and Modelling Secure Channels in Strand Spaces
Allaa Kamil, Gavin Lowe
Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009), 2009.
Details
|
BibTeX
| Download (pdf) |
|
Extending CSP with tests for availability
Gavin Lowe
Procedings of Communicating Process Architectures (CPA 2009), 2009.
Details
|
BibTeX
| Download (pdf) |
|
Analysing the Information Flow Properties of Object-Capability Patterns
Toby Murray, Gavin Lowe
In Proceedings of the Sixth International Workshop on Formal Aspects of Security and Trust (FAST2009) 2009.
To appear.
Details
|
BibTeX
| Link (pdf) |
info
|
