Overview
Quantum Key Distribution (QKD) creates secure keys from quantum-physical processes. The data obtained from physical measurements, however, is never perfect. It has to be further processed to condense partially secure raw keys into highly secure keys which can be used in applications. The classical algorithms used in this context are called “privacy amplification” and are built-in in quantum-cryptographic devices. The correct working of this component is crucial for the security of the final key.
In QKD devices, privacy amplification is usually implemented in Field Programmable Gate Arrays (FPGAs). This has several advantages compared to implementations running on CPU, such as closer integration with the physical components, higher speed and the prevention of certain attack vectors. The verification of its correct working is, however, more involved.
HSLU has built reference implementations of commonly used algorithms and set up a testing infrastructure to independently verify the correct working of privacy amplification. The infrastructure takes as input either a way to access to the privacy amplification function or a file with inputs and outputs of this function. This allows to confirm the correct working. Such confirmation is needed, e.g. when a quantum cryptographic device shall be standardized.
The goal of this project is to verify the privacy amplification function used in ID Quantique’s quantum key distribution systems with the help of HSLU’s privacy amplification testing infrastructure.
