Error estimation, error correction and verification in quantum key distribution. - Ø. Marøy; M. Gudmundsen; Lars Lydersen; Johannes Skaar (IET Inf. Secur., 2014)