Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.

Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub

Browse the full CRYPTO paper archive.