实验室一篇论文被 USENIX Security 2023 录用 [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类会议)