@inproceedings{bluetoothpairing2023,
  title = {Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing},
  author = {Jangid, Kumar, Mohit and Zhang, Yue and Lin, Zhiqiang},
  booktitle = {Network and Distributed System Security (NDSS) Symposium},
  year = {2023},
  url = {https://mohitwrangler.github.io/media/BTFormal.pdf}
}