Explore projects

The GenE Benchmark Generator (LLVM tool)

Lcamtuf's p0f3, hastily turned into a dynamic library.

Wrapper script for Xpra that allows running the server as a different user on the same system using sudo.

Simple tools to just fucking do things with X.509 certificates

monitoring plugins i've seen myself needing to write, for whatever reason, shared with all of you :-)

Material zur Erstsemestereinführung (Vortragsfolien, Briefe, Grillen, Evaluation, ...)

Adapted Platin for System-wide Worst Case Response Time Analysis

The DOM as a FUSE .

Bootstrapping scripts - clone this repo for initial installation

Affidavit/Eigenständigkeitserklärung in LaTex

Extensible Massive-Parallelism Execution Realm

Precompiled executables for the custom software used in our paper "Automatic Verification of Application-Tailored OSEK Kernels"