Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Adversarial Symbolic Execution for Detecting Concurrency-Related Cache
  Timing Leaks   The timing characteristics of cache, a high-speed storage between the fast
CPU and the slowmemory, may reveal sensitive information of a program, thus
allowing an adversary to conduct side-channel attacks. Existing methods for
detecting timing leaks either ignore cache all together or focus only on
passive leaks generated by the program itself, without considering leaks that
are made possible by concurrently running some other threads. In this work, we
show that timing-leak-freedom is not a compositional property: a program that
is not leaky when running alone may become leaky when interleaved with other
threads. Thus, we develop a new method, named adversarial symbolic execution,
to detect such leaks. It systematically explores both the feasible program
paths and their interleavings while modeling the cache, and leverages an SMT
solver to decide if there are timing leaks. We have implemented our method in
LLVM and evaluated it on a set of real-world ciphers with 14,455 lines of C
code in total. Our experiments demonstrate both the efficiency of our method
and its effectiveness in detecting side-channel leaks.

25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin