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... NTS TESLA Theorem Proving Isabelle/HOL

2 Commits
1 Branch
0 Tags

README

Created on

October 19, 2019

Loading