Insider-Proof Encryption with Applications for Quantum Key Distribution. - Matthew McKague; Lana Sheridan (ICITS, 2013)