Posted on 20/03/2014
We are looking for an excellent Computer Science student to work on finding cryptographic bugs and vulnerabilities in software. These are often due to subtle programming errors, but can completely subvert the protection offered by standard cryptographic routines. In this project, we will develop methods and tools to automatically analyse program code and uncover such cryptographic weaknesses. We will build on recent developments in systematic test generation, which already allows us to automatically find comparatively simple vulnerabilities like buffer overflows.
The student will be hosted at the Department of Computer Science and the Information Security Group (ISG) of Royal Holloway, University of London. The ISG is one of the largest academic security research groups in the world, and it is widely recognised for its research in cryptography. This project will provide the opportunity to build on strong theoretical foundations to work on real problems in real-world software. The project supervisors are Dr Johannes Kinder and Prof Kenny Paterson. The start date is September 2014 and the end date March 2018. The studentship provides an annual stipend of £23,000. Additionally, it covers college fees and travel costs for attending conferences.
How to Apply: There is no formal deadline for applications, but interested candidates should apply as soon as possible. For informal inquiries about the position, please contact Johannes Kinder. To apply, please see further details on the Computer Science doctoral studentship vacancy page where you will find a link to the Royal Holloway online application system. The studentship is subject to finalisation of funding arrangements.