Explore projects

Various experimental extensions to the Linux Kernel.

Mitigating Spectre-PHT using Speculation Barriers in Linux eBPF (https://sys.cs.fau.de/verifence)

Einfache kompakte Repovorlage für Präsentationen mit dem neo Theme (geeignet für Forks)

AnyCall (bpftask) evaluation scripts and build environment.

Migration-Based Synchronization (MBS, https://www4.cs.fau.de/Publications/2021/reif_21_sbesc.pdf) evaluation and build scripts for the Zephyr RTOS running on a Raspberry Pi 3b+.

A linker/loader daemon experiment for academic purposes with hackability (not performance!) in mind

PE and SR for Modern Control