Congratulations to
Tristan Claverie ((Expert technique au laboratoire de la sécurité des technologies sans-fil de l’ANSSI et doctorant chez SPICY)), Gildas Avoine (Professor at INSA Rennes), Stéphanie Delaune (CNRS Researcher) and José Lopes Esteves (Expert technique au laboratoire de la sécurité des technologies sans-fil de l’ANSSI) for their Distinguished Paper Awards
"Tamarin-based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks"
at the ESORICS 2023 conference (European Symposium on Research in Computer Security)
The publication and best paper awards are fully in the framework of the project led by members of IRISA's Spicy team, SVP ( Cybersecurity Security Verification Protocol) fund by the France 2030 program and the national cybersecurity plan.
SVP project (Security Verification Protocol) focus on:
- developing new functionalities in existing tools to allow the analysis of more and more complex protocols ;
- building bridges between the different existing proof techniques and associated tools in order to take advantage of the strengths of each of them ;
- validate the techniques and tools developed within this project on widely deployed protocols and on more recent, fast-growing applications, such as Internet voting.