Symbolic Proofs for Lattice-Based Cryptography | Publicación