Explore projects

The source code of the testbed implementation used in Gregor Hildermeier's work oin TESLA-protected one-way time synchronization

Repository to track everything related to my PhD thesis.

The Isabelle source files for PTB's framework for proofs about security in synchronization as well as the two-way NTS protocol model plus proofs and the one-way TESLA-protected synchronization protocol model plus proofs.

reminder, systemctrl, timer, planning

Flask based web server for delivering file contents of the vaclab web applications.

A beamer theme for the PTB (Physikalisch-Technische Bundesanstalt, Braunschweig und Berlin)

This package accompanies my Master's thesis on GUM-compliant neural network robustness verification and provides an implementation using PySCIPOpt.

Automatic creation of a file system that makes the files of our CouchDB Git repository accessible, divided according to the commits.