Lehrstuhl für Informatik 4 (Systemsoftware)

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 vNV-Heap: An Ownership-based Virtually Non-Volatile Heap for Embedded Systems (2025) Gerber ME, Gerhorst L, Mudraje I, Vogelgesang K, Herfet T, Wägemann P Conference contribution, Conference Contribution Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems (2025) Mudraje I, Vogelgesang K, Devreker J, Gerhorst L, Raffeck P, Wägemann P, Herfet T Conference contribution Where are the Joules? Energy Demand Analysis of Heterogeneous Memory Technologies (2025) Preisner T, Nguyen DT, Vögele M, Szymanski M, Hönig T, Kapitza R, Schröder-Preikschat W Conference contribution, Conference Contribution Towards a Blockchain-based Data Recorder for Small Drones (2025) Böhm H, Distler T, Kapitza R Conference contribution PfIP: A UDP/IP Transactional Network Stack for Power-Failure Resilience in Embedded Systems (2025) Vogelgesang K, Mudraje I, Gerhorst L, Raffeck P, Wägemann P, Herfet T, Schröder-Preikschat W Conference contribution TEE-Assisted Recovery and Upgrades for Long-Running BFT Services (2025) Messadi I, Gerber ME, Distler T, Kapitza R Conference contribution Self-powered Embedded Systems: The Role of Non-volatile Memory Technology in IoT Devices (2025) Wildermann S, Wilbert N, Häberlein T, Teich J Book chapter / Article in edited volumes