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

Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub (2022)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2022-04-21