Gavin Lowe profile picture

Gavin Lowe

Is this your author profile? Create an account to claim and customize it!

Modelling and Analysis of Security Protocols
Thinking About Programs
Thinking About Programs
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers