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, Chapter 6, IOS Press.
Conference and workshop proceedings
- Kremer, S., Ryan, M., & Smyth, B. (2010) Election verifiability in electronic voting protocols. In Proceedings of the fifteenth European Symposium on Research in Computer Security (ESORICS'10). Lecture Notes in Computer Science (LNCS), volume 6345, pp. 389-404, Springer-Verlag.
- 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). Lecture Notes in Computer Science (LNCS), volume 6186, pp. 165-182, Springer-Verlag.
- 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.
Miscellaneous publications
- Smyth, B. (2010) Forgotten your responsibilities? How password recovery threatens banking security.
- Smyth, B. & Ryan, M. (2010) Paving the way for electoral reform. In Proceedings of the fourth annual Graduate School Poster Conference. Awarded runner-up in the Birmingham Brief Competition.
- Smyth, B. & Thompson, L. (2010) Five ways to stay safe when using iTunes. Times Podcast.
- Kremer, S., Ryan, M., & Smyth, B. (2010) Election verifiability in electronic voting protocols. Technical Report CSR-10-06, University of Birmingham, UK.
- Smyth, B. (2010) Privacy vs. Usability: A failure of Barclays online banking?. Technical Report CSR-10-05, University of Birmingham, UK.
- Smyth, B. (2006) Direct Anonymous Attestation (DAA): An implementation and security analysis. Master's dissertation, School of Computer Science, University of Birmingham, UK.