2023 – Lehrstuhl für Informatik 4

Almstedt L., Bleeke K., Mahhouk M., Jehl L., Kapitza R., Wolf L.:
CONTRACTBOX: Realizing accountable data sharing on the edge using a small scale blockchain
In: Computer Networks 229 (2023), Article No.: 109768
ISSN: 1389-1286
DOI: 10.1016/j.comnet.2023.109768
Andreas S., Stock G., Ohs R., Gerhorst L., Herzog B., Hoenig T.:
carbond: An Operating-System Daemon for Carbon Awareness
2nd Workshop on Sustainable Computer Systems, HotCarbon 2023 (Boston, MA, USA, 9. July 2023)
In: 2nd Workshop on Sustainable Computer Systems, HotCarbon 2023 2023
DOI: 10.1145/3604930.3605707
Berger C., Schwarz-Rüsch S., Vogel A., Bleeke K., Jehl L., Reiser HP., Kapitza R.:
SoK: Scalability Techniques for BFT Consensus
IEEE International Conference on Blockchain and Cryptocurrency (Dubai, United Arab Emirates, 1. May 2023 - 5. May 2023)
In: Proceedings of the 5th IEEE International Conference on Blockchain and Cryptocurrency 2023
DOI: 10.48550/arXiv.2303.11045
URL: https://arxiv.org/pdf/2303.11045.pdf
Bessani A., Correia M., Distler T., Kapitza R., Esteves-Veríssimo P., Yu J.:
Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols
(2023)
DOI: 10.48550/arXiv.2312.05714
(online publication)
Dengler E., Raffeck P., Schuster S., Wägemann P.:
FusionClock: Energy-Optimal Clock-Tree Reconfigurations for Energy-Constrained Real-Time Systems
35th Euromicro Conference on Real-Time Systems (ECRTS '23) (Vienna, Austria)
In: Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS '23) 2023
DOI: 10.4230/LIPIcs.ECRTS.2023.6
Dengler E., Raffeck P., Schuster S., Wägemann P.:
FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact)
In: Dagstuhl Artifacts Series, 2023, p. 2:1--2:3 (Dagstuhl Artifacts Series, Vol.9)
DOI: 10.4230/DARTS.9.1.2
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18023/pdf/DARTS-9-1-2.pdf
(anderer)
Distler T., Eischer M., Lawniczak L.:
Micro Replication
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '23) (Porto, Portugal, 27. June 2023 - 30. June 2023)
In: Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '23) 2023
DOI: 10.1109/DSN58367.2023.00024
Galanou A., Bindlish K., Preibsch L., Pignolet YA., Fetzer C., Kapitza R.:
Trustworthy confidential virtual machines for the masses
24th ACM/IFIP International Middleware Conference, Middleware 2023
DOI: 10.1145/3590140.3629124
Heinloth B., Wägemann P., Schröder-Preikschat W.:
Luci: Loader-based Dynamic Software Updates for Off-the-shelf Shared Objects
2023 USENIX Annual Technical Conference (Boston, MA, 10. July 2023 - 12. July 2023)
In: 2023 USENIX Annual Technical Conference (USENIX ATC 23) 2023
Open Access: https://www.usenix.org/system/files/atc23-heinloth.pdf
URL: https://www.usenix.org/system/files/atc23-heinloth.pdf
Langer S., Taubmann O., Denzinger F., Maier A., Mühlberg A.:
Mitigating Unknown Bias in Deep Learning-based Assessment of CT Images Deep Technome
Bildverarbeitung für die Medizin Workshop, BVM 2023 (Braunschweig, DEU, 2. July 2023 - 4. July 2023)
In: Thomas M. Deserno, Heinz Handels, Andreas Maier, Klaus Maier-Hein, Christoph Palm, Thomas Tolxdorff (ed.): Informatik aktuell 2023
DOI: 10.1007/978-3-658-41657-7_38
Lawniczak L., Ammon M., Distler T.:
Generic Checkpointing Support for Stream-based State-Machine Replication
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '23) (Rome, 8. May 2023 - 8. May 2023)
DOI: 10.1145/3578358.3591329
URL: https://sys.cs.fau.de/publications/2023/lawniczak_23_papoc.pdf
Mühlberg A., Ritter P., Langer S., Goossens C., Nübler S., Schneidereit D., Taubmann O., Denzinger F., Nörenberg D., Haug M., Schürmann S., Horstmeyer R., Maier A., Goldmann W., Friedrich O., Kreiß L.:
SEMPAI: a Self-Enhancing Multi-Photon Artificial Intelligence for Prior-Informed Assessment of Muscle Function and Pathology
In: Advanced Science (2023)
ISSN: 2198-3844
DOI: 10.1002/advs.202206319
Nguyen DT., Wiedemann O., Nolte J., Schröder-Preikschat W.:
NVall: A Crash-Resistant and Kernel-Compatible Memory Allocator for NVRAM
FG-BS Herbsttreffens 2023 (Bamberg, 28. September 2023 - 29. September 2023)
DOI: 10.18420/fgbs2023h-02
URL: https://dl.gi.de/items/8d0686f6-a88e-4e96-af34-2743d49b99a4
Ott M., Raffeck P., Sieh V., Schröder-Preikschat W.:
Towards Just-In-Time Compiling of Operating Systems
12th Workshop on Programming Languages and Operating Systems (PLOS 2023)
DOI: 10.1145/3623759.3624551
Rabenstein J., Nguyen DT., Giersch O., Eichler C., Hönig T., Nolte J., Schröder-Preikschat W.:
Back to the Core-Memory Age: Running Operating Systems in NVRAM only
Architecture of Computing Systems. ARCS 2023 (Athen, 13. June 2023 - 15. June 2023)
In: Georgios Goumas, Sven Tomforde, Jürgen Brehm, Stefan Wildermann, Thilo Pionteck (ed.): Lecture Notes in Computer Science 2023
DOI: 10.1007/978-3-031-42785-5_11
Rabenstein J., Nguyen DT., Giersch O., Eichler C., Hönig T., Nolte J., Schröder-Preikschat W.:
On the Performance of NVRAM-based Operating Systems: A Case Study with Linux and FreeBSD
(2023)
ISSN: 2191-5008
DOI: 10.25593/issn.2191-5008/CS-2023-01
(Techreport)
Raffeck P., Wägemann P.:
Ecology-Aware Material Use as a Pervasive Trait in Intermittent Real-Time Systems
35th Euromicro Conference on Real-Time Systems, Real-Time Pitches session (Vienna, Austria, 11. July 2023 - 14. May 2023)
Open Access: https://sys.cs.fau.de/publications/2023/raffeck_23_ecrts-poster.pdf
URL: https://sys.cs.fau.de/publications/2023/raffeck_23_ecrts-poster.pdf
Rheinfels T., Gaukler M., Ulbrich P.:
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact)
9 (2023), p. 1:1-1:3
ISSN: 2509-8195
DOI: 10.4230/DARTS.9.1.1
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18022/
(anderer)
Rheinfels T., Gaukler M., Ulbrich P.:
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems
35th Euromicro Conference on Real-Time Systems (ECRTS 2023) (Vienna, 11. July 2023 - 14. July 2023)
In: Papadopoulos, Alessandro V. (ed.): 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Dagstuhl, Germany: 2023
DOI: 10.4230/LIPIcs.ECRTS.2023.11
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18040/
Rommel F., Dietrich C., Ziegler A., Ostapyshyn I., Lohmann D.:
Thread-Level Attack-Surface Reduction
24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2023 (Orlando, FL, USA, 18. June 2023)
In: Bernhard Egger, Dongyoon Lee (ed.): Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) 2023
DOI: 10.1145/3589610.3596281
Röckl J., Wagenhäuser A., Müller T.:
Veto: Prohibit Outdated Edge System Software from Booting
9th International Conference on Information Systems Security and Privacy (ICISSP) (Lisbon, 22. February 2023 - 24. February 2023)
In: In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP) 2023
DOI: 10.5220/0011627700003405
Schröder-Preikschat W., Hönig T.:
On energy awareness in NVRAM-based operating systems – NEON and PAVE
In: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik (ed.): Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES), 2023, p. 43-44 (Dagstuhl Reports, Vol.Dagstuhl Seminar 22341)
DOI: 10.4230/DagRep.12.8.31

Almstedt L., Bleeke K., Mahhouk M., Jehl L., Kapitza R., Wolf L.:
CONTRACTBOX: Realizing accountable data sharing on the edge using a small scale blockchain
In: Computer Networks 229 (2023), Article No.: 109768
ISSN: 1389-1286
DOI: 10.1016/j.comnet.2023.109768
Berger C., Schwarz-Rüsch S., Vogel A., Bleeke K., Jehl L., Reiser HP., Kapitza R.:
SoK: Scalability Techniques for BFT Consensus
IEEE International Conference on Blockchain and Cryptocurrency (Dubai, United Arab Emirates, 1. May 2023 - 5. May 2023)
In: Proceedings of the 5th IEEE International Conference on Blockchain and Cryptocurrency 2023
DOI: 10.48550/arXiv.2303.11045
URL: https://arxiv.org/pdf/2303.11045.pdf
Bessani A., Correia M., Distler T., Kapitza R., Esteves-Veríssimo P., Yu J.:
Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols
(2023)
DOI: 10.48550/arXiv.2312.05714
(online publication)
Galanou A., Bindlish K., Preibsch L., Pignolet YA., Fetzer C., Kapitza R.:
Trustworthy confidential virtual machines for the masses
24th ACM/IFIP International Middleware Conference, Middleware 2023
DOI: 10.1145/3590140.3629124