Cryptology ePrint Archive: BibTeX Citation of Report 2015/039

@misc{cryptoeprint: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{https://ia.cr/2015/039}},
}

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


[ Cryptology ePrint archive ]