Composable security proof for continuous-variable quantum key distribution with coherent States.

Composable security proof for continuous-variable quantum key distribution with coherent States.