Explore projects

TACLeBench's linting tools (contains setup script)

The C Annotation and Rewriting Tool

Fishy SSO solution

Fishy SSO solution

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