Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sensitive Samples Revisited: Detecting Neural Network Attacks Using
  Constraint Solvers   Neural Networks are used today in numerous security- and safety-relevant
domains and are, as such, a popular target of attacks that subvert their
classification capabilities, by manipulating the network parameters. Prior work
has introduced sensitive samples -- inputs highly sensitive to parameter
changes -- to detect such manipulations, and proposed a gradient ascent-based
approach to compute them. In this paper we offer an alternative, using symbolic
constraint solvers. We model the network and a formal specification of a
sensitive sample in the language of the solver and ask for a solution. This
approach supports a rich class of queries, corresponding, for instance, to the
presence of certain types of attacks. Unlike earlier techniques, our approach
does not depend on convex search domains, or on the suitability of a starting
point for the search. We address the performance limitations of constraint
solvers by partitioning the search space for the solver, and exploring the
partitions according to a balanced schedule that still retains completeness of
the search. We demonstrate the impact of the use of solvers in terms of
functionality and search efficiency, using a case study for the detection of
Trojan attacks on Neural Networks.

20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
32
The categories of this paper are: atom-ph
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg