Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing

Mohit K. Jangid, Yue Zhang, Zhiqiang Lin
February 2023
PDF Cite
Type
Conference paper
Publication
ISOC Network and Distributed System Security Symposium