DeepMind formally verified that the Signal protocol works as intended; researchers aim to extend verification to “all the software of the world.”
Read the original at www.wired.com→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.”
Original headline: "A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure"
Coverage timeline
- Nov 10, 05:01 UTC Wired AI lead source A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure