@misc{cryptoeprint:2014:458,
    author = {Gilles Barthe and Edvard Fagerholm and Dario Fiore and John Mitchell and Andre Scedrov and Benedikt Schmidt},
    title = {Automated Analysis of Cryptographic Assumptions in Generic Group Models},
    howpublished = {Cryptology ePrint Archive, Report 2014/458},
    year = {2014},
    url = {https://eprint.iacr.org/2014/458},
}