Symbolic Proofs for Lattice-Based Cryptography

Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi
October 2018
PDF URL
Type
Conference paper
Publication
Proceedings of the 25th ACM Conference on Computer and Communications Security (CCS'18)

Related