• Master Thesis  Open Access

      Validating Memory Safety in Rust Binaries 

      Louka, Antonis (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2024-06)
      Programming systems can be safe and unsafe. Safe systems guarantee secure memory access, while unsafe systems provide no security guarantees. Unsafe systems suffer from programming bugs that can be exploited by attackers ...