Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation
- Authors
- M. Brain, C. Cid, R. Player and W. Robson
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2023
- Journal
- Code-Based Cryptography. CBCrypto 2022. Lecture Notes in Computer Science
- Publisher
- Springer Nature Switzerland
- Citation key
- 17075