Google DeepMind just mathematically verified key parts of Signal
The four-week project hints that AI could make formal verification far more practical.
Read More
Google Fi adds support for a second 5G network, won’t say which one
Fi has always supported T-Mobile, but the new one? Google won't say.
Read More
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
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.”
Read More