Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation.
Martin BrainCarlos CidRachel PlayerWrenna RobsonPublished in: CBCrypto (2022)
Keyphrases
- formal methods
- model checking
- formal specification language
- formal analysis
- formal specification
- model checker
- provably correct
- knowledge based systems
- cellular automata
- temporal logic
- safety critical
- process algebra
- software engineering
- artificial intelligence
- machine learning
- quantum computation
- temporal properties
- security properties
- formal verification
- learning technologies
- reactive systems
- building blocks
- knowledge acquisition