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

Vision trifft auf Wirklichkeit: Ergebnisse und Erkenntnisse langjähriger Forschung im Bereich replizierter Systeme (2020) Distler T Other publication type Energy-Constrained Real-Time Systems and Their Worst-Case Analyses (2020) Wägemann P Thesis Themis: An Efficient and Memory-Safe BFT Framework in Rust (Research Statement) (2019) Schwarz-Rüsch S, Bleeke K, Kapitza R Conference contribution Acctee: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting (2019) Goltzsche D, Nieke M, Knauth T, Kapitza R Conference contribution A fast and secure key-value service using hardware enclaves (2019) Messadi I, Neumann S, Almstedt L, Kapitza R Conference contribution Vampire Bats that Cooperate in the Lab Maintain Their Social Networks in the Wild (2019) Ripperger S, Carter G, Duda N, Kölpin A, Cassens B, Josic D, Berrío-Martínez J, et al. Journal article, Original article Cocoon: Custom-fitted kernel compiled on demand (2019) Heinloth B, Ammon M, Nguyen DT, Hönig T, Sieh V, Schröder-Preikschat W Conference contribution Bloxy: Providing Transparent and Generic BFT-Based Ordering Services for Blockchains (2019) Schwarz-Rüsch S, Bleeke K, Kapitza R Conference contribution, Conference Contribution Bloxy: Providing transparent and generic BFT-based ordering services for blockchains (2019) Ruesch S, Bleeke K, Kapitza R Conference contribution Trusted computing meets blockchain: Rollback attacks and a solution for hyperledger fabric (2019) Brandenburger M, Cachin C, Sorniotti A, Kapitza R Conference contribution