Folgen
Zach Smith
Zach Smith
Bestätigte E-Mail-Adresse bei uni.lu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Distance-bounding protocols: Verification without time and location
S Mauw, Z Smith, J Toro-Pozo, R Trujillo-Rasua
2018 IEEE Symposium on Security and Privacy (SP), 549-566, 2018
662018
maTLS: How to Make TLS middlebox-aware?
H Lee, Z Smith, J Lim, G Choi, S Chun, T Chung, TT Kwon
NDSS, 2019
472019
Breaking unlinkability of the ICAO 9303 standard for e-passports using bisimilarity
I Filimonov, R Horne, S Mauw, Z Smith
Computer Security–ESORICS 2019: 24th European Symposium on Research in …, 2019
222019
Extensive security verification of the LoRaWAN key-establishment: Insecurities & patches
S Wesemeyer, I Boureanu, Z Smith, H Treharne
2020 IEEE European Symposium on Security and Privacy (EuroS&P), 425-444, 2020
112020
Post-collusion security and distance bounding
S Mauw, Z Smith, J Toro-Pozo, R Trujillo-Rasua
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
102019
Feasibility of biomass fuel briquettes from banana plant waste
H Lee, Z Smith
Cincinnati: Engineers Without Borders Greater Cincinnati Professional, 2011
52011
Overview of Operational Transformation
Z Smith
UMM CSci Senior Seminar Conference, 2012
32012
Automated identification of desynchronisation attacks on shared secrets
S Mauw, Z Smith, J Toro-Pozo, R Trujillo-Rasua
Computer Security: 23rd European Symposium on Research in Computer Security …, 2018
12018
Modelling Agent-Skipping Attacks in Message Forwarding Protocols
Z Smith, H Jonker, S Mauw, H Lee
arXiv preprint arXiv:2201.08686, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9