  | SMITH, Z. D. (2020). Design and Verification of Specialised Security Goals for Protocol Families [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/45058 |
  | MAUW, S., SMITH, Z. D., TRUJILLO RASUA, R., & TORO POZO, J. L. (2019). Post-collusion security and distance bounding. In Post-collusion security and distance bounding.  Peer reviewed |
 | HORNE, R. J., MAUW, S., SMITH, Z. D., & Filimonov, I. (Other coll.). (2019). Breaking Unlinkability of the ICAO 9303 Standard for e-Passports using Bisimilarity. In Breaking Unlinkability of the ICAO 9303 Standard for e-Passports using Bisimilarity (pp. 18). doi:10.1007/978-3-030-29959-0_28 Peer reviewed |
 | MAUW, S., SMITH, Z. D., TORO POZO, J. L., & TRUJILLO RASUA, R. (2018). Automated Identification of Desynchronisation Attacks on Shared Secrets. In Automated Identification of Desynchronisation Attacks on Shared Secrets. Springer. doi:10.1007/978-3-319-99073-6_20 Peer reviewed |
 | MAUW, S., SMITH, Z. D., TORO POZO, J. L., & TRUJILLO RASUA, R. (2018). Distance-Bounding Protocols: Verification without Time and Location. In Proceedings of IEEE Symposium on Security and Privacy (SP), San Francisco 21-23 May 2018. United States - New York: IEEE Computer Society. doi:10.1109/SP.2018.00001 Peer reviewed |