Tristan Claverie, Gildas Avoine, Stéphanie Delaune, José Lopes-Esteves. Tamarin-Based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks. In Gene Tsudik, Mauro Conti, Kaitai Liang, Georgios Smaragdakis, editors, Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III. Volume 14346 of Lecture Notes in Computer Science, pages 100-119, Springer, 2023. [doi]
Abstract is missing.