Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation
Brain, M. 
ORCID: 0000-0003-4216-7151, Cid, C., Player, R. & Robson, W. (2023).
Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation.
In:
Code-Based Cryptography.
10th International Workshop, CBCrypto 2022, 29-30 May 2022, Trondheim, Norway.
doi: 10.1007/978-3-031-29689-5_2
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.
| Publication Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | © 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Departments: | School of Science & Technology School of Science & Technology > Department of Computer Science |
| SWORD Depositor: |
Download (302kB) | Preview
Export
Downloads
Downloads per month over past year
Metadata
MetadataActions (login required)
Admin Login