@misc{cryptoeprint:2014:087,
    author = {Michael Backes and Aniket Kate and Praveen Manoharan and Sebastian Meiser and Esfandiar Mohammadi},
    title = {AnoA: A Framework For Analyzing Anonymous Communication Protocols},
    howpublished = {Cryptology ePrint Archive, Report 2014/087},
    year = {2014},
    url = {https://eprint.iacr.org/2014/087},
}