@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},
    url = {https://eprint.iacr.org/2018/765},
}