Cryptology ePrint Archive: BibTeX Citation of Report 2015/039

    author       = {VĂ©ronique Cortier and
		    Fabienne Eigner and
		    Steve Kremer and
		    Matteo Maffei and
		    Cyrille Wiedling},
    title        = {Type-Based Verification of Electronic Voting Protocols},
    howpublished = {Cryptology ePrint Archive, Report 2015/039},
    year         = {2015},
    note         = {\url{}},

You will need the url.sty package (comes with most LaTeX installations) for the last line. Otherwise, remove the \url command.

[ Cryptology ePrint archive ]