Gavin Lowe
|
Gavin Lowe (On sabbatical TT 2011)
Professor of Computer Science
Tutorial Fellow,
St Catherine's College
gavin.lowe@cs.ox.ac.uk
+44 1865 273841
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
| A type reduction theory for systems with replicated components Tomasz Mazur and Gavin Lowe In Logical Methods in Computer Science. 2012. Details | BibTeX | Link (pdf) |
| Analysing TLS in the strand spaced model Allaa Kamil and Gavin Lowe In Journal of Computer Security. Vol. 19. No. 5. Pages 975–1025. 2011. Details | BibTeX | Link (pdf) |
| Analysing Applications Layered on Unilaterally Authenticating Protocols Thomas Gibson−Robinson and Gavin Lowe In Proceedings of Formal Aspects of Security and Trust (FAST 2011). 2011. Details | BibTeX | Link (pdf) |
Info
|
Themes |
|
|
Activities |
|
|
Completed Projects |
|
|
Students |
|
