Travelled to:1 × France
1 × Germany
1 × USA
Collaborated with:∅ P.J.Armstrong M.Goldsmith J.Ouaknine H.Palikareva A.W.Roscoe J.Worrell
Talks about:fdr (2) schroeder (1) algorithm (1) protocol (1) needham (1) develop (1) concurr (1) search (1) recent (1) public (1)
Person: Gavin Lowe
DBLP: Lowe:Gavin
Contributed to:
2014
20121996Wrote 3 papers:
- TACAS-2014-Lowe #algorithm #concurrent
- Concurrent Depth-First Search Algorithms (GL), pp. 202–216.
- CAV-2012-ArmstrongGLOPRW
- Recent Developments in FDR (PJA, MG, GL, JO, HP, AWR, JW), pp. 699–704.
- TACAS-1996-Lowe #protocol #using
- Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR (GL), pp. 147–166.