Cryptology ePrint Archive: BibTeX Citation of Report 2018/765

    author       = {Gilles Barthe and
		    Xiong Fan and
		    Joshua Gancher and
		    Benjamin Grégoire and
		    Charlie Jacomme and
		    Elaine Shi},
    title        = {Symbolic Proofs for Lattice-Based Cryptography},
    howpublished = {Cryptology ePrint Archive, Report 2018/765},
    year         = {2018},
    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 ]