Cryptology ePrint Archive: Report 2018/624

Available versions in chronological order


Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker
Gergei Bana and Rohit Chadha and Ajay Kumar Eeralla


[ Cryptology ePrint archive ]