Explore projects

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

Set of tools including the most important syscall wrappers, library functions and containers for creating a static standalone application (without libc / libstdc++ dependencies).

The GenE Benchmark Generator (LLVM tool)

AnyCall (bpftask) evaluation scripts and build environment.

rkt executor for gitlab-runner