VPFS: building a virtual private file system with a small trusted computing base. - Carsten Weinhold; Hermann Härtig (EuroSys, 2008)

jVPFS: Adding Robustness to a Secure Stacked File System with Untrusted Local Storage Components. - Carsten Weinhold (USENIX ATC, 2011)

Overhead of a decentralized gossip algorithm on the performance of HPC applications. - Ely Levy; Amnon Barak; Amnon Shiloh; Matthias Lieber; Carsten Weinhold; Hermann Härtig (ROSS@ICS, 2014)

Reducing size and complexity of the security-critical code base of file systems. - Carsten Weinhold (2014)

Decoupled: Low-Effort Noise-Free Execution on Commodity Systems. - Adam Lackorzynski; Carsten Weinhold; Hermann Härtig (ROSS@HPDC, 2016)

FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. - Carsten Weinhold; Adam Lackorzynski; Jan Bierbaum; Martin Küttler; Maksym Planeta; Hermann Härtig; Amnon Shiloh; Ely Levy; Tal Ben-Nun; Amnon Barak; Thomas Steinke 001; Thorsten Schütt; et al. (Software for Exascale Computing, 2016)

Lateral Thinking for Trustworthy Apps. - Hermann Härtig; Michael Roitzsch; Carsten Weinhold; Adam Lackorzynski (ICDCS, 2017)

Sandcrust: Automatic Sandboxing of Unsafe Components in Rust. - Benjamin Lamowski; Carsten Weinhold; Adam Lackorzynski; Hermann Härtig (PLOS@SOSP, 2017)

FFMK: An HPC OS Based on the L4Re Microkernel. - Carsten Weinhold; Adam Lackorzynski; Hermann Härtig (Operating Systems for Supercomputers and High Performance Computing, 2019)

Corrected trees for reliable group communication. - Martin Küttler; Maksym Planeta; Jan Bierbaum; Carsten Weinhold; Hermann Härtig; Amnon Barak; Torsten Hoefler (PPoPP, 2019)

Hardware/Software Co-Design für eine Modulare Systemarchitektur. - Carsten Weinhold; Nils Asmussen; Michael Roitzsch (Echtzeit, 2020)

FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. - Carsten Weinhold; Adam Lackorzynski; Jan Bierbaum; Martin Küttler; Maksym Planeta; Hannes Weisbach; Matthias Hille; Hermann Härtig; Alexander Margolin; Dror Sharf; Ely Levy; Pavel Gak; et al. (Software for Exascale Computing, 2020)

RATLS: Integrating Transport Layer Security with Remote Attestation. - Robert Walther; Carsten Weinhold; Michael Roitzsch (ACNS Workshops, 2022)

Efficient and scalable core multiplexing with M³v. - Nils Asmussen; Sebastian Haas; Carsten Weinhold; Till Miemietz; Michael Roitzsch (ASPLOS, 2022)

Multi-Stakeholder Policy Enforcement for Distributed Systems. - Robert Walther; Carsten Weinhold; Peter Amthor 001; Michael Roitzsch (WOC@Middleware, 2024)

Separate but Together: Integrating Remote Attestation into TLS. - Carsten Weinhold; Muhammad Usama Sardar; Ionut Mihalcea; Yogesh Deshpande; Hannes Tschofenig; Yaron Sheffer; Thomas Fossati; Michael Roitzsch (USENIX ATC, 2025)

How secure are your health devices - stopping wearables becoming a personal and national security risk? - Max Ostermann; Oscar Freyer; Carsten Weinhold; Kai Martius; Stephen Gilbert (npj Digit. Medicine, 2025)