Explore a scalable and property-agnostic approach to noncompliance checking for Bluetooth Low Energy (BLE) implementations in this 15-minute IEEE conference talk. Discover how researchers from Purdue University and Pennsylvania State University present BLEDiff, a novel method for identifying inconsistencies and potential vulnerabilities in BLE implementations. Learn about the challenges of ensuring compliance in BLE devices and how this innovative technique can improve security and reliability in the growing ecosystem of IoT and smart devices.
BLEDiff - Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations
Overview
Syllabus
BLEDiff : Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
-
Protecting Privacy of BLE Device Users
-
BLE Authentication Design Challenges on IoT Devices
-
SweynTooth - Unleashing Mayhem over Bluetooth Low Energy
-
Gattacking Bluetooth Smart Devices - Introducing a New BLE Proxy Tool
-
A Practical Introduction to BLE Security Without Any Special Hardware
-
SmartPulse - Automated Checking of Temporal Properties in Smart Contracts
