USENIX Security '23 - Formal Analysis and Patching of BLE-SC Pairing
▶USENIX Security '23 - Formal Analysis and Patching of BLE-SC Pairing — a USENIX security conference talk on wireless-rf (12:34 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube