Cybersecurity

Every day we read hundreds of stories. Only the most important ones are here — short, in our own words, with a link to the original source.

1. Artificial intelligence · Cybersecurity · Programming & dev tools

   AI agents verify Signal's encryption code

   Google DeepMind introduced AlphaProof Code, whose agents wrote three million lines of proofs in Lean. The system was used to verify Signal's core encryption.

   Full story at Google DeepMind ↗
2. Artificial intelligence · Cybersecurity · Programming & dev tools

   AlphaProof Code verifies Signal's crypto core in four weeks

   Google Deepmind's AlphaProof Code mathematically verified Signal's cryptographic core in four weeks, which typically takes years. Agents powered by Gemini Carbon wrote over six million lines of proof code, with about one percent flagged for human review.

   Full story at The Decoder ↗
3. Cybersecurity · Operating systems · Smartphones & apps

   Binance warns of an unpatched iOS vulnerability

   Binance is warning iPhone users about an iOS flaw that could let a malicious app steal data from other apps. According to the report, multiple iOS versions are affected, and no patch is mentioned.

   Full story at AppleInsider ↗
4. Cybersecurity · Programming & dev tools · Open source

   Git releases fixes for six security vulnerabilities

   The Git project has released new versions addressing six vulnerabilities, including code execution when recursively cloning a malicious repository and memory corruption. The fixes are in Git 2.56.1, with backports for older maintenance series.

   Full story at github.blog ↗
5. Operating systems · Cybersecurity

   Windows 11 now turns on Memory Integrity by force

   Windows 11 is reportedly enabling Memory Integrity automatically. Microsoft has admitted the feature can hurt gaming performance.

   Full story at Windows Latest ↗
6. Cybersecurity

   France blames Iranian unit for refrigeration sabotage

   France attributes the October sabotage of refrigeration systems at around 700 retail sites to Shahid Kaveh, a unit tied to Iran's IRGC. Attackers manipulated controllers, causing food losses and, per French authorities, fires.

   Full story at blog.checkpoint.com ↗
7. Cybersecurity · Smartphones & apps · IT law & regulation

   Thai officials meet Apple over spyware alerts

   Apple representatives met Thailand's Ministry of Digital Economy and Society after spyware alerts went to politicians on October 29, 2026. Similar warnings were sent in Germany at about the same time.

   Full story at AppleInsider ↗

An AI writes the short texts from the source's stories.