Gavin Lowe

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:affiliation gptkb:University_of_Oxford
gptkbp:almaMater gptkb:University_of_Oxford
gptkbp:contribution developed model checking techniques for security protocols
discovered flaw in Needham-Schroeder Public-Key Protocol
gptkbp:doctoralAdvisor gptkb:Bill_Roscoe
gptkbp:field computer science
https://www.w3.org/2000/01/rdf-schema#label Gavin Lowe
gptkbp:knownFor work on CSP and security protocols
gptkbp:nationality British
gptkbp:notableWork analysis of the Needham-Schroeder Public-Key Protocol
gptkbp:occupation gptkb:computer_scientist
gptkbp:thesisTitle Concurrency and Specification
gptkbp:thesisYear 1993
gptkbp:bfsParent gptkb:Needham-Schroeder_protocol
gptkb:Needham–Schroeder_protocol
gptkbp:bfsLayer 7