Author of the publication

Distance-Bounding Protocols: Verification without Time and Location.

, , , and . IEEE Symposium on Security and Privacy, page 549-566. IEEE Computer Society, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity., , , and . ESORICS (1), volume 11735 of Lecture Notes in Computer Science, page 577-594. Springer, (2019)maTLS: How to Make TLS middlebox-aware?, , , , , , and . NDSS, The Internet Society, (2019)Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches., , , and . EuroS&P, page 425-444. IEEE, (2020)Post-Collusion Security and Distance Bounding., , , and . ACM Conference on Computer and Communications Security, page 941-958. ACM, (2019)Automated Identification of Desynchronisation Attacks on Shared Secrets., , , and . ESORICS (1), volume 11098 of Lecture Notes in Computer Science, page 406-426. Springer, (2018)Design and Verification of Specialised Security Goals for Protocol Families.. University of Luxembourg, Luxembourg, (2020)base-search.net (ftunivluxembourg:oai:orbilu.uni.lu:10993/45058).Distance-Bounding Protocols: Verification without Time and Location., , , and . IEEE Symposium on Security and Privacy, page 549-566. IEEE Computer Society, (2018)