British academic
This article is about the computer scientist. For the rugby player, see
Gavin Lowe.
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
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
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
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
- ^ a b c d "Gavin lowe". St Catherine's College, Oxford. Retrieved 10 February 2018.
- ^ "Ex-Staff - University of Leicester". University of Leicester. Retrieved 10 February 2018.
- ^ a b c "Gavin Lowe". Department of Computer Science, University of Oxford. Retrieved 10 February 2018.
- ^ a b "OU Cave Club History". www.oucc.org.uk. Retrieved 11 February 2018.
- ^ a b Lowe, Gavin (1994). Probabilities and priorities in timed CSP (DPhil). University of Oxford.
- ^ "Publications by Gavin Lowe". University of Oxford. Retrieved 10 February 2018.
- ^ 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.
- ^ "Cryptography is Hard".
- ^ 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)
- ^ "Casper: A Compiler for the Analysis of Security Protocols". University of Oxford. Retrieved 10 February 2018.
- ^ 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.
- ^ "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.
- ^ a b "Supplement (1) to Gazette No. 4931, Vol 141" (PDF). University of Oxford. 27 October 2010. p. 1.
- ^ "Teaching Excellence Awards winners announced". Department of Computer Science, University of Oxford. 5 July 2010.
- ^ Alice Lighton (22 October 2010). "NEWS New degree: I process, therefore I am". Oxford Student.
- ^ "Gavin Lowe's Caving Page". Retrieved 10 February 2018.
|
---|
International | |
---|
National | |
---|
Academics | |
---|