Luis Gerhorst
Luis Gerhorst is a 3rd year PhD student at FAU. His research interests include the intersection between programming languages and operating systems (with recent focus on Linux eBPF), defenses against speculative-execution vulnerabilities, and carbon-aware computing systems.
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Mitigating Bugs in the Linux eBPF Verifier using Rust- or PREVAIL-based Layered Verification |
Saturday | K.4.201 | eBPF | 17:20 | 17:40 |