Gavin Lowe is a British academic. He is a professor of
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
and tutorial fellow at
St Catherine's College, Oxford,
a professor at the
University of Oxford
, mottoeng = The Lord is my light
, established =
, endowment = £6.1 billion (including colleges) (2019)
, budget = £2.145 billion (2019–20)
, chancellor ...
,
and
President
President most commonly refers to:
*President (corporate title)
*President (education), a leader of a college or university
*President (government title)
President may also refer to:
Automobiles
* Nissan President, a 1966–2010 Japanese ful ...
of the
Senior Common Room of St Catherine's College, Oxford.
His research interests include
computer security
Computer security, cybersecurity (cyber security), or information technology security (IT security) is the protection of computer systems and networks from attack by malicious actors that may result in unauthorized information disclosure, the ...
, for which he developed the
cryptographic protocol analysis
A security protocol (cryptographic protocol or encryption protocol) is an abstract or concrete Communications protocol, protocol that performs a information security, security-related function and applies cryptographic methods, often as sequences o ...
tool
Casper
Casper may refer to:
People
* Casper (given name)
* Casper (surname)
* Casper (Maya ruler) (422–487?), ruler of the Mayan city of Palenque
* Tok Casper, first known king of Maya city-state Quiriguá in Guatemala, ruling beginning in 426
* David ...
, and
concurrency
Concurrent means happening at the same time. Concurrency, concurrent, or concurrence may refer to:
Law
* Concurrence, in jurisprudence, the need to prove both ''actus reus'' and ''mens rea''
* Concurring opinion (also called a "concurrence"), a ...
.
Education
Lowe studied
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
as an undergraduate at
St John's College, Oxford
St John's College is a constituent college of the University of Oxford. Founded as a men's college in 1555, it has been coeducational since 1979.Communication from Michael Riordan, college archivist Its founder, Sir Thomas White, intended to pro ...
,
then took an
MSc
MSC may refer to:
Computers
* Message Sequence Chart
* Microelectronics Support Centre of UK Rutherford Appleton Laboratory
* MIDI Show Control
* MSC Malaysia (formerly known as Multimedia Super Corridor)
* USB mass storage device class (USB MSC ...
in
computation
Computation is any type of arithmetic or non-arithmetic calculation that follows a well-defined model (e.g., an algorithm).
Mechanical or electronic devices (or, historically, people) that perform computations are known as ''computers''. An es ...
at the
University of Oxford
, mottoeng = The Lord is my light
, established =
, endowment = £6.1 billion (including colleges) (2019)
, budget = £2.145 billion (2019–20)
, chancellor ...
.
He undertook a
DPhil
A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is a ...
at
St Hugh's College, Oxford
St Hugh's College is one of the constituent colleges of the University of Oxford. It is located on a site on St Margaret's Road, to the north of the city centre. It was founded in 1886 by Elizabeth Wordsworth as a women's college, and accepte ...
,
writing a thesis titled ''Probabilities and Priorities in Timed CSP''.
He published a paper detailing an attack on the
Needham–Schroeder protocol, as well as a method to fix the issue, in 1995.
The fixed version of the protocol described in the paper is referred to as the Needham–Shroeder–Lowe protocol.
Career
His research interests have included
computer security
Computer security, cybersecurity (cyber security), or information technology security (IT security) is the protection of computer systems and networks from attack by malicious actors that may result in unauthorized information disclosure, the ...
, for which he developed the
cryptographic protocol analysis
A security protocol (cryptographic protocol or encryption protocol) is an abstract or concrete Communications protocol, protocol that performs a information security, security-related function and applies cryptographic methods, often as sequences o ...
tool
Casper
Casper may refer to:
People
* Casper (given name)
* Casper (surname)
* Casper (Maya ruler) (422–487?), ruler of the Mayan city of Palenque
* Tok Casper, first known king of Maya city-state Quiriguá in Guatemala, ruling beginning in 426
* David ...
.
This tool translates a security protocol description into
CSP, which is then processed by the
FDR
Franklin Delano Roosevelt (; ; January 30, 1882April 12, 1945), often referred to by his initials FDR, was an American politician and attorney who served as the 32nd president of the United States from 1933 until his death in 1945. As the ...
refinement checker. Recently, he has moved to researching the field of
concurrency
Concurrent means happening at the same time. Concurrency, concurrent, or concurrence may refer to:
Law
* Concurrence, in jurisprudence, the need to prove both ''actus reus'' and ''mens rea''
* Concurring opinion (also called a "concurrence"), a ...
.
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.
Lowe is a distinguished teacher, having won teaching awards in 2008
and 2010.
Along with
Peter Millican
Peter Jeremy Roach Millican (born 1 March 1958) is Gilbert Ryle Fellow and Professor of Philosophy at Hertford College, University of Oxford in the United Kingdom. His primary interests include the philosophy of David Hume, philosophy of reli ...
, he is responsible for the development and establishment of a new
joint degree
A double degree program, sometimes called a dual degree, combined degree, conjoint degree, joint degree or double graduation program, involves a student's working for two university degrees in parallel—either at the same institution or at diffe ...
in
Computer Science and Philosophy at the University of Oxford in 2012.
Personal life
Lowe enjoys
caving.
He was the secretary of the
Oxford University Cave Club
Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the ...
from 1988 to 1989, and
tackle master in 1990.
References
{{DEFAULTSORT:Lowe, Gavin
Year of birth missing (living people)
Alumni of St John's College, Oxford
Fellows of St Catherine's College, Oxford
British computer scientists
Alumni of St Hugh's College, Oxford
Living people