Chinese content谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证
DeepMind 让 AI 智能体给 Signal 协议写数学证明，WhatsApp 和 Google Messages 都在用这套协议。旧版有漏洞的实现还被它揪出来了。做密码学或安全工程的值得看看 AI 形式化验证这条路走到了哪一步。
IT之家Source
#end-to-end encryption
4 stories · 1 in 7 days · 1 in 30 days
Stories, products and papers tagged "end-to-end encryption", newest first.
Nov 10
Aug 12
May 13
Chinese contentMeta Labyrinth 1.1：提升端到端加密备份可靠性
对于关注隐私和备份可靠性的从业者来说，Labyrinth 1.1 展示了在端到端加密系统中处理设备更换和数据恢复的技术方案，值得参考。