Carsten Weinhold

19 papers A* 1A 2B 1Journal 1Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	TEEM³: Core-Independent and Cooperating Trusted Execution Environments. ASPLOS (2) Nils Asmussen, Sebastian Haas, Carsten Weinhold, Nicholas Gordon, Stephan Gerhold, Friedrich Pauls, Nilanjana Das, Michael Roitzsch
2025	—	`conf`	Applying Modern Verification Techniques to a Root-of-Trust Bootloader. PLOS@SOSP Nicholas Gordon, Carsten Weinhold
2025	J	`jnl`	How secure are your health devices - stopping wearables becoming a personal and national security risk? npj Digit. Medicine Max Ostermann, Oscar Freyer, Carsten Weinhold, Kai Martius, Stephen Gilbert
2025	—	`conf`	Separate but Together: Integrating Remote Attestation into TLS. USENIX ATC Carsten Weinhold, Muhammad Usama Sardar, Ionut Mihalcea, Yogesh Deshpande, Hannes Tschofenig, Yaron Sheffer, Thomas Fossati, Michael Roitzsch
2024	—	`conf`	Multi-Stakeholder Policy Enforcement for Distributed Systems. WOC@Middleware Robert Walther, Carsten Weinhold, Peter Amthor, Michael Roitzsch
2022	A*	`conf`	Efficient and scalable core multiplexing with M³v. ASPLOS Nils Asmussen, Sebastian Haas, Carsten Weinhold, Till Miemietz, Michael Roitzsch
2022	—	`conf`	RATLS: Integrating Transport Layer Security with Remote Attestation. ACNS Workshops Robert Walther, Carsten Weinhold, Michael Roitzsch
2020	—	`ch.`	FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. Software 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, Amnon Barak, Masoud Gholami, Florian Schintke, Thorsten Schütt, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel
2020	—	`conf`	Hardware/Software Co-Design für eine Modulare Systemarchitektur. Echtzeit Carsten Weinhold, Nils Asmussen, Michael Roitzsch
2019	B	`conf`	Corrected trees for reliable group communication. PPoPP Martin Küttler, Maksym Planeta, Jan Bierbaum, Carsten Weinhold, Hermann Härtig, Amnon Barak, Torsten Hoefler
2019	—	`ch.`	FFMK: An HPC OS Based on the L4Re Microkernel. Operating Systems for Supercomputers and High Performance Computing Carsten Weinhold, Adam Lackorzynski, Hermann Härtig
2017	A	`conf`	Lateral Thinking for Trustworthy Apps. ICDCS Hermann Härtig, Michael Roitzsch, Carsten Weinhold, Adam Lackorzynski
2017	—	`conf`	Sandcrust: Automatic Sandboxing of Unsafe Components in Rust. PLOS@SOSP Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig
2016	—	`conf`	Decoupled: Low-Effort Noise-Free Execution on Commodity Systems. ROSS@HPDC Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
2016	—	`ch.`	FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. Software 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, Thorsten Schütt, Jan Fajerski, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel
2014	—	`conf`	Overhead of a decentralized gossip algorithm on the performance of HPC applications. ROSS@ICS Ely Levy, Amnon Barak, Amnon Shiloh, Matthias Lieber, Carsten Weinhold, Hermann Härtig
2014	—	`—`	Reducing size and complexity of the security-critical code base of file systems. Carsten Weinhold
2011	—	`conf`	jVPFS: Adding Robustness to a Secure Stacked File System with Untrusted Local Storage Components. USENIX ATC Carsten Weinhold
2008	A	`conf`	VPFS: building a virtual private file system with a small trusted computing base. EuroSys Carsten Weinhold, Hermann Härtig