Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities

Document Details

Document Type
Pub Defense Publication
Publication Date
May 01, 2022
Source ID
10.1109/sp46214.2022.9833777

Entities

People

  • Antonio Bianchi
  • Dave (jing) Tian
  • Dongyan Xu
  • Jianliang Wu
  • Ruoyu Wu

Organizations

  • Office of Naval Research
  • Purdue University