Explore projects

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.

provides a distributed ledger for logging, pki and smartcontracts

Yet Another Measurement Program