DeepMind uses AlphaProof Code to formally verify Signal's protocol
Gemini Carbon agents produced over six million lines of Lean in four weeks and flagged two reintroduced bugs.
Stories per day · 30 days
2 RSS
Relatedformal-verification6ringrtc6lean4privacy4alphaproof3calling3cryptography3webrtc3alphaproof-code2deepmind2gemini2libsignal2microphone2voip2ai-agent1ai-agents1backdoor1c-221
21 stories, newest first · one card per story
Stories tagged #signal
Google widens Gemini 4 Carbon access after Signal verification
Paying users get API access at $2 and $10 per million tokens until November 30; Carbon for cyber stays in Fairwind.
Wirken open-source AI agent gateway released
It limits compromised AI agents by running them in separate processes with approval for actions
Court filings describe ICE surveillance of Minnesota activists
Defense lawyers say HSI used undercovers, drones, and intercepted Signal chats in the Minnesota 15 case.
1
Researchers claim iPhone, Signal and iMessage hacks at Hexacon
Calif.io showed the demos in Paris on October 16 and said full details will come later.
Signal Flaw Could Keep Calls Active After Hang Up
A critical RingRTC vulnerability lets malicious callers delay call termination, exposing microphone and camera.
2
Signal fixes RingRTC flaw that can block hang-ups (CVE-2026-113380)
A remote peer can flood the call state machine so the microphone and possibly the camera stay on.
Signal RingRTC before 2.72.0 can keep media flowing after hang-up
CVE-2026-113380, scored CVSS 4.0 9.3, lets a call peer delay teardown so audio and possibly video continue; no in-the-wild use is known.
Signal RingRTC before 2.72.0 can leave call audio open after hang-up
A call participant can flood RingRTC’s event queue so hang-up fails; CVSS 9.3, with no known exploitation.
Signal RingRTC before 2.72.0 can leave the mic on after hang-up
CVE-2026-113380, scored CVSS 9.3, lets a call participant fill a 256-entry queue and block teardown.
Signal RingRTC bug can leave mic and camera on after hangup
CVE-2026-113380, CVSS 9.3, affects RingRTC before 2.72.0; a conceptual proof of concept exists and CISA KEV does not list it.
Signal bug allows listening after hang-up
RingRTC versions before 2.72.0 could let participants hear audio after call end; no exploitation reported.
Encryption Is Getting Squeezed From All Sides
Canada's C-22 bill could force encryption backdoors and metadata retention, prompting Signal and Psiphon to threaten exit.
2
Friends don’t let friends feed their data to AI agents
Meta’s Muse AI agent collects intimate user and contact data, and users report unwanted disclosures.
Signal brings encrypted local backups to iOS and desktop, adds cross-platform restore
Signal 8.30 brings end-to-end encrypted local backups to iOS and desktop plus cross-platform restore between Android and iPhone.
3
Signal adds encypted local backup support to iOS, desktop apps
Signal 8.30 completes its end-to-end encrypted backup rollout, bringing on-device backups to iOS and desktop with a unified cross-platform format.
2
DARPA Selects Xint to Use AI in Securing Military Messaging Apps
DARPA selected AIxCC winner Xint to autonomously analyze and patch vulnerabilities in Department of War messaging apps like Signal.
Using Device Linking to Eavesdrop on WhatsApp and Signal
Germany's Customs Office eavesdrops on WhatsApp and Signal by linking suspects' accounts to police computers via physical access, phishing, or SMS interception.
Russian Hackers Phish EU Officials Over Messaging Apps
Russian nation-state hackers are phishing EU officials via Signal and WhatsApp as espionage shifts from email to messaging apps.
Exclusive: NSA to host a hacker reunion in bid to rebuild secretive unit
NSA will host a reunion of former Tailored Access Operations hackers as it moves to rebuild and rebrand the elite unit.
2
Signal's new security feature checks if your encrypted chats were tampered with
Signal adds automatic key verification, a key-transparency system audited by Cloudflare and Trail of Bits that detects key-directory tampering in E2EE chats.
2