Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker.

Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla

Browse the full ESORICS paper archive.