ProVerif Framework for Internet Voting (Draft)
Fields of Study & Subjects
Internet Traffic Analysis and Secure E-voting
Advanced Authentication Protocols Security
Cryptography and Data Security
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 29 January 2026
- Document type
- Dataset