Concepedia

Gavin Lowe

GL

Statistics

Publications

42

Citations

4.4K

H-Index

23

Active since

1995

Affiliations

University of Oxford(Current)

University of Leicester

Gavin Lowe is an author at University of Oxford specializing in computing, computer science, and security protocols.

Publications per year

1995–2019

42

Publications

42

An attack on the Needham-Schroeder public-key authentication protocol

Gavin Lowe · Information Processing Letters · 1995 · 646 citations

, , +12

A hierarchy of authentication specifications

Gavin Lowe · 2002 · 618 citations

, , +16

Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR

Gavin Lowe · 1996 · 587 citations

, , +14

Casper: A compiler for the analysis of security protocols

Gavin Lowe · Journal of Computer Security · 1998 · 317 citations

, , +16

Casper: a compiler for the analysis of security protocols

Gavin Lowe · 2002 · 308 citations

, , +16

1–5 of 42