Daily Edition · Page 5

THE DAILY INDEX

Technology, AI, software, security, crypto and business

ATTACKS & VULNERABILITIES

TLDR InfoSec

HACKTIVIST DELETES WHITE SUPREMACIST WEBSITES LIVE ONSTAGE DURING HACK CONFERENCE

A hacktivist who goes by Martha Root deleted the websites of WhiteDate, WhiteChild, and WhiteDeal in real time at the end of a talk about the websites at Chaos Communication Congress. Root infiltrated the sites using AI chatbots that bypassed verification processes and were verified as “white.” Root also leaked data from the sites, including users' profiles with names, pictures, descriptions, ages, locations, genders, languages, races, and other personal information.

WINNING THE AI CYBER RACE: VERIFIABILITY IS ALL YOU NEED

AI-powered cyber offense is outpacing defense because offensive tasks offer binary, easily verifiable outcomes, while defensive tasks like SIEM analysis, GRC assessments, and forensics lack reliable mechanical verifiers, resulting in noise-heavy signals with precision rates below 1% that make model training ineffective. Research demonstrates the verifiability gap's impact: OpenAI's o3 achieved 90% CTF challenge success versus GPT-4's 20%, DARPA AIxCC results showed autonomous vulnerability detection improving from 37% to 77%, and Microsoft's Project Ire reached 98% precision by wrapping LLMs with proper tool scaffolding, compared to Google's Sec-Gemini at 12% precision without verifiers. Security leaders should prioritize building mechanical verifiers and adopt offense-first thinking through continuous AI red teaming, as whoever owns the verifiers wins the AI security race.

ESCAPING ISLA NUBLAR: COMING AROUND TO LLMS FOR FORMAL METHODS

CNnotator is a tool that combines large language models (LLMs) with formal verification to generate memory-safety annotations for C code automatically. It works through an iterative process where LLM-generated annotations are tested against a CN verifier. This approach addresses the challenge of translating legacy C/C++ code—which accounts for 70% of Chromium's security bugs—into memory-safe languages like Rust. Testing showed that OpenAI's o3 reasoning model achieved a 90% success rate on the first attempt and 97% within three attempts.

REVERSE ENGINEERING MY CLOUD-CONNECTED E-SCOOTER AND FINDING THE MASTER KEY TO UNLOCK ALL SCOOTERS

The Äike electric scooter relies entirely on a cloud-backed mobile app for locking, unlocking, and other controls, which becomes risky once the manufacturer goes bankrupt and services degrade. By reverse engineering the Android app, using Frida to intercept BLE GATT traffic and Java hashing calls, the author uncovers a SHA-1–based challenge-response that incorrectly uses a global default key rather than a unique per-device secret. With this knowledge, any nearby Äike scooter can be authenticated to and remotely commanded via a short Python proof-of-concept using Bleak.

RUSSIA-ALIGNED HACKERS ABUSE VIBER TO TARGET UKRAINIAN MILITARY AND GOVERNMENT

UAC-0184 (Hive0156), a threat actor aligned with Russia, used the Viber messaging platform to send malicious ZIP files containing LNK files disguised as Office documents to Ukrainian military and government targets. The attack involved multiple stages, including the deployment of Hijack Loader via PowerShell, which employed DLL side-loading and module stomping techniques to bypass detection from major security vendors like Kaspersky, Avast, BitDefender, AVG, Emsisoft, Webroot, and Microsoft. Afterward, it injected Remcos RAT into chime.exe for cyber espionage and data theft. Ukrainian organizations should improve monitoring of messaging platforms beyond email, adopt behavioral detection for Hijack Loader and Remcos RAT, and bolster defenses against social engineering attacks that exploit trusted communication channels.

THE SHIFT FROM DISK IMAGING TO DIGITAL TRIAGE

Quick Triage addresses digital forensics backlogs by shifting from traditional bit-for-bit disk imaging to rapid artifact-focused triage, enabling field decisions within minutes rather than months of lab analysis. The "desktop pivot" strategy exploits cloud synchronization mechanics where mobile data protected by iOS Secure Enclave or Android TEE encryption becomes accessible on Windows systems with weaker BitLocker protection. Waymo's trade secret theft (Registry USB logs) demonstrated how Windows artifact analysis solves investigations when mobile extraction fails. Investigators are advised to prioritize communication artifacts and web activity as immediate lead sources before comprehensive forensic imaging.

TLDR IndexPage 5