Author of the publication

Automated Identification of Desynchronisation Attacks on Shared Secrets.

, , , and . ESORICS (1), volume 11098 of Lecture Notes in Computer Science, page 406-426. Springer, (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)Post-Collusion Security and Distance Bounding., , , and . ACM Conference on Computer and Communications Security, page 941-958. ACM, (2019)Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches., , , and . EuroS&P, page 425-444. IEEE, (2020)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).Automated Identification of Desynchronisation Attacks on Shared Secrets., , , and . ESORICS (1), volume 11098 of Lecture Notes in Computer Science, page 406-426. Springer, (2018)Distance-Bounding Protocols: Verification without Time and Location., , , and . IEEE Symposium on Security and Privacy, page 549-566. IEEE Computer Society, (2018)