Login / Signup
Zach Smith
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 7
Top Topics
Key Management
Agent Communication Language
Communicative Acts
Symmetric Key
Top Venues
ESORICS (1)
NDSS
EuroS&P
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)