Product Follow by RSS
Signal
Encrypted messaging app
In 2 articles · first seen · latest
Solid lines: relations reported in articles. Dashed: appear in the same stories. Thicker means more evidence.
Timeline
-
10 Nov 2026 · 2 outlets
Google DeepMind uses AlphaProof Code to formally verify parts of Signal protocol