Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson. Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation. In Jean-Christophe Deneuville, editor, Code-Based Cryptography - 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29-30, 2022, Revised Selected Papers. Volume 13839 of Lecture Notes in Computer Science, pages 21-36, Springer, 2022. [doi]
Abstract is missing.