Sourcell@海特实验室一个通过 ProVerif 形式化分析挖出的漏洞，且威力被低估。个人觉得 BLESA 没有得到广泛关注的原因是研究团队准备的 demo 太 low 了。BLESA (BLE...