Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Composable security of delegated quantum computation   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. We distinguish
between protocols which provide only blindness---the computation is hidden from
the server---and those that are also verifiable---the client can check that it
has received the correct result. We show that the composable security
definition capturing both these notions can be reduced to a combination of
several distinct "trace-distance-type" criteria---which are, individually,
non-composable security definitions.
  Additionally, we study the security of some known delegated quantum
computation protocols, including Broadbent, Fitzsimons and Kashefi's Universal
Blind Quantum Computation protocol. Even though these protocols were originally
proposed with insufficient security criteria, they turn out to still be secure
given the stronger composable definitions.

30
The categories of this paper are: q-alg
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th