Luis Gerhorst
Luis Gerhorst
Lehrstuhl für Informatik 4 (Systemsoftware)
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 ]
Es wurden leider keine Publikationen gefunden.
- 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