Publications

Selected Publications

• Building Bridges: Safe Interactions with Foreign Languages through Omniglot ↘ OSDI '25 Best Paper
• Tock: From Research To Securing 10 Million Computers ↘ SOSP '25

Conference / Workshop Papers

• Mar
  2026

  Rage Against the State Machine: Type-Stated Hardware Peripherals for Increased Driver Correctness

  Tyler Potyondy, Anthony Tarbinian, Leon Schuermann, Eric Mugnier, Adin Ackerman, Amit Levy, Pat Pannuto

  ASPLOS '26 The 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems

   ACM DL
• Dec
  2025

  End-to-End Encrypted Applications with Strong Consistency Under Byzantine Actors

  Natalie Popescu, Shai Caspin, Leon Schuermann, Jingyuan Chen, Amit Levy

  ACSAC '25 The 41st Annual Computer Security Applications Conference

   IEEE Xplore
• Oct
  2025

  Tock: From Research To Securing 10 Million Computers

  Leon Schuermann, Brad Campbell, Branden Ghena, Phillip Levis, Amit Levy, Pat Pannuto

  SOSP '25 The 31st ACM Symposium on Operating Systems Principles

   ACM DL
• Jul
  2025

  Building Bridges: Safe Interactions with Foreign Languages through Omniglot

  Leon Schuermann, Jack Toubes, Tyler Potyondy, Pat Pannuto, Mae Milano, Amit Levy

  OSDI '25 19th USENIX Symposium on Operating Systems Design and Implementation

   Best Paper

   PDF  Website
• Dec
  2024

  Tabula Rasa: Starting Safe Stays Safe

  Tyler Potyondy, Samir Rashid, Leon Schuermann, Anthony Tarbinian, Pat Pannuto

  SPICES 2024 The 3rd Workshop on Security and Privacy in Connected Embedded Systems, Co-located with EWSN 2024

   Best Paper

   PDF
• Nov
  2024

  Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems

  Gongqi Huang, Leon Schuermann, Amit Levy

  KISV '24 2nd Workshop on Kernel Isolation, Safety and Verification, Co-located with SOSP '24

   ACM DL
• Oct
  2023

  Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems

  Leon Schuermann, Arun Thomas, Amit Levy

  KISV '23 1st Workshop on Kernel Isolation, Safety and Verification, Co-located with SOSP '23

   ACM DL

Talks

• May
  2024

  Safe Interactions with Foreign Languages through Encapsulated Functions

  Leon Schuermann, Jack Toubes, Tyler Potyondy, Mae Milano, Amit Levy

  RustNL 2024 RustNL 2024

   Slides

Theses

• Apr
  2022

  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

   DOI

Reports, Posters, and Other Publications

• Oct
  2023

  Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems

  Leon Schuermann, Arun Thomas, Amit Levy

  SOSP '23 The 29th ACM Symposium on Operating Systems Principles

   PDF
• Jul
  2023

  HELIX: Co-designing the Hardware, Software and Network Protocol for Reliable High-Bandwidth Communication in Constrained Systems

  Leon Schuermann, Amit Levy, Frank Duerr

  OSDI '23 17th USENIX Symposium on Operating Systems Design and Implementation

   PDF
• Dec
  2021

  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

   PDF  Online Record

Publication data source