Pinned Repositories
belenios
Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios
ZKCP-specifications-in-Tamarin
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
belenios
Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios
sbursuc's Repositories
sbursuc/ZKCP-specifications-in-Tamarin
sbursuc/belenios
Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios