Export 1 results:
Filters: Author is Robson, Wrenna [Clear All Filters]
Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation In Code-Based Cryptography. CBCrypto 2022. Lecture Notes in Computer Science, Edited by J. Deneuville. Vol. 13839. Cham: Springer Nature Switzerland, 2023.