Zen and the Art of Microcode Hacking

Finding Bugs in Chrome with CodeQL

Just discovered this side hustle you can do as a programmer!

Formally Verified Post-Quantum Algorithms

How we found and fixed an eBPF Linux kernel vulnerability

Increasing Google and Alphabet VRP rewards

Google's threat model for post-quantum cryptography

Google's response to Reptar CPU vulnerability

LLVM CFI and Cross-Language LLVM CFI Support for Rust