Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.
Andreas HülsingMatthias MeijersPierre-Yves StrubPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- formal verification
- public key encryption scheme
- public key
- forward secure
- standard model
- model checking
- encryption scheme
- cca secure
- bounded model checking
- model checker
- automated verification
- symbolic model checking
- secret key
- security analysis
- temporal logic
- public key cryptosystem
- wireless sensor networks
- blind signature scheme
- public key cryptography
- private key
- digital signature
- signature scheme
- ciphertext
- security model
- rfid tags
- power consumption
- high dimensional