Switch to a chronological view, or view the data source.

Selected Publications

• 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
  

• 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

Conference / Workshop Papers

• 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
  

• 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
  

• 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

• 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

• 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

• 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

Talks

• 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)

Theses

• 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

Reports, Posters, and Other Publications

• 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

• 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

• 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