Isaac Newton Institute for Mathematical Sciences

Special Week on Quantum Cryptography

Applications of quantum universal composability theorem

Authors: Debbie Leung (Caltech, U. Waterloo), Michael Ben-Or (), Patrick Hayden (), Michal Horodecki (), Debbie Leung (), Dominic Mayers (), Jonathan Oppenheim ()


The quantum universal composability theorem will first be reviewed. Next, applications to a new security definition of QKD and security proofs will be given. Finally, we prove composable security for various variants of the quantum message authentication scheme proposed in quant-ph/0205128 with key recycling.