• Full Text
  • Scholarly Journal

Automated verification of countermeasure against detector-control attack in quantum key distribution

; et al.
. 
; Heidelberg Vol. 10, Iss. 1,  (Dec 2023): 22.
DOI:10.1140/epjqt/s40507-023-00178-x