Zach Smith

According to our database, Zach Smith authored at least 9 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Getting Into a Jam with Attack Trees.

Zach Smith

Proceedings of the Juggling Formal Methods and Security, 2026

2022

Modelling Agent-Skipping Attacks in Message Forwarding Protocols.

Zach Smith, Hugo Jonker, Sjouke Mauw, Hyunwoo Lee

CoRR, 2022

2020

Design and Verification of Specialised Security Goals for Protocol Families.

Zach Smith

PhD thesis, 2020

Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches.

Stephan Wesemeyer, Ioana Boureanu, Zach Smith, Helen Treharne

Proceedings of the IEEE European Symposium on Security and Privacy, 2020

2019

maTLS: How to Make TLS middlebox-aware?

Hyunwoo Lee, Zach Smith, Junghwan Lim, Gyeongjae Choi, Selin Chun, Taejoong Chung, Ted Taekyoung Kwon

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity.

Ihor Filimonov, Ross Horne, Sjouke Mauw, Zach Smith

Proceedings of the Computer Security - ESORICS 2019, 2019

Post-Collusion Security and Distance Bounding.

Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Distance-Bounding Protocols: Verification without Time and Location.

Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Automated Identification of Desynchronisation Attacks on Shared Secrets.

Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua

Proceedings of the Computer Security, 2018