From Rust Till Run: Extending Memory Safety From Rust to Cryptographic Assembly.

Shai Caspin, Nikhil Pimpalkhare, Amit Levy

Browse the full PLOS paper archive.