Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

Firefly: High-Performance Transient Execution Attack Defenses for In-Kernel Sandboxes (2026) Gerhorst L, Herzog H, Herzog B, Wägemann P, Kapitza R, Hönig T Conference contribution, Conference Contribution zBulk: Towards Automatic Compartmentalization in Rust with Zero Manual Retrofitting (2026) von Onciul M, Raffeck P, Wägemann P, Kapitza R Conference contribution, Conference Contribution OptiLog: Assigning Roles in Byzantine Consensus (2026) Gogada H, Berger C, Jehl L, Reiser HP, Meling H Conference contribution, Conference Contribution Wasm-WCET: Worst-Case Execution-Time Analysis of WebAssembly Modules on Updatable Resource-Constrained Embedded Devices (2026) Seidler M, Michelis M, Wägemann P, Kapitza R Conference contribution, Conference Contribution Asynchronous Abstract Machines (2026) Maier S Thesis Wasm-IO: Enabling Low-Level Device Interaction in WebAssembly for Industry Automation (2025) Seidler M, Krause A, Ulbrich P Journal article, Original article Practical Whole-System Persistence (2025) Nguyen DT, Giersch O, Preisner T, Kapitza R, Krebs J, Herzog H, Nolte J, et al. Conference contribution, Conference Contribution Site Attestation: Browser-based Remote Attestation (2025) Preibsch L, von Onciul M, Kapitza R Conference contribution, Conference Contribution NimbleNet: Serverless Computing for the Extreme Edge in Factory Environments (2024) Müller K, Seidler M, Ulbrich P, Franchi N Conference contribution VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions (2024) Gerhorst L, Herzog H, Wägemann P, Ott M, Kapitza R, Hönig T Conference contribution