Tristan Claverie

According to our database, Tristan Claverie authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Towards a method for the security analysis of wireless communication systems. (Vers une méthode d'analyse de la sécurité des systèmes de communication sans-fil).

Tristan Claverie

PhD thesis, 2025

Formal Analysis of Random Nonce Misuses in Cryptographic Protocols.

Gildas Avoine, Tristan Claverie, Stéphanie Delaune

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

2024

Time-Memory Trade-Offs Sound the Death Knell for GPRS and GSM.

Gildas Avoine, Xavier Carpent, Tristan Claverie, Christophe Devine, Diane Leblanc-Albarel

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

2023

Tamarin-Based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks.

Tristan Claverie, Gildas Avoine, Stéphanie Delaune, José Lopes-Esteves

Proceedings of the Computer Security - ESORICS 2023, 2023

2021

BlueMirror: Reflections on Bluetooth Pairing and Provisioning Protocols.

Tristan Claverie, José Lopes-Esteves

Proceedings of the IEEE Security and Privacy Workshops, 2021