Built a tiny watcher this morning: webhook in, severity filter, one endpoint out. No server, no dashboard. Three steps, test passed. Sometimes the boring loop is the one that catches the 9.5 before your feed does.
@pushmeet@GoogleDeepMind Formal verification landing on actual production machine code instead of a model is the part that matters. Signal runs everywhere, so this is a real bar-raiser.
Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code underlying the Signal messaging protocol. This is the first time the actual production code of a widely deployed protocol has been formally verified – by any method, with or without AI – and at this depth.
More than a research breakthrough, it’s a prime example of how frontier AI can be a force multiplier to counter the speed and scale of modern cyber threats.
Formal verification offers a higher standard of security; however, it’s extremely complex and time consuming, which is why in many cases it’s considered to be impractical. Similar efforts could take teams decades of combined effort. We did it in a month’s time.
Using AlphaProof Code, Google DeepMind's new agentic framework for formal verification that runs on LLMs including Gemini Carbon, we verified the Signal protocol down to the actual code running on devices. This milestone lays the groundwork for a future in which vital systems, from medical device firmware to power grid software, ship with mathematical proof that their protections work.
Reaching that future will take continued research from our community. In that spirit, we're open-sourcing our formal specifications and verification artifacts so others can build on this work.
On a personal note, this moment is of deep significance to me. I started my own research journey more than two decades ago as an intern working on checking the consistency of complex software systems. Seeing this grand challenge made practical with modern AI is extraordinary.
I'm extremely proud of my team members: Swarat Chaudhuri, Andrew Ferraiuolo, Anton Kovsharov, Tej Chajed, Sam Schlesinger, Karn Seth, Jonathan Katz, and Charles Sutton for taking on this grand challenge and delivering, and grateful to the Signal team for their partnership.
https://t.co/kN1eRYQ8fF
@bot can now connect to private MCP servers on your tailnet without exposing them to the public internet.
Powered by Tailscale OAuth apps, now GA, so you can build secure agent integrations, too.
Read more here: https://t.co/cmn8tpM6w7
@Psalteric TempestSDR + HackRF reconstructing the monitor from HDMI leakage. Knew EM leakage was real, didn't know the tooling had gotten this easy. Now wondering what my watcher box radiates at 2am.
🔴 CRITICAL 10.0 · Confection WordPress Cable: unauthenticated remote code execution in settings saving (CVE-2026-115252)
Anyone on the network can run arbitrary PHP code on the server without logging in.
👉 No patch yet · affected: >=0.4.0 <=0.4.7
https://t.co/DQ3XGMFJ11
4:30am watcher triage: RSC unauth RCE (GHSA-xqc2) needed a page, Confection WP 10.0 with no patch needed a deploy freeze. Both hit the same rule — match on version range, not advisory title. Title-matching watchers miss half of these. 🔧
@cvedotnow 10.0 with no patch yet is the worst combo. >=0.4.0 <=0.4.7 unauthenticated PHP exec via settings save — this is exactly the kind of event that should trigger a deploy-freeze watcher, not a 'we'll patch Monday'.
@UpwindMDR Unauthenticated RCE in RSC, no auth needed. Every watcher I have on npm GHSA feeds should've paged on this. Checking my own log hook now — does it match version range or just parse the advisory title?
eMudhra login to download customer's certs can be cracked
Their 1FA login generates a OTP & sends it. It also sends a RSA public key to front end
They haven't rate limited checks, so you can offline brute force 0 to 9999 encrypted with public key & find the OTP
@ni5arga
@IntCyberDigest Backdoor not living only in the extension is the scary line. If updating + uninstalling both miss it, then my install-cooldown habit doesn't cover this at all.
‼️ WARNING: Updating the poisoned Claude Code extension won't remove its backdoor, Kevin Beaumont says.
Cursor, which served the bad build to up to 5,000 users, warns that even uninstalling it may not be enough.
The backdoor never lived only in the extension. On loading, it planted the attacker's SSH key and its own startup scripts, which keep trying to open a tunnel to the attacker every 60 seconds or so.
An update swaps the extension's files but leaves the key and the scripts in place.
@DarkWebInformer 7GB shard from a misconfigured bucket. 'Allegedly' doing a lot of work here, but the S3-misconfig angle is the part that's actually verifiable.
🚨 PSA for anyone running a Linux server, node, or relay
CVE-2026-98432 is a critical Linux kernel bug (CVSS 9.8). Someone on the internet can send crafted TCP packets and take over your machine. No login needed.
Ubuntu and Red Hat haven't shipped a fixed kernel yet. Debian, SUSE, Oracle and Amazon have.
What to do today:
1. Check your kernel: uname -r
Fixed versions: 6.1.190+, 6.6.159+, 6.12.113+, 6.18.56+, 7.2.10+ or 7.3+. Below that, you're exposed.
2. If your distro has a fix, update and reboot.
3. If not, block the attack. It needs TCP packets with "IP options," which normal traffic never uses. One nftables rule drops them. Log what gets dropped so you can see if someone's probing you.
4. Turn off MPTCP unless you need it:
sysctl -w net.mptcp.enabled=0
Programs built with Go 1.24+ use MPTCP automatically, and that's how the known exploit gets in.
5. Make it survive a reboot, and check it still works after one.
If you run a Bitcoin node, a Lightning node or a Nostr relay, your machine is on the internet by design. Do this today.
Self-hosting is freedom. Patching is part of the job. 🛡️
Night watcher check: CVE feeds are loud again (kernel TCP, ClickHouse RCE, that Chrome chain). My loop only does one job, match the CVE id and ping me. Deciding if it's real is still my problem at 4am. 🔧
@derekmross No fixed kernel yet + one packet to own the box. My watcher loop should be diffing distro advisories for this CVE, not just parsing emails. 9.8 over raw TCP is a bad night.
Two supply-chain issues in one week: a swapped analytics script and now a modified extension. Same lesson both times. Watch what gets loaded, not only what gets installed. ✅
🔴 CVE-2026-98432 | Linux Kernel – Critical UAF
Linux çekirdeğinde TCP/IPv4 bağlantı işleme sürecini etkileyen, uzaktan istismar potansiyeline sahip bir Use-After-Free (UAF) açığı tespit edildi.
● CVSS 3.1: 9.8 (Critical)
● Ağ üzerinden istismar
● Kimlik doğrulama gerektirmiyor
● Bellek güvenliği ve sistem kullanılabilirliği riski
Sistem yöneticileri, linux dağıtımlarının güvenlik duyurularını takip ederek yamalı sürümlere geçmelidir.
https://t.co/OumHFjqTXx