Cryptology ePrint Archive: Report 2018/624

Available versions in chronological order

20180622:150037 (posted 1529679637 22-Jun-2018 15:00:37 UTC): Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker; Gergei Bana and Rohit Chadha and Ajay Kumar Eeralla

[ Cryptology ePrint archive ]