Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.
Andreas HülsingMatthias MeijersPierre-Yves StrubPublished in: CRYPTO (1) (2022)
Keyphrases
- formal verification
- public key encryption scheme
- public key
- forward secure
- standard model
- model checking
- encryption scheme
- model checker
- bounded model checking
- cca secure
- symbolic model checking
- automated verification
- secret key
- security analysis
- security model
- digital signature
- private key
- blind signature scheme
- signature scheme
- public key cryptosystem
- blind signature
- power consumption