Linting Cache Lines from Source
snarf: a static linter that finds false sharing in Rust structs before you ship.
snarf: a static linter that finds false sharing in Rust structs before you ship.
False sharing: your threads are fighting over cache lines and your profiler can't see it.
The BPF verifier proves your XDP program won't crash the kernel. It doesn't prove it's not a wiretap.
Breeding neural networks to break keys from timing leaks. It matched the standard attack but couldn't beat it. The failure modes are the interesting part.
Your branchless code has a branch, your key-zeroing is gone, and your hardware register write never happened.
Decrypting Initial packets, exploiting PATH_CHALLENGE memory exhaustion, and hitting the wall of AEAD.
Using eBPF to find blocking code in Tokio without instrumenting your code.