Carsten Weinhold

According to our database, Carsten Weinhold authored at least 15 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Multi-Stakeholder Policy Enforcement for Distributed Systems.

Robert Walther, Carsten Weinhold, Peter Amthor, Michael Roitzsch

Proceedings of the 10th International Workshop on Container Technologies and Container Clouds, 2024

2022

Efficient and scalable core multiplexing with M³v.

Nils Asmussen, Sebastian Haas, Carsten Weinhold, Till Miemietz, Michael Roitzsch

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

RATLS: Integrating Transport Layer Security with Remote Attestation.

Robert Walther, Carsten Weinhold, Michael Roitzsch

Proceedings of the Applied Cryptography and Network Security Workshops, 2022

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, Amnon Barak, Masoud Gholami, Florian Schintke, Thorsten Schütt, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel

Proceedings of the Software for Exascale Computing - SPPEXA 2016-2019, 2020

Hardware/Software Co-Design für eine Modulare Systemarchitektur.

Carsten Weinhold, Nils Asmussen, Michael Roitzsch

Proceedings of the Echtzeit 2020, 2020

2019

Corrected trees for reliable group communication.

Martin Küttler, Maksym Planeta, Jan Bierbaum, Carsten Weinhold, Hermann Härtig, Amnon Barak, Torsten Hoefler

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

FFMK: An HPC OS Based on the L4Re Microkernel.

Carsten Weinhold, Adam Lackorzynski, Hermann Härtig

Proceedings of the Operating Systems for Supercomputers and High Performance Computing, 2019

2017

Sandcrust: Automatic Sandboxing of Unsafe Components in Rust.

Benjamin Lamowski, Carsten Weinhold, Adam Lackorzynski, Hermann Härtig

Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

Lateral Thinking for Trustworthy Apps.

Hermann Härtig, Michael Roitzsch, Carsten Weinhold, Adam Lackorzynski

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

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, Thorsten Schütt, Jan Fajerski, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel

Proceedings of the Software for Exascale Computing - SPPEXA 2013-2015, 2016

Decoupled: Low-Effort Noise-Free Execution on Commodity Systems.

Adam Lackorzynski, Carsten Weinhold, Hermann Härtig

Proceedings of the 6th International Workshop on Runtime and Operating Systems for Supercomputers, 2016

2014

Reducing size and complexity of the security-critical code base of file systems.

Carsten Weinhold

PhD thesis, 2014

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

Proceedings of the 4th International Workshop on Runtime and Operating Systems for Supercomputers, 2014

2011

jVPFS: Adding Robustness to a Secure Stacked File System with Untrusted Local Storage Components.

Carsten Weinhold

Proceedings of the 2011 USENIX Annual Technical Conference, 2011

2008

VPFS: building a virtual private file system with a small trusted computing base.

Carsten Weinhold, Hermann Härtig

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008