Cryptology ePrint Archive: Report 2018/765

Available versions in chronological order


Symbolic Proofs for Lattice-Based Cryptography
Gilles Barthe and Xiong Fan and Joshua Gancher and Benjamin Grégoire and Charlie Jacomme and Elaine Shi
Original publication (with minor differences): ACM CCS 2018


[ Cryptology ePrint archive ]