Verifying classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation

DOI10.1007/978-3-031-29689-5_2zbMATH Open1519.94064OpenAlexW4361794416MaRDI QIDQ6132744FDOQ6132744

Martin Brain, Rachel Player, Carlos Cid, Wrenna Robson

Publication date: 17 August 2023

Published in: Code-Based Cryptography (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-29689-5_2

zbMATH Keywords

code-based cryptography

Mathematics Subject Classification ID

Cryptography (94A60) Quantum cryptography (quantum-theoretic aspects) (81P94)

Cites Work

• McBits: Fast Constant-Time Code-Based Cryptography
• CSIDH on the Surface
• Verified cryptographic code for everybody
• The Lean 4 theorem prover and programming language
• McBits Revisited

This page was built for publication: Verifying classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132744)