Lehrstuhl für Informatik 4 (Systemsoftware)


close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Trustworthy confidential virtual machines for the masses (2023) Galanou A, Bindlish K, Preibsch L, Pignolet YA, Fetzer C, Kapitza R Conference contribution, Conference Contribution Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols (2023) Bessani A, Correia M, Distler T, Kapitza R, Esteves-Veríssimo P, Yu J Other publication type NVall: A Crash-Resistant and Kernel-Compatible Memory Allocator for NVRAM (2023) Nguyen DT, Wiedemann O, Nolte J, Schröder-Preikschat W Conference contribution, Conference Contribution Micro Replication (2023) Distler T, Eischer M, Lawniczak L Conference contribution Towards Just-In-Time Compiling of Operating Systems (2023) Ott M, Raffeck P, Sieh V, Schröder-Preikschat W Conference contribution, Original article Ecology-Aware Material Use as a Pervasive Trait in Intermittent Real-Time Systems (2023) Raffeck P, Wägemann P Conference contribution, Abstract of a poster FusionClock: Energy-Optimal Clock-Tree Reconfigurations for Energy-Constrained Real-Time Systems (2023) Dengler E, Raffeck P, Schuster S, Wägemann P Conference contribution, Conference Contribution EventChain: A Blockchain Framework for Secure, Privacy-Preserving Event Verification (2022) Schwarz-Rüsch S, Behlendorf M, Becker MH, Kudlek R, Mohamed HHE, Schoenitz F, Jehl L, Kapitza R Conference contribution, Conference Contribution SplitBFT: Improving Byzantine Fault Tolerance Safety Using Trusted Compartments (2022) Messadi I, Becker MH, Bleeke K, Jehl L, Mokhtar SB, Kapitza R Conference contribution Clock-Tree–Aware Resource-Consumption Models for Embedded SoC Platforms (2022) Dengler E Thesis