Min Shi, Jing Chen 0003, Kun He 0008, Haoran Zhao, Meng Jia, RuiYing Du. Formal Analysis and Patching of BLE-SC Pairing. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 37-52, USENIX Association, 2023. [doi]
@inproceedings{Shi00ZJD23, title = {Formal Analysis and Patching of BLE-SC Pairing}, author = {Min Shi and Jing Chen 0003 and Kun He 0008 and Haoran Zhao and Meng Jia and RuiYing Du}, year = {2023}, url = {https://www.usenix.org/conference/usenixsecurity23/presentation/shi-min}, researchr = {https://researchr.org/publication/Shi00ZJD23}, cites = {0}, citedby = {0}, pages = {37-52}, booktitle = {32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023}, editor = {Joseph A. Calandrino and Carmela Troncoso}, publisher = {USENIX Association}, }