Luis Gerhorst – Lehrstuhl für Informatik 4

Luis Gerhorst

Lehrstuhl für Informatik 4 (Systemsoftware)

Raum 0.038
Martensstr. 1
91058 Erlangen

E-Mail: luis.gerhorst@fau.de

2025-02: Mitigating Bugs in the Linux eBPF Verifier using Rust- or PREVAIL-based Layered Verification
2024-09: Mitigating Spectre-PHT using Speculation Barriers in Linux BPF [ FGBS-Spring’23 : Abstract (pdf) , Slides ] [ EuroDW’23 : Abstract ] [ arXiv ] [ LPC’24 : Slides , Talk ] [ RAID’24 : Code ]

2025

Gerber ME., Gerhorst L., Mudraje I., Vogelgesang K., Herfet T., Wägemann P.:
vNV-Heap: An Ownership-based Virtually Non-Volatile Heap for Embedded Systems
International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2025)
Open Access: https://arxiv.org/pdf/2501.17707
Mudraje I., Vogelgesang K., Devreker J., Gerhorst L., Raffeck P., Wägemann P., Herfet T.:
Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems
13th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems (ENSsys '25) (Irvine, CA, USA, 6. Mai 2025 - 9. April 2025)
In: Proceedings of the 13th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems (ENSsys ’25) 2025
Open Access: https://arxiv.org/pdf/2501.17684
URL: https://arxiv.org/pdf/2501.17684
Vogelgesang K., Mudraje I., Gerhorst L., Raffeck P., Wägemann P., Herfet T., Schröder-Preikschat W.:
PfIP: A UDP/IP Transactional Network Stack for Power-Failure Resilience in Embedded Systems
22nd IEEE Consumer Communications & Networking Conference (CCNC) (Las Vegas, NV, USA, 10. Januar 2025 - 13. Januar 2025)
In: Proceedings of the Consumer Communications & Networking Conference (CCNC 2025) 2025
Open Access: https://sys.cs.fau.de/publications/2025/vogelgesang_25_ccnc.pdf
URL: https://sys.cs.fau.de/publications/2025/vogelgesang_25_ccnc.pdf

2024

Gerhorst L., Herzog H., Wägemann P., Ott M., Kapitza R., Hönig T.:
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
RAID'24: The 27th International Symposium on Research in Attacks, Intrusions and Defenses (Padua, 30. September 2024 - 2. Oktober 2024)
In: Proceedings of the 27th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2024
DOI: 10.1145/3678890.3678907
URL: https://arxiv.org/pdf/2405.00078

2023

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. Juli 2023)
In: 2nd Workshop on Sustainable Computer Systems, HotCarbon 2023 2023
DOI: 10.1145/3604930.3605707

2021

Gerhorst L., Herzog B., Reif S., Schröder-Preikschat W., Hönig T.:
AnyCall: Fast and Flexible System-Call Aggregation
11th Workshop on Programming Languages and Operating Systems, PLOS (Virtual, Online, 25. Oktober 2021)
In: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, PLOS 2021
DOI: 10.1145/3477113.3487267
URL: https://arxiv.org/pdf/2201.13160.pdf
Reif S., Raffeck P., Gerhorst L., Schröder-Preikschat W., Hönig T.:
Migration-Based Synchronization
11th Brazilian Symposium on Computing Systems Engineering, SBESC (Virtual, Online, 22. November 2021 - 25. November 2021)
In: Proceedings of the 11th Brazilian Symposium on Computing Systems Engineering, SBESC 2021
DOI: 10.1109/SBESC53686.2021.9628358
URL: https://arxiv.org/pdf/2202.09365.pdf

2020

Gerhorst L., Reif S., Herzog B., Hönig T.:
EnergyBudgets: Integrating Physical Energy Measurement Devices into Systems Software
10th Brazilian Symposium on Computing Systems Engineering, SBESC (Virtual, Online, 24. November 2020 - 27. November 2020)
In: Proceedings of the 10th Brazilian Symposium on Computing Systems Engineering, SBESC 2020
DOI: 10.1109/SBESC51047.2020.9277849
URL: https://www4.cs.fau.de/Publications/2020/gerhorst_20_sbesc.pdf
Reif S., Raffeck P., Janker H., Gerhorst L., Hönig T., Schröder-Preikschat W.:
Earl: Energy-Aware Reconfigurable Locks
In: ACM SIGBED Review 17 (2020), S. 24-29
ISSN: 1551-3688
DOI: 10.1145/3412821.3412825
URL: https://www4.cs.fau.de/Publications/2019/reif_19_ewili.pdf

2019

Herzog B., Gerhorst L., Heinloth B., Reif S., Hönig T., Schröder-Preikschat W.:
INTspect: Interrupt Latencies in the Linux Kernel
8th Brazilian Symposium on Computing Systems Engineering, SBESC (Salvador, 6. November 2018 - 9. November 2018)
In: Proceedings of the 8th Brazilian Symposium on Computing System Engineering, SBESC 2019
DOI: 10.1109/SBESC.2018.00021
URL: https://www4.cs.fau.de/Publications/2018/herzog_18_sbesc.pdf
Reif S., Gerhorst L., Bender K., Hönig T.:
Towards Low-Jitter and Energy-Efficient Data Processing in Cyber-Physical Information Systems
52nd Hawaii International Conference on System Sciences, HICSS (Maui, HI)
In: Proceedings of the 52nd Hawaii International Conference on System Sciences, HICSS 2019
DOI: 10.24251/HICSS.2019.872
URL: https://scholarspace.manoa.hawaii.edu/bitstream/10125/60163/1/0723.pdf

Flexible and Low-Overhead System-Call Aggregation using BPF: Bearbeiter: Luis Gerhorst (beendet am 23.12.2021, Ausarbeitung...); Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Prof. Dr.-Ing. Timo Hönig

Analysis of Interrupt Handling Overhead in the Linux Kernel: Bearbeiter: Luis Gerhorst (beendet am 03.12.2018, Ausarbeitung...); Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Bernhard Heinloth, M. Sc., Prof. Dr.-Ing. Timo Hönig

The following projects have been supervised by me in the past. For available projects, see above under „Available Student Projects & Theses“.

2024-12: A Comparative Evaluation of Emerging eBPF-Sandboxing Approaches
2024-09: An Empirical Analysis of Cloud Carbon Models
2024-05: Carbon-Aware Systemd Timers [ Slides ]
2024-02: Rust-based Alternative to BPF
2023-10: Virtual Non-Volatile Heap for ResPECT