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