@inproceedings {10.1007/978-3-031-29689-5_2,
	title = {Verifying Classic McEliece: Examining the~Role of~Formal Methods in~Post-Quantum Cryptography Standardisation},
	journal = {Code-Based Cryptography. CBCrypto 2022. Lecture Notes in Computer Science},
	volume = {13839},
	year = {2023},
	month = {03/2023},
	pages = {21{\textendash}36},
	publisher = {Springer Nature Switzerland},
	address = {Cham},
	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.},
	isbn = {978-3-031-29689-5},
	doi = {https://doi.org/10.1007/978-3-031-29689-5_2},
	url = {https://link.springer.com/chapter/10.1007/978-3-031-29689-5_2},
	author = {Brain, Martin and Cid, Carlos and Player, Rachel and Robson, Wrenna},
	editor = {Deneuville, Jean-Christophe}
}
