Selected publications at LSV

   address = {Toronto, Canada},
   author = {Barthe, Gilles and Fan, Xiong and Gancher, Joshua and Gr{\'e}goire, Benjamin and Jacomme, Charlie and Shi, Elaine},
   booktitle = {{P}roceedings of the 25th {ACM} {C}onference on {C}omputer and {C}ommunications {S}ecurity ({CCS}'18)},
   editor = {Backes, Michael and Wang, XiaoFeng},
   month = oct,
   note = {To appear},
   publisher = {ACM Press},
   title = {Symbolic Proofs for Lattice-Based Cryptography},
   year = {2018},

About LSV

Select by Year