SEP 1, 2026

From bytecode to bytes: automated magic packet generation

By applying symbolic execution and the Z3 theorem prover to BPF bytecode, we’ve automated the generation of malware trigger packets, cutting analysis time from...

BPF Z3 theorem prover Automated testing Symbolic execution Binary analysis

Read full article →

Introducing Adaptive Intelligence: undermining the economics of every bot attack

Bot operators have historically had the economic advantage, bypassing static, deterministic detection rules with cheap proxies and retooling. Cloudflare's new...

NetworkingSecurity

1 min

Cloudflare3d ago

BotBase for Operators: A clearer path to joining Cloudflare's directory of bots and agents

Bot operators now have a home in the Cloudflare dashboard to manage submissions. This update adds submission status tracking, submission editing, and a...

NetworkingSecurity

1 min

Weekly Brief

Top 10 engineering articles delivered every Monday.

Cloudflare4d ago

How we saved 100 terabytes of memory by optimizing 1.1.1.1’s DNS cache

Five Rust-level memory optimizations to the DNS cache layout of Big Pineapple cut per-entry memory by 56%, freeing approximately 100 TB of memory across...

NetworkingSecurity

1 min