  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.
