消息详情

谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证，数学证明其端到端加密可靠性:IT之家 11 月 10 日消息，长期以来，Signal 加密协议一直被视为端到端加密消息传递的黄金标准。如今，谷歌 DeepMind 团队利用人工智能，对这一协议的安全性进行了正式验证（Formal Verification）。据IT之家了解，除了 Signal 应用本身，这套加密协议也被 WhatsApp 和谷歌信息（Google Messages）采用，这项研究成果被描述为“一项具有里程碑意...#rss

• 斯洛伐克和捷克总理公开反对默茨援乌要求 斯洛伐克总理菲佐和捷克总理巴比什 10 日在斯首都布拉迪斯拉发举行的两国政府联合会议上，公开反对德国总理默茨要求欧盟所…
• 泽连斯基：乌克兰与俄罗斯讨论了“1000 换 1000”或“1500 换 1500”交换战俘的可能性。
• 丽莎·麦克莱恩当选美国众议院共和党会议主席。
• 美国：莉萨·麦克莱恩当选会议主席。
• 乌克兰总统泽连斯基：我们准备好坐下来谈领土问题，我准备好与俄罗斯总统普京会面。 我们将要求举行领导人会议，但不确定俄罗斯是否准备好。
• 泽连斯基：我们将要求举行领导人会议，但不确定俄罗斯是否准备好。
• 泽连斯基：我们准备好坐下来谈领土问题，我准备好与俄罗斯总统普京会面。
• 乌克兰总统泽连斯基：俄罗斯人真的以为他们占领了顿巴斯一半的地区，而实际上那一半由我们控制。就是一半，不是一个村庄。他们确实在这么说。他们怎么能这么说？我们的士…
• 伊朗外长阿拉格齐致信联合国秘书长、安理会主席和国际原子能机构总干事，呼吁对美国国务院“令人遗憾且充满敌意”的声明作出明确回应并予以谴责。该声明悬赏最高 200…
• 乌克兰总统泽连斯基：我已准备好与俄罗斯总统普京会面。