most citedMSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2026

Auditing Rust Crates Effectively

Lydia Zoghbi, David Thien, Ranjit Jhala +2

We introduce Cargo Scan, the first interactive program analysis tool designed to help developers audit third-party Rust code. Real systems written in Rust rely on thousands of tran…