@misc{cryptoeprint:2018:624,
    author = {Gergei Bana and Rohit Chadha and Ajay Kumar Eeralla},
    title = {Formal Analysis of Vote Privacy using Computationally Complete Symbolic Attacker},
    howpublished = {Cryptology ePrint Archive, Report 2018/624},
    year = {2018},
    url = {https://eprint.iacr.org/2018/624},
}