Postselection technique for optical Quantum Key Distribution with
improved de Finetti reductions
Postselection technique for optical Quantum Key Distribution with
improved de Finetti reductions
The postselection technique is an important proof technique for proving the security of quantum key distribution protocols against coherent attacks. In this work, we go through multiple steps to rigorously apply the postselection technique to optical quantum key distribution protocols. First, we place the postselection technique on a rigorous mathematical …