Gavin Lowe es un académico británico. Es profesor de ciencias de la computación [3] y tutor en St Catherine's College, Oxford , [1] profesor en la Universidad de Oxford , [3] y presidente de la Senior Common Room de St Catherine's College, Oxford. [1] Sus intereses de investigación incluyen la seguridad informática , para la cual desarrolló la herramienta de análisis de protocolos criptográficos Casper , y la concurrencia .
Lowe estudió matemáticas como estudiante universitario en St John's College, Oxford , [4] y luego obtuvo una maestría en computación en la Universidad de Oxford . [1] Realizó un DPhil en St Hugh's College, Oxford , [5] escribiendo una tesis titulada Probabilidades y prioridades en CSP cronometrado . [5] [6] Publicó un artículo que detalla un ataque al protocolo Needham-Schroeder , así como un método para solucionar el problema, en 1995. [7] [8]La versión fija del protocolo descrito en el documento se conoce como el protocolo Needham-Shroeder-Lowe. [9]
Sus intereses de investigación han incluido la seguridad informática , para lo cual desarrolló la herramienta de análisis de protocolos criptográficos Casper . [10] Esta herramienta traduce una descripción de protocolo de seguridad a CSP , que luego es procesada por el verificador de refinamiento FDR . Recientemente, se ha pasado a investigar el campo de la concurrencia . [3]
Fue copresidente del programa del taller conjunto sobre razonamiento automatizado para el análisis de protocolos de seguridad y problemas en la teoría de la seguridad en 2010. [11]
Lowe es un maestro distinguido que ganó premios de enseñanza en 2008 [12] y 2010. [13] [14] Junto con Peter Millican , es responsable del desarrollo y establecimiento de un nuevo título conjunto en Ciencias de la Computación y Filosofía en la Universidad . de Oxford en 2012. [13] [15]
Lowe disfruta de la espeleología . [16] Fue secretario del Cave Club de la Universidad de Oxford de 1988 a 1989, y maestro de placajes en 1990. [4]