Vedran Dunjko, Joseph F. Fitzsimons, Christopher Portmann, Renato Renner
Delegating difficult computations to remote large computation facilities, with appropriate security guarantees, is a possible solution for the ever-growing needs of personal computing power. For delegated computation protocols to be usable in a larger context---or simply to securely run two protocols in parallel---the security definitions need to be composable. Here, we define composable security for delegated quantum computation, and prove that several known protocols are composable, including Broadbent, Fitzsimons and Kashefi's Universal Blind Quantum Computation protocol.
View original:
http://arxiv.org/abs/1301.3662
No comments:
Post a Comment