  | 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 |