Wrenna Robson

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Publications

Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson
Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation. IACR Cryptol. ePrint Arch. 2023 (2023)
Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson
Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation. CBCrypto (2022)