@misc{17075,
  author = {Martin Brain and Carlos Cid and Rachel Player and Wrenna Robson},
  editor = {Jean-Christophe Deneuville},
  title = {Verifying Classic McEliece: Examining the~Role of~Formal Methods in~Post-Quantum Cryptography Standardisation},
  abstract = {Developers of computer-aided cryptographic tools are optimistic that formal methods will become a vital part of developing new cryptographic systems. We study the use of such tools to specify and verify the implementation of Classic McEliece, one of the code-based cryptography candidates in the fourth round of the NIST Post-Quantum standardisation Process. From our case study we draw conclusions about the practical applicability of these methods to the development of novel cryptography.},
  year = {2023},
  journal = {Code-Based Cryptography. CBCrypto 2022. Lecture Notes in Computer Science},
  volume = {13839},
  pages = {21{\textendash}36},
  month = {03/2023},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  isbn = {978-3-031-29689-5},
  url = {https://link.springer.com/chapter/10.1007/978-3-031-29689-5_2},
  doi = {https://doi.org/10.1007/978-3-031-29689-5_2},
}