Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Reads CleverLab dcc, generates VacLab json.
-
-
Slides from the talk about Data Analysis Using Modern Python
-
-
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.
-
PTB's UPPAAL code regarding the "broadcast time sync with TESLA" analysis