Explore projects

Diverse Hinweise und Anleitungen unter Verwendung der Wiki-Funktionalität von "GitLab".

Easy to use Audio/Video to WebVTT transcriber based on the OpenAI Whisper model

Dieses Repository enthält die Dateien, welche für ein barrierefreies XWiki Skin benötigt werden. Alle Details finden sich hier im Wiki.

particle flow simulation in explosion protection.

Start with the user guide located in 'documentation/userGuide/pafiX_userGuide.pdf'.

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.

Schema files and instance examples for a XML implementation the D-SI data model (D-SI = the Digital System of Units).