Export 1 results:
Search results for biblio_type:Proceedings, refereed
Filters: Author is Brain, Martin  [Reset Search]
2023
M. Brain, C. Cid, R. Player and W. Robson. 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.