PhD Studentship: Localised Cryptography

University of Bristol - Computer Science

Duration 3.5 years

Starting date 1 October 2017

The project:  Cryptography underpins much of the security of computing and communication infrastructures on which modern society increasingly relies. Yet, ensuring that systems that rely on cryptography meet their desired goals is notoriously difficult. There is ample space for errors, ranging from the overall design of the system down to the concrete implementation and the underlying computational platforms on which it is deployed. To reduce the risk of designing and subsequently deploying insecure applications, modern security research advocates the use of mathematical models. The idea is to provide mathematical formalizations for what is a system, what constitutes a successful breach against it, and then prove that such breaches are not possible.

The project aims to develop a framework that consists of a tool that will provide support for cryptographers both in designing and verifying cryptographic proofs. The key features that will distinguish our approach from other existing ones is that we aim to keep the language for specifying and reasoning about systems as close as possible to the typical language that cryptographers use in their proofs nowadays,  will develop a simplified methods for reasoning about systems at more abstract levels than usual.

The successful applicant will be based in a vibrant research group, with more than 17 PhD students and 6 postdoctoral researchers working in a variety of topics related to cryptography.

How to apply:  Please make an online application for this project at Please select  on the Programme Choice page and enter details of the studentship when prompted in the Funding and Research Details sections of the form together with the name of the supervisor, Dr Bogdan Warinschi.

Candidate requirements:   Open to UK Nationals only.

A minimum 2.1 honours degree or equivalent in Computer Science or Mathematics.

Basic skills and knowledge required: The ideal candidate will have a background in programming language semantics, complexity theory, or cryptography.

Funding:  Provided by HM Government, the scholarship covers full UK PhD tuition fees and a tax-free stipend of approximately £22,000 p.a. (subject to confirmation)

Contacts:   Dr Bogdan Warinschi (

Share this PhD
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:



South West England