Explore projects
-
Updated
-
Updated
-
Updated
-
The source code of the testbed implementation used in Gregor Hildermeier's work oin TESLA-protected one-way time synchronization
Updated -
Updated
-
-
Updated
-
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.
Updated -
Flask based web server for delivering file contents of the vaclab web applications.
Updated -
A beamer theme for the PTB (Physikalisch-Technische Bundesanstalt, Braunschweig und Berlin)
Updated -
Beispiele von Python-Code, der sich leicht wiederverwenden lässt
Updated -
-
Updated
-
Updated
-
Updated
-
Automatic creation of a file system that makes the files of our CouchDB Git repository accessible, divided according to the commits.
Updated -
Updated
-
A set of functions to help with various kinds of data-work with sine-signals
Updated -
Updated