Lehrstuhl für Informatik 4 (Systemsoftware)

TrustLeech: Privileged System Analysis using Nested Virtualization (2026) Schulze SM, Bergmann P, Röckl J, Freiling F 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 Static Analysis of Reference-Counted Objects for the C Programming Language (2025) Wiedemann O, Sieh V Conference contribution Practical Whole-System Persistence (2025) Nguyen DT, Giersch O, Preisner T, Kapitza R, Krebs J, Herzog H, Nolte J, et al. Conference contribution Cyber-Physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers (2025) Van Kenhove M, Seidler M, Vandenberghe F, Dujardin W, Hennen W, Vogel A, Sebrechts M, et al. Conference contribution Mitigating Cryptographic Bottlenecks of Low-Latency BFT Protocols (2025) Aublin PL, Vogel A Conference contribution Honey, I Shrunk the Guests Page Access Tracking using a Minimal Virtualisation Layer (2025) Nguyen DT, Rußer S, Ott M, Kapitza R, Schröder-Preikschat W, Nolte J Conference contribution, Conference Contribution WatwaOS: A Framework for Worst-Case–Aware Tailoring and Whole-System Analysis of Energy-Constrained Real-Time Systems (2025) Häberlein T, Dengler E, Raffeck P, Wägemann P Conference contribution, Conference Contribution Dynamic Fuzzing-Based Whole-System Timing Analysis (2025) Berger A, Schuster S, Wägemann P, Ulbrich P Conference contribution, Conference Contribution Positional Paper: A Clock-Distribution Abstraction for Resource-Constrained Real-Time Systems in Zephyr (2025) Dengler E, Häberlein T, Raffeck P, Wägemann P Conference contribution, Conference Contribution