存档2023年1月10日

Min Shi, Jing Chen, Kun He, Haoran Zhao, Meng Jia, Ruiying Du. Formal Analysis and Patching of BLE-SC Pairing. USENIX Security. (CCF A类会议)