Cryptographic security models for post-quantum transitions

The future of post-quantum (PQ) computing lies in hybrid systems, where quantum computers (QCs) and classical computers (CCs) will coexist, communicate, and operate collaboratively. Importantly, quantum computing encompasses classical computing, and current PQ security models assume all adversaries operate as quantum circuits, handling quantum data. Quantum circuits adhere to quantum physics principles, including the no-cloning theorem, which prohibits duplication of quantum data. However, in hybrid environments, classical data passed from CCs to QCs can be duplicated and stored by the CCs before being transmitted. This enables hybrid attackers to exploit classical-data duplication, posing additional risks to PQ systems.

At the same time, tracking classical data in hybrid systems allows for refined PQ-security analysis. Classical security principles can address the limitations of purely quantum reasoning, which currently dominates PQ security models. Notably, the interplay between quantum and classical computing can either strengthen or weaken PQ systems, depending on how it is leveraged. Despite its significance, these mixed-threat scenarios remain largely unaddressed in PQ security. 

This project aims to address these challenges through a groundbreaking approach. Its primary objective is to develop a novel computing and security architecture tailored for PQ hybrid systems. This architecture integrates classical and quantum circuits, enabling the secure storage and evaluation of critical classical data. By leveraging this paradigm, this project will advance fine-grained security models and proof methodologies to counter truly hybrid attackers.

Open to any UK or international candidates. Up to 30% of our UKRI-funded studentships can be awarded to candidates paying international rate fees.

The successful candidate will be highly motivated for research work and be able to evidence strong academic performance. Candidates with experience in any of physics, mathematics or computer science are most suitable for this position. You will need to meet the minimum entry requirements for our PhD programme.