Explore projects

PTB's UPPAAL code regarding the "broadcast time sync with TESLA" analysis

The ProVerif code for PTB's (early) NTS analysis

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

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.

Beispiele von Python-Code, der sich leicht wiederverwenden lässt

Ingredients for conversion of a DCC xml structure to a printable pdf file

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html