Formal Analysis and Patching of BLE-SC Pairing

TitleFormal Analysis and Patching of BLE-SC Pairing
Publication TypeConference Paper
Year of Publication2023
AuthorsShi M, Chen J, He K, Zhao H, Jia M, Du R
Conference Name32nd USENIX Security Symposium (USENIX Security 23)
Date Published08/2023
PublisherUSENIX Association
Conference LocationAnaheim, CA
ISBN Number978-1-939133-37-3
URLhttps://www.usenix.org/conference/usenixsecurity23/presentation/shi-min