Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation

被引：0

作者：

Brain, Martin ^{[3
]}

Cid, Carlos ^{[2
,4
]}

Player, Rachel ^{[1
]}

Robson, Wrenna ^{[1
]}

机构：

[1] Royal Holloway Univ London, Egham, Surrey, England

[2] Simula UiB, Bergen, Norway

[3] Univ London, Northampton Sq, London, England

[4] Grad Univ, Okinawa Inst Sci & Technol, Okinawa, Japan

来源：

CODE-BASED CRYPTOGRAPHY, CBCRYPTO 2022 | 2023年 / 13839卷

关键词：

D O I：

10.1007/978-3-031-29689-5_2

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：21 / 36

页数：16

共 50 条

[1] EasyPQC: Verifying Post-Quantum Cryptography
Barbosa, Manuel
Barthe, Gilles
Fan, Xiong
Gregoire, Benjamin
Hung, Shih-Han
Katz, Jonathan
Strub, Pierre-Yves
Wu, Xiaodi
Zhou, Li
[J]. CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2021, : 2564 - 2586
[2] Hardware-Software Implementation of a McEliece Cryptosystem for Post-quantum Cryptography
Lopez-Garcia, Mariano
Canto-Navarro, Enrique
[J]. ADVANCES IN INFORMATION AND COMMUNICATION, VOL 2, 2020, 1130 : 814 - 825
[3] Post-Quantum Biometric Authentication Based on Homomorphic Encryption and Classic McEliece
Arjona, Rosario
Lopez-Gonzalez, Paula
Roman, Roberto
Baturone, Iluminada
[J]. APPLIED SCIENCES-BASEL, 2023, 13 (02):
[4] New McEliece Cryptosystem Based on Polar Codes as a Candidate for Post-Quantum Cryptography
Shrestha, Sujan Raj
Kim, Young-Sik
[J]. 2014 14TH INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS AND INFORMATION TECHNOLOGIES (ISCIT), 2014, : 368 - 372
[5] Hardware Design and Implementation of Classic McEliece Post-Quantum Cryptosystem Based on FPGA
Chen, Shaofen
Lin, Haiyan
Huang, Wenjin
Huang, Yihua
[J]. 2022 IEEE HIGH PERFORMANCE EXTREME COMPUTING VIRTUAL CONFERENCE (HPEC), 2022,
[6] Post-Quantum Cryptography
Monroe, Don
[J]. COMMUNICATIONS OF THE ACM, 2023, 66 (02) : 15 - 17
[7] Post-quantum cryptography
Daniel J. Bernstein
Tanja Lange
[J]. Nature, 2017, 549 : 188 - 194
[8] Post-quantum cryptography
Bernstein, Daniel J.
Lange, Tanja
[J]. NATURE, 2017, 549 (7671) : 188 - 194
[9] Post-Quantum Crystography: A Combination of Post-Quantum Cryptography and Steganography
Gabriel, A. J.
Alese, B. K.
Adetunmbi, A. O.
Adewale, O. S.
[J]. 2013 8TH INTERNATIONAL CONFERENCE FOR INTERNET TECHNOLOGY AND SECURED TRANSACTIONS (ICITST), 2013, : 449 - +
[10] Exploring the RISC-V Vector Extension for the Classic McEliece Post-Quantum Cryptosystem
Pircher, S.
Geier, J.
Zeh, A.
Mueller-Gritschneder, D.
[J]. PROCEEDINGS OF THE 2021 TWENTY SECOND INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2021), 2021, : 401 - 407

← 1 2 3 4 5 →