Published January 29, 2026
| Version v1
Dataset
Open
ProVerif Framework for Internet Voting (Draft)
Authors/Creators
Files
models.zip
Files
(5.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:18a7a3aeaeaaab64c6f8ad295410490f
|
4.6 MB | Preview Download |
|
md5:ae61d7b71bebf6567b31266197c24805
|
374.0 kB | Preview Download |