@misc{checksps14,
    author = {Joeri de Ruiter},
    title = {Automated algebraic analysis of structure-preserving signature schemes},
    howpublished = {Cryptology ePrint Archive, Report 2014/590},
    year = {2014},
    note = {\url{http://eprint.iacr.org/}},
}