Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation. - Martin Brain; Carlos Cid; Rachel Player; Wrenna Robson (IACR Cryptol. ePrint Arch., 2023)