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

Imtiaz Karim, Abdullah Al Ishtiaq, Syed Rafiul Hussain, Elisa Bertino

Browse the full SP paper archive.