Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation

Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Downloads (Pure)
Original languageEnglish
Title of host publicationCode-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022, Revised Selected Papers
Number of pages16
ISBN (Print)978-3-031-29688-8
Publication statusPublished - 29 Mar 2023

Cite this