Keeping Safe Rust Safe with Galeed.

Elijah Rivera, Samuel Mergendahl, Howard E. Shrobe, Hamed Okhravi, Nathan Burow

Browse the full ACSAC paper archive.