Wrenna Robson

According to our database, Wrenna Robson authored at least 2 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Verified non-recursive calculation of Beneš networks applied to Classic McEliece.

Wrenna Robson, Samuel Kelly

IACR Cryptol. ePrint Arch., 2026

2022

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

Martin Brain, Carlos Cid, Rachel Player, Wrenna Robson

Proceedings of the Code-Based Cryptography - 10th International Workshop, 2022