Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Mitigating Spectre-PHT using Speculation Barriers in Linux eBPF (https://sys.cs.fau.de/verifence)
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
AnyCall (bpftask) evaluation scripts and build environment.
Updated -
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+.
Updated -
Updated
-
A linker/loader daemon experiment for academic purposes with hackability (not performance!) in mind
Updated -
Updated
-
-
Updated