Jean-Christophe Deneuville
External collaborator
Publications
Simula-affiliated publications listed
2023
Proceedings, refereed
Read Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation
M. Brain, C. Cid, R. Player and W. Robson
Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation
Code-Based Cryptography. CBCrypto 2022. Lecture Notes in Computer Science