Symbolic Proofs for Lattice-Based Cryptography.

Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grgoire, Charlie Jacomme, Elaine Shi

Browse the full CCS paper archive.