Research

Book chapters

Ryan, M. & Smyth, B. (2010) Applied pi calculus. In Cortier, V. & Kremer, S. (eds), Formal Models and Techniques for Analyzing Security Protocols, IOS Press. To appear.

Smyth, B., Ryan, M., Kremer, S. & Kourjieh, M. (2010) Towards automatic analysis of election verifiability properties. In Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10). To appear.
Smyth, B., Ryan, M., Kremer, S. & Kourjieh, M. (2009) Election verifiability in electronic voting protocols. In Proceedings of the fourth Benelux Workshop on Information and System Security (WISSec'09). Université catholique de Louvain, Louvain-la-Neuve, Belgium.
Delaune, S., Ryan, M. & Smyth, B. (2008) Automatic verification of privacy properties in the applied pi calculus. In Proceedings of the second Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM'08). IFIP International Federation for Information Processing, volume 263, pp. 263-278, Springer-Verlag.
Smyth, B., Ryan, M. & Chen, L. (2007) Direct Anonymous Attestation (DAA): Ensuring privacy with corrupt administrators. In proceedings of the fourth European Workshop on Security and Privacy in Ad hoc and Sensor Networks (ESAS'07). Lecture Notes in Computer Science (LNCS), volume 4572, pp. 218-231, Springer-Verlag.

Smyth, B. (2006) Direct Anonymous Attestation (DAA): An implementation and security analysis. Master's dissertation, School of Computer Science, University of Birmingham, UK.