Welcome to the resource topic for 2023/010
Title:
Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation
Authors: Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson
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.
ePrint: https://eprint.iacr.org/2023/010
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .