Skip to content

GitLab

Explore

Sign in

DataSov
ekep

E

ekep

Project information

ProVerif formal models for the (modified) EKEP attestation protocol. Forked from https://github.com/google/ekep-analysis/.

4 Commits
1 Branch
0 Tags

README
Apache License 2.0
CONTRIBUTING

Created on

July 22, 2023

Copy SSH clone URLgit@gitlab.cc-asp.fraunhofer.de:datasov/ekep.git
Copy HTTPS clone URLhttps://gitlab.cc-asp.fraunhofer.de/datasov/ekep.git

Datenschutz und Impressum