Explore projects

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

A python "interpreter" for random access machine instructions. Useful for the lecture "Berechenbarkeit und formale Sprachen" at the Chair for Hardware-Software-Co-Design.

the 2018 iteration of the hawotempdevice, used for east-temp.hawo since Nov. 2018

Child theme for StuveFAU of WordPress TwentySeventeen Theme

Wireless tempdevice 2016

Altklausur Loesungsversuche nach Themen sortiert

AnyCall (bpftask) evaluation scripts and build environment.