Formally Verified Correctness Bounds for Lattice-Based Cryptography.

Manuel Barbosa, Matthias J. Kannwischer, Thing-Han Lim, Peter Schwabe, Pierre-Yves Strub

Browse the full CCS paper archive.