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

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]

@inproceedings{ClaverieADL23,
  title = {Tamarin-Based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks},
  author = {Tristan Claverie and Gildas Avoine and Stéphanie Delaune and José Lopes-Esteves},
  year = {2023},
  doi = {10.1007/978-3-031-51479-1_6},
  url = {https://doi.org/10.1007/978-3-031-51479-1_6},
  researchr = {https://researchr.org/publication/ClaverieADL23},
  cites = {0},
  citedby = {0},
  pages = {100-119},
  booktitle = {Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III},
  editor = {Gene Tsudik and Mauro Conti and Kaitai Liang and Georgios Smaragdakis},
  volume = {14346},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-51479-1},
}