Switch to a categorical view.
[Paper] Tabula Rasa: Starting Safe Stays Safe
Tyler Potyondy, Samir Rashid, Leon Schuermann, Anthony Tarbinian, Pat Pannuto
In SPICES 2024: The 3rd Workshop on Security and Privacy in Connected Embedded Systems, Co-located with EWSN 2024, December 2024
PDF[Paper] Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems
Gongqi Huang, Leon Schuermann, Amit Levy
In KISV '24: 2nd Workshop on Kernel Isolation, Safety and Verification, Co-located with SOSP '24, November 2024
10.1145/3698576.3698765[Talk] Safe Interactions with Foreign Languages through Encapsulated Functions
Leon Schuermann, Jack Toubes, Tyler Potyondy, Mae Milano, Amit Levy
At RustNL 2024, May 2024
Slides (PDF)[Poster] Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems
Leon Schuermann, Arun Thomas, Amit Levy
In SOSP '23: The 29th ACM Symposium on Operating Systems Principles, October 2023
PDF[Paper] Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems
Leon Schuermann, Arun Thomas, Amit Levy
In KISV '23: 1st Workshop on Kernel Isolation, Safety and Verification, Co-located with SOSP '23, October 2023
10.1145/3625275.3625397[Poster] HELIX: Co-designing the Hardware, Software and Network Protocol for Reliable High-Bandwidth Communication in Constrained Systems
Leon Schuermann, Amit Levy, Frank Duerr
In OSDI '23: 17th USENIX Symposium on Operating Systems Design and Implementation, July 2023
PDF[Thesis] Design and Evaluation of System Concepts and Protocols for Lossless Hardware-Assisted Streaming of Real-Time Measurement Data over IP Networks
Leon Schuermann
Master' Thesis, University of Stuttgart, Institute of Parallel and Distributed Systems, April 2022
10.18419/opus-12456[Technical Report] Implementation and Evaluation of Time Synchronization Mechanisms for Generic Embedded Systems for Time Sensitive Networking (TSN)
Leon Schuermann, Frank Duerr
University of Stuttgart, Institute of Parallel and Distributed Systems, Technical Report TR-2021-02, December 2021
PDF, Online Record