该论文聚焦于蓝牙低功耗（BLE）协议规范及其多种实现中的可追溯性漏洞。作者通过系统化的方法，对BLE通信的链路层、主机协议及实际设备固件进行了安全分析，发现了一系列可被攻击者利用来跟踪设备位置的攻击路径。这些攻击主要利用BLE设备在广播、连接和断开阶段的隐私保护机制缺陷，例如未充分随机化的MAC地址、固定不变的设备标识符以及实现层面的不一致性。研究采用自动化工具和手动逆向相结合的方式，对主流BLE协议栈（如Android、iOS、Linux BlueZ等）进行了全面测试，证实了多个可导致用户长期被跟踪的设计与实现漏洞。实验结果表明，这些攻击能够突破现有的隐私保护措施，在现实环境中实现可靠且低成本的设备跟踪。论文的主要贡献包括：建立了BLE可追溯性攻击的分类体系，提出了针对协议规范的形式化建模方法，以及公开了可复现的测试框架。这项工作对于蓝牙协议的设计者、设备制造商以及关注用户隐私的安全研究人员具有重要参考价值。

本文针对多参与方隐私集合交集（MP-PSI）中带阈值功能的场景提出可追踪的过阈值协议。在传统MP-PSI中，只有同时出现在所有参与方集合中的元素才会被公开，而带阈值的MP-PSI则允许公开出现在至少t个参与方集合中的元素，从而提升了灵活性。在数字取证等应用中，不仅需要交集元素本身，还需要知道哪些参与方持有该元素（即可追踪性），以确保交集结果的可靠性。现有工作最多容忍t-2个半诚实参与方，且计算开销高昂。本文设计了两个新协议：ET-OT-MP-PSI将Shamir秘密共享与不经意可编程伪随机函数结合，抵抗最多t-2个半诚实参与方，效率提升显著；ST-OT-MP-PSI通过引入不经意线性评估协议，将安全性提升至抵抗最多n-1个半诚实参与方，且无需假设某些特殊参与方不共谋。实验表明，当n=5，t=3，集合大小为2^14时，ET-OT-MP-PSI相对于现有协议加速15056倍，ST-OT-MP-PSI加速505倍。

这篇论文针对加密消息系统中滥用行为（如传播儿童色情、恐怖主义内容）的追溯问题，提出了一种新的可追溯性框架。现有方案通常依赖完全可信的第三方或中心化机构，但这样会引入隐私风险或单点故障。作者设计了一种基于密码学技术的方案，在最小化信任假设（即无需完全信任任何单一实体）的情况下，实现对特定消息的追溯，同时保证普通消息的端到端加密属性不被破坏。核心方法包括使用可链接群签名、秘密共享和多方计算等技术，使得只有符合预设政策（如法院命令）的合法请求才能追溯特定用户，且追溯过程不会泄露无关信息。实验分析表明，该方案在计算和通信开销上具有实用性，并提供了形式化的安全性证明。论文的贡献在于：首次在加密消息系统中实现了抗滥用的可追溯性与最小信任假设的平衡，为监管合规与隐私保护的冲突提供了一种可行的密码学解决方案。