Cryptology ePrint Archive: Report 2015/233
Available versions in chronological order
20150312:083725 (posted 12-Mar-2015 08:37:25 UTC)
Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ
Ben Smyth and Steven Frink and Michael R. Clarkson
20150807:085847 (posted 07-Aug-2015 08:58:47 UTC)
Election Verifiability: Cryptographic Definitions and an Analysis of Helios and JCJ
Ben Smyth and Steven Frink and Michael R. Clarkson
[
Cryptology ePrint archive
]