本文针对Signal协议中的双棘轮（Double Ratchet）组件，提供了首个不随交互次数退化的紧安全性证明。双棘轮协议是Signal、WhatsApp、Google Messages和Facebook Messenger等端到端加密消息应用的核心组件，每日被数十亿用户使用。现有安全性模型虽然能够捕获前向安全（保护过去秘密）、后向安全（恢复安全性）、自适应状态泄露、消息注入和乱序投递等强安全属性，但由于协议复杂性，之前的工作未能提供不随交互次数退化的安全保证，即使在单会话设置中也是如此。本文通过引入新的安全模型和证明技术，解决了这一开放问题。具体地，作者形式化了双棘轮协议的安全性目标，并证明了在标准加密假设下，协议的安全性界与交互次数无关，从而显著提升了理论保障的紧致性。该工作为理解双棘轮协议的实际安全性提供了更坚实的基础，有助于未来协议设计和形式化验证。适合密码学研究人员、安全协议设计者以及IM产品安全工程师阅读。

本文针对带宽受限的两方安全消息协议（如Signal、WhatsApp等）的后量子安全性进行比较研究。随着量子计算机的发展，当前基于离散对数或整数分解的密钥交换协议面临被破解的风险，因此需要后量子安全的替代方案。然而，后量子密码方案通常具有较大的密钥和密文尺寸，在带宽受限的网络环境（如卫星通信、物联网、低带宽移动网络）中成为瓶颈。论文系统性地比较了多种后量子密码体制（基于格、编码、哈希、多变量等）在双棘轮协议（Double Ratchet）框架下的性能，重点关注通信开销、计算复杂度和安全性权衡。核心贡献包括：提出一种统一的形式化安全模型来评估不同后量子原语的适用性；设计了一种新的混合协议，结合经典与后量子技术以兼顾效率与安全；通过实验模拟证明了该协议在典型带宽限制条件下（如每轮消息1KB以下）仍能满足实时性要求。研究指出，尽管某些后量子方案（如CRYSTALS-Kyber）在桌面端表现良好，但在移动端或极低带宽场景下仍需优化。本文适合密码学研究员、安全协议设计者和即时通讯软件开发者阅读。

该论文针对连续组密钥协商（CGKA）协议中的带宽瓶颈问题展开研究。CGKA 是保证 Signal、MLS 等安全群组消息协议强安全性的关键组件，通过定期提交 commit 消息来刷新密钥材料以抵御设备泄露。然而，现有 CGKA 中传播 commit 消息的带宽成本占据了主导地位，严重影响了大规模部署的可行性。作者提出了一种基于多接收者公钥加密（Multi-Recipient PKE）的新型 CGKA 构造，利用该原语将单个 commit 消息加密为仅单个密文，使得所有群组成员可直接解密，从而大幅降低带宽开销。论文给出了形式化的安全定义，证明了在标准模型下满足 CGKA 所需的安全属性，并进行了性能分析，展示了相比现有方案（如 TreeKEM）在通信效率上的显著提升。贡献在于首次将多接收者 PKE 系统性地应用于 CGKA，为高效、实用的安全群组消息协议提供了新的设计思路。

该论文针对即时通信应用（如WhatsApp、Signal）中端到端加密的假密钥攻击问题展开研究。这类应用依赖中心化服务器分发公钥，可能被恶意或受攻击的服务器分发伪造密钥，从而实施中间人攻击或身份冒充。虽然现有应用提供了手动密钥验证机制，但用户负担重且实际效果不佳。作者提出了KTACA（密钥透明度与自动客户端审计）方法，实现完全自动化的密钥验证，无需用户干预且易于部署。KTACA融合了两种方法：客户端审计（KTCA）和匿名密钥监控（AKM）。KTCA由客户端记录并审计密钥交换日志，检测密钥变更异常；AKM通过匿名监控公共密钥目录发现伪造密钥分发。单独使用时各有弱点，KTACA结合二者优势，能够自动检测多种假密钥攻击。作者提供了安全性分析，明确每种防御可检测的攻击类型。他们还实现了主动攻击以证明攻击可行性，并开发了所有防御的原型系统，评估了性能与可行性。最后讨论了各防御的优缺点、对客户端和服务器的负载以及部署考虑。该研究提升了自动检测假密钥攻击的能力，对保障用户通信安全有重要意义。