Gavin Lowe
|
Gavin
Lowe
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
- Concurrency, particularly the process algebra CSP;
- Formal modelling of computer security.
Links
Advice for potential doctoral students
My appointments calendar
Caving home page
Selected Publications
| Specifying and Modelling Secure Channels in Strand Spaces Allaa Kamil and Gavin Lowe Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009). 2009. |
| Extending CSP with tests for availability Gavin Lowe Procedings of Communicating Process Architectures (CPA 2009). 2009. |
| Analysing the Information Flow Properties of Object-Capability Patterns Toby Murray and Gavin Lowe In Proceedings of the Sixth International Workshop on Formal Aspects of Security and Trust (FAST2009). Vol. 5983 of Lecture Notes in Computer Science. Pages 81-95. 2010. Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-12459-4_7) |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
|
|
Students |
Recent News
Awards
Teaching Excellence Awards winners announced
Congratulations to three academics from the Computing Laboratory who have been recognised in the 2010 Teaching Award Scheme. Gavin Lowe, Stephen Pulman and Irina Voiculescu have each won individual awards of £1000.