Zach Smith

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 7

Top Topics

Agent Communication Language

Communicative Acts

Top Venues

IEEE Symposium on Security and Privacy

Publications

Zach Smith, Hugo Jonker, Sjouke Mauw, Hyunwoo Lee
Modelling Agent-Skipping Attacks in Message Forwarding Protocols. CoRR (2022)
Stephan Wesemeyer, Ioana Boureanu, Zach Smith, Helen Treharne
Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches. EuroS&P (2020)
Hyunwoo Lee, Zach Smith, Junghwan Lim, Gyeongjae Choi, Selin Chun, Taejoong Chung, Ted Taekyoung Kwon
maTLS: How to Make TLS middlebox-aware? NDSS (2019)
Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua
Post-Collusion Security and Distance Bounding. CCS (2019)
Ihor Filimonov, Ross Horne, Sjouke Mauw, Zach Smith
Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. ESORICS (1) (2019)
Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua
Distance-Bounding Protocols: Verification without Time and Location. IEEE Symposium on Security and Privacy (2018)
Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua
Automated Identification of Desynchronisation Attacks on Shared Secrets. ESORICS (1) (2018)