Publications

• 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

  Paper · 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

  Paper · 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

  Paper · 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

  Paper · 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

  Paper · 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

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

   ACM DL
• May
  2024

  Safe Interactions with Foreign Languages through Encapsulated Functions

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

  Talk · RustNL 2024 RustNL 2024

   Slides
• Oct
  2023

  Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems

  Leon Schuermann, Arun Thomas, Amit Levy

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

   PDF
• Oct
  2023

  Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems

  Leon Schuermann, Arun Thomas, Amit Levy

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

   ACM DL
• 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

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

   PDF
• 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

  Thesis · Master' Thesis, University of Stuttgart, Institute of Parallel and Distributed Systems

   DOI
• Dec
  2021

  Implementation and Evaluation of Time Synchronization Mechanisms for Generic Embedded Systems for Time Sensitive Networking (TSN)

  Leon Schuermann, Frank Duerr

  Technical Report · University of Stuttgart, Institute of Parallel and Distributed Systems, Technical Report TR-2021-02

   PDF  Online Record

Publication data source