Min Shi, Jing Chen 0003, Kun He 0008, Haoran Zhao, Meng Jia, RuiYing Du. Formal Analysis and Patching of BLE-SC Pairing. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 37-52, USENIX Association, 2023. [doi]
Abstract is missing.