112 citations · 279 across the 12 of their papers we have counts for
1 paper · 1 filter
Son Ho, Jonathan Protzenko
We present Aeneas, a new verification toolchain for Rust programs based on a lightweight functional translation. We leverage Rust's rich region-based type system to eliminate memor…