Bookmark · 10 November 2026, 13:55 Formal Verification of Signal’s Protocol with Gemini — Google DeepMind alpha