The receiver measures the modulated quadratures of the incoming verification state using homodyne detection with a reference ...