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

Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

39 Downloads (Pure)

Original language	English
Title of host publication	Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022, Revised Selected Papers
Publisher	Springer-Verlag
Pages	21-36
Number of pages	16
ISBN (Print)	978-3-031-29688-8
Publication status	Published - 29 Mar 2023

Access to Document

@inproceedings{2bbbfa49a5664bba8e70c305e272ee62,

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

author = "Martin Brain and Carlos Cid and Rachel Player and Wrenna Robson",

year = "2023",

month = mar,

day = "29",

language = "English",

isbn = "978-3-031-29688-8",

pages = "21--36",

booktitle = "Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022, Revised Selected Papers",

publisher = "Springer-Verlag",

}

Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation. / Brain, Martin; Cid, Carlos; Player, Rachel et al.
Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022, Revised Selected Papers. Springer-Verlag, 2023. p. 21-36.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Verifying Classic McEliece

T2 - Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation

AU - Brain, Martin

AU - Cid, Carlos

AU - Player, Rachel

AU - Robson, Wrenna

PY - 2023/3/29

Y1 - 2023/3/29

M3 - Conference contribution

SN - 978-3-031-29688-8

SP - 21

EP - 36

BT - Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022, Revised Selected Papers

PB - Springer-Verlag

ER -