谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证
DeepMind 让 AI 智能体给 Signal 协议写数学证明，WhatsApp 和 Google Messages 都在用这套协议。旧版有漏洞的实现还被它揪出来了。做密码学或安全工程的值得看看 AI 形式化验证这条路走到了哪一步。
IT之家原文
#端到端加密
共 4 条 · 7 天 1 条 · 30 天 1 条
信息流里打上「端到端加密」标签的资讯、产品与论文，按刊登时间排，新的在上。
11月10日
8月12日
WhatsApp构建端到端加密诈骗警报系统
Meta公开了WhatsApp防诈骗系统的技术细节，用加密技术在不看消息内容的情况下识别诈骗，这思路挺新鲜，值得看看。
5月13日
Meta Labyrinth 1.1：提升端到端加密备份可靠性
对于关注隐私和备份可靠性的从业者来说，Labyrinth 1.1 展示了在端到端加密系统中处理设备更换和数据恢复的技术方案，值得参考。
苹果与谷歌联合推出端到端加密RCS消息
这是跨平台通信领域的重要进展，标志着两大平台在用户隐私保护上达成共识，可能推动行业标准更新。