Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson: Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation. CBCrypto 2022: 21-36