Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

I

Isabelle-NTS-Teichel-2019
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents

Snippets Groups Projects

- Kristof
Isabelle-NTS-Teichel-2019

I

Isabelle-NTS-Teichel-2019

Project ID: 312

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

Select Git revision

0 results

isabelle-nts-teichel-2019

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

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

- Initial commit with all required files

Kristof authored 5 years ago

d6f1e274

d6f1e274 5 years ago

Name	Last commit	Last update