@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@misc{cryptoeprint:2013:457,
    author = {Florian B\"ohl and V\'eronique Cortier and Bogdan Warinschi},
    title = {Deduction Soundness: Prove One, Get Five for Free},
    howpublished = {Cryptology ePrint Archive, Report 2013/457},
    year = {2013},
}