Publications – Lehrstuhl für Informatik 4

Recent publications:

Gogada H., Berger C., Jehl L., Reiser HP., Meling H.:
OptiLog: Assigning Roles in Byzantine Consensus
EuroSys 2026 (Edinburgh, 27. April 2026 - 30. April 2026)
In: ACM (ed.): EUROSYS ’26 2026
Schulze SM., Bergmann P., Röckl J., Freiling F.:
TrustLeech: Privileged System Analysis using Nested Virtualization
2025 IEEE Annual Computer Security Applications Conference (ACSAC) (Honolulu, 8. December 2025 - 12. December 2025)
In: 2025 IEEE Annual Computer Security Applications Conference (ACSAC), New York City: 2025
DOI: 10.1109/ACSAC67867.2025.00048
Seidler M., Michelis M., Wägemann P., Kapitza R.:
Wasm-WCET: Worst-Case Execution-Time Analysis of WebAssembly Modules on Updatable Resource-Constrained Embedded Devices
2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS) (, 12. May 2026 - 14. May 2026)
In: Proceedings of the 2026 IEEE 32nd Real-Time and Embedded Technology and Applications Symposium (RTAS) 2026
Wiedemann O., Sieh V.:
Static Analysis of Reference-Counted Objects for the C Programming Language
13th Workshop on Programming Languages and Operating Systems, PLOS 2025 (Seoul, 13. October 2025 - 16. October 2025)
In: PLOS 2025 - Proceedings of the 13th Workshop on Programming Languages and Operating Systems 2025
DOI: 10.1145/3764860.3768328
Seidler M., Krause A., Ulbrich P.:
Wasm-IO: Enabling Low-Level Device Interaction in WebAssembly for Industry Automation
In: ACM Transactions on Embedded Computing Systems 24 (2025), p. 1-26
ISSN: 1539-9087
DOI: 10.1145/3760387
Nguyen DT., Giersch O., Preisner T., Kapitza R., Krebs J., Herzog H., Nolte J., Hönig T., Schröder-Preikschat W.:
Practical Whole-System Persistence
18th ACM International Systems and Storage Conference, SYSTOR 2025 (Virtual, Online, ISR, 8. September 2025 - 9. September 2025)
In: Proceedings of the 18th ACM International Systems and Storage Conference, SYSTOR 2025 2025
DOI: 10.1145/3757347.3759142
Van Kenhove M., Seidler M., Vandenberghe F., Dujardin W., Hennen W., Vogel A., Sebrechts M., Goethals T., De Turck F., Volckaert B.:
Cyber-Physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
38th IEEE/IFIP Network Operations and Management Symposium, NOMS 2025 (Honolulu, HI, 12. May 2025 - 16. May 2025)
In: Doug Zuckerman, Mehmet Ulema, Noura Limam, Young-Tak Kim, Lisandro Zambenedetti Granville, Vinicius Fulber-Garcia (ed.): NOMS 2025-2025 IEEE Network Operations and Management Symposium 2025
DOI: 10.1109/NOMS57970.2025.11073737