Authentication in Quantum Key Distribution : Security Proof and Universal Hash Functions - Abidin, Aysajan (Linkopings Universitet, 2013)