RISC-V MCU design bounds runtime protection-policy delegation
A CVA6-based World Checker adds 7.1% LUT and 1.2% FF for eight rules, with no access-latency or frequency loss.
18 stories, newest first · one card per story
A CVA6-based World Checker adds 7.1% LUT and 1.2% FF for eight rules, with no access-latency or frequency loss.
The Hacker News post links to the tinyworldformer GitHub repo and had 42 points and 4 comments.
The Rust simulator targets selected STM32, ESP32, and RP2040 boards so agents can test firmware without flashing hardware.

FoxIO published PoCs for three configuration-specific bugs; GoAhead 6.1.1 fixes the OpenSSL and Mbed TLS issues.

CVE-2026-115881 scores 9.1 on GoAhead 3.4.5–6.1.0 with mutual TLS and a loaded CRL; 6.1.1 fixes it.

Fixes are in GoAhead 6.1.1 for the OpenSSL-compatible and mbed TLS cases; a public PoC decrypts weak DHE sessions.
R20-11 is fixed in V2303, while all 431-422 builds have no planned fix and should stay behind firewalls.
Zeppelin brings BFV encryption and decryption to Arm Helium microcontrollers, encrypting 4096 values in 4.76 ms.
Contextual Chain authenticates intermittently connected devices by making shared context memory the attacker's bottleneck.
Researchers cut ML-KEM cycles on Arm Cortex-M7 by up to 74.6% with system-level optimizations.

wolfSSL 5.9.4 fixes 11 TLS and certificate-validation flaws, including trusted-peer and OCSP authentication bypasses.

wolfSSL 5.9.4 patches 11 TLS vulnerabilities, including three high-severity certificate validation bypasses, and adds post-quantum cryptography features.
CISA warns lwIP 2.0.1–2.2.1 has a double-free that can crash devices or enable code execution.
Study finds container overhead is tiny for PQC, while algorithm choice can swing TLS energy by 1000x.
ZDI disclosed an unpatched symlink directory traversal flaw (CVE-2026-92205, CVSS 6.1) in BusyBox libarchive enabling arbitrary file creation.
ACM Queue paper explains how CHERIoT uses CHERI hardware capabilities to give microcontroller-class IoT devices memory and privilege isolation without an MMU.
Abandoned AOSP OpenCORE AAC decoder has out-of-bounds-write and wild-pointer flaws reachable from attacker-controlled frames, unpatched in Samsung TizenRT.
Multiple vulnerabilities in the Fullhan FH8626V100 hardware chip have been disclosed alongside public proof-of-concept exploits.
Today 1.5K readers · 2.4K views · 754 reads · all time 189K views