Personal profile
Personal profile
Wrenna has had an eclectic education and career history before joining the CDT, from teaching in schools to microprocessor architecture documentation. Her background is originally in mathematics, with a BA from the University of Cambridge and a research MSc from the University of Bristol focusing on the properties of the torsion points of elliptic curves. She is interested in all areas of cyber security, but is particularly excited to learn more about cryptography and the geopolitics of cyber security.
Education/Academic qualification
Mathematics, MSc (R), Connections between torsion points of elliptic curves and reduction over local fields, University of Bristol
1 Sept 2016 → 1 Sept 2017
Award Date: 9 Feb 2018
Mathematics, BA, University of Cambridge
1 Oct 2010 → 16 Jun 2013
Award Date: 16 Jun 2013
Secondary Mathematics Education, PGCE, University of Cambridge
1 Sept 2013 → 16 Jun 2014
External positions
Arm Holdings
3 Sept 2017 → 13 Sept 2019
King's College London Mathenatics School
1 Sept 2014 → 31 Aug 2016
Collaborations and top research areas from the last five years
-
Finding meaning in cryptographic verification: Methods in the verification of post-quantum cryptography
Robson, W., 2025, (Unpublished) 260 p.Research output: Thesis › Doctoral Thesis
File20 Downloads (Pure) -
Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation
Brain, M., Cid, C., Player, R. & Robson, W., 29 Mar 2023, Code-Based Cryptography: 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022, Revised Selected Papers. Springer-Verlag, p. 21-36 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile86 Downloads (Pure)