Antonis Louka, Antreas Dionysiou, Elias Athanasopoulos. Validating Memory Safety in Rust Binaries. In Proceedings of the 17th European Workshop on Systems Security, EuroSec 2024, Athens, Greece, 22 April 2024. pages 8-14, ACM, 2024. [doi]
Abstract is missing.