Sextl, F. (2024, September 17). With Biabduction towards Memory Safety across the Rust-C-FFI [Presentation]. Doctoral Symposium, TU Wien, Austria. http://hdl.handle.net/20.500.12708/204201
E192-04 - Forschungsbereich Formal Methods in Systems Engineering E056-13 - Fachbereich LogiCS
-
Date (published):
17-Sep-2024
-
Event name:
Doctoral Symposium
en
Event date:
17-Sep-2024
-
Event place:
TU Wien, Austria
-
Keywords:
Seperation logic; Bi-Abduction; Rust-C-FFI
en
Additional information:
Memory safety is a long standing issue in computer science. Although modern programming languages like Rust avoid many common memory-related problems, they have to give up their guarantees if they want to interact with C code, e.g., the operating system. I propose to verify memory safety across the Foreign Function Interface for Rust code that calls C code via biabductive shape analysis.
