Leon Schuermann, Arun Thomas, Amit Levy. Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems. In Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023. pages 41-48, ACM, 2023. [doi]
Abstract is missing.