@inproceedings{39388814d59a41ad987542b1ac170e2a,
title = "Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems",
abstract = "Memory-safe languages like Rust are increasingly popular for systems development. Nonetheless, practical systems must interact with code written in memory-unsafe languages. This is especially true in security and safety-critical embedded systems, where subsystems such as cryptographic implementations are subject to industrial and governmental certification requirements. Direct interactions with such libraries, however, expose memory-safe languages to significant risks: Any single bug in either the foreign code or the cross-language interactions may arbitrarily violate the memory safety of the wrapping language.We present Encapsulated Functions, a framework for safely invoking untrusted code in a memory-safe system with minimal overheads. Encapsulated Functions combines hardware-based memory protection mechanisms with a set of Rust type abstractions to facilitate safe interactions with untrusted and unmodified third-party libraries.",
keywords = "foreign function interface, memory protection, memory safety, rust",
author = "Leon Schuermann and Arun Thomas and Amit Levy",
note = "Publisher Copyright: {\textcopyright} 2023 Owner/Author(s).; 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023 ; Conference date: 23-10-2023",
year = "2023",
month = oct,
day = "23",
doi = "10.1145/3625275.3625397",
language = "English (US)",
series = "KISV 2023 - Proceedings of the1st Workshop on Kernel Isolation, Safety and Verification",
publisher = "Association for Computing Machinery, Inc",
pages = "41--48",
booktitle = "KISV 2023 - Proceedings of the1st Workshop on Kernel Isolation, Safety and Verification",
}