USENIX Security '23 - Formal Analysis and Patching of BLE-SC Pairing

USENIX Security '23 - Formal Analysis and Patching of BLE-SC Pairing

Min Shi, Jing Chen, Kun He, Haoran Zhao, Meng Jia, and Ruiying Du, Wuhan University

Bluetooth Low Energy (BLE) is the mainstream Bluetooth standard and BLE Secure Connections (BLC-SC) pairing is a protocol that authenticates two Bluetooth devices and derives a shared secret key between them. Although BLE-SC pairing employs well-studied cryptographic primitives to guarantee its security, a recent study revealed a logic flaw in the protocol.

In this …

analysis ble bluetooth bluetooth low energy chen connections devices energy low patching protocol security shi standard university usenix usenix security wuhan university