Formal Verification of Saber’s Public-Key Encryption Scheme in EasyCrypt
Channel: IACR
Date: 2022-08-10

Paper by Matthias Meijers, Andreas Hülsing, Pierre-Yves Strub presented at Crypto 2022
See https://iacr.org/cryptodb/data/paper.php?pubkey=32194.

The conference program is at https://crypto.iacr.org/2022/program.php