Entanglement verification for quantum-key-distribution systems with an underlying bipartite qubit-mode structure

We consider entanglement detection for quantum-key-distribution systems that use two signal states and continuous-variable measurements. This problem can be formulated as a separability problem in a qubit-mode system. To verify entanglement, we introduce an object that combines the covariance matrix of the mode with the density matrix of the qubit. We derive necessary separability criteria for this scenario. These criteria can be readily evaluated using semidefinite programming and we apply them to the specific quantum key distribution protocol.