Switch to a categorical view, or view the data source.
[Paper] End-to-End Encrypted Applications with Strong Consistency Under Byzantine Actors
Natalie Popescu, Shai Caspin, Leon Schuermann, Jingyuan Chen, Amit Levy
To appear in ACSAC '25: The 41st Annual Computer Security Applications Conference, December 2025
[Paper] Tock: From Research To Securing 10 Million Computers
Leon Schuermann, Brad Campbell, Branden Ghena, Phillip Levis, Amit Levy, Pat Pannuto
To appear in SOSP '25: The 31st ACM Symposium on Operating Systems Principles, October 2025
[Paper] Building Bridges: Safe Interactions with Foreign Languages through Omniglot
Leon Schuermann, Jack Toubes, Tyler Potyondy, Pat Pannuto, Mae Milano, Amit Levy
In OSDI '25: 19th USENIX Symposium on Operating Systems Design and Implementation, July 2025, Awarded Best Paper!
Webpage[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, Awarded Best Paper!
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