Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Attack Synthesis for Strings using Meta-Heuristics   Information leaks are a significant problem in modern computer systems and
string manipulation is prevalent in modern software. We present techniques for
automated synthesis of side-channel attacks that recover secret string values
based on timing observations on string manipulating code. Our attack synthesis
techniques iteratively generate inputs which, when fed to code that accesses
the secret, reveal partial information about the secret based on the timing
observations, leading to recovery of the secret at the end of the attack
sequence. We use symbolic execution to extract path constraints, automata-based
model counting to estimate the probability of execution paths, and
meta-heuristic methods to maximize information gain based on entropy for
synthesizing adaptive attack steps.

7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
2
The categories of this paper are: math
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics