@misc{cryptoeprint:2016:069,
    author = {Gergei Bana and Rohit Chadha},
    title = {Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability},
    howpublished = {Cryptology ePrint Archive, Report 2016/069},
    year = {2016},
    url = {https://eprint.iacr.org/2016/069},
}