Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography StandardisationAuthorsM. Brain, C. Cid, R. Player and W. RobsonStatusPublishedPublication typeProceedings RefereedYear of publication2023JournalCode-Based Cryptography. CBCrypto 2022. Lecture Notes in Computer SciencePublisherSpringer Nature SwitzerlandURLhttps://link.springer.com/chapter/10.1007/978-3-031-29689-5_2DOIhttps://doi.org/10.1007/978-3-031-29689-5_2Citation key17075Google Scholar BibTex