Byron Cook

The largest-ever verification campaign for Rust's standard library reveals significant vulnerabilities in unsafe code, underscoring the need for robust static verification methods.