Automated verification of countermeasure against detector-control attack in quantum key distribution | Publicación