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 (Conference Proceeding)

Original languageEnglish
Title of host publicationCode-Based Cryptography
DOIs
Publication statusPublished - 29 Mar 2023

Cite this