Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities
Analysts investigate attack surfaces and defenses concerning Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding Blue's Clues: Practical Discovery of Non-Discoverable Bluetooth Devices.
bluetoothblueclue+3
IEEE Symposium on Security and Privacy·17 min
Engineers explore architecture and security mechanisms for Bookworm Game: Automatic Discovery of LTE Vulnerabilities Through Documentation Analysis.
vulnerabilitiesltebookworm+2
hardwear.io·5 min
Security researchers examine technical aspects of Mandating Security: Sultan Qasim Kahn on the Vulnerabilities of Bluetooth Channel Sounding.
bluetoothvulnerabilitiesmandating+3