Formalising Receipt-Freeness

DOI10.1007/11836810_34zbMath1156.94356OpenAlexW2151302063MaRDI QIDQ3506899

E. P. de Vink, Hugo Jonker

Publication date: 17 June 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11836810_34

zbMATH Keywords

formal methodsreceipt-freenesseGovernmentonline voting schemes

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Related Items (3)

Incoercible Multi-party Computation and Universally Composable Receipt-Free Voting ⋮ Privacy and verifiability in voting systems: methods, developments and trends ⋮ To know or not to know: Epistemic approaches to security protocol verification

This page was built for publication: Formalising Receipt-Freeness