Skip to content

Carsten Weinhold

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

10

Active years

2008–2026

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2026ASPLOSTEEM³: Core-Independent and Cooperating Trusted Execution Environments.Nils Asmussen, Sebastian Haas, Carsten Weinhold, Nicholas Gordon, Stephan Gerhold, Friedrich Pauls, Nilanjana Das, Michael Roitzsch
2025PLOSApplying Modern Verification Techniques to a Root-of-Trust Bootloader.Nicholas Gordon, Carsten Weinhold
2025USENIXSeparate but Together: Integrating Remote Attestation into TLS.Carsten Weinhold, Muhammad Usama Sardar, Ionut Mihalcea, Yogesh Deshpande, Hannes Tschofenig, Yaron Sheffer, Thomas Fossati, Michael Roitzsch
2022ACNSRATLS: Integrating Transport Layer Security with Remote Attestation.Robert Walther, Carsten Weinhold, Michael Roitzsch
2022ASPLOSEfficient and scalable core multiplexing with M³v.Nils Asmussen, Sebastian Haas, Carsten Weinhold, Till Miemietz, Michael Roitzsch
2019PPoPPCorrected trees for reliable group communication.Martin Kttler, Maksym Planeta, Jan Bierbaum, Carsten Weinhold, Hermann Hrtig, Amnon Barak, Torsten Hoefler
2017ICDCSLateral Thinking for Trustworthy Apps.Hermann Hrtig, Michael Roitzsch, Carsten Weinhold, Adam Lackorzynski
2017SOSPSandcrust: Automatic Sandboxing of Unsafe Components in Rust.Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Hrtig
2016HPDCDecoupled: Low-Effort Noise-Free Execution on Commodity Systems.Adam Lackorzynski, Carsten Weinhold, Hermann Hrtig
2014ICSOverhead of a decentralized gossip algorithm on the performance of HPC applications.Ely Levy, Amnon Barak, Amnon Shiloh, Matthias Lieber, Carsten Weinhold, Hermann Hrtig
2011USENIXjVPFS: Adding Robustness to a Secure Stacked File System with Untrusted Local Storage Components.Carsten Weinhold
2008EuroSysVPFS: building a virtual private file system with a small trusted computing base.Carsten Weinhold, Hermann Hrtig