IEEE Symposium on Security and Privacy·19 min
Analysts investigate attack surfaces and defenses concerning Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities.
bluetoothvulnerabilitiesformal+3
3 talks tagged with this topic.
Loading filters…
1–3 of 3 talks · loading…
IEEE Symposium on Security and Privacy·19 min
Analysts investigate attack surfaces and defenses concerning Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities.
The Linux Foundation·51 min
Santiago Alvarez
Reviews accelerating Network Device Automation Using a Model-Driven SDK and evaluates key implications for security practitioners.
RSAC Cybersecurity·38 min
Analysts investigate attack surfaces and defenses concerning Model-Driven Security: It’s Closer than You Think.