BLEDiff - Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations

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