Publications
Book chapters
- Ryan, M. & Smyth, B. (2011) Applied pi calculus. In Cortier, V. & Kremer, S. (eds), Formal Models and Techniques for Analyzing Security Protocols, Chapter 6, IOS Press.
Thesis
Conference and workshop proceedings
- Zhao, F., Hanatani, Y., Komano, Y., Smyth, B., Ito, S., &
Kambayashi, T. (2012) Secure Authenticated Key Exchange with Revocation for Smart Grid. In Proceedings of the third IEEE Power & Energy Society Conference on Innovative Smart Grid Technologies (ISGT'12). To appear.
- Smyth, B., Ryan, M., & Chen, L. (2011) Formal analysis of anonymity in ECC-based Direct Anonymous Attestation schemes. In Proceedings of the eighth International Workshop on Formal Aspects of Security and Trust (FAST'11). Lecture Notes in Computer Science (LNCS), volume 7140, Springer-Verlag, to appear.
- Bernhard, D., Cortier, V., Pereira, O., Smyth, B. & Warinschi, B. (2011) Adapting Helios for provable ballot privacy. In Proceedings of the sixteenth European Symposium on Research in Computer Security (ESORICS'11). Lecture Notes in Computer Science (LNCS), volume 6879, pp. 335-354, Springer-Verlag.
- Cortier, V. & Smyth, B. (2011) Attacking and fixing Helios: An analysis of ballot secrecy. In Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF'11), pp297-311, IEEE.
- 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.
- 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
- Khader, D., Smyth, B., Ryan, P.Y.A., & Hao, F. (2011) A Fair and Robust Voting System by Broadcast. In Proceedings of sixteenth Nordic Conference in Secure IT Systems (NordSec'11).
- Smyth, B. & Cortier, V. (2011) A note on replay attacks that violate privacy in electronic voting schemes. Technical Report RR-7643, INRIA, France.
- Blanchet, B & Smyth, B (2011) ProVerif: Automatic Cryptographic Protocol Verifier User Manual and Tutorial.
- Smyth, B. (2010) Forgotten your responsibilities? How password recovery threatens banking security. Technical Report CSR-10-13, University of Birmingham, UK.
- 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.
- Smyth, B. (2010) Privacy vs. Usability: A failure of Barclays online banking?. Technical Report CSR-10-05, University of Birmingham, UK.