Incorporating device characterization into security proofs

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Tan, Ernest Y. -Z., Nahar, Shlok
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866917548631523328
author Tan, Ernest Y. -Z.
Nahar, Shlok
author_facet Tan, Ernest Y. -Z.
Nahar, Shlok
contents Typical security proofs for quantum key distribution (QKD) rely on having some model for the devices, with the security guarantees implicitly relying on the values of various parameters of the model, such as dark count rates or detector efficiencies. Hence to deploy QKD in practice, we must establish how to certify or characterize the model parameters of a manufacturer's QKD devices. We present a rigorous framework for analyzing such procedures, laying out concrete requirements for both the security proofs and the certification or characterization procedures. In doing so, we describe various forms of conclusions that can and cannot be validly drawn from such procedures, addressing some potential misconceptions. We also discuss connections to composable security frameworks and some technical aspects that remain to be resolved in that direction.
format Preprint
id arxiv_https___arxiv_org_abs_2508_15383
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Incorporating device characterization into security proofs
Tan, Ernest Y. -Z.
Nahar, Shlok
Quantum Physics
Typical security proofs for quantum key distribution (QKD) rely on having some model for the devices, with the security guarantees implicitly relying on the values of various parameters of the model, such as dark count rates or detector efficiencies. Hence to deploy QKD in practice, we must establish how to certify or characterize the model parameters of a manufacturer's QKD devices. We present a rigorous framework for analyzing such procedures, laying out concrete requirements for both the security proofs and the certification or characterization procedures. In doing so, we describe various forms of conclusions that can and cannot be validly drawn from such procedures, addressing some potential misconceptions. We also discuss connections to composable security frameworks and some technical aspects that remain to be resolved in that direction.
title Incorporating device characterization into security proofs
topic Quantum Physics
url https://arxiv.org/abs/2508.15383