Modelling & Analysis of Security Protocols

Financial Cryptography and Data Security: FC 2016 International Workshops, Bitcoin, Voting, and Wahc, Christchurch, Barbados, February 26, 2016, Revised Selected Papers

Birds of Africa South of the Sahara: A Comprehensive Illusrated Field Guide

Sync City

Assertive Outreach: A Strengths Approach to Policy and Practice

Concurrent and Real-Time Systems: The CSP Approach

Formal methods in systems engineering

Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

Computer Security - Esorics 2004: 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004. Proceedings

Financial Cryptography and Data Security: FC 2016 International Workshops, Bitcoin, Voting, and Wahc, Christchurch, Barbados, February 26, 2016, Revised Selected Papers