Cryptology ePrint Archive: BibTeX Citation of Report 2018/765

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

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


[ Cryptology ePrint archive ]