Author of the publication

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

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).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)Modelling Agent-Skipping Attacks in Message Forwarding Protocols., , , and . CoRR, (2022)Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches., , , and . EuroS&P, page 425-444. IEEE, (2020)Distance-Bounding Protocols: Verification without Time and Location., , , and . IEEE Symposium on Security and Privacy, page 549-566. IEEE Computer Society, (2018)