Jump to content

Gavin Lowe (computer scientist)

From Wikipedia, the free encyclopedia

Gavin Lowe
NationalityBritish
Alma materOxford University
Scientific career
FieldsComputer Science
InstitutionsUniversity of Oxford (from 2000)[1] University of Leicester (until 2000)[2]
ThesisProbabilities and Priorities in Timed CSP (1993)
Doctoral advisorBill Roscoe

Gavin Lowe is a British academic. He is a professor of computer science[3] and tutorial fellow at St Catherine's College, Oxford,[1] a professor at the University of Oxford,[3] and President of the Senior Common Room of St Catherine's College, Oxford.[1] His research interests include computer security, for which he developed the cryptographic protocol analysis tool Casper, and concurrency.

Education

[edit]

Lowe studied mathematics as an undergraduate at St John's College, Oxford,[4] then took an MSc in computation at the University of Oxford.[1] He undertook a DPhil at St Hugh's College, Oxford,[5] writing a thesis titled Probabilities and Priorities in Timed CSP.[5][6] He published a paper detailing an attack on the Needham–Schroeder protocol, as well as a method to fix the issue, in 1995.[7][8] The fixed version of the protocol described in the paper is referred to as the Needham–Shroeder–Lowe protocol.[9]

Career

[edit]

His research interests have included computer security, for which he developed the cryptographic protocol analysis tool Casper.[10] This tool translates a security protocol description into CSP, which is then processed by the FDR refinement checker. Recently, he has moved to researching the field of concurrency.[3]

He was Program Co-chair of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security in 2010.[11]

Lowe is a distinguished teacher, having won teaching awards in 2008[12] and 2010.[13][14] Along with Peter Millican, he is responsible for the development and establishment of a new joint degree in Computer Science and Philosophy at the University of Oxford in 2012.[13][15]

Personal life

[edit]

Lowe enjoys caving.[16] He was the secretary of the Oxford University Cave Club from 1988 to 1989, and tackle master in 1990.[4]

References

[edit]
  1. ^ a b c d "Gavin lowe". St Catherine's College, Oxford. Retrieved 10 February 2018.
  2. ^ "Ex-Staff - University of Leicester". University of Leicester. Retrieved 10 February 2018.
  3. ^ a b c "Gavin Lowe". Department of Computer Science, University of Oxford. Retrieved 10 February 2018.
  4. ^ a b "OU Cave Club History". www.oucc.org.uk. Retrieved 11 February 2018.
  5. ^ a b Lowe, Gavin (1994). Probabilities and priorities in timed CSP (DPhil). University of Oxford.
  6. ^ "Publications by Gavin Lowe". University of Oxford. Retrieved 10 February 2018.
  7. ^ Lowe, Gavin (November 1995). "An attack on the Needham-Schroeder public key authentication protocol". Information Processing Letters. 56 (3): 131–136. CiteSeerX 10.1.1.394.6094. doi:10.1016/0020-0190(95)00144-2. Retrieved 17 April 2008.
  8. ^ "Cryptography is Hard".
  9. ^ Computer security, ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25–27, 1996 : proceedings. Bertino, Elisa. Berlin: Springer. 1996. ISBN 9783540617709. OCLC 35364818.{{cite book}}: CS1 maint: others (link)
  10. ^ "Casper: A Compiler for the Analysis of Security Protocols". University of Oxford. Retrieved 10 February 2018.
  11. ^ Armando, Alessandro; Lowe, Gavin (27–28 March 2010). Armando, Alessandro; Lowe, Gavin (eds.). Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Lecture Notes in Computer Science. Vol. 6186. Springer. p. 185. Bibcode:2011LNCS.6186.....A. doi:10.1007/978-3-642-16074-5. ISBN 978-3-642-16073-8. S2CID 27746720.
  12. ^ "Supplement (1) to Gazette No. 4857" (PDF). University of Oxford. 22 October 2008. p. 3. Archived from the original (PDF) on 24 February 2018. Retrieved 11 February 2018.
  13. ^ a b "Supplement (1) to Gazette No. 4931, Vol 141" (PDF). University of Oxford. 27 October 2010. p. 1.
  14. ^ "Teaching Excellence Awards winners announced". Department of Computer Science, University of Oxford. 5 July 2010.
  15. ^ Alice Lighton (22 October 2010). "NEWS New degree: I process, therefore I am". Oxford Student.
  16. ^ "Gavin Lowe's Caving Page". Retrieved 10 February 2018.