Auditing Rust Crates Effectively
Abstract elided by the publisher.
Related papers
- Leveraging rust types for modular specification and verification OOPSLA 2019
- Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper) ECOOP 2023
- Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees OOPSLA 2025
- Tree Borrows PLDI 2025
- Online performance auditing: using hot optimizations without getting burned PLDI 2006
- An auditing language for preventing correlated failures in the cloud OOPSLA 2017
- Specifying and Verifying Higher-order Rust Iterators TACAS 2023
- VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts OOPSLA 2024