Validating Memory Safety in Rust Binaries.

Antonis Louka Antreas Dionysiou Elias Athanasopoulos

Published in: EuroSec@EUROSYS (2024)

Keyphrases

memory usage
source code
memory requirements
computing power
memory space
data mining
memory size
web services
associative memory
computational power
reverse engineering
civil aviation
traffic accidents
working memory
database
information processing
neural network