科技与人工智能

A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure

来源: WIRED · 发布于

A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
来源: WIRED

DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”

DeepMind researchers were able to formally verify that the widely used encryption protocol works as intended. Their stretch goal? Do the same for “all the software of the world.”

阅读原文来源