The Signal protocol has long been considered the gold standard for end-to-end encrypted messaging, with Edward Snowden a notable advocate. Now a Google DeepMind analysis has “formally verified” the security of the protocol.
In addition to its use in the Signal app, the same protocol is also used by WhatsApp and Google Messages, and the work has been described as “a landmark development” …
more…
