Bill Roscoe profile picture

Bill Roscoe

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

Modelling and Analysis of Security Protocols
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods: Foundations and Applications