Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities.

Jianliang Wu, Ruoyu Wu, Dongyan Xu, Dave Jing Tian, Antonio Bianchi

Browse the full SP paper archive.