Charon: An Analysis Framework for Rust.

Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko

Browse the full CAV paper archive.