Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities

Name: Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities
Uploaded: 2022-01-01
Duration: 19 min 5 s
Description: Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities — a 2022 IEEE S&P 2022 Sessions security conference talk on network, wireless-rf (19:05 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P 2022 Sessions · 2022 · 19:05

▶

Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities — a 2022 IEEE S&P 2022 Sessions security conference talk on network, wireless-rf (19:05 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

network wireless-rf

← Back to the Breach Arc Archive