Publications

Generated using php-bibHTML by Hugo Jonker, based on the BiblioPhile PHP BibTex parser.

2019:
1. Post-Collusion Security and Distance Bounding. S. Mauw, Z. Smith, J. Toro-Pozo and R. Trujillo-Rasua. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. 2019. [ bib ]
2. Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. I. Filimonov, R. Horne, S. Mauw and Z. Smith. In European Symposium on Research in Computer Security. pp. 577–594, 2019. [ bib ]
3. maTLS: How to Make TLS middlebox-aware?. H. Lee, Z. Smith, J. Lim, G. Choi, S. Chun, T. Chung and T. Kwon. In NDSS. 2019. [ bib ]

2018:
1. Distance-Bounding Protocols: Verification without Time and Location. S. Mauw, Z. Smith, J. Toro-Pozo and R. Trujillo-Rasua. In IEEE Symposium on Security and Privacy, S&P’18, May 21–23, 2018, San Francisco, California, USA. 2018. [ bib ]
2. Automated Identification of Desynchronisation Attacks on Shared Secrets. S. Mauw, Z. Smith, J. Toro-Pozo and R. Trujillo-Rasua. In European Symposium on Research in Computer Security. 2018. [ bib ]
3. A Trustworthy Middlebox-aware Networking Architecture (Poster). H. Lee, Z. Smith, S. Chun and T. Kwon. In USENIX Symposium on Networked Systems Design and Implementation. 2018. [ bib ]