Félicitations à

Tristan Claverie (Expert technique au laboratoire de la sécurité des technologies sans-fil de l’ANSSI et doctorant chez SPICY), Gildas Avoine (Professeur à l'INSA Rennes), Stéphanie Delaune (Chercheuse CNRS) et José Lopes Esteves (Expert technique au laboratoire de la sécurité des technologies sans-fil de l’ANSSI) pour leur Distinguished Paper Awards

“Tamarin-based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks”

obtenu à la conférence ESORICS 2023 - European Symposium on Research in Computer Security

La publication et le best paper awards  de Tristan Claverie, Gildas Avoine, Stéphanie Delaune and José Lopes Esteves s'inscrivent pleinement du projet porté par des membres de l'équipe Spicy de l'IRISA, Le projet SVP (Cybersecurity Security Verification Protocol), financé dans le cadre du programme France 2030 et de la stratégie nationale de cybersécurité.

• développer de nouvelles fonctionnalités dans les outils existants pour permettre l’analyse de protocoles toujours plus complexes ;
• construire des ponts entre les différentes techniques de preuves existantes, et les outils associés afin de tirer profits des forces de chacun d’entre eux ;
• valider les techniques et outils développés dans le cadre de ce projet sur des protocoles déjà largement déployés, et sur des applications plus récentes, en plein essor, comme le vote par Internet.