Validating Memory Safety in Rust Binaries

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

Abstract is missing.