Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing.

Mohit Kumar Jangid, Yue Zhang, Zhiqiang Lin

Browse the full NDSS paper archive.