Isabelle-NTS-Teichel-2019

Project information

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.

Secure Synch... One-Way Sync... Two-Way Sync...

+ 4 more

2 Commits
1 Branch
0 Tags

README

Created on

October 19, 2019

Copy SSH clone URLgit@gitlab1.ptb.de:teiche04/isabelle-nts-teichel-2019.git
Copy HTTPS clone URLhttps://gitlab1.ptb.de/teiche04/isabelle-nts-teichel-2019.git

Loading