Paper 2023/010 Original: eprint.iacr.org/2023/010 ↗
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.
Metadata
- Available format(s)
PDF- Category
- Implementation
- Publication info
- Preprint.
- History
- 2023-11-16: last updated
- 2023-01-03: published
- Short URL
- https://ia.cr/2023/010
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2023/010,
author = {Martin Brain and Carlos Cid and Rachel Player and Wrenna Robson},
title = {Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation},
howpublished = {Cryptology {ePrint} Archive, Paper 2023/010},
year = {2023},
url = {https://eprint.iacr.org/2023/010}
}