PhD opportunities in Cryptography
Machine-checked and high-assurance cryptography
Supervisor: Dr Francois Dupressoir
Summary: As cryptography becomes a more integral part of systems used daily by billions, the need for trustworthy cryptographic systems increases. You will be joining a group whose focus is on developing and leveraging formal program verification techniques (from interactive proof assistants to static analysis) to develop high-assurance cryptographic algorithms, and software and hardware implementations, including with side-channels. The specific focus of the PhD project (algorithms, software, hardware or side-channels) will depend on your interests and skills.
A solid foundation in formal methods or in cryptography is essential, with exposure and understanding of the other a plus. We are looking for a self-motivated learner with an interest in mathematical or engineering aspects of building high-assurance cryptographic systems.
For more information please contact Dr Francois Dupressoir
Post-quantum and isogeny-based cryptography
Supervisor: Dr Chloe Martindale
Summary: Steady progress towards scalable quantum computers is threatening the foundation of asymmetric cryptography. You will be joining a research team working on the development and cryptanalysis of cryptographic algorithms secure against quantum-capable adversaries, focusing on isogeny-based techniques. Possible topics include, but are not limited to:
- Constructing new post-quantum cryptographic protocols using abelian varieties. Suitable for a candidate with a background in algebraic number theory and algebraic geometry. A background in graph theory would also be a bonus.
- Cryptanalysis of current isogeny-based schemes. Suitable for a candidate with a background in algebraic number theory and programming. For a candidate with a background in quantum computing there is also a possibility of collaborating with the quantum groups in both the Schools of Mathematics and Physics to work on quantum cryptanalysis.
- Constructing hybrid post-quantum protocols using any combination of the post-quantum schemes (isogenies, lattices, codes, multivariate, hash-based). Suitable for a candidate with a background in programming and some number theory or algebra.
For more information please contact Dr Chloe Martindale.