Unconditional Security of Discrete-Modulated CV-QKD from Infinite-Dimensional MEAT
This work establishes the first complete composable finite-size security proof for DM CV-QKD protocols against coherent attacks, incorporating imperfect detectors and both fixed- and variable-length protocol variants, and introduces two central results of broader interest: an infinite-dimensional marginal-constrained e...