本文针对蓝牙低功耗（BLE）安全连接配对协议进行了形式化安全分析。研究团队构建了包含形式化模型、验证脚本和攻击实现的分析工具套件，对BLE Secure Connections配对协议的安全性进行系统性检验。通过形式化方法，作者揭示了先前未被发现的“PE混淆攻击”（PE Confusion Attack），该攻击能够绕过配对过程中的安全机制。论文详细描述了攻击的原理、利用条件以及对协议安全性的影响。实验验证了该攻击在实际BLE设备上的可行性，并提出了相应的防御建议。这项研究为BLE协议的安全性改进提供了理论依据和实用工具，有助于蓝牙标准制定者和实现者修复漏洞。

该论文针对TON（The Open Network）的ADNL（Abstract Datagram Network Layer）安全通道协议提出了攻击方法。ADNL是TON网络节点之间通信的基础安全协议，旨在提供加密和认证。研究者发现该协议在设计上存在漏洞，允许攻击者在不拥有合法密钥的情况下，通过精心构造的数据包破坏通信的保密性和完整性。具体而言，攻击利用了协议中握手阶段的某些实现缺陷，使得攻击者能够伪装成合法节点，或者在通信中注入恶意数据。论文详细分析了ADNL协议的密钥交换、消息认证码和会话管理机制，并提出了两种攻击场景：一种是针对初始化阶段的中间人攻击，另一种是利用协议状态机的不一致性导致会话密钥泄露。实验在TON测试网络上进行，验证了攻击的有效性，并讨论了修复建议，如改进消息验证顺序、增加随机数检查等。该研究对类TLS协议的定制化实现提出了安全警示。