Rigorous Security Proofs for Practical Quantum Key Distribution
Candidate: Devashish Tupkary
Supervisor: Norbert Lütkenhaus
Location: QNC 2101
This thesis is concerned with the rigorous security analysis of practical Quantum Key Distribution (QKD) protocols, using a variety of modern proof techniques, such as entropic uncertainty relations, de Finetti reductions and entropy accumulation theorems. Throughout, the emphasis is on mathematical rigor across a wide range of security proof frameworks. A distinctive feature of this thesis is its unified presentation of multiple major QKD security-proof frameworks using consistent protocol descriptions and notation. This first-of-its-kind treatment enables direct comparison and contrast between different approaches, a perspective that is often obscured when these techniques are developed in isolation.